【摘 要】
：
飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模
【机 构】
：
中国航空无线电电子研究所,空军驻上海航空电子公司军事代表室
论文部分内容阅读
飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验
其他文献
在大功率柴油发动机的高压油路中,常常需要用到管径较细、有一定壁厚且能承受高压的油管.以往采用铜来生产这种油管,其成本较高、资源少且加工精度低,而用卷焊管替代铜管则是
在王明德主编的师专教材分析化学实验,《实验+铅铋混合液中pb<sup>2+</sup>Bi<sup>3+</sup>的连续滴定》中,配制浓度各为0.02mol·l<sup>-1</sup>左右Pb<sup>2+</sup>Bi<
介绍了基于C/S结构的绿色制造评价系统的设计和实现,并详细描述了利用VB语言和MS SQL Server2000开发的评价系统的关键技术,该系统具有较强的实用性和可操作性.
本文尝试对农村高中师生对新编高中英语教材的看法进行实践调查，并对调查的结果进行分析，发现新教材在农村学校教学当中目前存在的不适应性，并提出解决问题的相应措施。通过高中
借鉴国外切割锯新技术，创新设计出动力头结构，采用全封闭和可拆卸式，使两个对称动力头同时工作，且设有专门的锯屑收集器。特别是采用了较流行的步进电机，通过滚珠丝杠进行送料和切
阐述速度调节阀通过改变液压系统管路中单位时间通过的油量来达到调节速度的目的，分析速度调节阀的工作原理，以及在牵引床上的故障现象和维修方法，供同行在设备维修时借鉴和参考
近年来,国家在不断推进、深化医疗改革的同时,医院文化建设亦受到了广泛关注。对医院而言,软实力亦是影响整体行业实力的重要因素,良好的医院文化建设不仅有助于营造和谐医护
阿来小说《尘埃落定》是描写现代力量冲击下康巴部族土司制度逐渐衰朽溃败的民族史诗,是对藏地部族生活的历史书写与人性复现,隐含着一种现代民族国家转型的宏大叙事。罂粟等
诺贝尔文学奖获得者、英国少数族裔作家石黑一雄的小说《被掩埋的巨人》,对英国传统经典文学文本《贝奥武甫》和《亚瑟王传奇》进行了颠覆性的重写,特别是其间关于记忆伦理的
在医院实践发展过程中，由于我院的特殊性，即从一所军队中心医院发展到目前地方非营利性三级综合医院，经过了一个调整到摸索再调整，最后形成招标规范的过程，深感医疗设备招标工作在