|
1
|
基于ROBDD的布尔函数同构判定算法研究 |
李红燕
高飞
|
《计算机工程与设计》
CSCD
北大核心
|
2011 |
0 |
|
|
2
|
结合区块链和可追踪CP-ABE的数据存储与共享研究 |
曾志兵
吴晓鸰
凌捷
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
7
|
|
|
3
|
支持即时属性间接撤销和用户追踪的CP-ABE方案 |
张小梅
陈建伟
谢金宏
王姝妤
|
《小型微型计算机系统》
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
考虑安全性需求的航空电子网络可靠性模型 |
赵长啸
汪鹏辉
田小艺
汪克念
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2024 |
1
|
|
|
5
|
基于有序二元决策图的黑启动分区搜索策略 |
刘映尚
吴文传
冯永青
张伯明
余南鹏
|
《中国电机工程学报》
EI
CSCD
北大核心
|
2008 |
26
|
|
|
6
|
电力系统低压减载和低频减载协调控制策略 |
佘庆媛
沈沉
乔颖
谭伟
|
《电力系统自动化》
EI
CSCD
北大核心
|
2008 |
28
|
|
|
7
|
一种基于ZBDD求解大型故障树的基本事件排序方法 |
刘萍
吴宜灿
李亚洲
王海涛
胡丽琴
张士杰
麻晓敏
聂淼
袁润
|
《核科学与工程》
CSCD
北大核心
|
2007 |
14
|
|
|
8
|
一种基于有序二元决策图和布尔函数性质计算网络可靠性的算法 |
熊飞
乔迪
王宏祥
赵子岩
杨洪
沈亮
|
《电子与信息学报》
EI
CSCD
北大核心
|
2014 |
5
|
|
|
9
|
基于OBDD的通信网链路重要性评估 |
赵勃
肖宇峰
刘岩
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2011 |
11
|
|
|
10
|
基于重量分析的OBDD变量排序算法 |
龙望宁
杨士元
闵应骅
童诗白
|
《计算机学报》
EI
CSCD
北大核心
|
1997 |
6
|
|
|
11
|
基于OBDD的航空电子网络可靠性分析 |
陈瑶
李峭
赵长啸
熊颖
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2013 |
8
|
|
|
12
|
PSL的有界模型检验 |
虞蕾
赵宗涛
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
2
|
|
|
13
|
求解故障树底事件最优指标顺序的改进算法 |
张超
马存宝
胡云兰
许家栋
|
《弹箭与制导学报》
CSCD
北大核心
|
2005 |
5
|
|
|
14
|
约束满足问题求解的符号OBDD桶消元算法 |
徐周波
古天龙
常亮
李凤英
|
《计算机科学》
CSCD
北大核心
|
2011 |
4
|
|
|
15
|
实现最优BDD结构的联合改进方法 |
罗航
廖俊必
王厚军
黄建国
龙兵
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
2
|
|
|
16
|
故障树分析中底事件排序问题的研究 |
郭伟伟
马捷中
翟正军
|
《计算机工程与设计》
CSCD
北大核心
|
2007 |
5
|
|
|
17
|
用改进的OBDD方法计算通信网可靠度 |
肖宇峰
李昕
李玉宏
江虹
|
《计算机应用研究》
CSCD
北大核心
|
2010 |
3
|
|
|
18
|
城市生命线系统的地震网络可靠性研究 |
操铮
刘茂
许同生
|
《自然灾害学报》
CSCD
北大核心
|
2011 |
6
|
|
|
19
|
装配序列生成的有序二叉决策图技术研究 |
钟艳如
黄美发
古天龙
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2008 |
4
|
|
|
20
|
一种求解认知难题的模型检测方法 |
骆翔宇
苏开乐
顾明
|
《计算机学报》
EI
CSCD
北大核心
|
2010 |
5
|
|
