论文部分内容阅读
为保证IMA系统管理设计的正确性、高可靠性和实时性，本文使用AADL对IMA系统管理进行建模，通过对模型功能和性能的正确性分析，并在模型的基础上进行分析验证，从而保证了IMA系统管理设计的正确性，降低了设计风险。
IMA系统管理功能的逻辑建模及性能分析
【摘 要】
：
为保证IMA系统管理设计的正确性、高可靠性和实时性，本文使用AADL对IMA系统管理进行建模，通过对模型功能和性能的正确性分析，并在模型的基础上进行分析验证，从而保证了IMA系统管
【机 构】
：
中国航空无线电电子研究所
【出 处】
：
航空电子技术
【发表日期】
：
2015年4期
其他文献
本文针对模糊综合评价不能反映体育教学质量动态变化的特点,基于动态模糊集理论,提出了体育教学质量动态模糊综合评价方法,并用实例说明其可行性。
介绍了航空反潜作战中在单枚浮标与目标发生声接触的条件下计算后续浮标定位阵的布放参数的方法。根据航空检查反潜或应召反潜的作战任务及初始已知的目标参数,结合载机飞行
本刊为与航空有关的综合性电子技术季刊。主要刊登国内外航空电子理论和技术的发展、科研成果、综合评论、信息动态等方面的文章，也欢迎军转民和军民两用技术、理论探讨和实际
RTK的发展带来了传统测绘的巨大变革,本文旨在以贵州省湄潭县某测区为例,探讨如何利用RTK的"工作效益高、定位精度高、全天候作业、操作简单、作业速度快、劳动强度低、数据安全可靠"等优点,进行大规模的数字化地形图控制测量。
结合综合英语课程的学科特点和高职高专应用型人才培养模式,文章对高职院校应用英语专业的综合英语课程课堂教学模式进行了研究,分析了其中存在的问题,也提出了合理化的改进