期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于余子式的组合逻辑电路覆盖等效性检测算法 被引量：1
1
作者 张会红 汪鹏君 +1 位作者 陈治文 汪涛 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2017年第11期2140-2146,共7页
覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一... 覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势. 展开更多
关键词 组合逻辑电路 覆盖等效性 余子式 香农结构图
下载PDF
基于改进BDD算法的导弹安控系统故障树仿真分析 被引量：10
2
作者 袁静 胡昌华 +1 位作者 徐瑞 龙勇 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第1期9-12,共4页
针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一... 针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一步中的截断和蕴涵操作使得关联系统的大型故障树可以在少量内存和短时间内高效的完成。仿真实例证明了采用CBDD算法较传统BDD算法在应用范围和算法效率上有一定提高。 展开更多
关键词 二元决策图 故障树 shannon分解 关联系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部