【摘 要】
：
飞机发动机控制软件作为机载系统的核心控制软件,其安全性十分重要。由于飞机发动机控制软件功能繁多且逻辑关系复杂,建立软件模型是对其安全性进行分析的一种有效途径。传统
论文部分内容阅读
飞机发动机控制软件作为机载系统的核心控制软件,其安全性十分重要。由于飞机发动机控制软件功能繁多且逻辑关系复杂,建立软件模型是对其安全性进行分析的一种有效途径。传统建模方法无法有效地描述软件功能模块间存在的大量并发特征。着色Petri网(CPN)作为一种形式化的建模方法,能够有效描述软件运行状态、软件功能之间复杂的逻辑关系,以及功能模块间的并发操作等,常用于复杂软件的建模中。因此,本文运用CPN对某型飞机发动机控制软件进行建模与安全性分析。依据某型飞机发动机控制软件的特征,分析其与CPN模型的库所、迁移等元素之间的对应关系,构建飞机发动机控制软件的CPN模型。在此基础上,研究软件危险状态及其在CPN模型上的表示,寻找可能触发潜在危险状态的标识及其参数组合,从而验证某型飞机发动机控制软件是否确实存在危险状态。本文将寻找可能的标识及其参数组合看成是一个搜索问题,设计相应的遗传算法,对某型飞机发动机控制软件CPN模型进行危险状态的识别,并对遗传算法进行改进,提高了遗传算法的搜索效率。最后将本文的方法运用于某型飞机发动机控制软件的CPN建模及危险状态识别中,对方法的有效性及算法的执行效率进行了分析验证。结果表明,本文提出的方法能够有效地识别出软件中潜在的危险状态,提升了某型飞机发动机控制软件的安全性。
其他文献
传统隐喻理论认为,隐喻是一种语言现象,作为一种修辞手段,可以追溯到亚里士多德的隐喻理论。随着认知理论的发展,语言学者对隐喻的功能获得了新的认识,即:隐喻是一种认知行为
齿轮箱是大型风电机组最重要的传动部件之一,它的健康状态直接决定着机组是否能够正常运行。风电机组一般工作在沙漠、野外、孤岛等恶劣环境下,齿轮箱是其故障率最高的部件,
快速并可靠地检测海上目标,在军事和民用方面均有重大的意义。然而,面对复杂多变的工作环境,海面雷达所接收到的回波信号中除了有效的目标信号外,还会包括各类干扰、噪声、海
在对金融市场存在的风险理论和实际应用研究中,越来越多的学者对风险的最优分配以及金融决策问题给予广泛地关注和深入地研究.本文主要以非线性数学期望理论为基础,研究一类
对地遥感卫星的极速发展,为遥感数据用户提供了大量的信息源。遥感成像仿真是卫星发射前效果评估的主要方式,混合像元模拟是遥感成像仿真的基础环节。随着空间分辨率的提高,
随着Cohen-Grossberg神经网络的广泛应用,越来越多的学者对该网络模型展开了研究,并已取得了大量深刻的研究成果。由于脉冲信息传输是生物神经网络的内在属性,近年来,脉冲神
内分泌干扰物(EDCs),作为一类有害物质,会引起人体肥胖、糖尿病,诱发女性激素敏感性癌症、男性前列腺癌,影响男女生殖健康、甲状腺和神经发育等。其来源广泛,可通过一定的途
随着机械和现代电子技术的不断发展,人们产生了各种各样的灵巧手,它是机器人与外部环境进行人机交互的重要媒介,因此灵巧手一直是机器人领域的热点课题。它可以在极限或者有
手势是窥探人类思维面貌的一扇窗口,隐喻思维可通过手势呈现,因此,手势隐喻研究也为研究人类认知思维提供新视角。手势隐喻多以多模态呈现,通过对语言、文字、图像、手势、颜色、音乐等多种模态资源的综合分析,可使话语意义解读更全面和准确。现有手势隐喻研究多关注口语与手势模态结合的手势隐喻在政治演讲等语篇特点,但未能从其他多种模态中研究手势隐喻意义建构方式和认知机制,且较少涉及励志类演讲语篇,这为励志类演讲中
数据挖掘通过分析大量数据来揭示隐藏的有意义的规律或模式。在教育领域数据挖掘能帮助解决教育研究与教学实践中的问题。慕课的发展为我国各地区教育均衡发展提供了条件,慕