一种基于对称破坏的子图同构约束求解方法

    公开(公告)号:CN108932306B

    公开(公告)日:2021-05-25

    申请号:CN201810607429.5

    申请日:2018-06-13

    Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法,其采用约束满足问题CSP的模型,首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型,添加破坏对称约束,再根据约束满足问题的求解方法,对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier‑Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性,通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束,能够避免对称子树的二次搜索,降低组合复杂性。因此算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。

    基于OBD的车载终端
    2.
    发明公开

    公开(公告)号:CN108880590A

    公开(公告)日:2018-11-23

    申请号:CN201810397386.2

    申请日:2018-04-28

    Abstract: 本发明提供的基于OBD的车载终端,设置电路保护模块,对车辆信息的输入信号进行过压检测,对待传输信号进行延时传输,可解决由高电压、尖脉冲以及电压不稳等因素引发的电路系统稳定性差的问题,还设置了抗RF干扰模块,预防高频干扰,提高实时数据的稳定性;在协议解析模块设置CAN总线收发器、J1850总线驱动电路以及KWP2000,可兼容市场上大部分的不同厂商、不同型号车辆的通信协议,可提高通用性;在定位模块设置BDS/GPS定位子模块和SISN定位子模块,二者均可进行定位,可通过算法进行数据融合,为计算精确的定位信息提供可能。

    一种基于对称破坏的子图同构约束求解方法

    公开(公告)号:CN108932306A

    公开(公告)日:2018-12-04

    申请号:CN201810607429.5

    申请日:2018-06-13

    Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法,其采用约束满足问题CSP的模型,首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型,添加破坏对称约束,再根据约束满足问题的求解方法,对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier-Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性,通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束,能够避免对称子树的二次搜索,降低组合复杂性。因此算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。

    基于SAT及OBDD桶消元的蛋白质分类方法

    公开(公告)号:CN108664768A

    公开(公告)日:2018-10-16

    申请号:CN201810463426.9

    申请日:2018-05-15

    Abstract: 本发明公开一种基于SAT及OBDD桶消元的蛋白质分类方法,其采用布尔可满足性问题(SAT)的模型,利用有序二叉决策图(OBDD)的符号求解算法以及桶消元算法,包括:先利用候选模式中元素位置的约束关系以及基数约束构建SAT模型;再使用OBDD符号技术以及包含的各项符号操作,结合桶消元算法,对所建立的模型进行求解,并且将求解技术应用到蛋白质分类中,分析提取了蛋白质中的特征信息,进行有效的分类。本发明面向蛋白质分类问题,通过求解模式挖掘中的频繁序列挖掘问题,对蛋白质进行研究。算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。

    基于OBD的车载终端
    5.
    实用新型

    公开(公告)号:CN208227006U

    公开(公告)日:2018-12-11

    申请号:CN201820627785.9

    申请日:2018-04-28

    Abstract: 本实用新型提供的基于OBD的车载终端,设置电路保护模块,对车辆信息的输入信号进行过压检测,对待传输信号进行延时传输,可解决由高电压、尖脉冲以及电压不稳等因素引发的电路系统稳定性差的问题,还设置了抗RF干扰模块,预防高频干扰,提高实时数据的稳定性;在协议解析模块设置CAN总线收发器、J1850总线驱动电路以及KWP2000,可兼容市场上大部分的不同厂商、不同型号车辆的通信协议,可提高通用性;在定位模块设置BDS/GPS定位子模块和SISN定位子模块,二者均可进行定位,可通过算法进行数据融合,为计算精确的定位信息提供可能。(ESM)同样的发明创造已同日申请发明专利

Patent Agency Ranking