|
1
|
磁流变液制动器系统区间动态可靠性分析 |
杨恒
张宇鹏
杨鹏凯
李淑君
董青
王震
|
《哈尔滨工程大学学报》
北大核心
|
2025 |
0 |
|
|
2
|
一种故障树向BDD的转化方法 |
段珊
张修如
刘树锟
王金娟
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
8
|
|
|
3
|
网络可靠度BDD分析算法的性能改进 |
潘竹生
莫毓昌
钟发荣
赵建民
|
《计算机工程与科学》
CSCD
北大核心
|
2012 |
6
|
|
|
4
|
基于改进BDD算法的导弹安控系统故障树仿真分析 |
袁静
胡昌华
徐瑞
龙勇
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
10
|
|
|
5
|
一种基于BDD的多阶段任务系统可靠度新算法 |
张涛
郭波
谭跃进
刘芳
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2005 |
10
|
|
|
6
|
基于BDD的多阶段任务系统可靠性 |
胡小华
刘依路
张如华
叶丹
魏朝阳
|
《辽宁工程技术大学学报（自然科学版）》
CAS
北大核心
|
2013 |
3
|
|
|
7
|
基于BDD的关联故障树定量分析法研究 |
张超
马存宝
胡云兰
许家栋
|
《计算机工程与应用》
CSCD
北大核心
|
2005 |
6
|
|
|
8
|
Petri网的符号ZBDD可达树分析技术 |
李凤英
古天龙
徐周波
|
《计算机学报》
EI
CSCD
北大核心
|
2009 |
8
|
|
|
9
|
一种基于ZBDD求解大型故障树的基本事件排序方法 |
刘萍
吴宜灿
李亚洲
王海涛
胡丽琴
张士杰
麻晓敏
聂淼
袁润
|
《核科学与工程》
CSCD
北大核心
|
2007 |
14
|
|
|
10
|
用递归BDD技术分析故障树 |
罗航
王厚军
黄建国
龙兵
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
6
|
|
|
11
|
基于BDD的多态系统概率安全评估方法研究 |
周经伦
周忠宝
彭宝华
任培
|
《系统工程学报》
CSCD
北大核心
|
2009 |
8
|
|
|
12
|
基于重量分析的OBDD变量排序算法 |
龙望宁
杨士元
闵应骅
童诗白
|
《计算机学报》
EI
CSCD
北大核心
|
1997 |
6
|
|
|
13
|
基于OBDD的通信网链路重要性评估 |
赵勃
肖宇峰
刘岩
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2011 |
11
|
|
|
14
|
基于OBDD的航空电子网络可靠性分析 |
陈瑶
李峭
赵长啸
熊颖
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2013 |
8
|
|
|
15
|
基于T^3BDD的动态模型检查 |
倪彬
冯玉琳
黄涛
|
《软件学报》
EI
CSCD
北大核心
|
1999 |
2
|
|
|
16
|
实现最优BDD结构的联合改进方法 |
罗航
廖俊必
王厚军
黄建国
龙兵
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
2
|
|
|
17
|
约束满足问题求解的符号OBDD桶消元算法 |
徐周波
古天龙
常亮
李凤英
|
《计算机科学》
CSCD
北大核心
|
2011 |
4
|
|
|
18
|
用改进的OBDD方法计算通信网可靠度 |
肖宇峰
李昕
李玉宏
江虹
|
《计算机应用研究》
CSCD
北大核心
|
2010 |
3
|
|
|
19
|
异步时序电路分析的一种OBDD方法 |
吕毅
姚志江
魏道政
解永良
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2001 |
2
|
|
|
20
|
一种基于赋时Petri网和ZBDD的装配序列规划方法 |
李凤英
古天龙
常亮
徐周波
|
《计算机科学》
CSCD
北大核心
|
2012 |
3
|
|
