基于Petri网的Tapestry系统性能评价

P2P(peer to peer)技术对网络资源的充分利用使得其越来越受到人们的关注,基于P2P的系统各自特点,Tapestry是优秀的结构化P2P系统之一,它可以实现与位置相关的资源共享.由于可以很容易的在其上面搭建一些P2P的应用,其应用广泛.采用比排队论更精确的Petri网模型对其性能进行分析和评价.     

发射控制仿真系统的Petri网建模与分析

垂直发射装置的发射控制系统是一个分布式实时多任务数据处理系统，具有实时性、并发、异步和多任务等特点。Petri网是描述和分析异步并发现象的一种有效的模型工具。以Petri网为工具，建立了发射控制系统的仿真模型，对其功能和数据流进行模拟，并对其结构性能、任务的忙闲程度、死锁进行了定性分析，实现了模型和程序结构的自动转换，从一个全新角度对发射控制系统进行了分析和评价。     

面向RITS的多Agent列车群运行模型

基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。     

基于CAD与CFD的穿梭艇局部船型特征分析

穿梭艇船型是一种针对恶劣航行条件下的高速船艇需求提出的,具有内倾式船首的、单体、高速、穿浪、排水型船。论文基于CAD和CFD技术,对影响穿梭艇在静水中阻力和兴波性能的首尾部若干局部船型特征进行了对比分析,揭示了不同船型特征下的穿梭艇性能特性间的差异,为以后相关船型的设计开发提供了有益的参考。     

高速列车跟驰运行控制策略与安全车距的互动演化

为实现高速列车的安全、高效、平稳运行,利用Petri网描述与分析了给定跟驰状态下高速列车控制策略与安全车距的互动演化机理,探讨了高速列车复杂跟驰形势下的安全车距计算问题,建立了能够反映高速列车控制策略的停车减速运行数学模型,提出了基于控制策略的安全车距计算方法,以满足高速列车当前跟驰状态下行为调整的安全性、高效性和平稳（舒适）性和有助于动态安全车距和控制策略的实时标定。在前车速度分别为250、300、350 km·h-1,后车速度为300 km·h-1三种跟驰状态下,计算了前后车分别采取不同的控制策略时应保持的安全车距。计算结果表明：随着前后车控制策略的变化,安全车距是不同的,对列车行为调整的平稳（舒适）性与跟驰效率的影响也存在差异;综合考虑安全、效率和列车行为调整的平稳（舒适）性,宜针对高速列车不同跟驰状态重新标定不同跟驰控制策略下的安全车距,并建立相应的数据库,作为列车运行和控制的依据。     

基于有色Petri网的虚拟维修过程建模技术研究

针对虚拟维修过程建模问题,建立一种基于有色Petri网的虚拟维修过程建模方法。在分析模型需求的基础上,基于有色Petri网理论,表达维修资源模型,描述维修操作之间的多种逻辑关系,并给出一般的建模步骤。引入资源库所的概念,解决模型表达中由于资源种类繁多造成的表达不清晰、难以理解的问题;定义一种"选择"变迁模型,丰富维修过程逻辑关系的表达方式。通过实例验证该建模方法的可行性和正确性。