×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [28]
内容类型
会议论文 [28]
发表日期
2019 [2]
2018 [6]
2017 [5]
2016 [3]
2015 [1]
2014 [5]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共28条,第1-10条
帮助
限定条件
内容类型:会议论文
专题:北京航空航天大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow 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
作者:
Dong, Jie
;
Jiao, Jian
;
Xia, Hongqing
;
Chu, Jiayun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Petri net
Stateflow model
concurrency
safety simulation and analysis
Evaluate concurrent state machine of SysML model with Petri net
会议论文
Proceedings of the 13th IEEE Conference on Industrial Electronics and Applications, ICIEA 2018
作者:
Shen, J.
;
Liu, L.
;
Hu, X.
;
Zhang, G.
;
Xiao, J.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
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 petri-net based reliability prediction method for SOA software
会议论文
2nd International Conference on Advances in Image Processing, ICAIP 2018, Chengdu, China, 2018-06-16
作者:
Zhang, Hao
;
Lu, Minyan
;
Gu, Tingyang
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/30
Evaluate Concurrent State Machine of SysML Model with Petri Net
会议论文
PROCEEDINGS OF THE 2018 13TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA 2018), 2018-01-01
作者:
Shen, Jieshi
;
Liu, Lei
;
Hu, Xiaoguang
;
Zhang, Guofeng
;
Xiao, Jin
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
SysML
Petri
State Machine
state equations
Formal verification
Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets
会议论文
2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018-01-01
作者:
Yang, Yi
;
Xu, Wei
;
Wang, Sixin
;
Wei, Kunlun
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/30
CPS
Object-oriented
Petri net
Availability analysis
A New Approach for Modular Robot System Behavioral Modeling: Base on Petri Net and Category Theory
会议论文
ADVANCES IN MATERIALS, MACHINERY, ELECTRONICS II, 2018-01-01
作者:
Zhang, Yun
;
Wei, Hongxing
;
Yang, Bo
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
modular
Petri nets
category theory
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net
会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:
Han, Rongbin
;
Wang, Shihai
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net
会议论文
RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01
作者:
Han, Rongbin
;
Wang, Shihai
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
©版权所有 ©2017 CSpace - Powered by
CSpace