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

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

基于CPN Tools的机场主要资源调度研究

针对机场跑道、停机位等主要资源调度的问题,Petri网以其固有的特性,非常适合实时处理这类并发事件的问题.CPN Tools是一种Petri网仿真分析软件,具有大量的自动化分析工具,使建模、仿真和结果分析过程更加简单、高效、可控:本文基于CPN Tools软件,实现了用有色-时间Petri网对过站航班使用机场主要资源进行建模,并定义了各种监视器用于采集仿真数据,通过分析这些数据以及系统生成的仿真报告、状态空间报告等,得出了机场主要资源的使用情况.     

基于专用短程通信（DSRC）的机场设备／车辆综合动态实时管理调度系统

一、概述 先进的信息管理系统是现代机场有序、高效运营的关键，它对有效管理、降低成本、提高服务质量具有极为重要的意义。     

AOS体制分析及在导航卫星上的应用

随着微处理器在航天器上的大量应用,各分系统或设备对数据的自主管理能力日益增强,并且航天器功能也越来越复杂。这些功能的增加,使遥测数据量越来越大,对数据处理的要求也越来越高,上、下行码速率也越来越高,这就要求遥测系统具有动态组织传送这些数据的能力,以更好适应不同任务的需求,实现高柔性和低成本。高级在轨数据系统AOS(Advanced Orbiting System)兼容了分包设计规范,满足传输路径的可靠性和实时性的要求。文章从导航卫星的角度,提出对AOS体制的分析及具体的设计和应用方法。     

一种可用于箭载测量数据综合的网络交换技术

针对箭载测量数据综合网络,提出一种交换机实现架构和交换技术方案,对其中的关键技术———调度算法和队列管理策略进行分析,并对根据此方案设计的交换机的交换延时进行测试与分析。结果表明,提出的交换技术方案满足箭载测量数据综合网络对交换延时的要求。     

AFDX交换机链路调度模块的设计与验证

设计一种确保AFDX交换机数据帧发送和接收顺序保持一致的虚拟链路调度模块,实现对各端口虚拟链路校验请求的有序处理。通过HDL描述,设计完整的硬件电路,并利用FPGA加以实现。对设计进行仿真,并加入断言检测。结果表明,此设计符合AFDX交换机端口对数据帧请求处理的要求,有效地保证了AFDX交换机各端口公平调度,满足航空电子数据确定性的要求。     

首都机场加快枢纽化进程

机场枢纽化是航空公司建立枢纽航线 结构的前提和基础，其运作的最终目的是为航空公司实行枢纽化运营和形成枢纽航线结构（ＨＳＳ）提供先机，它以航空公司在机场实现枢纽化的成功运营为标志，而得以成为名副其实的枢纽机场。从国外成功的经验来看，目前形成综合性的国际枢纽机场主要有三种途径： （１）不断挖掘现有机场改扩建的潜能，通过改扩建方式来逐步强化和奠定其枢纽职能，如阿姆斯特丹史基浦机场和芝加哥奥黑尔机场等。 （２）主要机场进行有限度扩建，由辅助机场承担部分次要功能，各机场在区域内进行分工和协作，形成区域性的机…     

IFSTAG软件系统的设计与调试

叙述了空中飞行模拟试验机地面工程模拟器软件系统的总体设计。该软件系统采用自顶向下的结构化设计技术，能够根据用户的要求，灵活地对模块进行裁剪并装配成新的应用程序，以满足用户在软件系统的开发及模拟器运行维护中各个阶段的不同需要。简要介绍了该软件系统在调试过程中出现的主要问题，以及时这些问题的分析和处理。对于从事飞行模拟器软件系统研制的技术人员，具有一定的参考价值。