×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
山东大学 [57]
北京航空航天大学 [28]
华南理工大学 [22]
兰州理工大学 [21]
西安交通大学 [18]
沈阳自动化研究所 [16]
更多...
内容类型
会议论文 [285]
发表日期
2019 [2]
2018 [9]
2017 [15]
2016 [7]
2015 [10]
2014 [23]
更多...
学科主题
天文技术与方法::自... [1]
天文望远镜::郭守敬... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共285条,第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
Java Software for Petri-Net-Based Approaches to Discrete Event Systems
会议论文
作者:
Wang, Xiaojun
;
Han, Chun
;
Hu, Hesuan
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/11/19
Graphical interface
Inequality analysis
Java language
Minimal siphons
Reachability graphs
Search Algorithms
Simulation platform
Software platforms
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
Fault Diagnosis of Transformer Based on Chaotic Bats Algorithm Optimizing Fuzzy Petri Net
会议论文
2nd IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2018, May 25, 2018 - May 27, 2018
作者:
Li, Mengjia
;
Liu, Xiujie
;
Li, Renhui
;
Zheng, Ran
;
Zhao, Wenchao
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
©版权所有 ©2017 CSpace - Powered by
CSpace