-
公开(公告)号:CN102801568A
公开(公告)日:2012-11-28
申请号:CN201210317401.0
申请日:2012-08-31
Applicant: 桂林电子科技大学
IPC: H04L12/24
Abstract: 本发明为网络可靠性动态评估的方法和装置,本法步骤为:Ⅰ捕获网络拓扑信息;Ⅱ判断是否第一次评估,是则执行Ⅲ;否则执行Ⅵ;Ⅲ确定待评估网络的源点、目的节点;Ⅳ获取网络故障数据并建库;Ⅴ得网络路径函数OBDD,并用基于OBDD的边扩展算法评估网络可靠性,进入Ⅸ;Ⅵ找到网络拓扑信息的变化;Ⅶ获取新增故障数据,并入库;Ⅷ用上一次评估时得到的网络路径函数OBDD和基于OBDD的动态评估算法,评估网络可靠性;Ⅸ输出网络可靠性评估结果和评估建议。本装置包括拓扑分析单元、故障数据获取单元和可靠性动态评估单元。本发明适应动态变化的网络,快速高效地精确评估网络的可靠性;避免重复计算、效率提高。适用于多种网络系统。
-
公开(公告)号:CN116484062A
公开(公告)日:2023-07-25
申请号:CN202310477479.7
申请日:2023-04-28
Applicant: 桂林电子科技大学
IPC: G06F16/901 , G06F16/903
Abstract: 本发明公开了一种基于邻域安全压缩的动态图增量子图匹配方法,包括如下步骤:步骤1:获取模式图和目标图;步骤2:建立辅助结构ZDCS;步骤3:获取初始解;步骤4:建立基于ZDCS的动态求解模型;步骤5:更新匹配结果。这种方法考虑邻域约束对候选集的过滤效果,压缩存储空间,提高了求解效率。
-
公开(公告)号:CN115797667A
公开(公告)日:2023-03-14
申请号:CN202211163911.7
申请日:2022-09-23
Applicant: 桂林电子科技大学
IPC: G06V10/75 , G06V10/774
Abstract: 本发明公开了一种基于代数决策图的增量图模式匹配方法,包括如下步骤:步骤1:获取模式图和目标图;步骤2:建立辅助结构ADD_IndexTree;步骤3:获取初始解;步骤4:建立针对ADD_IndexTree的动态求解模型;步骤5:建立增量图模式匹配的求解模型IncAMatch。这种方法将传统增量图算法问题转换成为可运算的布尔函数表达式形式,在表现形式上更加紧凑,运算方式也相应转换成简单易行的图形操作,为了实现数据图的更新,基于ADD的表现形式提出了一种增量维护策略,以有效维护中间结果。
-
-
公开(公告)号:CN108052683B
公开(公告)日:2021-08-03
申请号:CN201810058745.1
申请日:2018-01-22
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于余弦度量规则的知识图谱表示学习方法,首先将知识图谱中的实体与关系随机嵌入到两个向量空间;其次利用候选实体统计规则,统计相关关系对应的三元组集与候选实体向量集;再次利用余弦相似度构造目标向量与候选实体的评分函数,对候选实体进行评价;最后利用损失函数将所有相关关系的候选实体向量与目标向量进行统一训练,并通过随机梯度下降算法最小化损失函数。当达到优化目标时,即可获得知识图谱中每个实体向量和关系向量的最佳表示,从而更好的表示实体与关系之间的联系,并能够很好的应用于大规模的知识图谱补全当中。
-
公开(公告)号:CN108932306B
公开(公告)日:2021-05-25
申请号:CN201810607429.5
申请日:2018-06-13
Applicant: 桂林电子科技大学
IPC: G06F16/901 , G06F16/903
Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法,其采用约束满足问题CSP的模型,首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型,添加破坏对称约束,再根据约束满足问题的求解方法,对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier‑Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性,通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束,能够避免对称子树的二次搜索,降低组合复杂性。因此算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。
-
公开(公告)号:CN109493915B
公开(公告)日:2021-05-07
申请号:CN201811518891.4
申请日:2018-12-12
Applicant: 桂林电子科技大学
Abstract: 本发明提出一种基于不确定图模型侦测蛋白质复合物的方法,该方法包括:将蛋白质作为不确定图的顶点,蛋白质之间的相互作用作为不确定图的边;根据不确定图模型,定义期望稠密度,判断每个顶点是否属于核;计算蛋白质和他邻居蛋白质的皮尔逊系数,进一步判断该蛋白质是否属于核;根据不确定图模型,定义邻居顶点相关度,判断该蛋白质是否属于附件;对所有挖掘到的蛋白质复合物进行冗余过滤。本发明所采用的不确定图模型具有很好的表示动态PPI网络,更切合实际,从而加快了搜索效率,更能精确预言蛋白质复合物。
-
公开(公告)号:CN110807061A
公开(公告)日:2020-02-18
申请号:CN201911074171.8
申请日:2019-11-06
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于分层搜索不确定图的频繁子图的方法,其特征在于,包括如下步骤:1)设定不确定图中频繁子图的概率阈值,不同频繁子图概率阈值的设定依据具体情况来定;2)构建不确定图中每个子图的边索引IE和连接索引IC;3)构建分层搜索树;4)按层遍历搜索树,搜索每层的频繁子图。这种方法提高了搜索效率,并且分层搜索减轻了频繁子图搜索的压力,节约了搜索的时间。
-
公开(公告)号:CN106657106B
公开(公告)日:2019-11-08
申请号:CN201611256846.7
申请日:2016-12-30
Applicant: 桂林电子科技大学
Abstract: 本发明涉及一种基于时态描述逻辑ALC‑μ的语义物联网服务验证方法和系统,方法包括:根据构建包含语义物联网服务的背景知识库K;构建待验证的语义物联网服务性质的公式;建模得到状态转移系统模型M;将待验证的语义物联网服务中的原子服务的语义进行断言;根据断言集合对在设定状态S下的状态转移系统模型M性质的正确性进行验证。发明将描述逻辑ALC的推理机制与μ演算模型检测算法结合起来,给出相应的时态描述逻辑ALC‑μ及其模型检测算法;一方面使用ALC‑μ公式对所期望的性质进行刻画,另一方面参照ALC‑μ的解释结构引入状态迁移系统,作为待检测的系统模型,弥补了传统验证方法没有考虑对命题描述不充分的局限性。
-
公开(公告)号:CN105825293B
公开(公告)日:2019-07-19
申请号:CN201610137366.2
申请日:2016-03-10
Applicant: 桂林电子科技大学
CPC classification number: Y02P90/30
Abstract: 本发明公开一种基于果蝇优化算法的多工位装配序列规划方法,包括:采用优先序列图表示零件间的优先约束关系,构建优先关系矩阵、集成干涉矩阵、工位能力表和装配信息表,描述装配零部件间的干涉关系以及零件与工位之间的关系。给出了果蝇算法的编码体系,并兼顾果蝇算法的局部和全局搜索能力很好地设计了果蝇的三个搜索阶段:气味搜索、视觉搜索和协同搜索。综合考虑装配操作成本、更换工具成本、装夹变更成本和运输成本的影响,提出更接近实际工程的适应度函数表达式。根据优先序列矩阵引导初始序列进化,再利用果蝇优化算法对产品装配序列和工位分配顺序进行优化。
-
-
-
-
-
-
-
-
-