ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

磁轴承PWM开关功放电流实时降噪

针对传统低通滤波器在脉冲宽度调制(PWM, Pulse Width Modulation)开关功放电流降噪过程中存在去噪效果与系统带宽难以兼顾的问题,提出了一种基于提升小波变换的功放电流实时降噪法.首先基于dB4提升小波算法,采用滑动数据窗、对称边界拓展和阈值法强制降噪等相结合的方案实现对功放电流的实时降噪.然后根据不同小波分解层数对系统截止频率的影响,确定合适的小波分解层数.实验证明,提升小波实时降噪算法既可以有效地滤除功放电流噪声,又对系统带宽和相角滞后影响较小,非常适用于对实时性和信噪比都有较高要求的磁悬浮高速转子系统.      

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

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

机载高速相机图像准实时下传方法

针对利用遥测信道准实时传输机载大面阵高速相机图像问题进行了研究,设计了一套大面阵高速相机图像准实时下传系统,分析了图像数据下传的实时性.该系统在记录高速相机原始图像的同时,可对图像进行抽帧、缩小画幅、压缩处理,并实时下传到地面用于监视.分析表明,该系统能在靶场试验结束后几分钟内,将关键时间段的原始图像逐帧下传到地面,实...     

基于协同决策的多航站楼停机位实时分配算法

针对多航站楼机场停机位实时指派问题,提出了基于协同决策并考虑航空公司时隙交换公平性的机位实时指派算法。该算法将多航站楼资源的可共享性考虑到指派算法中,以最小延误费用原则为约束,采用混合集合规划进行指派模型的建立与求解。该算法在保证多航站楼停机位资源有效共享的前提下,充分实现了航空公司时隙交换的公平性,并且使延误引起的多方成本最小化。算例说明:本文提出的算法可以有效解决多航站楼的机位实时分配问题。     

航空电子AFDX与AVB传输实时性抗干扰对比

为满足未来航电系统音视频信息传输的需求,考虑车载嵌入式系统的候选实时多媒体网络AVB在航电环境中的应用,并对AVB与AFDX的传输进行了对比研究。首先构建AVB与AFDX标准对比;其次提出基于网络演算的AVB和AFDX端到端延迟计算方法;然后通过定义不同的消息传输场景,采用理论方法分析消息传输实时性的干扰要素;最后利用仿真方法予以验证。在典型1 000条虚拟链路的组网规模下,结果显示:AFDX高优先级流量的端到端延迟优于AVB,对于低优先级流量端到端延迟,则AVB和AFDX各有优劣;但受突发的流量影响,在增加50条各0.22 Mbit/s带宽的低优先级流量干扰情况下,高优先级流量平均端到端延迟的变化率在AVB中为0.25%,在AFDX中为0.38%;在增加50条各0.22 Mbit/s带宽的高优先级流量干扰情况下,低优先级流量平均端到端延迟的变化率在AVB中为5.17%,在AFDX中为10.25%。结果表明:时间敏感消息在AVB网络中传输实时性的抗干扰能力优于AFDX。     

RTX在半实物仿真系统中的应用

在半实物仿真中引入了RTX实时扩展软件子系统和实时数据传输接口,在原有系统结构的基础上提高了仿真系统的实时性。对系统实时性进行了分析,并给出了以反射内存网(Reflective Memory Network,RFM)为传输介质的试验结果。     

基于样本路径分析的交换式以太网实时通信调度方法

在离散事件动态系统(Discrete Event Dynamical System, DEDS )有限摄动分析(Finite Perturbation Analysis, FPA)的理论框架下,通过样本路径(Sample Path),分析了实时数据包在以太网交换设备中多路复用排队的行为;根据各个通信任务不同的实时性与重要性指标,提出了数据包在发送节点上的保持(holding)延迟的调节机制,避免了交换机多路复用器过度地拥塞。在新的通信任务动态加入的情况下,该机制能够即时地规划调度,适用于信息一体化环境下,航空器等运动平台电子系统中,本地与远程接入的数据高动态交互的交换式以太网环境。     

某型双轴加力涡扇发动机实时性能仿真模型

对飞行模拟机用的多变量控制的双轴加力涡扇发动机实时性能仿真模型进行了研究。根据某型发动机的控制规律、各部件间的共同工作关系及大量的实验数据 ,结合飞行模拟机的发动机模型的特点 ,研究了数据拟合 ,表格插值 ,公式推导 ,正交设计等数学方法在发动机模型中的应用 ,采用 C++语言 ,在计算机上实现了一台双轴混排加力涡扇发动机的实时仿真 ,模拟了发动机的工作状况。稳态模型误差小于 2 % ,动态模型误差小于 5 % ,完成一次计算任务时间小于 4ms