AVB网络流量整形帧模型端到端延迟计算

音视频桥接技术(AVB)以传统以太网为基础,通过基于信用量的整形(CBS)算法进行流量整形,提供了音视频流确定性传输的基础保障。在CBS流模型的延迟分析计算基础上,考虑了AVB网络中数据帧实际排队和调度的离散特性,提出了一种改进的CBS帧模型来计算音视频流量的排队传输延迟,并推导了帧模型下最坏延迟计算公式。采用典型的车载网络应用场景对2种模型进行演算验证,结果表明:同流模型相比,CBS帧模型中得到的端到端延迟更小,显示出更好的紧性评估效果,同时这种紧性评估在针对低优先级流量的延迟分析时,差异会更加显著。     

AADL在航天器控制系统设计中的应用研究

以某型号航天器为例提出了一种使用体系结构分析和设计语言(AADL,architecture analysis & design language)分层次建模的方法,建立控制系统软件及软件与硬件之间的交互模型.采用状态自动机方式描述串口通信协议,以便分析模型.     

芯片间时间触发消息堆叠调度方法

时间触发（TT）通信方式应用于芯片间互连网络，以保证航空电子通信任务之间消息传递的严格时间确定性。当航空电子任务具有多种操作模式，属于不同模式的芯片间的时间触发调度表会重叠占用时隙，提出芯片间时间触发消息堆叠调度方法，以提高利用网络资源的灵活性和效率，同时减小应用层消息由于等待时间触发时间窗的排队延迟。仿真实验表明：与超调度方法相比，所提方法能够减小芯片间互连网络中时间触发消息的总端到端延迟和链路平均时隙占用率，对于端到端延迟时间较长且链路平均承载消息传输较多的场景，采用所提方法减少端到端延迟的效果更显著。     

太阳帆推进任务的快速仿真方法

研究太阳帆的力学特性和轨道控制设计方法,导出太阳帆的无奇点控制律.提出通过STK中MATLAB语言编写的嵌入式脚本（Plug in Script）来将由控制律得到的光压力加速度矢量,添加到STK轨道计算力学模型中,从而进行轨道控制的方法.仿真结果表明,对于常规方法难以进行仿真分析的航天器动力学模型（如太阳帆）,所提出的方法能快速灵活地支持其相应的任务,并增强任务场景的可视化,从而实现利用STK丰富的功能特性进行复杂航天任务的设计、分析和验证.     

航空电子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。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

基于语义的仿真网格模型资源发现技术

针对现有网格资源管理中间件缺乏对仿真模型资源语义层次的描述和发现匹配这一问题,引入本体概念,定义了仿真模型描述本体,实现了对仿真模型的语义描述;提出了基于本体推理的仿真模型语义匹配算法,将仿真模型语义匹配的量化程度映射到了 上的连续值域,并且支持仿真模型输入/输出的组合匹配;将研究结果应用于仿真网格的仿真模型匹配发现服务的实现中,通过典型的应用实例,有效地验证了提出的仿真模型描述本体和语义匹配算法.      

带有轮缘密封的涡轮动叶轮毂端壁造型

为通过主动端壁控制技术减弱轮缘密封流对主流通道的影响,基于轮毂端壁静压对高压涡轮动叶端壁非轴对称端壁造型,分析了转静间隙密封流与主流相互作用及端壁造型后损失减弱的效果。结果表明：非轴对称端壁造型后密封流对主流通道的堵塞减弱,主流质量流量增加,合理控制端壁造型幅值能够提升涡轮级工作效率;靠近动叶前缘向上凸起的端壁造型增加了轮缘密封腔出口位置的径向压力梯度,增大了燃气入侵与密封出流的强度;主动端壁控制技术降低了主流通道内的横向压力梯度和轮毂二次流结构径向位置,减弱了由密封流引起的二次流损失;密封流质量流量比为1.2%时,造型幅值为5%和8%模型二次流动能分别减少了1.18%和3.76%。     

基于离散事件方法的AFDX建模与仿真

采用了建模仿真的方法来分析航空电子全双工交换式以太网(AFDX,Avionics Full Duplex switched ethernet)协议.通过对AFDX协议的抽象,基于离散事件的建模方法,以基本的网络元素来抽象化网络中的端系统、交换机等设备,以离散事件来描述网络设备的行为,以此构建了AFDX网络模型,并依据模型实现了仿真.网络演算是一种理论计算AFDX最坏延迟界限的方法,将典型场景下仿真得到的结果与理论计算的结果进行比较,验证了模型.通过不同流量方案下仿真结果的对比,对AFDX进行了传输特性的分析.      

基于一次性突发原则的TTE网络实时性能优化

