全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 湾流G450型飞机电子系统CBT课件设计
- 作者： 钟玲玲 冯锐 刘栋亮 刘秋亮 范钧滔 来源： 无线互联科技 年份： 2019 文献类型 ： 期刊 关键词： 湾流G450型飞机 航空电子系统 交互式学习 CBT课件
- 描述： 当下民航业正在迎来新一轮高速发展,需要大量专业机务人才,机型技术的培训成为一大焦点,传统的培养方式主要是书本与现场实践相结合,这种方式很大程度上受到了时间和地点的限制,迫切需要一种新的更方便快捷的培训方式来满足民航领域对机务人才的培训需求。文章正是针对此目的,开发了针对湾流G450型飞机电子系统机型培训的计算机辅助培训课件。首先,文章介绍了CBT的概念、优势、发展等;其次,详细介绍了湾流G450型飞机电子系统CBT课件的制作过程和部分界面;最后,展望了CBT课件的应用和发展,通过此CBT课件,实现了机型培训中飞机电子系统交互式学习模式,提高了培训的统一性,减少了时间空间的限制,节省了实物资源,提高了培训效率。
- 一种航空电子系统体系结构错误行为验证方法
- 作者： 丁明 张书玲 张琛 来源： 西北大学学报(自然科学版) 年份： 2019 文献类型 ： 期刊 关键词： 错误模型 模型检测 体系结构 航空电子系统
- 描述： 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。