×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [66]
清华大学 [8]
上海电子信息职业技术... [2]
工程热物理研究所 [2]
西安交通大学 [1]
四川大学 [1]
更多...
内容类型
会议论文 [53]
期刊论文 [31]
发表日期
2020 [1]
2019 [8]
2018 [10]
2017 [12]
2016 [4]
2015 [5]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共84条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Approximate Reliability Analysis for New Generation Avionics Network
会议论文
Vancouver, BC, Canada, 2020-08-20
作者:
Guo, Lin
;
Wang, Xiaodong
;
Wang, Zhuqing
;
Zhang, Shuang
;
Guo, Yangming
收藏
  |  
浏览/下载:47/0
  |  
提交时间:2020/11/09
two-terminal network
reliability analysis
approximate computing
avionics network
point-to-point topology
arbitration loop topology
switching topology
Integrating Model Checking With SysML in Complex System Safety Analysis
期刊论文
IEEE Access, 2019, 卷号: Vol.7, 页码: 16561-16571
作者:
Hongli Wang
;
Deming Zhong
;
Tingdi Zhao
;
Fuchun Ren
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/17
Safety
Unified
modeling
language
Model
checking
Complex
systems
Analytical
models
Control
systems
Automobiles
Complex
system
safety
analysis
model
checking
system
modeling
language
(SysML)
integrated
modular
avionics
(IMA)
potential
hazard
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
Design and realization of Display Control software in Integrated Avionic system for General Aviation based on the VxWorks
会议论文
Proceedings of the World Congress on Intelligent Control and Automation (WCICA), 2018-07-04
作者:
Wu, Y.
;
Xuejun, Z.
;
Huaxian, L.
;
Xiangmin, G.
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Avionics
Civil aviation
Data handling
Flight control systems
Flight simulators
Intelligent control
Software testing
Avionic systems
Display controls
Embedded operating systems
Flight information
Flight simulation software
General aviation
Graphical interface
Processing modules
Computer control
End-to-End Delay Analysis Considering Partition Scheduling on a DIMA Platform
会议论文
IEEE Region 10 Annual International Conference, Proceedings/TENCON, 2018-10-28
作者:
Xiang, W.
;
He, F.
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
Avionics
Calculations
Ethernet
Network architecture
Scheduling
Uncertainty analysis
AFDX
Avionics full duplex switched ethernets
Delay analysis
Development directions
DIMA
Integrated modular avionics
Real time performance evaluation
System reconfiguration
Computer architecture
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 reliability modeling of unmanned aircraft system avionics systems based on 5G
期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2019, 卷号: 15
作者:
Zhou, Qiang
;
Wei, Yongan
;
Zhu, Longjiang
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/12/30
Internet of things
5G
unmanned aircraft system avionics system
reliability modeling
task reliability
Research on Reliability Modeling of Image Transmission Task Based on UAV Avionics System
会议论文
2019 15TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), 2019-01-01
作者:
Zhou, Qiang
;
Yang, Jing
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/12/30
UAV
avionics system
image transmission
reliability
multimedia quality
Avionics system failure analysis and verification based on model checking
期刊论文
ENGINEERING FAILURE ANALYSIS, 2019, 卷号: 105, 页码: 373-385
作者:
Wang, Hongli
;
Zhong, Deming
;
Zhao, Tingdi
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Systems-theoretic process analysis
Failure analysis
Model checking
Failure verification
Avionics system
Scheduling Based on Interruption Analysis and PSO for Strictly Periodic and Preemptive Partitions in Integrated Modular Avionics
期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 13523-13540
作者:
Lu, Hui
;
Zhou, Qianlin
;
Fei, Zongming
;
Zhou, Rongrong
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/30
Integrated modular avionics
partition scheduling model
optimization framework
interruption analysis
particle swarm optimization
©版权所有 ©2017 CSpace - Powered by
CSpace