动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。     

基于马尔科夫链模型的脉动装配线运行状态预测

分析了影响脉动生产线运行的因素和状态预测的必要性,提出了基于马尔科夫链模型的状态预测方法。基于马尔科夫链预测理论,对脉动生产线运行状态划分,确定状态转移矩阵,建立马尔科夫预测模型,并对模型准确性进行验证。     

Multiple hierarchy risk assessment with hybrid model for safety enhancing of unmanned subscale BWB demonstrator flight test

To explore the low-speed characteristics of the Blended-Wing-Body (BWB) configuration for future civil aircraft, a series of unmanned subscale demonstrators have been developed and tested by our research team. During this process, specific safety risks deriving from uncertain design features, system unreliability, and insufficient personnel experience caused continuous flight test mishaps and the risk mechanism was not clear. Local and trial-and-error learning driven safety improvements took few effects on mishap prevention, so our focus was turned to look for systematic safety strategies. This paper establishes a systems theory based hybrid model to integrate the physical system reliability analysis techniques with the system dynamics method for illustrating the multiple risk interactions of the demonstrator flight test involving organizational, human resource and technical system factors. Using the prior BB-5 demonstrator as a case, the hybrid model simulation represents its historical risk evolution process, which verifies the model rationality. Derived risk control strategies reduced the mishap rate of a new demonstrator called BB-6 Sprit. The paper also shows the extended hybrid model can be applied on safety management of unmanned aerial vehicles from the initial period of vehicle development.     

多部件并联系统Non—Markov可修系统的数值计算

运用Ｍｏｎｔｅ－Ｃａｒｌｏ方法计算了多个部件组成的并联系统Ｎｏｎ－Ｍａｒｋｏｖ可修系统的可靠度，可用度，工作时间，停工时间等系统可靠性技术指标，并利用Ｍａｒｋｏｖ计算结果验证了结果的正确性。     

隐马尔可夫模型在对象定位中的应用与实现

以医学图像中脊柱的定位为应用背景,对经典Viterbi算法进行改进,根据全局最优搜索算法提出了可控的最优搜索算法,把隐马尔可夫模型(Hidden Markov model,HMM)应用于二维图像中线性结构对象的定位。以真实的人体脊柱X光照片为实验样本进行的定位实验,结果表明:HMM模型不需要对图像施加较多的限制,就可获得较成功的定位结果,同时引入了可控的最优搜索算法后,定位效果有了进一步的提高。还通过实验分析了可控制的最优搜索的两个控制参数对定位性能的影响,并提出了定位性能具有区间性的结论。     

变动市场环境下的马尔可夫决策

在原有马尔可夫决策的基础上，提出对应于不断发展的市场环境下的马尔可人决策的改进模型。该模型考虑市场增长对处于竞争之中的同类型公司的最终市场占有率所具有重要的影响，并给出了市场按照不同类型增长曲线发展的相应模型及最终均衡状态的含义。     

一种改进的基于LDPC码的信源信道联合译码方法

提出一种改进的将LDPC迭代译码和隐马尔可夫估计相融合的迭代译码算法。一方面通过隐马尔可夫信源估计获取信源残留冗余,作为外信息提供给LDPC迭代译码;另一方面,通过LDPC迭代译码获得更精确的信源估计模型参数,加快迭代收敛速度,获得更好的迭代译码性能。其优点是无需知道任何关于信源的先验信息,计算复杂度低,并行操作性强,尤其适用于宽带多媒体传输。     

航站楼安检布局及流程优化研究

为保证旅客出行安全,提高机场安检效率,对机场安检流程进行优化。以航站楼内旅客安检服务流程为研究对象,根据安检服务流程特性,分析并选择广义随机Petri网对航站楼内单通道安检服务流程进行建模与仿真分析。在验证模型可靠性的基础上,运用广义随机Petri 网和马尔科夫链的相关理论给出安检流程的性能评价。最后,以深圳宝安国际机场航站楼内旅客安检流程为实例分析对象,在对资源没有限制的条件下,对深圳机场单通道安检流程进行分析,验证模型的可靠性,找出安检过程中的瓶颈问题,提出改善建议。     

飞机突防波次规划中若干关键技术研究

现代空袭是以波次为单位实施攻击的,提出波次规划的概念.波次规划研究的主要内容包括不同波次空袭时编队内多机协同航路规划、多机航路碰撞检测及避碰技术、安全评估技术等,同时指出马尔可夫链在解决编队出动强度、编队数量等的应用前景.最后指出了多目标、多战区、多发射区的波次规划技术是未来研究的重点.     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。