-
公开(公告)号：CN107609592B
公开(公告)日：2020-10-23
申请号：CN201710833159.5
申请日：2017-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SFBP代价矩阵框架添加相应的代价值行列数，改变其代价矩阵框架，以达到优化的目的。当达到优化目标时，就可以使用求解算法对代价矩阵进行求解计算，从而避免约束条件对算法使用的限制，使得算法更好的应用于字母识别领域中。
-
-
公开(公告)号：CN109493915A
公开(公告)日：2019-03-19
申请号：CN201811518891.4
申请日：2018-12-12
Applicant: 桂林电子科技大学
Abstract: 本发明提出一种基于不确定图模型侦测蛋白质复合物的方法，该方法包括：将蛋白质作为不确定图的顶点，蛋白质之间的相互作用作为不确定图的边；根据不确定图模型，定义期望稠密度，判断每个顶点是否属于核；计算蛋白质和他邻居蛋白质的皮尔逊系数，进一步判断该蛋白质是否属于核；根据不确定图模型，定义邻居节点相关度，判断该蛋白质是否属于附件；对所有挖掘到的蛋白质复合物进行冗余过滤。本发明所采用的不确定图模型具有很好的表示动态PPI网络，更切合实际，从而加快了搜索效率，更能精确预言蛋白质复合物。
-
公开(公告)号：CN108932306A
公开(公告)日：2018-12-04
申请号：CN201810607429.5
申请日：2018-06-13
Applicant: 桂林电子科技大学
IPC: G06F17/30
Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法，其采用约束满足问题CSP的模型，首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型，添加破坏对称约束，再根据约束满足问题的求解方法，对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier-Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性，通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束，能够避免对称子树的二次搜索，降低组合复杂性。因此算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。
-
公开(公告)号：CN108446562A
公开(公告)日：2018-08-24
申请号：CN201810258288.0
申请日：2018-03-27
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于禁忌与人工蜂群双向优化支持向量机的入侵检测方法，首先对原始的人工蜂群算法进行重新构造，总体思想为将蜜源与支持向量机待优化参数进行同步编码，利用随机生成方式生成蜜源的初始解，执行基于禁忌-人工蜂群搜索策略寻找最优特征子集。具体包括在初期雇佣蜂搜索阶段引入第一个禁忌表，对找到的局部最优解进行存储记忆，在以后的预定次迭代中避开这些局部最优解；在观察蜂阶段引入第二个禁忌表，同时加入奖惩机制改进蜜源的适应度函数，提高解的多样性；最后在侦查蜂阶段引入第三个禁忌表存储达到最大开发次数但适应值仍没有提高的解。本发明具有较强可行性和良好的实用性。
-
Patent Agency Ranking
公开(公告)号：CN104540140B
公开(公告)日：2017-11-24
申请号：CN201510011677.X
申请日：2015-01-09
Applicant: 桂林电子科技大学
IPC: H04W16/10
Abstract: 本发明公开了一种无线通信网的动态频率分配方法，将无线通信网络频率分配问题形式化为图表示、检测和筛选可用频率、通信网络频率约束符号ADD表示、构建变量序π和标记分解变量、分解频率分配问题为子问题集、依次对子问题集中子问题求解、求解上界、对非分解变量用桶消元算法求解、对分解变量采用深度优先分支定界算法求解、若存在新加入通信网络节点，构建成新子问题、对子问题进行求解；通过利用ADD的高紧凑表示和以集合方式处理多组数据的方式处理约束，提高频率分配问题求解效率。本发明能够在较高的算法效率下，完成对无线通信网络的频率分配问题，同时还能适应动态自主网络的频率分配。
-
公开(公告)号：CN105704040A
公开(公告)日：2016-06-22
申请号：CN201610224760.X
申请日：2016-04-12
Applicant: 桂林电子科技大学
IPC: H04L12/741 , H04L12/753 , H04L12/755
CPC classification number: H04L45/54 , H04L45/021 , H04L45/48
Abstract: 本发明公开了一种路由表的构建和查找方法，包括路由表项转换为伪布尔函数表示、路由表项的ADD表示、更新路由表项、删除路由表项、根据传入数据包进行路由查找的过程；通过利用ADD的高紧凑表示和以集合方式处理多组数据的方式处理路由表，减少路由表的节点冗余和路由查找比较次数，提高路由转发性能。本发明能够在较低内存占用的情况下完成对路由表的构建，同时还能在较少比较次数下完成数据包的路由查找。
-
公开(公告)号：CN104618332A
公开(公告)日：2015-05-13
申请号：CN201410841646.2
申请日：2014-12-30
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于符号边值二叉决策图的安全两方计算方法和系统，其包括3个阶段，即服务器构建局部混淆子联合函数阶段，服务器与客户端的信息交互阶段和客户端的解密计算阶段。本发明通过服务器联合函数混淆和客户端输入数据混淆，可以实现函数规模，内部结构以及输入数据的隐私保护的目的；通过EVBDD的符号刻画和结点的加解密算法，提高了安全两方计算的执行效率。本发明能够在较高的算法效率下，安全的完成参与方对联合任务的策略执行功能，同时还保证了联合任务的安全策略以及计算过程中的加密数据不被泄漏。
-
公开(公告)号：CN108446562B
公开(公告)日：2021-08-03
申请号：CN201810258288.0
申请日：2018-03-27
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于禁忌与人工蜂群双向优化支持向量机的入侵检测方法，首先对原始的人工蜂群算法进行重新构造，总体思想为将蜜源与支持向量机待优化参数进行同步编码，利用随机生成方式生成蜜源的初始解，执行基于禁忌‑人工蜂群搜索策略寻找最优特征子集。具体包括在初期雇佣蜂搜索阶段引入第一个禁忌表，对找到的局部最优解进行存储记忆，在以后的预定次迭代中避开这些局部最优解；在观察蜂阶段引入第二个禁忌表，同时加入奖惩机制改进蜜源的适应度函数，提高解的多样性；最后在侦查蜂阶段引入第三个禁忌表存储达到最大开发次数但适应值仍没有提高的解。本发明具有较强可行性和良好的实用性。
-
公开(公告)号：CN106649124B
公开(公告)日：2019-04-02
申请号：CN201611237624.0
申请日：2016-12-28
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于Actor模型的并行动态符号执行方法和系统，方法包括将配置后的Actor模型的并行框架合并到修改后的动态符号执行工具中；Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；将求解值Valuation采用递归方式来代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。本发明的提出一种并行动态符号执行方法，实现了两个层面上的并行，可以在多个节点上并行分析程序路径，可同次进行约束求解和路径探索，降低程序耗时，还可以加强测试大规模程序的能力。
-
-
-
-
-
-
-
-
-
Search Results
72
records
(took 0.033 seconds)
