Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

跑道入侵防御灯光控制指令决策方法

为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法.首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型.综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态.在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性.     

新型空天威胁目标防御难点及对策分析

在分析新型空天威胁目标的现状、特点及发展趋势的基础上,从预警探测、拦截打击方面分析了新型空天威胁目标的防御难点。针对这些难点,结合防御武器系统发展现状,提出了通过组网提高探测概率,运用新概念武器和通过网电空间拦截提高拦截概率的对策,最后给出了基于网络的反新型空天威胁目标的综合拦截方法。     

复合材料飞机的电流回路接地技术研究

随着复合材料在飞机中所占比重的增大,诸多电磁兼容设计的问题也日趋凸显。本文分析了飞机复合材料结构对电流回路接地的影响,介绍了复合材料结构内接地网的应用及研究现状,提出了接地网设计及优化时的设计目标与方法。     

MANET中多路径AODV仿真与分析

在AODV路由协议的基础上引人备份路由,旨在提高Ad Ho.网络的性能.论文首先介绍了AODV路由协议,并指出AODV路由协议的不足,然后针对这种不足在AODV路由协议加入了备份路由.最后通过NS2仿真实验,比较了AODV路由协议、M- AODV路由协议的封包到达率、端到端时延等,表明M-AODV路由协议较AODV路由协议更具优势.     

基于XML的“零编码”组件框架的设计与实现

为了提高管理信息系统的开发效率,适应用户界面的多变性,增强系统的可修改性和维护性,框架结合MVC和MDA的优势,使用XML描述业务流程、界面组件、数据组件、连接组件、业务组件;动态生成用户界面;创建业务流程、数据组件及连接组件的实例;采用Petri网来控制业务流程,协调各种组件完成业务逻辑处理。开发人员可在几乎“零编码”的情况下完成业务逻辑开发,极大地提高了开发效率,方便了系统变更与扩展,增强了系统可维护性。     

卫星星座整网轨道确定分析与仿真

编队飞行的卫星或卫星星座对轨道确定自主性和精度提出了较高要求。针对这个问题,通过建立星座的轨道动力学模型和星间观测的测量模型,将星座中的星间观测数据和地面观测数据融合起来,将待估的卫星轨道参数和部分动力学参数进行适当的分类,研究卫星星座整网轨道确定的新方法,并在理论上分析了整网定轨方法能提高定轨精度的原因;最后采用自主开发的卫星星座整网轨道确定软件进行了仿真计算。计算表明,该方法能有效地减少对地面站的依赖,并较大幅度提高定轨时卫星绝对位置和相对位置精度。
     

语义Web环境下的搜索引擎

传统的搜索引擎在处理用户提交的关键字时只是将含有此关键字的页面返还给用户,使得返回的网页中存在大量与用户需求无关的网页.语义Web可以对用户提交的内容进行理解与逻辑判断,从而实现更精确的搜索.     

基于粘性笛卡尔网格的N-S方程计算

本文采用基于叉树数据结构的粘性笛卡尔网格求解N-S方程。为了使网格的分布更为合理,采用基于物体几何外形的方法对网格进行自适应加密。在物面处采用光顺、投影、分割加密的方法保证了物面处网格的正交性与贴体性,从而生成高质量粘性笛卡尔网格。将有限体积法应用于粘性笛卡尔网格求解N-S方程,采用了SA紊流模型。算例计算结果与实验数据符合良好。     

近地空间目标监视网设计

本文首先根据空间目标监视对监视网的基本要求,提出了近地空间目标监视网的完备性概念,进而根据空间监视的机理,对其进行了时空分解,其次,结合近地目标的轨道特性和空间分布特性,分析给出了监视设备的空间监视能力表达式,并据此描述了近地空间目标监视网的设计要点,最后,给出了一个局部地基近空间目标监视网的设计示例,以说明以上内容的具体应用。