|
1
|
磁流变液制动器系统区间动态可靠性分析 |
杨恒
张宇鹏
杨鹏凯
李淑君
董青
王震
|
《哈尔滨工程大学学报》
北大核心
|
2025 |
0 |
|
|
2
|
结合区块链和可追踪CP-ABE的数据存储与共享研究 |
曾志兵
吴晓鸰
凌捷
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
4
|
|
|
3
|
支持即时属性间接撤销和用户追踪的CP-ABE方案 |
张小梅
陈建伟
谢金宏
王姝妤
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
考虑安全性需求的航空电子网络可靠性模型 |
赵长啸
汪鹏辉
田小艺
汪克念
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
5
|
基于二分决策图的特征模型验证方法 |
闫华
张伟
赵海燕
梅宏
|
《软件学报》
EI
CSCD
北大核心
|
2010 |
2
|
|
|
6
|
基于动态故障树的卫星系统可靠性分析 |
张晓洁
赵海涛
苗强
张伟
黄洪钟
|
《宇航学报》
EI
CAS
CSCD
北大核心
|
2009 |
47
|
|
|
7
|
基于有序二元决策图的黑启动分区搜索策略 |
刘映尚
吴文传
冯永青
张伯明
余南鹏
|
《中国电机工程学报》
EI
CSCD
北大核心
|
2008 |
26
|
|
|
8
|
基于改进BDD算法的导弹安控系统故障树仿真分析 |
袁静
胡昌华
徐瑞
龙勇
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
10
|
|
|
9
|
一种基于BDD的多阶段任务系统可靠度新算法 |
张涛
郭波
谭跃进
刘芳
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2005 |
10
|
|
|
10
|
基于顺序二元决策图的动态故障树分析 |
李佩昌
袁宏杰
兰杰
程明
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2017 |
16
|
|
|
11
|
一种故障树向BDD的转化方法 |
段珊
张修如
刘树锟
王金娟
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
8
|
|
|
12
|
Petri网的符号ZBDD可达树分析技术 |
李凤英
古天龙
徐周波
|
《计算机学报》
EI
CSCD
北大核心
|
2009 |
8
|
|
|
13
|
电力系统低压减载和低频减载协调控制策略 |
佘庆媛
沈沉
乔颖
谭伟
|
《电力系统自动化》
EI
CSCD
北大核心
|
2008 |
28
|
|
|
14
|
一种基于ZBDD求解大型故障树的基本事件排序方法 |
刘萍
吴宜灿
李亚洲
王海涛
胡丽琴
张士杰
麻晓敏
聂淼
袁润
|
《核科学与工程》
CSCD
北大核心
|
2007 |
14
|
|
|
15
|
装配可靠性的模块化故障树建模与多维映射 |
张根保
李冬英
刘佳
范秀君
张恒
崔有志
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2013 |
9
|
|
|
16
|
用递归BDD技术分析故障树 |
罗航
王厚军
黄建国
龙兵
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
6
|
|
|
17
|
利用二分决策图计算网络可靠度的一个有效算法 |
孙艳蕊
张祥德
|
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
1998 |
13
|
|
|
18
|
随机共因失效条件下的多阶段任务成功概率评估研究 |
曹文斌
胡起伟
苏续军
赵建民
|
《兵工学报》
EI
CAS
CSCD
北大核心
|
2017 |
8
|
|
|
19
|
PSL的有界模型检验 |
虞蕾
赵宗涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
2
|
|
|
20
|
基于BDD的多态系统概率安全评估方法研究 |
周经伦
周忠宝
彭宝华
任培
|
《系统工程学报》
CSCD
北大核心
|
2009 |
8
|
|
