基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用

针对列车群行为分析中的不确定性时间信息推理问题，结合线性逻辑和扩展模糊时间Petri网（EFTPN）等理论，提出了一种基于EFTPN的线性推理方法．该方法不但能对不确定性时间信息进行精确的、定量的建模和推理；而且效率高，可在线性时间复杂度内完成推导；另外其适用面广，可用于解决其它领域内时间推理和验证问题．     

直接模糊神经控制及其在列车自动操纵中的应用(英)

本文基于模糊神经控制方法提出一种新的列车自动操纵策略．首先基于复杂动态过程划分的思想，建立列车运行过程的五个子过程近似工程数学模型；接着对所提的模糊神经控制器的结构、训练样本编码方法、学习算法和推理准则作了详细的描述；文末利用所提控制方法对列车在一段特定的线路上作了仿真研究，结果表明了所提方法的有效性．     

Optimal Terminal Iterative Learning Control for the Automatic Train Stop System

The train stop control is a typical set‐point control task, where only the final state (i.e., the terminal train stop position) is of concern and specified. For such a control problem, an optimal terminal iterative learning control (TILC) approach is presented in this paper, where the stopping position and initial braking speed are chosen as the terminal system output and the control input, respectively. The controller design only depends on the measured input/output (I/O) data without requiring any modeling information of the train operation system, and the learning gain is updated by the system I/O data iteratively to accommodate the system uncertainties. The monotonic convergence of the terminal tracking error is guaranteed by rigorous mathematical analysis. Extensive simulation results are provided to show the applicability and effectiveness of the proposed approach.     

Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays

Recently, the possibilityof associating both discrete events and continuous time behaviourin the same formalism has generated a considerable interest inthe Petri net paradigm. A central issue in this field is theconcept of Hybrid Petri net which consists in continuous transitionsand places holding non negative real number, and discrete transitionsand places holding integer tokens. By adding a new type of nodes,batch transitions and batch places, Batches Petri nets have beendefined. A batch node combines both a discrete event and a linearcontinuous dynamic behaviour in a single structure. Batches Petrinets can then be used in the control design and performance analysisof high-speed systems composed of continuous transfer elementswhich introduce variable delays on continuous flows. In thispaper, the complete formalism of Generalised Batches Petri netsis given through the definition of the model, the enabling andfiring rules, the time analysis methods, and two examples illustratethese notions.     

城际列车多区间节能运行优化方法研究

为了提高城际列车运行的节能性与准点性,研究了一种城际列车多区间节能优化方法。将中间停车站点作为关键点约束,同时以总运行时间约束为边界条件,将列车多区间节能运行优化问题转换为广义上的单区间节能运行优化问题。设计了一种基于极大值原理分析结论的动态规划算法,在保证列车总运行时间不变情况下,实现了全线的最优节能运行操纵策略与时刻表的同步优化。与传统动态规划算法相比,上述算法无需对位置和速度进行双重离散化,只对速度进行离散,有效避免了速度轨迹波动。算法对电分相区内无牵引工况的操纵约束具有很好的兼容性。最后以CRH6A型动车组运行于莞惠线为例进行仿真验证,结果表明,与实车运行数据相比,提出的优化方法节能率可达19.92%。     

自动制造系统设计和仿真中的死锁控制

通过对自动制造系统的Pctri网模型的分析．可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Pctri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。     

Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks

Stochastic simulations are able to capture the fine grain behaviour and randomness of outcome of biological networks not captured by deterministic techniques. As such they are becoming an increasingly important tool in the biological community. However, current efforts in the stochastic simulation of biological networks are hampered by two main problems: firstly the lack of complete knowledge of kinetic parameters; and secondly the computational cost of the simulations. In this paper we investigate these problems using the framework of stochastic Petri nets. We present a new stochastic Petri net simulation tool NASTY which allows large numbers of stochastic simulations to be carried out in parallel. We then begin to address the important problem of incomplete knowledge of kinetic parameters by developing a distributed genetic algorithm, based on NASTY's simulation engine, to parameterise stochastic networks. Our algorithm is able to successfully estimate kinetic parameters to replicate a system's behaviour and we illustrate this by presenting a case study in which the kinetic parameters are derived for a stochastic model of the stress response pathway in the bacterium E.coli.     

基于有色Petri网的自动化物流系统的研究

针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。     

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset

Real-time systems are becoming increasingly widespread, often in safety-critical applications. It is therefore crucial that these systems be correct; however, there are few automated tools for analyzing concurrency and timing properties of these systems. The PARTS toolset uses a Petri-net-based reachability analysis to analyze program specifications written in an Ada-83 subset. Our simple time Petri nets are specifically aimed at facilitating real-time analysis. In order to control the state-explosion problem, PARTS employs several optimization techniques aimed at state-space reduction. In this paper we discuss our approach and we report on extensive experiments with several examples of real-time specifications based on Ada 83. When possible, we also compare our experimental results with results obtained by other approaches to real-time analysis.     

基于PXI总线的某型战车自动测试系统设计

