CORC

在结果中检索

CORC

浏览/检索结果: 共29条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
An adapted component-connection method for building SBDD encoding a dynamic fault tree 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2022
作者:  Guo, Dingqing;  Wang, Jinkai;  Lin, Jian;  Zhang, Bing;  Yong, Nou
收藏  |  浏览/下载：25/0  |  提交时间：2022/12/23
Fast Data Plane Testing for Software-Defined Networks With RuleChecker 期刊论文
IEEE-ACM TRANSACTIONS ON NETWORKING, 2019, 卷号: 27, 页码: 173-186
作者:  Zhang, Peng;  Zhang, Cheng;  Hu, Chengchen
收藏  |  浏览/下载：9/0  |  提交时间：2019/11/19
Aggregated combinatorial reliability model for non-repairable parallel phased-mission systems 期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2018, 卷号: 176, 页码: 242-250
作者:  Zhai Qingqing[1];  Xing Liudong[2];  Peng Rui[3];  Yang Jun[4]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/24
RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 10432-10444
作者:  Zhong, Lujie;  Yew, Pen-Chung;  Huo, Wei;  Li, Feng;  Feng, Xiaobing
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/10
Intelligent fault diagnosis of hot die forging press based on binary decision diagram and fault tree analysis 期刊论文
Procedia Manufacturing, 2018, 卷号: Vol.15, 页码: 459-466
作者:  Chunping Cao;  Meng Li;  Yu Li;  Yu Sun
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/26
Aggregated combinatorial reliability model for non-repairable parallel phased-mission systems 期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2018, 卷号: 176, 页码: 242-250
作者:  Zhai Qingqing;  Xing Liudong;  Peng Rui;  Yang Jun
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
Reliability analysis of multi-state systems subject to failure mechanism dependence based on a combination method 期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2017, 卷号: 166, 页码: 109-123
作者:  Li, Ying Yi;  Chen, Ying;  Yuan, Zeng Hui;  Tang, Ning;  Kang, Rui
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Fault-tree-based instantaneous risk computing core in nuclear power plant risk monitor 期刊论文
ANNALS OF NUCLEAR ENERGY, 2016, 卷号: 95, 期号: 无, 页码: 35-41
作者:  Wang, Jin;  Wang, Fang;  Chen, Shanqi;  Wang, Jiaqun;  Hu, Liqin
收藏  |  浏览/下载：16/0  |  提交时间：2017/12/18
可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏  |  浏览/下载：6/0
Binary decision diagram-based reliability evaluation of k-out-of-(n plus k) warm standby systems subject to fault-level coverage 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2013, 卷号: 227, 页码: 540-548
作者:  Zhai, Qingqing;  Peng, Rui;  Xing, Liudong;  Yang, Jun
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace