一种导航监测站的可用性确定方法与流程

本发明提供了一种导航监测站的可用性确定方法，属于卫星导航系统的可用性技术领域。

背景技术：

可用性是指产品在任一随机时刻需要和开始执行任务时，处于可工作或可使用状态的程度。

导航监测站可用性是监测站对导航信号监测、接收和处理等任务的执行能力的表征。与导航监测站可用性相关的因素包括：平均故障间隔时间、短期平均修复时间、长期平均修复时间、平均管理延误时间、平均供应反应时间、备件保障率等。

技术实现要素：

本发明的技术解决问题是：克服现有技术的不足，提供一种导航监测站的可用性确定方法。

本发明的技术解决方案是：一种导航监测站的可用性确定方法，通过下述方式实现：

(1)将导航监测站M故障分为短期故障ST和长期故障LT，确定两类故障的主要影响因素及相关状态；所述的短期故障ST的主要影响因素包括预案保障率f_SST、短期故障向长期故障转换的时间STTLT_ST、短期平均修复时间MTTR_ST；长期故障LT的主要影响因素包括平均管理延误时间MADT_LT、备件保障率f_PLT、平均供应反应时间MSRT_LT、长期平均修复时间MTTR_LT；

(2)根据上述各类相关状态构建基于Petri网的导航监测站可用性模型，确定模型的稳定状态及状态转换关系；

(3)根据广义随机Petri网同构马尔科夫链，确定导航监测站微分方程，进而确定导航监测站可用性P_A及模型各有效状态的值；

(4)利用导航监测站可用性P_A及模型各有效状态的值开展模型故障诊断，确定导航监测站处于故障时，各有效状态的故障概率，进而得到导航监测站的可用性。

进一步的，当导航监测站的可用性不满足要求时，根据各有效状态的故障概率确定导航监测站的薄弱环节，优化薄弱环节对应的短期故障ST和或长期故障LT的主要影响因素，重新执行步骤(1)-(4)直至可用性满足要求。

进一步的，两类故障的相关状态包括可用状态P_A，短期故障和长期故障选择状态P_STORLT，短期故障转换选择状态P_STT，短期故障向长期故障转换状态P_STTLT，短期故障状态P_ST，长期故障状态P_LT，备件选择状态P_PS，等待备件状态P_PW，备件供应结束状态P_PD。

进一步的，模型的稳定状态包括可用状态P_A，短期故障向长期故障转换状态P_STTLT，短期故障状态P_ST，长期故障状态P_LT，等待备件状态P_PW，备件供应结束状态P_PD。

进一步的，所述P_A的值在0～1之间。

进一步的，所述短期故障是指导航监测站可自行修复的故障，所述长期故障是指导航监测站需人工修复的故障。

进一步的，同构马尔科夫链的原则如下：

(3.1)将基于Petri网的导航监测站可用性模型中的库所状态分为稳定状态和不稳定状态，稳定状态是指库所输出有向弧指向时间变迁，不稳定状态是指库所输出有向弧指向瞬时变迁；

(3.2)将所有稳定状态库所设置为马尔科夫状态，各稳定状态库所之间的状态转换为马尔科夫转移，相关转移值称为转移概率；

转移概率的确定过程为：a)若稳定状态库所之间只存在时间变迁，则转移概率为时间变迁对应故障率，b)若稳定状态库所之间存在时间变迁和瞬时变迁，则转移概率为时间变迁对应故障率与瞬时变迁对应概率的乘积。

进一步的，导航监测站微分方程为：

P_A+P_STTLT+P_LT+P_ST+P_PW+P_PD＝1

式中，P_A为导航监测站可用状态；

P_STTLT为导航监测站短期故障向长期故障转换状态；

P_LT为导航监测站长期故障状态；

P_ST为导航监测站短期故障状态；

P_PW为导航监测站等待备件状态；

P_PD为导航监测站备件供应结束状态；

λ_MTBF为导航监测站的平均故障率；

为导航监测站长期平均修复率；

为导航监测站短期平均修复率；

为导航监测站短期故障向长期故障转换的故障率；

为导航监测站平均管理延误率；

为导航监测站平均供应反应率；

f_ST为导航监测站短期故障的概率；

f_LT为导航监测站长期故障的概率；

f_SLT为导航监测站短期故障转换为长期故障的概率；

f_SST为导航监测站预案保障率；

f_PLT为导航监测站备件保障率；

f_NPLT为导航监测站备件非保障率。

进一步的，f_ST+f_LT＝1，f_SST+f_SLT＝1，f_PLT+f_NPLT＝1。

