中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京航空航天大学 [66]

清华大学 [8]

上海电子信息职业技术... [2]

工程热物理研究所 [2]

西安交通大学 [1]

四川大学 [1]

内容类型

会议论文 [53]

期刊论文 [31]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共84条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	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

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace