-
公开(公告)号：CN107704578B
公开(公告)日：2020-12-25
申请号：CN201710918814.7
申请日：2017-09-30
Applicant: 桂林电子科技大学
IPC: G16B20/00 , G16B40/00 , G16B50/00 , G06F16/901 , G06F16/903
Abstract: 本发明公开一种面向PPI网络比对的图匹配约束求解符号方法，利用图结构中的约束关系建立CSP模型(其中建立最短路径的约束条件)、采用基于图的回溯算法、结合OBDD符号技术以及包含的各项符号操作，从而达到求解子图同构问题的目的，最后将该技术引用到PPI网络比对问题中，并对该问题进行求解，给出一种面向PPI网络比对的图匹配约束求解符号技术。本发明结合求解约束满足问题的基于图的回跳算法，采用符号OBDD符号技术，发挥操作方法的优势，根据求解子图同构的约束符号求解技术，并将图匹配的符号算法应用到生物信息领域蛋白质相互作用网络比对问题中，其能够一定程度上提高问题的求解效率，降低状态空间复杂度。
-
公开(公告)号：CN106650129A
公开(公告)日：2017-05-10
申请号：CN201611234708.9
申请日：2016-12-28
Applicant: 桂林电子科技大学
IPC: G06F17/50
Abstract: 本发明公开一种面向装配规划的符号加权约束求解方法，首先获取装配体的装配联接图、移动向量矩阵和装配代价指标；然后根据装配体信息刻划WCSP模型；接着根据装配体的装配联接图、移动向量矩阵和装配代价指标创建联接图和移动向量矩阵的OBDD表示以及装配代价指标的ADD表示；最后搜索出一个可行的装配序列并记录其总的代价Cost，再对剩余未扩展完成的联接边逐一扩展，并将扩展的代价Cost1与Cost进行比较；搜索完所有的联接边之后，最终得到的最小代价值的装配序列就是最优装配序列。本发明能够在较高的时间和空间效率下，完成对装配体的最优装配序列的生成。
-
公开(公告)号：CN108932306B
公开(公告)日：2021-05-25
申请号：CN201810607429.5
申请日：2018-06-13
Applicant: 桂林电子科技大学
IPC: G06F16/901 , G06F16/903
Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法，其采用约束满足问题CSP的模型，首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型，添加破坏对称约束，再根据约束满足问题的求解方法，对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier‑Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性，通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束，能够避免对称子树的二次搜索，降低组合复杂性。因此算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。
-
公开(公告)号：CN107609592A
公开(公告)日：2018-01-19
申请号：CN201710833159.5
申请日：2017-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SFBP代价矩阵框架添加相应的代价值行列数，改变其代价矩阵框架，以达到优化的目的。当达到优化目标时，就可以使用求解算法对代价矩阵进行求解计算，从而避免约束条件对算法使用的限制，使得算法更好的应用于字母识别领域中。
-
Patent Agency Ranking
公开(公告)号：CN107609592B
公开(公告)日：2020-10-23
申请号：CN201710833159.5
申请日：2017-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SFBP代价矩阵框架添加相应的代价值行列数，改变其代价矩阵框架，以达到优化的目的。当达到优化目标时，就可以使用求解算法对代价矩阵进行求解计算，从而避免约束条件对算法使用的限制，使得算法更好的应用于字母识别领域中。
-
公开(公告)号：CN108932306A
公开(公告)日：2018-12-04
申请号：CN201810607429.5
申请日：2018-06-13
Applicant: 桂林电子科技大学
IPC: G06F17/30
Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法，其采用约束满足问题CSP的模型，首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型，添加破坏对称约束，再根据约束满足问题的求解方法，对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier-Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性，通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束，能够避免对称子树的二次搜索，降低组合复杂性。因此算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。
-
公开(公告)号：CN106650129B
公开(公告)日：2020-05-08
申请号：CN201611234708.9
申请日：2016-12-28
Applicant: 桂林电子科技大学
IPC: G06F30/17 , G06F111/04
Abstract: 本发明公开一种面向装配规划的符号加权约束求解方法，首先获取装配体的装配联接图、移动向量矩阵和装配代价指标；然后根据装配体信息刻划WCSP模型；接着根据装配体的装配联接图、移动向量矩阵和装配代价指标创建联接图和移动向量矩阵的OBDD表示以及装配代价指标的ADD表示；最后搜索出一个可行的装配序列并记录其总的代价Cost，再对剩余未扩展完成的联接边逐一扩展，并将扩展的代价Cost1与Cost进行比较；搜索完所有的联接边之后，最终得到的最小代价值的装配序列就是最优装配序列。本发明能够在较高的时间和空间效率下，完成对装配体的最优装配序列的生成。
-
公开(公告)号：CN108664768A
公开(公告)日：2018-10-16
申请号：CN201810463426.9
申请日：2018-05-15
Applicant: 桂林电子科技大学
IPC: G06F19/24
Abstract: 本发明公开一种基于SAT及OBDD桶消元的蛋白质分类方法，其采用布尔可满足性问题(SAT)的模型，利用有序二叉决策图(OBDD)的符号求解算法以及桶消元算法，包括：先利用候选模式中元素位置的约束关系以及基数约束构建SAT模型；再使用OBDD符号技术以及包含的各项符号操作，结合桶消元算法，对所建立的模型进行求解，并且将求解技术应用到蛋白质分类中，分析提取了蛋白质中的特征信息，进行有效的分类。本发明面向蛋白质分类问题，通过求解模式挖掘中的频繁序列挖掘问题，对蛋白质进行研究。算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。
-
公开(公告)号：CN107704578A
公开(公告)日：2018-02-16
申请号：CN201710918814.7
申请日：2017-09-30
Applicant: 桂林电子科技大学
CPC classification number: G06F16/90335 , G06F16/9024 , G16B20/00 , G16B40/00 , G16B50/00
Abstract: 本发明公开一种面向PPI网络比对的图匹配约束求解符号方法，利用图结构中的约束关系建立CSP模型(其中建立最短路径的约束条件)、采用基于图的回溯算法、结合OBDD符号技术以及包含的各项符号操作，从而达到求解子图同构问题的目的，最后将该技术引用到PPI网络比对问题中，并对该问题进行求解，给出一种面向PPI网络比对的图匹配约束求解符号技术。本发明结合求解约束满足问题的基于图的回跳算法，采用符号OBDD符号技术，发挥操作方法的优势，根据求解子图同构的约束符号求解技术，并将图匹配的符号算法应用到生物信息领域蛋白质相互作用网络比对问题中，其能够一定程度上提高问题的求解效率，降低状态空间复杂度。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.028 seconds)
