二元决策图

作品数：137被引量：536H指数：11
导出分析报告
相关领域：自动化与计算机技术理学一般工业技术更多>>
相关作者：康锐陈颖罗航张超马存宝更多>>
相关机构：北京航空航天大学电子科技大学国防科学技术大学西北工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划西北工业大学研究生创业种子基金国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用时序和逻辑规则形成动态故障树的紧缩Markov链被引量：5
《计算机应用研究》2011年第8期3022-3025,共4页郑显举 谢志萍 罗航 
针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cutset,MCS)思想,考虑形成紧缩的Markov链(即最简顺序割集)。其重要目的是剔除冗余的Markov链,在保证不影响系统失效分析的同时减小状态空间,最大...
关键词：动态故障树 规则 时序 紧缩马尔可夫链 最小割集 二元决策图 
基于BDD和布尔差分的组合电路测试生成方法
《计算机应用研究》2008年第5期1450-1452,1523,共4页欧阳一鸣 牟屹 梁华国 
国家自然科学基金重大研究计划资助项目(90407008);国家自然科学基金重点资助项目(60633060);安徽省自然科学基金资助项目(050420103)
引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际。实验表明,本方案可以有效地进行测试生成。
关键词：二元决策图 布尔差分 自动测试向量生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部