【摘 要】
：
传统综合模块化航电（IMA）重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家“973”计划基金资助项目“面向大型飞机综合化航空电子系统安全性基础问题研究”（2014CB744900）
论文部分内容阅读
传统综合模块化航电（IMA）重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大。为此,提出一种新的IMA重构危害分析方法。该方法基于IMA重构控制进程的AADL模型,将重构控制流模型转化为Petri网模型,利用Petri网的向回关键态算法,并基于Petri网的可达性分析方法对IMA重构功能的危害进行分析。分析结果表明,该方法不仅解决了IMA重构动态运行时的危害问
其他文献
针对近年来杂交水稻三系亲本特征特性发生变化的情况,从理论上阐述了其产生的根本原因,指出"单株选择"在整个原种生产体系中的基础性地位,提出了"单株选择"应遵循的基本原则
摘要：俗话说，兴趣是最好的老师，学习什么都离不开兴趣。因此学习英语更要注重学生学习兴趣的培养。学习英语这门语言相对而言是比较枯燥，所以说激发学生学习兴趣是关键所在。如果能够激发学生的学习兴趣，他们就可以主动接受知识，否则就会产生厌学的感觉。本文主要结合了学生的具体实际情况以及自身的教学实践，探讨几点激发学生英语学习兴趣的方法。 关键词：初中英语;兴趣激发：实践;体会 中图分类号：G633.41
摘要：软陶制作是一种全新的艺术形式，教师在新时期教学背景下，不妨合理利用软陶制作丰富美术课堂环境，从而澉发学生的学习兴趣，丰富初中生美术兴趣爱好储备。鉴于此，本文主要围绕软陶制作在初中美术教学中的作用，和具体的应用展开有效分析。 关键词：软陶制作;初中美术;教学作用;实践 中图分类号：G633.955 文献标识码：A 文章编号：1672 -1578{ 2019）08 - 0179 -01
论述了湖南优质稻米产业化发展的现状和面临的问题,讨论了发展优质稻米产业的必要性,提出了优质稻产业化的发展对策:紧紧抓住国内市场,积极开拓国际市场;切实保护水稻生产能
SPECK类算法是一类轻量级分组密码算法,由于其出色的平台适用性和软件实现性能而备受关注。针对当前SPECK类算法在抵御立方攻击以及算法内部结构对密钥比特的混淆和扩散方面
在石油、天然气生产的钻井过程中，钻具的诸多参数被录井仪器实时测量、显示、记录下来。其中一些参数对司钻的操作有极大的指导价值。文章介绍一种带升降、俯仰功能的井台区录
摘要：众所周知，初中英语是整个教学体系中的重要组成部分，而初中英语的听力教学更是整个英语教学中的重点和难点。如今，初中英语中的教学按照新课改的要求进行了创新与改进，但初中英语听力的效果依旧没有得到实质性的提高与改善，效果仍旧令人很不满意。所以本篇文章主要内容就是对初中英语听力教学中的难点与教学策略进行系统分析。 关键词：初中英语;听力;教学 中图分类号：G633.41 文献标识码：A 文章编号
观察了4种不同类型粳稻品种与培矮64S配置的F1始穗期表现,发现F1生育期和父本的光温特性关系密切,即感温型中、早粳能减弱F1生育期超亲,而感光型的晚粳和特早熟晚粳等具有较