二叉决策图

作品数：79被引量：110H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：古天龙徐周波常亮莫毓昌潘竹生更多>>
相关机构：桂林电子科技大学浙江师范大学西安电子科技大学南京理工大学更多>>
相关期刊：《电子电路与贴装》《现代电信科技》《计算机学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金浙江省自然科学基金浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=桂林电子科技大学学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号OBDD的子图同构约束求解算法被引量：1
《桂林电子科技大学学报》2019年第5期357-362,共6页刘桂珍 徐周波 
国家自然科学基金(61762027);广西自然科学基金(2017GXNSFAA198172);桂林电子科技大学研究生教育创新计划(2017YJCX54,2017YJCX08)
针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP建模,采用OBDD对该模型进行隐式表示和刻画。结合OBDD符号操作技术和回溯算法进行求解,执行弧一致性技术...
关键词：子图同构 约束满足问题 有序二叉决策图 弧一致性 
基于OBDD的无线传感器网络可用度算法被引量：2
《桂林电子科技大学学报》2016年第3期210-214,共5页张晓花 董荣胜 
国家自然科学基金(61363070)
为降低传感器节点的能量消耗,提高无线传感器网络可用度,构建了可用度评估的离散概率模型,提出了一种符号A_OBDD算法。该算法利用马尔科夫链描述节点状态转移过程,实现了对节点可用度的动态评估,引入有序二叉决策图,有效缓解了"组合爆炸...
关键词：无线传感器网络 可用度 能量约束 马尔科夫链 有序二叉决策图 
基于分支程序逆向评估的安全多方计算
《桂林电子科技大学学报》2015年第3期222-227,共6页俞强生 古天龙 徐周波 宁黎华 
国家自然科学基金(61100025;61262030;61363030);广西自然科学基金(2014GXNSFAA118354)
针对传统决策函数表示计算复杂度高、编码规模大、参与者局限于2方问题,提出一个基于边值二叉决策图和分支程序逆向评估的解决方案。引入边值二叉决策图(EVBDD)技术,给出一种基于EVBDD的安全2方计算协议;引入分支程序逆向评估方法,将安...
关键词：安全多方计算 决策函数 边值二叉决策图 分支程序 
一种基于OBDD的WSN可靠性评估方法被引量：2
《桂林电子科技大学学报》2014年第5期411-416,共6页闫宗帅 董荣胜 
国家自然科学基金(61363070)
为评估组播下WSN可靠性,基于有序二叉决策图(OBDD)提出符号OBDD_Multicast算法。该算法在WSN符号OBDD表示的基础上,对WSN的节点变量进行排序,通过节点扩展,利用OBDD的"与"和"或"操作构建组播下WSN可靠性函数的OBDD。OBDD_Multicast算法...
关键词：可靠性 无线传感器网络 有序二叉决策图 组播 节点扩展 
基于有序二叉决策图的粗糙集属性约简的符号方法
《桂林电子科技大学学报》2013年第2期130-133,共4页危前进 
广西自然科学基金(2012GXNSFBA053169;2012GXNSFAA053220)
针对现有属性约简算法主要基于代数表示和信息表示的方法,基于改变属性约简问题的知识表示方法,提出区分矩阵的有序二叉决策图(OBDD)的表示方法。给出了属性约简的区分矩阵模型到OBDD模型的转换方法,得到了信息系统的区分矩阵的OBDD模型...
关键词：粗糙集 属性约简 区分矩阵 有序二叉决策图 
基于OBDD分析随机加权网络的可靠性
《桂林电子科技大学学报》2012年第6期473-478,共6页刘会会 董荣胜 
广西自然科学基金(0991242)
为了获得满足用户需求的网络可靠性,需考虑网络组件的权值及用户的具体需求,因此,针对随机加权网络的可靠性进行了研究。结合随机加权网络的定义,构建了相应的形式化模型,并在该模型的基础上给出基于EED构建随机加权网络的OBDD结构算法...
关键词：随机加权网络 网络可靠性 有序二叉决策图 边扩展图 
基于OBDD的Iteration-free CPDL判定算法
《桂林电子科技大学学报》2011年第3期221-225,共5页覃凤萍 古天龙 常亮 
国家自然科学基金(60963010)
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后...
关键词：命题动态逻辑 可满足性判定 有序二叉决策图 
约束满足问题求解的符号OBDD技术
《桂林电子科技大学学报》2010年第6期570-572,共3页徐周波 古天龙 
广西自然科学基金(0832006Z)
约束满足问题(CSP)是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图(OBDD)描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所有变量根据其在约束图中的度的大小进行递增排序,然后按照...
关键词：约束满足问题 符号算法 有序二叉决策图(OBDD) 
一类新型抽象数据类型:有序二叉决策图被引量：3
《桂林电子科技大学学报》2010年第5期374-388,共15页古天龙 
有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型。OBDD在VLSI逻辑综合和验证的成功应用结果...
关键词：有序二叉决策图 抽象数据类型 数据结构 符号技术 布尔函数 
基于OBDD的εL^(￢)本体判定算法
《桂林电子科技大学学报》2010年第2期132-136,共5页高申 古天龙 
广西自然科学基金(0832006Z)
有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过采用OBDD实现了描述逻辑εL(￢)判定算法。以基于OBDD的SHIQ...
关键词：描述逻辑 一致性 Tableau-算法 有序二叉决策图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部