基于模糊petri网的北斗系统的完好性监测.docVIP

基于模糊Petri网的北斗系统的完好性监测 作者：谈斌 指导老师：孙淑光 （中国民航大学学院，天津 300300） 北斗系统完好性监测的复杂，基于模糊Petri网的完好性监测方法，利用推理算法得到完好概率。模糊Petri网是一种适用广泛的图形化、数学化的建模工具，能直观地表示多系统因素之间的动态因果行为，具有对模糊系统的模糊推理能力能处理模糊IF-THEN结构产生式规则，同时利用变迁激活规则分析因果关系，推理出完好性的误差来源完好概率。完好性是指当系统提供了错误的（或者不适合的）改正信息，系统能够及时报警的能力完好概率是指在报警时间内用户位置误差超过了警报阀值而不发出任何警告的概率。完好性的参数相关误差类型，Petri网出最可能实现完好性的误差提高了监测效率。联系人：谈斌，联系电话EMAIL：tanbin@163.com 关键词：北斗系统；模糊Petri网；完好性；推理算法0 引 言 北斗卫星导航系统BeiDou（COMPASS）Navigation Satellite System是国正在实施的自主发展、独立运行的全球卫星导航系统由空间段、地面段和用户段三部分组成，空间段包括5颗静止轨道卫星和30颗非静止轨道卫星，地面段包括主控站、注入站和监测站等若干个地面站，用户段由北斗用户终端以及与卫星导航系统兼容的终端组成。关于北斗系统的完好性问题比较复杂，每个影响完好性的参数都是由许多误差因素引起的，同时误差的产生具有并发性，而且相同的误差可能会影响不同的完好性的参数，即具有模糊性。因此，迅速准确的定位误差类型和计算完好概率是亟待解决的问题。本文将模糊Petri网引入完好性的监测，利用其处理复杂系统的能力，航路中影响完好性的最主要的误差因素并计算完好概率。 模糊Petri网模型 1Petri网定义 一般情况下，用八元组来描述模糊Petri网的结构，即具体如表 1 所示：表 1 模糊Petri网的定义 参数元 数学表示 含义 P {p1，p2，…，pm} 有限的位置集 T {t1，t2，…，tm} 有限的变迁集 D {d1，d2，…，dm} 有限的命题集 I T→P∞ 输入函数 O T→P∞ 输出函数 f T→[0，1] 真实度集 α P→[0，1] 关联函数 β P→D 关联函数 2模糊Petri网知识表示 基本推理规则的形式是： ：if then (CF=) 式中： 分别表示前提条件结论命题；为第j 条规则的真实度。 复杂系统，模糊Petri 网和产生式规则之间的相互对应关系见表2： 表 2 三者对应关系 复杂系统 模糊Petri 网 产生式规则 系统 网 规则库 状态、行为过程 变迁 规则 工作单元状态 库所 条件命题 系统状态 标识集 条件集 系统状态变化 变迁激活 规则适用度 模糊性 库所标识值 规则真实度 完好性北斗系统的完好性参数主要包括 (3)相对论效应误差：卫星钟和接收机所处的状态(运动速度和重力位)不同引起的卫星钟和接收机钟之间的相对误差。 2．传播途径因素 (1)电离层折射误差：信号通过电离层时路径发生弯曲，传播速度受影响，从而使测量的距离发生偏差。 (2)对流层折射误差：信号通过对流层时路径发生弯曲，传播速度受影响，从而使测量的距离发生偏差。 (3)多路径误差：测站周围的反射物所反射的卫星信号（反射波）进人接收机天线，和直接来自卫星的信号（直接波）产生干涉，从而使测量的距离发生偏差。 3．接收机因素 (1)接收机位置误差：接收机天线相位中心相对标石中心位置的误差，包括天线的置平和对中误差，量取天线高的误差。 (2)接收机钟差：北斗接收机所安装的原子钟的钟面时与北斗标准间的误差。 (3)接收机天线相位中心偏差：北斗接收机天线的相位中心与几何中心之间的偏差。 (4)接收机设备误差。 4．地球因素：地球自转及潮汐的影响产生的误差。 3 推理算法 1标识算子 在推理过程中需要的标识算子定义如下： ：，X，Y和Z都是维矩阵，：，X，Y和Z分别是维矩阵，维矩阵，维矩阵，，1≤k≤s：，X、Z是维矩阵，q为n维向量，If ，；If ，neg算子，1m为元素全为零的m维向量，q为m维向量。 相关集合 输入矩阵：其中 (2)输出矩阵：其中 是定义在库所集P上的状态向量，表示各命题的真实度，表示命题的初始真实度表示变迁，j = 1, 2, 3, …, n 4 飞机飞行中完好性监测 下面完好性监测建立模糊Petri网（如图1所示），并运用推理算法进行计算。其中各个参数的真实度都是根据经验和统计学得到的，并且定义各参数超过规定阈值时为1，不超过时为0。 R1：IF超过阈值（P1）THEN 超过阈值（