SWJTU—II型计算机联锁控制系统设计和实现

铁路信号计算机联锁系统是一个有着高可靠性、故障安全性和实时性要求的安全关键系统。本单位自行设计研制了一个满足这种高可靠性、故障安全性和实时性要求的容错计算机联锁系统SWJTUII。计算机联锁系统SWJTUII,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step7STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果。该系统已开发完成并投入应用。     

客运专线控制测量技术、费用与风险分析研究

高速铁路无砟轨道铺设和运营维护需要高精度的测量技术和方法,针对CPⅢ控制网测量对仪器配置要求高、需用专用设备和操作软件、控制点布设数量多等特点,论述控制测量的系统配置（仪器、设备、车辆、人员）、控制点布设和测量方法,并对一个测量标段（80 km）所需的成本费用进行测算。根据高速铁路工程建设需求和控制测量的工作量,按照有关规定计算成本费用存在一定的风险。为此,建议CPⅢ控制网测量计费在原来计费标准的基础上提高一定的幅度。     

Development of a shipyard simulator based on Petri nets

There are many restrictions on production in the factory. The most efficient production schedule should be planned taking these restrictions into account. Professional skill is necessary to plan the best schedule. A schedule planner has to deal with so much information during production planning that it is difficult to plan the best production schedule with a consideration of so many restrictions. In this study we introduced the use of Petri nets to support such production planning with a computer. Petri nets have been widely used to simulate production because of their capability of modeling concurrency, synchronization, and sequencing in discrete-event systems. This paper reports on implementing a simulation system for the shipyard. We had already implemented a production planning support system for a shipyard that is a part of the computer integrated manufacturing (CIM) system in shipbuilding. Based on this system, we implemented a shipyard simulator that can simulate the production activity in the shipyard. We therefore have defined a shipyard model. The production conditions can be changed, and the efficiency of a schedule can be evaluated. This paper discusses the effectiveness of using a factory simulator. Received for publication on Oct. 5, 1998; accepted on May 12, 1999     

基于Petri网的集装箱空箱调运仿真分析

Petri网可以很方便地用来分析禽散事件系统和建立模型。对集装箱空箱调运系统（CAECS）进行了分析,构建空箱调运的Petri网模型，然后利用EXSPECT仿真软件进行模拟仿真，从而证明了利用Petri网分析和解决集装箱空箱调运问题的有效性。     

基于Petri网的铁路信号综合系统可靠性分析

铁路信号综合系统已是高速铁路、客运专线不可或缺的设备,其可靠性也显得尤其重要。利用Petri网进行分析建模,并采用马尔可夫过程进行可靠性计算分析,对于系统的设计分析具有很好的参考价值。     

基于Petri 网模型的铁路快捷货运产品可靠性评价

为准确评价及预测铁路快捷货运产品的可靠性,在全面分析铁路快捷货运产品可靠性影响因素的基础上,建立用于产品可靠性评价的故障树模型,并采用下行法求取故障树的最小割集;结合Petri 网建模方法与故障树基本理论,将产品故障树转化为 Petri 网仿真模型,并证明两者的等价性;利用Matlab 仿真软件进行基于关联矩阵的Petri 网模型求解,并以北京-上海间特快货物班列为例,得到该产品的可靠度及故障因素重要度排序.实证结果显示,应用Petri 网模型来求解产品可靠性评价问题,不仅能够有效提升求解过程的效率,而且准确易行.研究成果可以为提高铁路快捷货运产品可靠性和市场竞争力提供科学依据和必要支撑.     

基于Petri网的机车检修作业管理信息系统设计与实现

应用Petri网作为描述工具,分析了机车检修作业流程,建立了机车检修作业工作流Petri网模型,通过化简验证了该模型的畅通性.对该模型的合理性及正确性进行了仿真分析.在此基础上,设计实现了机车检修作业管理信息系统,以提高机车检修质量和效率.     

无信号交叉口车流通行状况的混杂Petri网模型

为了准确表征无信号交叉口的车流通行状况,提出了基于混杂Petri网的车流通行模型。该模型将交叉口车流分成不同的优先级别,分别计算每个级别通过交叉口的车流量和排队车辆数,以此表征它们在交叉口的通行状况,其中车流通行优先级别用离散Petri网表示,车流在交叉口的连续通行状况用时延Petri网表示。仿真结果表明:该模型能够比较有效地描述无信号交叉口车流通行的基本特性,满足城市路网建模的需要。     

基于随机Petri网的铁路应急救援流程化分析

为了提高铁路应急救援效率,将铁路应急预案与应急救援有机地关联起来,需要对应急救援流程进行更加深入的分析及系统性建模.通过随机Petri网对铁路应急救援流程进行建模并对系统性能进行定量分析,提出提高铁路应急救援效率的方法.     

基于Petri网的城市轨道交通车辆子系统运营安全性模型

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。