针对某新型战车组成系统多、技术复杂、维修保障困难等问题,设计了一种基于PXI总线的自动测试系统,综合运用模糊Petri网智能故障诊断技术,能够对各组成系统进行在线测试和离线测试,快速定位故障部件及可能故障部位;详细说明了系统的硬件平台设计、软件平台设计及故障诊断方法,简要介绍了系统鲁棒性设计;通过实装试验,该系统使用方便,判定故障快速有效,提高了某型战车的维修保障效率。     

基于模糊预测控制策略的ATO仿真

该文首先介绍了ATO系统的结构、工作原理,并利用预测控制和模糊逻辑相结合的控制策略,来实现列车自动运行仿真,针对列车运行过程的复杂性和不确定性,采用两套控制规则,一套采用预测数据库,另一套采用实时控制,然后对控制结果进行比较、择优,从而得到比较理想的控制效果。仿真结果表明预测控制和模糊逻辑相结合:控制策略能更有效地完成列车运行控制。     

绞线式列车总线原型节点的设计

绞线式列车总线（WTB）是IEC制订的用于列车级车载数据通信的总线标准。本文提出了一种WTB节点设计的框架方案,并设计实现了具备WTB基本功能的原型节点。该原型节点的设计重点放在WTB的核心部分－WTB链路层的软硬件实现,实现了WTB的基本功能,并为进一步开发实用的WTB技术和产品作准备。     

Feasibility of piecewise-constant control sequences for timed continuous Petri nets

In this study, the determination of control actions for timed continuous Petri nets is investigated by the characterisation of attractive regions in marking space. In particular, attraction in finite time, which is important for practical issues, is considered. Based on the characterisation of attractive regions, the domain of admissible piecewise constant control actions is computed, and sufficient conditions to verify the feasibility of the control objectives are proposed. As a consequence, an iterative procedure is presented to compute piecewise constant control actions that correspond to local minimum time control for timed continuous Petri nets.     

The Influence of Anticipating Train Driving on the Dispatching Process in Railway Conflict Situations

Dispatching support systems are currently being researched, which try to find the optimal order of trains in conflict situations and thereby improve the efficiency of railway operation. Recently, some approaches are presented to further decrease delays by anticipating train control, i.e. slowing down a train before a possible conflict in order to avoid unscheduled stops and reduce their consequences (high delay, high energy consumption, low comfort for passengers). The proposed kind of speed regulation in conflict situations is presented as a consecutive step to train dispatching, although it modifies the objective function of the previous step (delay: objective function during dispatching). This paper analyses the consequences of this sequential approach and describes the circumstances under which the optimal solution of a conflict situation can not be found this way. It proposes the concept of “time losses” whose integration into dispatching algorithms promises better solutions.     

高安全高可靠的列车运行自动控制车载系统

分析了列车运行自动控制系统的故障一安全原则；提出了实现故障．安全系统的方法，并进行了可靠性的比较；设计了一个高安全，高可靠的列车运行自动控制车载系统，并进行了试验。试验表明，所设计的系统达到高安全，高可靠的要求，该项研究对我国的列车运行自动控制系统具有重要的意义。     

An Advanced Real-Time Train Dispatching System for Minimizing the Propagation of Delays in a Dispatching Area Under Severe Disturbances

In highly utilized rail networks, as in the Netherlands, conflicts and subsequent train delays propagate considerably in time and space during operations. In order to realistically forecast and minimize delay propagation, there is a need to extend short-term traffic planning up to several hours. On the other hand, as the magnitude of the time horizon increases the problem becomes computationally intractable and hard to tackle. In this paper, we decompose a long time horizon into tractable intervals to be solved in cascade with the objective of improving punctuality. We use the ROMA dispatching system to pro-actively detect and globally solve conflicts on each time interval. The future evolution of railway traffic is predicted on the basis of the actual track occupation, the Dutch signaling system and dynamic train characteristics. Extensive computational tests are carried out on the railway dispatching area between Utrecht and Den Bosch.     

基于对象Petri网的协同交战能力(CEC)系统建模

Petri网是一种描述具有分布、并发、异步特征系统的有效建模方法,针对协同交战能力(CEC)系统的分布、并发及复杂性特点,提出了基于对象Petri网的协同交战能力(CEC)系统模型。     

基于CC-Link总线的火车皮防冻液自动喷洒系统的设计

针对选煤厂运煤火车人工喷洒防冻液不均匀的问题,设计了一种基于CC-Link的火车皮防冻液自动喷洒系统。该系统采用CC-Link现场总线技术将多套喷洒装置和防冻液加压泵站构建成工业现场级控制网络,实现了各装置之间的联动和实时监控。实际应用表明,该系统避免了防冻液的浪费,提高了工作效率。     

基于CPN的等级转换场景建模分析

针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC（无线闭塞中心,Radio Block Centre）与车载设备之间消息的传送过程,并建立基于有色Petri网的等级转换控车场景模型,讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性,说明了影响等级转换成功率的因素。