操作系统ARINC653标准符合性验证方法的研究

ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。     

分区操作系统远程系统浏览器

满足ARINC 653标准的嵌入式实时分区操作系统内部提供了多种系统对象,远程系统浏览器是系统开发者在宿主机端查看这些系统对象的最简便快捷的开发工具。描述了分区操作系统信息组织形式和远程信息协议及远程系统浏览器的工作流程。提出了一种基于Eclipse和RSE的远程系统浏览器的系统结构,以及各结构部分的功能。方便系统开发者在宿主机端交叉开发在目标机上运行的分区操作系统系统软件及应用软件。     

嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

嵌入式多核操作系统确定性研究

为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。     

民用飞机综合模块化航电系统资源状态监控技术研究

随着处理器和机载嵌入式实时分区操作系统等相关技术的不断升级换代,IMA系统功能的集成度也越来越高,高集成度增加了系统资源分配的难度,需要通过对系统资源状态进行实时监控和分析进而不断优化系统配置。首先对IMA系统的分区特性进行了深入研究,基于探针插桩监控数据采集技术,提出了一种系统行为和时间资源状态监控的策略。研究了数据监控采集系统的软件架构,在此基础上设计和实现了系统行为监视器和时间资源监视器,并在某民机重点预研课题中进行了应用验证。结果表明,能够有效帮助应用开发者和系统综合者直观分析系统时间性能瓶颈,优化资源配置方案,实现计算资源的负载均衡。对IMA系统资源状态监控及资源配置优化具有一定的指导意义和实用价值。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

基于Portal的统一身份认证系统研究与开发

描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续访问,并给出了实现过程的主要数据结构。经过实际测试证明本系统有效地解决了用户重复登录和多点管理账号的问题,提高了用户的工作效率和应用系统的安全性。     

嵌入式高可信架构中基于静态模型的调度研究

为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。     

综合模块化航空电子系统节能分层调度的设计(英文)

近年来,综合模块化航空电子(Integrated Modular Avionics,IMA)构架逐渐流行,并通过引入资源分区的概念取代了传统的联合式系统构架。研究了IMA构架下分层调度的设计问题。调度模型通过强时间分区,使多个强实时应用方便地集成在一个单处理器平台。推导出分区周期、分区系数以及可调度性在实时条件下的数学关系,并提出了分区参数的优化算法。考虑具有任意时限的实时任务模型,提高了算法的通用性。在分层调度的基础上,通过有效利用松弛时间,提出一种能量优化方法,进一步减少了飞行器上嵌入式系统的能耗。实验结果表明,本文提出的系统设计方法在保证硬实时需求的基础上,有效的降低能耗达 14%。     

面向IMA的网络文件系统访问控制分析与设计

为了解决面向IMA的网络文件系统访问控制问题,分析了其中的访问控制,并提出一种访问控制的设计方案。采用网络文件锁,通过对文件的上锁和解锁,实现多个分区互斥访问远程文件;使用权限控制模块验证用户对文件的访问权限,用户通过验证后才能访问文件;日志文件记录整个访问远程文件的过程。给出了网络文件锁、权限控制和日志模块的工作原理。     

地空红外导弹干扰方式选择的研究

受载机干扰资源和对抗系统自动化程度的限制，干扰方式的合理选择尤为重要，可以提高反导对抗的成功率，充分发挥栽机作战效能。针对机载红外对抗的主要手段是红外诱饵弹和红外干扰设备．提出人工投放、自动投放和红外定向干扰三种干扰方式。通过对光电对抗系统、干扰方式的分析和对抗包络区域的解算，给出了载机相对地空红外导弹的方位与三种干扰方式切换的对应关系，提供给飞行员一个量化的干扰方式选择的依据。为深入研究对抗决策提供了部分理论依据。     

中继卫星天线指向控制策略研究

首先根据中继卫星系统中中继卫星跟踪用户星的要求,定义了中继卫星天线坐标系,推导出了中继卫星天线对用户星的跟踪规律,通过该跟踪规律可以推出中继卫星跟踪用户星时天线方位和俯仰轴转角,为了保证中继卫星与用户星之间的通信,中继卫星单址天线需要精确的指向用户星;然后详细描述了天线指向控制概念,并且设计了星上自主控制方案,星上自主控制方案由捕获和自动跟踪模式组成,一方面设计了天线捕获过程,另一方面对自动跟踪模式的天线步进逻辑进行了合理选择;最后根据推导的跟踪规律,以不同轨道的用户星作为跟踪目标,对所设计的天线指向控制系统进行了数学仿真,并且通过对仿真结果的分析验证了中继卫星单址天线指向性能。     

混合作动系统的工作模式研究

