论文部分内容阅读
为保证IMA系统管理设计的正确性、高可靠性和实时性，本文使用AADL对IMA系统管理进行建模，通过对模型功能和性能的正确性分析，并在模型的基础上进行分析验证，从而保证了IMA系统管理设计的正确性，降低了设计风险。
IMA系统管理功能的逻辑建模及性能分析
【摘 要】
：
为保证IMA系统管理设计的正确性、高可靠性和实时性，本文使用AADL对IMA系统管理进行建模，通过对模型功能和性能的正确性分析，并在模型的基础上进行分析验证，从而保证了IMA系统管
【机 构】
：
中国航空无线电电子研究所
【出 处】
：
航空电子技术
【发表日期】
：
2015年4期
其他文献
本文针对模糊综合评价不能反映体育教学质量动态变化的特点,基于动态模糊集理论,提出了体育教学质量动态模糊综合评价方法,并用实例说明其可行性。
介绍了航空反潜作战中在单枚浮标与目标发生声接触的条件下计算后续浮标定位阵的布放参数的方法。根据航空检查反潜或应召反潜的作战任务及初始已知的目标参数,结合载机飞行
本刊为与航空有关的综合性电子技术季刊。主要刊登国内外航空电子理论和技术的发展、科研成果、综合评论、信息动态等方面的文章，也欢迎军转民和军民两用技术、理论探讨和实际
<正>陕西省是一个暴雨洪水极为频繁的省份, 防汛抗洪历来是一项关系我省社会发展和稳定的大事。新世纪已经到来,西部大开发战略已经启动,属于西部地区的陕西面临着新的大好发
RTK的发展带来了传统测绘的巨大变革,本文旨在以贵州省湄潭县某测区为例,探讨如何利用RTK的"工作效益高、定位精度高、全天候作业、操作简单、作业速度快、劳动强度低、数据安全可靠"等优点,进行大规模的数字化地形图控制测量。
结合综合英语课程的学科特点和高职高专应用型人才培养模式,文章对高职院校应用英语专业的综合英语课程课堂教学模式进行了研究,分析了其中存在的问题,也提出了合理化的改进
<正> 近几年的生产实践证明:推广旱育秧技术和适时移栽是夺取中稻蓄留再生稻高产的前提。 1.播种 首先要周密地确定播种的时间。我县寒露风最早出现的日期是9月7日,根据再生
目的探讨辐射台恒温法及止血带干预对新生儿疾病筛查采血相关因素的影响。方法选择2010年10月-2011年10月在我院妇产科出生的活产新生儿516侧，随机分为对照组247例，试验组269倒
5月14日，中国水利学会减灾专业委员会根据国家防汛抗旱总指挥部办公室的安排，发出关于组织编写《中国城市防洪》专著的通知。《通知》决定成立编委会，由国家防办常务副主任张志