本发明与现有技术相比的优点在于：

(1)本发明利用Petri网构建导航监测站可用性模型，表征了导航监测站各类状态的转换关系及信息流动关系。

(2)本发明综合考虑了导航监测站预案保障率、短期故障向长期故障转换的时间、平均管理延误时间、备件保障率、平均供应反应时间、短期平均修复时间、长期平均修复时间等多种要素，并建立了各要素(A、B所含内容)与导航监测站可用性P_A的映射关系

(3)利用本方法和模型，不仅可以确定导航监测站的可用性，还可进一步推广于卫星导航系统的注入站和主控站的可用性确定。

附图说明

图1是基于Petri网的导航监测站可用性模型示意图；

图2是导航监测站各类有效状态转换示意图；

图3是导航监测站可用性结果示意图；

图4是导航监测站故障时其他有效状态的故障概率结果示意图；

图5是改进后的导航监测站可用性结果示意图；

图6是本发明方法实施过程示意图。

具体实施方式

本发明提供了一种导航监测站的可用性确定方法，所述导航监测站可用性是监测站对导航信号监测、接收和处理等任务的执行能力的表征。本发明中的导航监测站，是卫星导航定位系统的重要组成部分，负责完成对卫星信号的伪距、载波相位、多普勒观测量的测量，导航电文接收，卫星导航信号接收质量的监测，气象数据(包括温度、湿度、气压数据)的采集等。

本发明方法如图6所示，步骤如下：

(1)将导航监测站M分为短期故障ST和长期故障LT。导航监测站可用性P_A是短期故障和长期故障的综合结果。所述短期故障是指导航监测站可自行修复的故障，所述长期故障是指导航监测站需人工修复的故障。

(2)根据导航监测站的工况信息，确定两类故障的主要影响因素及相关状态；

短期故障的主要影响因素包括故障状态为短期故障的概率为f_ST、预案保障率f_SST、短期故障转换为长期故障的概率为f_SLT、短期故障向长期故障转换的时间STTLT_ST、短期平均修复时间MTTR_ST，其中，为短期故障向长期故障转换的故障率，为短期平均修复率。

长期故障的主要影响因素包括故障状态为长期故障的概率为f_LT、备件保障率f_PLT、备件非保障率f_NPLT、平均管理延误时间MADT_LT、平均供应反应时间MSRT_LT、长期平均修复时间MTTR_LT，其中，为平均管理延误率，为平均供应反应率，为长期平均修复率。

设导航监测站的平均故障间隔时间为MTBF，MTBF＝1/λ_MTBF，λ_MTBF为平均故障率。

导航监测站各类相关状态包括可用状态P_A，短期故障和长期故障选择状态P_STORLT，短期故障转换选择状态P_STT，短期故障向长期故障转换状态P_STTLT，短期故障状态P_ST，长期故障状态P_LT，备件选择状态P_PS，等待备件状态P_PW，备件供应结束状态P_PD。

(3)根据各类相关状态建立广义随机Petri网模型，确定模型的稳定状态并建立状态转换图。模型的稳定状态包括：可用状态P_A，短期故障向长期故障转换状态P_STTLT，短期故障状态P_ST，长期故障状态P_LT，等待备件状态P_PW，备件供应结束状态P_PD。

(4)广义随机Petri网描述如下：

广义随机Petri网是一种主要描述和分析离散事件动态系统的图形工具和信息流模型网络，在广义随机Petri网中，“○”表示“库所”，描述系统的状态、资源或条件；空心矩形框“□”表示“时间变迁”，描述改变系统状态的事件且延时服从指数分布；实心矩形框“▌”表示“瞬时变迁”，描述改变系统状态的事件且延时为0；“→”表示“有向弧”，描述系统状态与事件之间双向因果关系；表示“禁止弧”，描述与禁止弧相连的库所中托肯数量满足激发条件时，禁止该变迁激发；权值W标注在有向弧旁；“·”表示“托肯”，描述库所拥有资源的数量。

(5)建模过程为：