具有非相似余度的混合作动系统(HAS)由功率电传作动器和传统的阀控液压伺服作动器(SHA)所组成,是未来多电飞机作动系统的发展趋势。阐述混合作动系统的结构组成及工作原理,建立其数学模型。对工作于两种传统模式——主动/主动模式和主动/被动模式时的混合作动系统进行了建模和理论分析。在此基础上,论述在一种全新的工作模式——主动/无载模式下,混合作动系统的结构组成和工作原理,并对其进行建模和理论分析。最后,对混合作动系统工作于每种模式下的优缺点进行了对比分析。分析结果对确定不同情况下混合作动系统的具体工作模式提供了依据。     

转换式高速直升机RD15方案

首先对目前各种类型的高速直升机进行了分析,在此基础上提出了一种旋翼/机翼转换式高速方案;然后对此方案的旋翼系统的气动特性和关键技术——直升机/飞机模式转换过程中盘翼的仰角、桨叶的长度、转速以及桨距等参数的变化进行了理论和试验研究,提出了高速直升机RD15的总体方案,并设计了直升机/飞机模式转换过程。计算表明,该方案在直升机/飞机模式相互转化过程中升力、功率和操纵的改变能够实现平滑连续并保持操稳性。     

非线性突发模式光接收机的性能分析

分析了航空光纤数据总线及其它多用户光纤接入网中采用非线性互阻前置放大器的突发模式光接收机的特性。建立了光接收机非线性前放的模型,在给定等效输入噪声的条件下,计算并比较了接收机采用线性前放与非线性前放的误码性能。进一步指出了改进非线性突发模式光接收机的 BER性能以及网络传输能力的方法     

STOVL飞机发动机多变量控制方法

短距起飞/垂直降落（STOVL）飞机发动机已采用多变量控制方法。基于鲁棒稳定性和条件数分析、块相对增益矩阵分析，对STOVL飞机发动机不同工作模式下的三变量控制系统输出选择和控制结构设计进行了研究。对常规工作模式，提出了基于多目标优化的三变量分块解耦控制方法，通过定义最优指标实现动态跟踪和分块间的耦合抑制。对常规工作模式和垂直起降工作模式间的切换，提出基于升力风扇功率前馈的复合控制方法，以消除负载变化对系统性能的影响。仿真结果表明:提出的控制方法能够保证常规工作模式下良好的解耦控制效果，能够实现不同工作模式间的平稳过渡，验证了控制方法的可行性。      

高速颤振模型设计中颤振主要模态的判断

颤振模型设计时难以实现完全的动力学相似,需要对颤振主要模态进行合理选择。采用数值分析方法,对颤振模型设计时主要模态的选取问题进行研究。通过各阶模态振型下气动刚度系数的比较、指定运动形式下广义非定常气动力的计算和不同模态截断下颤振结果的收敛特性分析,研究了颤振分析时不同模态运动之间的相互影响,对模态运动引起的气动力和颤振特性变化进行评估。以高超翼面模型为研究对象的数值算例结果表明,几种分析方法所判断的颤振主要模态基本一致。其中基于振型的广义气动刚度系数参数,避免了非定常气动力的计算,可作为颤振模型设计或颤振分析时主要模态选取的快速判断方法。     

飞机液压系统管道模态分析与实验验证

针对飞机液压系统试验台的空间管道,提出了一种分析空间管路系统三维振动特性的方法,利用锤击法沿三个方向对其进行实验模态分析,得到各个方向的固有频率,使用Pro-E软件建模,导入Ansys Workbench有限元软件中;对模型进行模态分析,得到模型的各阶固有频率及其对应的各阶振型;通过与实验模态分析结果的比较,验证了模拟计算的各阶振型的正确性,同时分清管路系统在各方向上的振动固有频率和振型,为进一步分析管路系统在外部激励下所引起的振动提供了思路。     

某型轿车内流场的仿真分析

利用CATIA软件建立汽车模型.针对某型轿车空气动力学流场特性,采用三维不可压缩Navier-Stokes方程和RNG(renormalization group)k-ε湍流模型来仿真计算.应用二阶迎风差分格式获得控制界面的物理量.将发动机舱冷却风进口设在车头前部,对三种不同的冷却风排风模式进行仿真分析,比较轿车气动性能以选择优越的排风模式.将驾驶室气流进口设在挡风玻璃与发动机罩交汇处,也对三种不同的驾驶室内气流排风模式进行仿真分析,以选择优化的排风模式.发动机舱内流对阻力系数影响较大,驾驶室内流对升力系数影响较大.      

混响室复合模调谐法研究

本文针对在混响室内进行大型设备电磁兼容测试的方法,将直接照射法和标准模调谐法相互结合,提出了复合模调谐法,该方法在天线直接照射测试区域的同时步进搅拌器,使得测试面上不同位置处所经历的最大场强值满足一定的均匀性.并利用三种不同的方法对空腔混响室的一个测试面进行了场均匀性校准,通过对实验方法的描述以及对测试数据的整理和分析...