×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [10]
北京航空航天大学 [6]
北京大学 [4]
西安交通大学 [2]
合肥物质科学研究院 [2]
软件研究所 [2]
更多...
内容类型
期刊论文 [29]
会议论文 [3]
其他 [1]
外文期刊 [1]
发表日期
2022 [1]
2019 [1]
2018 [4]
2017 [4]
2016 [2]
2013 [1]
更多...
学科主题
721.1 Comp... [1]
Automation... [1]
微电子学 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共34条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2022/12/23
Component connection
dynamic fault tree
sequential binary decision diagram
Heuristic strategies
calculable logic terms
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
data plane faults
probe generation
Software defined network
binary decision diagram
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 binary decision diagram
Fault level coverage
Parallel systems
Phased-mission systems
Reliability modeling
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
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/12/10
Accuracy
fault detection
scalability
sensitivity
software reliability
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
Aggregated binary decision diagram
Fault level coverage
Parallel systems
Phased-mission systems
Reliability modeling
Fast Testing Network Data Plane with RuleChecker
会议论文
作者:
Zhang, Peng
;
Zhang, Cheng
;
Hu, Chengchen
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/11/26
Data plane faults
Probe generation
Software Defined Network
Binary Decision Diagram
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
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
phased-mission system
Implicit method
Probabilistic common cause failure
binary decision diagram method
Markov model
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
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/30
A*Search
Ordered Binary Decision Diagram (OBDD)
Diagnosis
Model
Compilation
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
Multi-state system
Failure mechanism dependence
State-probability evaluation
Reliability analysis
Binary decision diagram
Multi-state multi-valued decision diagram
©版权所有 ©2017 CSpace - Powered by
CSpace