×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [42]
内容类型
会议论文 [29]
期刊论文 [13]
发表日期
2019 [2]
2018 [5]
2017 [6]
2016 [6]
2015 [3]
2014 [13]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共42条,第1-10条
帮助
限定条件
专题:北京航空航天大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process
会议论文
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS, 2018-11-23
作者:
Zhu, D.
;
Yao, S.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/30
Accidents
Factor analysis
Hazards
Software engineering
Stamping
Causality modeling
Control actions
Controlled system
Hazard analysis
Safety analysis
Safety assurance
STPA
Systematic method
Process control
Integrating Model Checking With SysML in Complex System Safety Analysis
期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 16561-16571
作者:
Wang, Hongli
;
Zhong, Deming
;
Zhao, Tingdi
;
Ren, Fuchun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Complex system
safety analysis
model checking
system modeling language (SysML)
integrated modular avionics (IMA)
potential hazard
STAMP-based hazard analysis for computer-controlled systems using petri nets
期刊论文
International Journal of Performability Engineering, 2018, 卷号: 14, 页码: 1997-2007
作者:
Zhu, D.
;
Yao, S.
;
Xu, C.
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/30
Accidents
Hazards
Petri nets
Stamping
Causality modeling
Computer-controlled systems
Extended Petri net
Hazard analysis
Process Modeling
Reachability graphs
STAMP-based hazard analysis
System safety
Process control
Petri nets-based method for component-interaction related hazard identification in computer-controlled systems
会议论文
2018 IEEE 15TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2018-01-01
作者:
Zhu, Danjiang
;
Yao, Shuzhen
;
Wu, Ji
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Petri Nets
hazard identification
system safety
component interaction
STAMP
Petri nets-based method for component-interaction related hazard identification in computer-controlled systems
会议论文
ICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
作者:
Zhu, D.
;
Yao, S.
;
Wu, J.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Accidents
Computer control systems
Hazardous materials
Hazards
Petri nets
Polynomial approximation
Stamping
Accident models
Causality modeling
Component interaction
Computer-controlled systems
Extended Petri net
Hazard identification
System components
System safety
Process control
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process
会议论文
PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018-01-01
作者:
Zhu, Danjiang
;
Yao, Shuzhen
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
s-hazard analysis
safety analysis
software controlled system
S TAMP
S TPA
Combined Exposure Ratio Evaluation for Micro-Power Devices
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 19175-19181
作者:
Zhang Jinyu
;
Zhang Yifan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Electromagnetic radiation hazard
micro-power device
multidevice
neural network
public exposure control
The Investigation of Physical Explanation for Proportional Hazard Model (PHM) for Typical Failure Mechanisms
会议论文
Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23
作者:
Yuan, F. Q.
;
Lu, J. M.
;
Batalden, B. M.
;
Yao, J. Y.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Proportional Hazard Model
Physical explanation
Randomness
Time to Failure
Weibull distribution
A System Safety Analysis Method Based on Multiple Category Hazard Factors
会议论文
2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017-01-01
作者:
Wang, Hao
;
Zhong, Deming
;
Zhao, Yukun
;
Sun, Rui
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
multiple category hazard factors
finite state machine
hazard information
flap/reverse-thrust system
Extend STPA Method Using Hybrid Dynamic Theory
会议论文
2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017-01-01
作者:
Li, Zhe
;
Zhong, Deming
;
Sun, Rui
;
Wang, Hao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
hybrid dynamic theory
STPA
hazard analysis
hierarchical hybrid model
©版权所有 ©2017 CSpace - Powered by
CSpace