CORC

浏览/检索结果: 共22条,第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
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
Fast Testing Network Data Plane with RuleChecker 会议论文
作者:  Zhang, Peng;  Zhang, Cheng;  Hu, Chengchen
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/26
An implicit method for probabilistic common cause failures in phased-mission system 会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:  Wu, Huan;  Jiao, Jian;  Zhao, Runjiang;  Chew, Zhiwei
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/30
The Study of Fault Diagnosis Method Using A* Search and OBDD 会议论文
PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON MATERIAL SCIENCE, ENERGY AND ENVIRONMENTAL ENGINEERING (MSEEE 2017), 2017-01-01
作者:  Pang, Bo;  Huang, Zhigang;  Feng, Wenquan;  Zhang, Wenfeng;  Fu, Baoling
收藏  |  浏览/下载:8/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
可信编译器构造的翻译确认方法简述 期刊论文
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