独立三边网在酉水大桥控制测量中的应用

结合西汉高速公路51标段酉水河大桥工程实践,从测边控制网测量设计、控制网内业平差计算以及精度评定三个方面进行论述。详细地介绍独立三边网控制测量的一种—中点多边形测边控制网,对工程实践有指导作用。     

基于OPN的舰载对空搜索雷达作战效能仿真分析

舰载对空搜索雷达的作战效能评估是电子战领域的一个研究热点,它的评估方法得到了广泛的研究.针对通常的模型不能同时描述舰载对空搜索雷达作战系统的静态结构和动态过程,采用对象Petri网建立了舰载对空搜索雷达作战系统的模型.首先在对舰载对空搜索雷达作战系统分析的基础上,设计了系统对象类,并运用OPDL语言对各个对象类和舰载对空搜索雷达作战过程进行了描述;然后选取了效能评估指标;最后利用所建立的OPN模型进行了仿真,通过仿真运行对不同对抗环境下舰载对空搜索雷达的效能进行了分析,仿真结果与实际相符合.     

基于改进模糊Petri网的航空保障系统易损性评估

提出一种基于改进模糊Petri网(FPN)的系统易损性评估模型.该模型在传统FPN基础上结合一种改进的粒子群优化算法,既能够模拟系统复杂的逻辑关系,又能够更方便地通过训练样本来确定系统中大量未知参数,摆脱对专家经验的依赖,具有优良的收敛性能.针对大型载机舰船航空保障系统的特性,建立了基于改进FPN的航保系统易损性评估模型.算例表明该方法比传统损伤树法更合理、全面,可推广用于舰船复杂系统易损性评估.     

不确定性时间知识推理和验证算法及列车群建模分析

时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键。本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法。该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题。     

一种层次化CPN模型及其在给排水系统中的应用

先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在给排水系统中进行实际应用。     

部分可观Petri网系统的在线故障诊断方法

针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。     

基于SPN的CTCS无线通信形式化建模与分析

CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。     

基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。     

Applying a semantic information Petri Net modeling method to AUV systems design

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system. According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system. After analyzing the model implementation,the errors of architecture designing and function realization can be found. If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.     

基于Petri网的模块化生产系统建模

针对模块化生产系统是一种结构组成多样,事件触发频繁,控制对象多,控制信息量大,系统结构复杂的典型的离散型动态系统,基于Petri网对模块化生产系统总体工艺路线进行建模,验证了所设计的总体工艺路线的可行性.同时提出了一种直接利用Petri网编写PLC程序的方法.