基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

GNSS双频导航信号用户完好性监测机制研究

用户完好性监测指标通常被用于衡量导航信息的可信度,针对单个卫星导航系统用户完好性监测指标过高、可用性较差的问题,提出一种全球导航卫星系统(GNSS)多系统双频信号联合完好性监测机制,该监测机制使用一定完好性风险分配值下的保护门限作为联合观测下的监测指标;另外,为了确保各种监测假设下的用户完好性,分别讨论了无故障及一颗卫星故障假设下的伪距观测误差获取、保护门限计算以及完好性风险指标分配等问题。仿真结果表明该用户监测机制可有效降低保护门限、提高可用性,在用于I类精密进近时全球大部分区域用户的可用性水平大于95%。     

人-机系统飞行安全可靠性问题的研究

在分析飞机电传操纵系统（FBW）特点的基础上，建立了习行器和电传操纵系统的数学模型，建立了电传操纵系统故障及飞行员干预的概率模型。应用马尔可夫链建立了人－机产行安全可靠性的数学模型，采用伊万诺夫法评估了某型第三代飞机在电传操纵系统故障报的排除的条件概率，并计算了电传操纵系统故障后该型飞机的飞行风险，最后提出了使用建议及技术改进建议。     

工业企业财产保险风险查勘(评估)模型研究

核保和风险控制工作需要全面掌握标的的风险状况，但目前保险公司普遍采用的检查表评估方式因其自身的缺陷却达不到这一要求。通过建立财产保险风险查勘(评估)模型，运用系统安全工程的理论与方法识别、分析危险，并建立分析查勘评估指标体系，从整体上对保险标的进行了风险评估。采用排序法和直接赋值法综合分析各专家的意见，计算得到其体系的权重值。与保险的实际操作相结合，得出标的的整体风险等级，并找出保险标的的风险薄弱环节，以便承．保后有重点地进行整改。     

战略储备系统备件最优储备量计算的解析方法

 首先简要介绍了战略储备系统及其寿命过程。然后从分析系统的寿命过程入手,将其寿命过程分为两个阶段,每个阶段分别用一连续时间马尔可夫链来描述系统的动态过程,在此基础上给出了战略储备系统最优战略储备量计算的解析方法,并针对不可修的情况给出了简化的计算公式。     

基于数据和信息的安全管理

对一个因航空安全的需求而诞生且与安全不确定性相伴而行的行业而言,安全管理——风险控制和事故预防的能力——是空中交通管理行业的核心管理能力。对安全管理数据的重视以及一切能以数据支持的理性管理过程绝不以定性的、感性决策的方式进行管理,这是科学管理的基本要求。我国航空的迅猛发展也使得空管安全管理不可能再继续以前依靠感性、管理者个人经验进行决策的管理模式,而必须向大数据量管理、IT技术支持的现代管理发展。一、空管安全管理现状的缺陷分析目前看来,空管安全管理体系的缺陷着重表现在三个方面:1.全行业的安全管理缺乏安…     

空地对抗马尔可夫链随机服务模型

将空地对抗动态作战过程视为一个随机排队服务系统．利用马尔可夫链随机服务理论分析了空地对抗动态作战过程，在基本假设的前提下给出了该随机服务系统在各种条件下的系统状态传递率图，最后根据统计平衡原则建立了空地对抗随机服务模型，比较真实地反映了实际作战过程。     

基于神经网络的民航安检系统风险评价研究

随着民航事业的快速发展,民航安全问题引起了广泛的关注.民航安全检查是民航管理安全重要的组成部分,如何建立一个合理的风险评价模型,指导民航安全检查的管理工作,已成为民航管理者的迫切需求.将BP神经网络模型引入民航安全管理,在分析民航安检系统的基础上,建立了安检系统的风险评价模型.通过实际应用验证了该模型的可行性.     

Collision risk-capacity tradeoff analysis of an en-route corridor model

Flow corridors are a new class of trajectory-based airspace which derives from the next generation air transportation system concept of operations. Reducing the airspace complexity and increasing the capacity are the main purposes of the en-route corridor. This paper analyzes the collision risk-capacity tradeoff using a combined discrete–continuous simulation method. A basic two-dimensional en-route flow corridor with performance rules is designed as the operational environment. A second-order system is established by combining the point mass model and the proportional derivative controller together to simulate the self-separation operations of the aircrafts in the corridor and the operation performance parameters from the User Manual for the Base of Aircraft Data are used in this research in order to improve the reliability. Simulation results indicate that the aircrafts can self-separate from each other efficiently by adjusting their velocities,and rationally setting the values of some variables can improve the rate and stability of the corridor with low risks of loss of separation.     

可信计算之细粒度模糊信任链研究

针对可信计算平台信任链技术的实现,在可信与安全相关性研究基础上,总结了信任链技术中存在的几个值得探讨的问题,对可信与安全的关系、认证链和信任链的区别以及组件划分的粒度等问题进行了分析。提出了一种细粒度模糊信任链模型,对组件划分原则、组件、系统的安全度量方法和信任转移理论进行了深入研究。为可信计算信任问题的研究提供了一个可行的方案,对实际系统可信性和安全性研究具有参考意义。