论文部分内容阅读
基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。
Based on the RITS-based distributed system structure and intelligent attribute characteristics, aiming at the description of the relationship between sub-systems in train operation system and the modeling of communication cooperation behavior, a multi-agent train Group Operation Model (AGNTOM). The model embodies the characteristics of multi-agent technology, formal description of G-Net (Petri net) and easy analysis. It can not only describe the communication ability of train agent and station agent in the process of train operation, but also can use the formal method to ensure the model Various attributes. The basic Petri nets model is used to describe the process of communication negotiation between the train and the station as described by the model. The existing Petri net analysis method is used to analyze the related attributes. The results show that the model has L3-activity. The communication negotiation between train and station as described in the model does not lead to deadlock and blockage of communication.