一种实时分区操作系统的多余度同步调度方法

随着机载航空电子系统综合化水平的进一步提高,安全关键的多余度控制系统也开始利用时空隔离的多分区环境集成多样化应用,从而产生了对多分区、多任务同步调度和确定性序列化调度的需求,因而分区操作系统需要提供时间确定性更高的调度模型和多余度同步调度能力。提出一种“弹性同步时间+固定主帧时间”的多分区调度同步机制,以及“前台周期任务+后台非周期任务”分区内任务调度模型,解决现有分区调度算法缺乏多余度间的弹性同步机制,以及分区内第二级调度缺乏确定性的执行序列和执行时机的问题。     

网格生成和数值模拟的讨论

讨论了多种网格生成方法及其数值模拟。给出一种生成多部件复杂外形飞行器分区网格和Ｅｕｌｅｒ方程分区解。讨论了前缘分离涡为主体的旋涡流场。作了跨声速流分区的并行计算的初步尝试。给出一种二维非结构网格的生成方法。     

现代航空发动机分区燃烧策略分析

分区燃烧是现代航空发动机的基本燃烧策略,不管是采用横向的或纵向的分级燃烧技术,都是把降低NOx的排放作为燃烧室组织燃烧的重点,采用分区燃烧可减少起动、慢车、起飞和巡航等工况下的排放指标.     

航空电子系统分区间通信监控技术的研究和实现

当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题.详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案.应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据.     

带网络分区的CSMA／CD

电气及电子工程师学会（IEEE）在其802草案中规定的局域网络媒体访问控制标准之一就是带冲突检测的载波监听多路访问（CSMA／CD）媒体访问控制，关于CSMA／CD性能的研究，许多有关文献已有报导，这些研究表明，CSMA／CD在网络负荷较轻时性能较好，但在和理负荷时，性能较差，为了改善CSMA／CD在重负荷条件下的性能，这里提出了一个称为网络分区的新概念，按网络分区概念，在重负荷条件下，网络可分成若干个段，分区站用作 段之间的网桥，利用一个以太局域网（实施了CSMA／CD媒体访问控制标准）仿真模型，测试了网络分区对网络性能的影响，仿真结果表明，在重负荷条件下，网络分区可显著提高CSMA／CD的性能。     

计算流体力学中的网格生成方法及其应用

讨论了多种网格生成方法及其流场的数值模拟。给出了一种生成现代双立尾战斗机外形的分区对接网格和Ｅｕｌｅｒ方程分区解。给出了一种带副翼偏转的三维机翼分区网格及绕流的Ｅｕｌｅｒ方程解。以二维多段翼型为对象分别讨论了分区重叠结构网格方法、非结构网格方法和自适应的笛卡尔网格法。     

基于网络演算的多窗口分区可调度性分析

ARINC653-2规范定义综合模块化航空电子（IMA）实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间（WCRT）。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明：本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。     

基于TTE网络的分布式系统分区同步方法

先进分布式综合飞行器管理系统对通信网络的实时性和确定性有严格要求。研究了时间触发以太网(TTE)的同步服务、提出了在符合ARINC653标准的分区操作系统下,基于TTE网络的分布式系统分区同步方法,建立分区同步测试平台,并对分区同步精度进行测试分析。测试结果表明,基于TTE网络的分布式系统分区同步的精度和抖动均可达到μs级,可满足先进分布式综合飞行器管理系统的网络时间同步的要求。     

基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。     

共享Cache分区在机载系统中的应用研究

多核技术以其性能高、功耗低、通信延迟小等优点已成为机载嵌入式领域的新选择。共享Cache作为多核处理器一个重要的共享资源,严重影响着机载系统的确定性。对基于容量划分的共享Cache分区技术和基于Cache行划分的共享Cache技术进行介绍,以T2081多核处理器为例,对其共享Cache进行基于Cache行划分的分区设计。在应用层模拟了4个分区,每个分区分配相同数量的Cache行,通过不断调整各个分区的访存数据量,测试Cache分区和Cache共享两种模式对系统确定性的影响,并对测试结果进行对比分析。     

Socket通信在分区操作系统下的应用设计

随着航空电子系统综合化的发展,Socket通信在在分区操作系统下的应用已成为航电系统新的应用需求。介绍了分区操作系统Socket通信的体系结构以及设计过程。论述了端口应用层、虚端口管理层和Socket管理层的工作原理以及Socket数据在分区操作系统下的处理过程。所开发的系统运行平稳。     

一种基于通信事件的机载分布式软件调试方法

多应用分区的开发与综合是IMA系统开发的核心工作之一，而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入”通信事件”对分区间通信活动进行抽象，提出通信事件调试方法，对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法，论述了方法的调试过程以及在实践中表现出来的优点与不足。     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

分区多重网格法在复杂区域中的数值研究

突破多重网格方法在多连通域中应用的局限性,将分区法与多重网格法结合,形成分区多重网格法,应用在复杂几何域及复杂多连通域中,结果表明,它不仅能提高精度,而且能加快收敛。     

基于TTE网络的分布式系统分区通信方法

针对新一代分布式IVMS及高可靠航电系统对通信网络的确定性通信要求，分析了符合ARINC653标准的分区间通信原理，研究TTE端系统缓冲方案，设计了分区间TTE通信映射配置，实现了分区间TTE通信驱动，建立了分区间TTE通信测试平台，通过实际测试表明，基于TTE网络的分布式系统分区通信方案有效可靠。     

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

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

基于分区操作系统的实时监控工具的研究与实现

当前基于ARINC653的综合化航空电子系统的应用日益广泛,基于分区操作系统应用开发的方便性和灵活性已经成为航空电子系统需要解决的重要问题。详细阐述了基于分区操作系统的目标机监视的原理,并给出了一种可行的目标机运行监视工具AcoreScope的设计和实现方案。应用表明工具极大地改善和提高了航空电子系统的应用开发能力,为通信故障诊断和分析提供了依据。     

一种多核分区操作系统的绑定组调度方法

伴随机载计算平台对算力提升的显著需求,综合化模块化航空电子系统(IMA)采用多核处理器和相应的多核分区操作系统成为必然趋势,从而对目前仅适用于单核处理模式的多分区调度算法产生了进一步的能力扩展需求。面向多核处理的多分区调度算法需要在发挥多核处理效能的同时,继续维持机载安全关键系统的实时性和确定性特征。为此,提出一种基于...     

分区间通信在航空电子系统中的设计与实现

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。     

S781 涂层分区喷涂色差分析与试验

为满足载人飞船返回舱的温度要求,需要在返回舱外壁喷涂S781热控涂层.若采用分区喷涂的方式,在搭接区域会出现色差.本文对S781热控涂层搭接色差进行了特性分析,并进行了不同温度、间隔时间和基材的验证试验.结果表明:色差是由于分区喷涂间隔时间大于涂层的表干时间引起的.分区间隔时间为1 min时没有色差,间隔时间越长,色差越明显;温度较高时,表干时间变短,色差更明显,且会出现大颗粒现象.将喷涂温度控制在20℃左右,分区间隔时间小于2 min,可以有效的减弱或控制色差.提出了一种返回舱热控涂层喷涂改进方法,可以有效的减弱色差.