二叉决策图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号零压缩二叉决策图的组合测试用例生成方法
《计算机科学》2018年第1期255-260,共6页黄钰尧 李凤英 常亮 孟瑜 
广西自然科学基金项目(2016GXNSFAA380054);桂林电子科技大学研究生教育创新(YJCXS201541);广西高等学校高水平创新团队及卓越学者计划资助
组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符号零压缩二叉决策图(Zero-suppressed Binary Decision Diagra...
关键词：组合测试 零压缩二叉决策图 覆盖强度 测试用例生成 
基于符号零压缩二叉决策图的装配可行性判定方法被引量：1
《计算机科学》2016年第6期28-31,49,共5页彭瑞 李凤英 常亮 孟瑜 
广西高校科研项目(YB2014125);桂林电子科技大学研究生教育创新计划资助项目(YJCXS201541);广西高等学校高水平创新团队及卓越学者计划资助
为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行...
关键词：装配可行性 装配体联接矩阵 装配体干涉矩阵 零压缩二叉决策图 
基于符号EVBDD的安全多方计算
《计算机科学》2016年第4期127-133,共7页徐周波 俞强生 古天龙 宁黎华 
国家自然科学基金(61100025;61262030;61363030);广西自然科学基金(2014GXNSFAA118354);广西高等学校高水平创新团队;卓越学者计划资助
决策函数的有效表示是安全多方计算研究中的热点问题。符号描述技术是表示决策函数的一种新方法。针对基于代数决策图(ADD)的决策函数表示中出现的叶子节点规模膨胀以及导致协议面临的状态空间爆炸问题,引入边值二叉决策图(EVBDD)技术,...
关键词：安全多方计算 决策函数 边值二叉决策图 状态空间爆炸 
优先级边排序策略及其性能分析被引量：2
《计算机科学》2014年第8期81-84,105,共5页潘竹生 莫毓昌 赵建民 
国家自然科学基金(61272130);浙江省自然科学基金(Y1100689);浙江省重中之重学科开放课题(ZSDZZZZXK24);浙江省教育厅项目(Y201328072)资助
网络可靠度BDD分析的计算复杂度与BDD尺度线性相关,而BDD尺度依赖边排序策略,边排序问题是BDD网络可靠度分析的重要问题。从网络结构特性出发,设计了优先级边排序策略并深入研究了在该策略下不同排序起点对BDD尺度的影响。实验结果表明...
关键词：网络可靠度 二叉决策图 优先级边排序策略 
一种基于赋时Petri网和ZBDD的装配序列规划方法被引量：3
《计算机科学》2012年第2期170-174,共5页李凤英 古天龙 常亮 徐周波 
国家自然科学基金项目(60563005;60243002;61063002);广西可信软件重点实验室开放基金资助
赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD...
关键词：赋时PETRI网 装配序列规划 零压缩二叉决策图 
约束满足问题求解的符号OBDD桶消元算法被引量：4
《计算机科学》2011年第7期200-202,219,共4页徐周波 古天龙 常亮 李凤英 
国家自然科学基金(60963010;60903079;61063002);广西自然科学基金重点项目(0832006Z)资助
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命...
关键词：约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD) 
基于OBDD的有向图的存储与操作研究被引量：1
《计算机科学》2007年第8期283-285,共3页杨志飞 古天龙 
国家自然科学基金项目(60563005);教育部留学归国人员基金项目
本文讨论了一种基于OBDD的有向图的存储结构,给出了基于OBDD的有向图的操作方法及搜索算法。实验结果表明,该存储结构与传统的邻接表的存储结构相比,在处理大规模的有向图时,具有较高的存储效率。
关键词：数据结构 存储结构 有序二叉决策图(OBDD) 
一种基于熵的OBDD变量排序算法
《计算机科学》2007年第2期216-219,共4页赵岭忠 王雪松 古天龙 钱俊彦 
国家自然科学基金(No.60563005);广西科学基金(0542036)
有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该...
关键词：有序二叉决策图 变量序 熵 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部