基于uC/OS-Ⅱ的飞行仪表综合显示系统

首先分析了现代飞机对飞机综合显示系统的要求,以及飞机显示系统的多任务量对硬实时操作系统的迫切需求。通过对各种实时操作系统性能的分析比较,得到结论:μC/OS-Ⅱ适合作为EFIS系统的应用软件运行平台,即在飞机显示控制主处理器的内核中嵌入实时内核μC/OS-Ⅱ,以及针对飞机飞行姿态显示的重要程度来设置μC/OS-Ⅱ任务优先级的方法。最后,作者介绍了μC/OS-Ⅱ在ARM920T内核中的移植方法,设计了飞行显示画面的消息处理模型及针对如何进一步提高μC/OS-Ⅱ在嵌入式系统的执行效率和实时性的问题方面提出了一种解决方案,从而提高了系统的执行效率及实时性。     

货运服务质量的评价

本文引用了美国营销学家Berry等3人于1988年提出的服务质量差距模型来评估企业的服务质量。模型分析了造成各类服务失败的5大差距,并提出了消除这些差距的策略。航空公司可以借鉴该模型,找出本公司提供的服务与货主期望服务之间的差距,进行改进提高。     

载荷多次作用下的共因失效系统可靠性模型

研究了随机载荷作用次数对系统可靠性的影响,指出传统的可靠性模型并不能很好地反映载荷作用次数对系统可靠性的影响,运用载荷-强度干涉模型和顺序统计量理论建立了随机载荷多次作用下的共因失效系统可靠性模型.考虑系统中零件的失效相关性,在不作失效独立假设的前提下,运用系统级载荷-强度干涉模型建立了共因失效系统可靠性模型.根据随机载荷作用的统计学意义,运用顺序统计量理论建立了载荷多次作用时等效载荷的累积分布函数和概率密度函数,在此基础上,建立了随机载荷多次作用下的共因失效串联系统、并联系统以及k/n系统可靠性模型.     

基于软件的无人机故障注入技术研究

故障注入是一种用于容错计算机系统验证的有效技术,其应用效果直接取决于所采用的故障注入方法的正确性。文中采用硬件覆盖和故障模型的方法,模拟无人机系统的硬件故障,并着重讨论了在总线上注入故障的试验策略。然后用软件的方法构造了一个用于测评无人机飞行控制系统容错控制机制的故障注入工具UAVFI_01。在无人机动态测试过程中,故障注入试验结果表明了这种方案的正确性和可行性。     

同步发电机动态特性仿真方法研究

介绍了同步发电机基于电路模型的动态仿真方法,指出了应用它在分析同步发电机动态特性时具有的优点。     

反舰导弹末端机动对近程反导舰炮的突防模型研究

分析了近程反导舰炮武器的工作原理以及武器系统的射击误差,依据反舰导弹突防“密集阵”系统的对抗过程建立突防模型,并对比分析了速度突防和机动弹道突防的优劣,指出了反舰导弹末端机动对于提高突防概率的必要性。     

冲击射流换热数值模拟技术研究概述

介绍了冲击射流的特点,综合评述了对国内外冲击射流换热的试验和数值模拟研究进展.     

基于组件开发的并行过程模型研究

基于组件开发(CBD)是当前软件开发技术的趋势,但目前还缺乏合适的过程模型,从而制约了其优点的发挥.本文定义了一个并行过程模型来描述CBD过程内在的并行性.该模型具有两个并行维:组件维将CBD过程分解为系统开发、已有组件基础上的开发和新组件的开发;过程维将CBD过程分解为需求、设计、实现、测试和维护等子过程.凭借对并行性的分解,可以更清晰地描述CBD的并行过程并能更容易地管理该过程的复杂性.这种CBD二维并行过程模型可以作为诸如统一过程模型等其它模型的内核,因此给出了一个可能的三维并行模型作为范例,该模型还有一个迭代维.最后,通过一个集成平台软件开发的例子,详细阐述了这种并行模型的应用.     

基于ASM实现视频中物体的定位

对目标进行有效跟踪是目前许多国家获取信息的重要手段,主动形状模型(ASM)主要应用于灰度图像中物体的跟踪与定位,本文针对Koschan等提出的结合金字塔模型的ASM方法作进一步改进,使之应用于视频(本文视频采用MPEG数字视频压缩编码标准)中物体的定位:首先将视频解码还原成图像序列,从人眼视觉特征出发,将RGB颜色模型转换为HSV颜色模型,用色调信息取代灰度信息进行物体定位;并研究图像序列帧之间物体的重合度对提高定位效率的作用.实验结果说明在ASM中使用色调信息能有效地实现视频中的物体定位.     

混合解析/数值方法及其在湍流数值模拟上的应用

针对带小时间尺度的源项的方程描述的流动问题,提出了混合解析/数值方法。混合解析/数值方法的基本思想是:分裂原始方程组为对流-扩散部分的偏微分方程和源项的常微分方程。偏微分方程采用合适的数值方法求解,而常微分方程采用解析方式积分。模型方程的理论误差研究表明,混合方法提高了源项处理的精度,降低了混合方法的整体数值误差。分析同时表明,基于时间分裂的算法在求解含源项双曲系统的定常类型问题,会存在数值振荡。为此发展了非分裂方式的混合解析/数值方法,在湍流模型数值计算中提高了数值稳定性,而且加快了计算的收敛速度。