基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

对民用机场集群调度通信系统组网方案的探讨

以民用机场集群调度通信系统的组网方案为实例,探讨了在从模拟向数字系统过渡的时期,如何充分利用现用系统资源结构,获得最大工作效能的方法。     

新航行系统中的地空通信网络

通信系统是新航行系统的重要组成部分之一,本文首先描述目前我国民航通信网络现状,分析了其缺点和不足之处。并对新航行系统中的新一代航空电信网(ATN)体系结构和组成进行了分析。重点对VHF通信、卫星通信的原理和应用进行了概括和总结。最后对民航通信网络的建设和发展做出了展望。     

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。     

集群通信的警用GPS车辆调度系统

本文简单阐述了集群通信的特点，着重介绍了基于集群通信的警用GPS车辆调度系统的组成及功能，最后介绍了该系统在某市公安局的应用。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。     

基于用户可用带宽测算的匿名路由算法性能评价

匿名路由算法是匿名通信系统设计的核心,选择多少节点以及哪些节点构建匿名通信路径是决定整个系统的性能和安全性的关键因素.为了提高匿名通信系统的性能,建立了以用户可用带宽为量化指标的匿名通信系统性能模型,并针对低负载和高负载匿名系统,分别给出了性能评估的方法.在该模型和方法的基础上,针对低延迟匿名通信系统Tor进行了性能分析和仿真,其结果证明了所提理论模型的正确性,同时揭示了现有的基于节点静态属性的带宽加权算法在系统负载较高时的局限性.     

分布式实时系统中的多Agent调度

以机场航班运营管理系统(flight operation and management system，FOMS)为应用背景，对分布式实时系统中的Agent调度算法进行探讨。在分析实时系统特点的基础上，结合具有定时事件序列特征的FOMS，对定时事件序列进行了形式化描述，建立了分布式实时多Agent。系统的结构模型，并对其结构特点、系统负载能力和常用的Agent实时调度算法分别进行了分析与论述。为解决分布式实时系统中多Agent调度与迁移过程中实时任务处理不问断性和通信可靠性问题，本文提出了事件处理的分级调度策略和多Agent调度的迁移与定位同步算法(Synchronization of agent moving and locating，SAML)，并对其实现机理以及Agent djrectory和Agent scheduler的中介服务在实现SAML中的作用进行了介绍。最后分别对采用SAML和异步迁移算法时事务处理的实时特性作了分析比较。     

多网段控制系统实时任务的建模与调度

网络化控制系统中任务的调度影响控制系统与网络的性能。多网段控制系统中节点任务、通信任务与网关任务的调度是具有顺序、时限与网络资源约束的NP完全问题。建立了多网段控制系统控制任务的数学模型,以控制回路的采样周期与网络利用率为优化目标,采用遗传算法实现控制任务调度,优化了系统整体性能,仿真实例证实了调度模型及调度算法的有效性。