×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [65]
内容类型
会议论文 [65]
发表日期
2019 [5]
2018 [3]
2017 [13]
2016 [11]
2015 [9]
2014 [13]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共65条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
XML-based modeling method of phased-mission systems subject to probabilistic common cause failures
会议论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019-01-01
作者:
Wu, Huan
;
Zhao, Tingdi
;
Jiao, Jian
;
Chen, Zhiwei
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/12/30
Probabilistic common cause failure
phased-mission system
Markov method
XML
standardization
automatic generation of model
Avionics system failure analysis and verification based on model checking
会议论文
ENGINEERING FAILURE ANALYSIS, 2019-11-01
作者:
Wang, Hongli
;
Zhong, Deming
;
Zhao, Tingdi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Systems-theoretic process analysis
Failure analysis
Model checking
Failure verification
Avionics system
Research on multi-view based embedded software safety mechanism
会议论文
Chinese Intelligent Systems Conference, CISC 2018, Wenzhou, China, 2019-01-01
作者:
Luo, Shidong
;
Bao, Xiaohong
;
Wang, Wang
;
Zhao, Tingdi
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/30
System of Systems Architecture Modeling and Mission Reliability Analysis Based on DoDAF and Petri Net
会议论文
2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019-01-01
作者:
Chen Zhiwei
;
Zhao Tingdi
;
Jiao Jian
;
Li Yaqiu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
System of Systems
reliability
DoDAF
Petri net
Functional Safety Oriented Integrated Design for Avionics System Resources: Multilayer Weighted Networks Model
会议论文
2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019-01-01
作者:
Chu, Jiayun
;
Jiao, Jian
;
Zhao, Tingdi
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/12/30
resources integration
function safety
multilayer weighted networks
IMA system overall fault management method research based on ASAAC architecture
会议论文
Chinese Intelligent Systems Conference, CISC 2017, Mudanjiang, China, 2017-10-14
作者:
Wang, Kun
;
Bao, Xiaohong
;
Zhao, Tingdi
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
Safety analysis for integrated modular avionics based on blueprints
会议论文
SIXTH INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING AND TECHNOLOGY INNOVATION 2017 (IMETI 2017), 2018-01-01
作者:
Chu, Jiayun
;
Bao, Xiaohong
;
Zhao, Tingdi
;
Ren, Fuchun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Avionics
Blueprints
Engineering research
Tensors
Core technology
Functional modules
Integrated modular avionics
Logical expressions
Logical relationships
Semi-tensor product of matrices
System management
System resources
Safety engineering
Integrated Modular Avionics Fault Propagation Model Establishment and Reliability Allocation
会议论文
12TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY, AND SAFETY (ICRMS 2018), 2018-01-01
作者:
Dong, Hao
;
Bao, Xiaohong
;
Zhao, Tingdi
;
Xin, Yu
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Integrated Modular Avionics System
Fault propagation
Reliability distribution
Resource synthesis
Application of Bayesian network in safety analysis on civil aircraft systems
会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:
Wang, Hongli
;
Zhong, Deming
;
Zhao, Tingdi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Integrated Modular Avionics System Safety Analysis Based on Model Checking
会议论文
Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23
作者:
Wang, Hongli
;
Zhao, Tingdi
;
Ren, Fuchun
;
Jiang, Zeyong
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
integrated modular avionics
system analysis
model checking
©版权所有 ©2017 CSpace - Powered by
CSpace