确定性通信的发展，促进了时间触发概念的引入。时间触发以太网（TTE）通过提供3种流量类别来支持混合安全性的实时应用:时间触发（TT）流量，具有完全的时间确定性；速率约束（RC）流量，具有确界的端到端延迟；尽力传（BE）流量。如何实现时间触发机制下RC流量实时性能的紧性分析，仍然是决定TTE网络顺利应用的开放式问题。在FIFO服务策略的假设下，将“一次性突发原则”的分析方法引入到TTE网络中，以观察该原则在时间触发网络性能分析中的影响。不同于航空电子全双工以太网（AFDX），具有更高优先级的TT流量会对RC流量的延迟分析产生关键影响，从而导致一次性突发分析的复杂性。通过建立聚合TT流量在及时阻断模式下的到达曲线模型，从而获得单条RC流量端到端的服务曲线模型，基于此实现了RC流量的最坏情况端到端延迟（WCD）评估，进一步完成了一次性突发原则下的分析对比。相较于已有工作，一次性突发原则可以得到RC流量更精确的最坏端到端延迟上界评估结果，有助于改善TTE网络性能评价紧性。通过A380拓扑组网案例的对比分析，相比于传统方法，所提方法RC流量平均延迟减少了12.05%。      

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

一种面向嵌入式系统的多模型集中存储方法

随着软件安全性的重要性日益增长，使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍，提出了一种基于元建模技术提取多视角模型信息进行存储的方法，并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息，在能够正确存储、查询的条件下，实现的元素数量覆盖率均在90%以上。      

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,...     

航空电子限时令牌太赫兹互连的实时性能分析

在航空电子设备内部采用太赫兹通信技术实现cm级的板间或芯片互连可以减少引脚和接插件，缩小电子设备的体积，并降低维护成本。针对采用全向天线收发和开关键控（OOK）调制的近距离太赫兹通信网络，通过考虑分子吸收噪声和损耗的点到点通信链路分析，给出太赫兹信道容量计算结果；结合节点间的限时令牌多路访问协议，依据信道容量采用服务曲线模型进行最坏情况下总流量分析（TFA）和隔离流量分析（SFA）；充分考虑概率保证下应用层通信任务的突发度，得到限时令牌太赫兹互连的实时性能分析方法。案例研究表明：相较于时分多址（TDMA）方式，基于限时令牌协议的无冲突多路访问机制可以适应物理层容量和应用层负载的随机变化，保证了更小的延迟，有利于实现航空电子芯片间和板间的太赫兹互连组网和实时通信。     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

考虑外包的货运航空公司货流分配问题

针对货运航空公司大量、纷繁交错的航空货运需求,制定合理的路径规划和配流方案可以降低运输成本、提高运输效率。考虑货机运输和外包运输2种运输方式,建立了运力配置和货流分配一体化的混合整数规划模型。以中国国际货运航空有限公司为例进行算例求解,根据不同运输距离对货流进行预分配,根据OD对机场所在集合预先规定货流可以中转的机场,不仅缩小了搜索空间,比两者均不处理时节省了85.12%的计算时间,而且中转货流运输路径总长度和中转货流周转量与不处理相比也分别降低了17.19%和28.99%,减少了大量绕路。得到的结果与不考虑外包的模型相比节省了4.87%的成本。引入外包价格系数进行灵敏度分析,随着外包价格系数从1.2到0.8不断减小,货运航空公司通过外包运输的货物量增加,同时小型货机执飞的航段不断减少,而大型货机执飞的航段没有变化。对不同运输方式的单位运输成本随运输量变化的曲线进行分析,当货运航空公司在面临新增局部货运需求时,可以不改变全局方案,而根据曲线及剩余运力情况做出较优的决策。      

基于Agent与元胞自动机的无人机集群混合式控制

高效有序的集群控制方式是集群顺利完成作战任务的前提。针对无人机集群控制问题,结合集中式与分布式2种控制方式,提出基于Agent与元胞自动机的集群混合式控制。从无人机集群作战流程出发构建了无人机集群控制体系框架、通信拓扑结构及集群控制规则,将集群个体由上至下分为中心长机、小组长机、个体无人机3个层次,高层级对低层级采用自上而下的集中式控制,同层级采用自下而上的分布式控制。在此基础上,利用Agent模型的层次性与元胞自动机模型的同质性,设计了基于Agent与元胞自动机的集群混合式控制模型,实现2种控制方式有效结合,元胞自动机模型实现集群基本的聚合、分离、速度一致规则,Agent模型实现不同层级个体间的协同交互规则。在编队集结与保持任务背景下,对分布式、集中式与混合式3种控制进行对比仿真,结果表明:基于混合式控制的集群在编队可控性、跟随性、一致性以及降低通信负载等方面具有明显优势,验证了混合式集群控制方法的有效性。      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.