【摘 要】
：
模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检
【机 构】
：
中国民航大学天津市民用航空器适航与维修重点实验室,民航航空器适航审定技术重点实验室,中国民航大学适航学院
【基金项目】
：
国家自然科学基金项目(61601468);中央高校基金(3122016D028)~~
论文部分内容阅读
模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。
其他文献
把握乡村振兴中的“新动力”与“新动能”的两个范畴的联系与区别,对于部署与实施乡村振兴战略具有理论与实践上的指导意义：把握两者之间的区别,可以掌握乡村振兴战略在实施过
革兰阴性菌耐药性已经严重威胁人类健康,亟需开发新作用机制的抗菌药物。UDP-3-O-(R-羟基十四酰)-N-乙酰氨基葡糖脱乙酰基酶(LpxC)是催化合成革兰阴性菌外膜脂多糖主要成分类
针对IaaS用户对于基础设施资源的管控仅有极有限的感知,特别是安全管控的感知问题,提出1种面向虚拟化环境集群的用户可感知的安全管理模型,并设计了面向群组的安全管控协议。
针对重庆地区红黏土边坡的滑坡问题,通过分析红黏土边坡的破坏形式和失稳破坏原因及降雨对红黏土的影响。并且通过室内试验对红黏土的基本力学参数进行了试验研究,确定红黏土
目的探究普瑞巴林辅助治疗坐骨神经痛的临床疗效。方法选取本院72例坐骨神经痛患者,将其随机分对照组和观察组,每组36例。对照组给予卡马西平片治疗;观察组给予普瑞巴林胶囊
1871年爆发的巴黎公社革命,是19世纪无产阶级革命的最高成就。这不仅在无产阶级解放运动史上写下了极其光辉的一页,而且为马克思研究国家问题提供了重要的实践经验,使马克思
2018年2月16日,央视综合频道推出了一档大型诗词文化音乐节目《经典咏流传》,首播当日收视率力压各大卫视春晚,这是基于时代召唤下的风格表征与内容转换。本论文将通过对其传
知识溢出对经济增长的重要性日益突出,本文采用永续盘存法测度中国31个省份的知识存量,利用2006-2017年省级面板数据建立空间杜宾模型测算知识空间溢出效应,进而分解出直接效
患者27岁,孕3产2,住院号20070297。因停经40＋3周,疤痕子宫,于2007年4月16日入院。LMP：2006.7.6,EDC：2007.4.13。停经4月余自觉胎动,孕33周时因B超检查：羊水量过少,深度为1.6cm（AS
遥感技术是应用探测仪器不直接接触目标物体,在一定距离基础上把目标的电磁波特性记录下来,通过分析,揭示出物体的特征性质和综合性变化的一种先进探测技术。在日常生活中,人