确定导航监测站的可用状态为P_A，设其托肯为1，表示导航监测站可用。由可用状态出发P_A，通过有向弧顺次指向平均故障间隔时间MTBF以及短期故障和长期故障选择状态P_STORLT，表示导航监测站经时间MTBF后，进入短期故障和长期故障选择状态。由短期故障和长期故障选择状态P_STORLT出发，通过有向弧分支，左分支顺次指向故障状态为长期故障的概率f_LT和长期故障状态P_LT、右分支顺次指向故障状态为短期故障的概率f_ST和短期故障选择状态P_STT，分别表示短期故障和长期故障选择状态P_STORLT按概率f_LT进入长期故障状态P_LT、按概率f_ST进入短期故障选择状态P_STT。由短期故障选择状态P_STT出发，通过有向弧分支，左分支顺次指向短期故障转换为长期故障的概率f_SLT和短期故障向长期故障转换状态P_STTLT、右分支顺次指向预案保障率f_SST和短期故障状态P_ST，分别表示短期故障选择状态P_STT按概率f_SLT进入短期故障向长期故障转换状态、按概率f_SST进入短期故障状态P_ST。由短期故障向长期故障转换状态P_STTLT出发，通过有向弧顺次指向短期故障向长期故障转换的时间STTLT_ST和长期故障状态P_LT，表示短期故障向长期故障转换状态P_STTLT经时间STTLT_ST后，进入长期故障状态P_LT。由短期故障状态P_ST出发，通过有向弧顺次指向短期平均修复时间MTTR_ST和可用状态为P_A，表示短期故障状态P_ST经时间MTTR_ST后，导航监测站修复完成，进入可用状态。由长期故障状态P_LT出发，通过有向弧顺次指向平均管理延误时间MADT_LT和备件选择状态P_PS，表示长期故障状态P_LT经时间MADT_LT后，进入备件选择状态P_PS。由备件选择状态P_PS出发，通过有向弧分支，左分支顺次指向备件非保障率f_NPLT和等待备件状态P_PW、右分支顺次指向备件保障率f_PLT和备件供应结束状态P_PD，分别表示备件选择状态按概率f_NPLT进入等待备件状态P_PW、按概率f_PLT进入备件供应结束状态P_PD。由等待备件状态P_PW出发，通过有向弧顺次指向平均供应反应时间MSRT_LT和备件供应结束状态P_PD，表示等待备件状态P_PW经时间MSRT_LT后，进入备件供应结束状态P_PD。由备件供应结束状态P_PD出发，通过有向弧顺次指向长期平均修复时间MTTR_LT和可用状态为P_A，表示备件供应结束状态P_PD经时间MTTR_LT后，导航监测站修复完成，进入可用状态为P_A。

(6)根据广义随机Petri网同构马尔科夫链，

同构马尔科夫链的原则：

(6.1)将库所状态分为稳定状态库所和不稳定状态库所，稳定状态库所是指库所输出有向弧指向时间变迁，不稳定状态库所是指库所输出有向弧指向瞬时变迁。

(6.2)将所有稳定状态库所设置为马尔科夫状态，各稳定库所之间的状态改变设置为马尔科夫转移，相关转移值称为转移概率。

转移概率的确定过程为：a)若稳定状态库所之间只存在时间变迁，则转移概率为时间变迁对应故障率，b)若稳定状态库所之间存在时间变迁和瞬时变迁，则转移概率为时间变迁对应故障率与瞬时变迁值的乘积。

确定导航监测站微分方程为：

P_A+P_STTLT+P_LT+P_ST+P_PW+P_PD＝1

确定的导航监测站可用性及其他各有效状态值为：

式中B＝X₁+X₂+X₃+X₄+X₅+X₆+X₇+X₈+X₉，其中

上述：f_ST+f_LT＝1，f_SST+f_SLT＝1，f_PLT+f_NPLT＝1，P_A的值在0～1之间。

(7)采用条件概率方法开展导航监测站故障诊断和优化设计。

设定导航监测站各状态处于可用性状态表示为“1”，处于故障状态表示为“0”。确定导航监测站处于故障状态时各状态的故障概率为：

实施示例：仿真构建导航监测站可用性模型。

按照上述步骤将导航监测站故障分为短期故障和长期故障；确定导航监测站短期故障的主要影响因素指标、长期故障的主要影响因素指标。确定导航监测站各类状态。构建导航监测站可用性模型，如图1所示。确定模型的稳定状态及各类稳定状态的转换关系，如图2所示。确定导航监测站可用性，当前导航监测站可用性为0.97466，图3所示为导航监测站可用性结果示意图。

采用条件概率方法开展导航监测站故障诊断和优化设计，确定导航监测站处于故障时，其他各稳定状态的故障概率，如图4所示。由图可知，P_STTLT和P_ST的故障概率较高，因此对此两个有稳定状态的相关要素进行改进，选择优化f_ST和f_LT，将f_ST值提升60％，将f_LT值降低60％，重新计算导航监测站可用性，如图5。由图5可知，指标优化后，导航监测站可用性有显著提升，优化后导航监测站可用性为0.98966。

本发明未详细说明部分属于本领域技术人员公知常识。