期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于改进BDD算法的导弹安控系统故障树仿真分析
被引量:
10
1
作者
袁静
胡昌华
+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
职称材料
基于余子式的组合逻辑电路覆盖等效性检测算法
被引量:
1
2
作者
张会红
汪鹏君
+1 位作者
陈治文
汪涛
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2017年第11期2140-2146,共7页
覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一...
覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.
展开更多
关键词
组合逻辑电路
覆盖等效性
余子式
香农结构图
下载PDF
职称材料
网络可靠度BDD分析中2种边排序策略的性能比较
被引量:
5
3
作者
潘竹生
莫毓昌
赵建民
《浙江师范大学学报(自然科学版)》
CAS
2013年第1期88-95,共8页
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先...
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先2种边排序策略的基础上,针对规则网络(N*N型和M*N型),比较了这2种策略的分析性能.实验数据表明:1)规则网络中广度优先边排序策略优于深度优先边排序策略;2)当M>N时,广度优先边排序策略在M*N型网络中的性能表现优于与之等价的N*M型网络.这些结论为设计更优的启发性边排序策略提供了重要依据.
展开更多
关键词
网络可靠度
二叉决策图
启发性边排序
香农分解
下载PDF
职称材料
题名
基于改进BDD算法的导弹安控系统故障树仿真分析
被引量:
10
1
作者
袁静
胡昌华
徐瑞
龙勇
机构
西安市第二炮兵工程学院
西北工业大学计算机学院
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2007年第1期9-12,共4页
基金
国防预研项目基金(41327030104)
文摘
针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一步中的截断和蕴涵操作使得关联系统的大型故障树可以在少量内存和短时间内高效的完成。仿真实例证明了采用CBDD算法较传统BDD算法在应用范围和算法效率上有一定提高。
关键词
二元决策图
故障树
shannon
分解
关联系统
Keywords
binary decision
diagram
fault tree
shannon
decomposition
coherent system
分类号
TN91 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于余子式的组合逻辑电路覆盖等效性检测算法
被引量:
1
2
作者
张会红
汪鹏君
陈治文
汪涛
机构
宁波大学电路与系统研究所
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2017年第11期2140-2146,共7页
基金
国家自然科学基金(61306041
61234002)
浙江省自然科学基金(LY13F040003)
文摘
覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.
关键词
组合逻辑电路
覆盖等效性
余子式
香农结构图
Keywords
combinational circuits
coverage equivalence
cofactor
shannon diagram
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
网络可靠度BDD分析中2种边排序策略的性能比较
被引量:
5
3
作者
潘竹生
莫毓昌
赵建民
机构
浙江师范大学数理与信息工程学院
出处
《浙江师范大学学报(自然科学版)》
CAS
2013年第1期88-95,共8页
基金
国家自然科学基金资助项目(60903011)
浙江省自然科学基金资助项目(Y1100689)
浙江省计算机软件与理论重中之重学科开放课题资助项目(ZSDZZZZXK24)
文摘
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先2种边排序策略的基础上,针对规则网络(N*N型和M*N型),比较了这2种策略的分析性能.实验数据表明:1)规则网络中广度优先边排序策略优于深度优先边排序策略;2)当M>N时,广度优先边排序策略在M*N型网络中的性能表现优于与之等价的N*M型网络.这些结论为设计更优的启发性边排序策略提供了重要依据.
关键词
网络可靠度
二叉决策图
启发性边排序
香农分解
Keywords
network reliability
binary decision
diagram
( BDD )
heuristic edge-ordering
shannon
decomposition
分类号
TB114 [理学—概率论与数理统计]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于改进BDD算法的导弹安控系统故障树仿真分析
袁静
胡昌华
徐瑞
龙勇
《系统仿真学报》
EI
CAS
CSCD
北大核心
2007
10
下载PDF
职称材料
2
基于余子式的组合逻辑电路覆盖等效性检测算法
张会红
汪鹏君
陈治文
汪涛
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2017
1
下载PDF
职称材料
3
网络可靠度BDD分析中2种边排序策略的性能比较
潘竹生
莫毓昌
赵建民
《浙江师范大学学报(自然科学版)》
CAS
2013
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部