马尔科夫链模型在空管自动化系统可靠性分析中的应用.docxVIP

马尔科夫链模型在空管自动化系统可靠性分析中的应用徐肖豪 ,刘卫香 ,王兴隆(中国民航大学 空中交通管理 马尔科夫链模型在空管自动化系统可靠性分析中的应用 徐肖豪 ,刘卫香 ,王兴隆 (中国民航大学 空中交通管理学院 ,天津 300300 ) 摘 要 :空中交通管理的主要任务是保证航空器间隔 ,确保空中交通的安全高效运行 。空管系统与 旅客生命及航空公司的经济利益息息相关这种特殊性决定了系统必须有相当高的保障 ,须做到及 早发现及早处理问题 。目前 ,国内主要考虑软件对空管自动化系统的影响 ,采用模糊数学 、灰色系 统理论 、加权算法等对其软件可靠性进行评估 。为了做到及早发现及早处理问题 ,提出采用马尔科 夫链模型对空管自动化系统软件 s1 , s2 , s3 三个状态进行预测和验证 ,取得了较好的结果 。 关键词 :可靠性 ;空管自动化 ;马尔科夫链模型 中图分类号 : O211. 62 03 文献标识码 : A 文章编号 : 1671 - 654X ( 2009 ) 01 - 0015 - 1 空管自动化系统故障等级划分 在管制中心现场运行平台和模拟训练平台发现的 故障 ,首先由现场技术人员确定故障的故障点 ,然后由 现场相关部门初步确定故障的严重程度和处理的优先 级。严重程度是指从技术角度上 ,该故障对区域管制 中心空管自动化系统软件运行所造成的影响程度 (包 括现场的 O PS、TEB 平台和 SSF 的 TE 平台 ) 。根据 《三大管制中心软件支持工作业务流程的暂行规定 》 中的内容 ,从该故障在空管自动化系统软件运行所造 成的影响程度将其划分为 s1 , s2 , s3 三个等级 , 等级划 分和标准如表 1所示 [ 3 ] 。 引言 随着社会经济的快速发展 ,航班量大幅增加 ,空中 交通管理 (以下简称空管 ) 的难度越来越大。空管自 动化系统在提高空管效率 ,减轻管制员负担 ,提高空管 安全性方面发挥着重要作用 ,其可靠性直接关系着空 中交通安全 。2005 年和 2006 年在广州相继发生了空 管自动化系统故障导致大面积航班延误的事件 ,造成 大量旅客滞留。因此 ,空管自动化系统的可靠性显得 越来越重要 。为了提高一些关键软件的可靠性 ,已经 提出许多不同的算法 ,马尔科夫链是一种有效的预测 系统可靠性的方法 [ 1 ] 。本文提出马尔科夫链模型对某 空管自动化系统可靠性进行了预测 ,取得了较好的结 果。 可靠性是一个系统在规定的条件下、规定的时间 内、完成所规定任务能力的概率。而软件可靠性 ,定义 为在规定的时间内和规定的环境下 ,计算机程序无故 障运行的概率。 目前国内采用的方法主要有模糊数学 、灰色系统 理论、加权算法 、非齐次泊松过程 (NH PP )模型对空管 系统的可靠性进行评估 [ 2 ] 。本文根据故障对空管自动 化软件所造成的影响将其分类 ,然后对整个系统将出 现 s1 , s2 , s3 状态进行预测 , 再考虑到空管自动化系统 的实际情况 , 本文先根据故障的危害程度将故障分为 s1 , s2 , s3 三个状态 , 并对 s1 , s2 , s3 三个状态进行预测; 再由可靠度推导出可靠性 , 从而对整个系统将 1 出现 s1 , s2 , s3 状态进行预测。 表 1 s1 , s2 , s3 三个等级的说明 状态 说明 举例 如 :频繁发生的整个系统死机 、 无法接受的 MM I频繁死机 、频 繁发生的关键服务器死机等 致命故障 ,系统基本 功能无法实现 s 1 如 :某个 MM I频繁死机 (每 2 小时一次 ) 、某些关键功能无 法实现等 严重故障 ,某个运行 功能严重受到影响 s2 一般故障 ,某个运行 功能受到影响 ,但是 如 :无法及时显示、删除飞行 s3 可以通过实施相应的 条 、无法及时触发移交等 。 处理方式加以解决 2 马尔科夫链模型 马尔科夫链模型是一个在可靠性研究中特别有用 的重要数学工具 。马尔科夫链模型的基本内容就是在 收稿日期 : 2008 - 09 - 03 修订日期 : 2008 - 12 - 29 基金项目 :中国民航总局科技基金项目 (M Y0517410 ) 作者简介 :徐肖豪 ( 1949 - ) ,男 ,浙江金华人 ,教授 ,博士 ,研究方向为交通规划、管理与仿真。 ·16·航 空 计 算 技 术第 39卷第 1期π( t) =π( 0 ) A t - 1由此可以比较容易的得到 布 ,若此马尔科夫链满足研究系统的状态以及在这些状态之间的转移 。当一个系统 ·16· 航 空 计 算 技 术 第 39卷 第 1期 π( t) =π( 0 ) A t - 1 由此可以比较容易的得到 布 ,若此马