�����г������Ե�RBCԽ���л�ģ��

CTCS-3型列控系统中,RBC切换是车—地之间大规模数据连续、可靠双向传输的瓶颈,对列车安全、高效运行影响至巨.本文提出并研究了一种新的基于高速列车主体性的越区RBC切换模型,由RBC向列车发送隐性移动授权的基础数据,列车作为主体对基础数据进行融合计算生成移动授权,即通过隐性移动授权的显化过程来实现列车运行控制;同时,对预告应答器的设置作了适应性的调整.性能分析与仿真实验表明,新模型可以显著提高行车组织效率和增强列车运行的安全性.     

基于随机Petri网的GSM-R越区切换成功率的形式化分析

首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素.其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析“GSM-R越区切换的随机Petri网模型”的方法.最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高     

Modeling and Analysis of Logistics System Based on Stochastic Petri Net under Supply Chain Circumstances

In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net (SPN), and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF (moment generating function) of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.     

引入优先因子的模糊Petri网及其在故障诊断中的应用

针对复杂系统故障机理的错综复杂,利用模糊产生式规则建立了模糊Petri网的故障诊断模型.一方面利用Petri网的图形描述能力,用分步运算加判断的方法在图形结构上进行正向或反向搜索;另一方面考虑实际故障搜索过程中,当同一层次上几个变迁的可信度值十分接近甚至相等时,仅依据可信度最大的原则来进行取舍的不合理性,引入表示故障严重程度的优先因子,使模型更符合实际情形.最后以某复杂系统故障诊断实例说明了模型的有效性.     

基于Perti网的业务流系统的语义描述

尝试利用Perti网理论对包括航运业务流程在内的以信息传递为主的业务流系统的语义描述进行了系统的探讨。内容主要包括：业务流系统特点分析、业务流的基本Perti网语义描述、业务流的基本流程关系描述、冲突消解及业务能力有限的Perti网实现、业务流程的组合分解与抽象细化的Perti网实现、不同性质的任务标识与激发的Perti网语义描述、业务流属性的Perti网语义描述等。     

Resarch on Welding Robotic System with Petri Net

Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.     

基于随机Petri网的GSM-R越区切换成功率分析

CTCS-3级列车运行控制系统利用GSM-R网络进行车地间连续、双向的安全信息传输。而GSM-R系统采用硬切换技术,切换时必然会产生短暂的通信中断,这就会影响列车控制类数据传输业务。为保证安全数据传输的可靠性,迫切要求更短的切换时间和更高的切换成功率。对此,建立GSM-R系统越区切换的随机Petri网模型,分析影响越区切换成功率的因素,并利用MATLAB仿真得到列车运行速度、越区切换中断时间以及列车追踪间隔与越区切换成功率的关系;最后说明列车在350 km/h和430 km/h速度下运行时,越区切换成功率是否满足CTCS-3级系统需求标准要求。     

基于赋时可重构Petri网的可重构制造系统调度算法

根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序，生成并求解部分可及图，以获得优化或准优化的调度．该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间．用一个调度算例验证了该调度算法的可行性．     

运输网络最大流的Petri网图仿真算法

现代化的综合交通体系和智能交通系统要求必须首先解决运输需求分析和运输网络分析的技术问题。Petri网理论可以被引进到运输网络理论中 ,用来解决最基本也是应用最广泛的最大流问题。首先介绍了 Petri网与有向网络的 Petri网模型 ;然后 ,给出有向网络最大流的求最短路法 ;在此基础上 ,采用 Petri网论法和计算机图形仿真法相结合的方法 ,求解运输网络最大流。即用Petri网图仿真器把无向运输网络转化为有向运输网络 ,然后求有向运输网络 G的对偶网络 DG,再用 Petri网图仿真器将对偶网络 DG转换成 Petri图模型 ,并自动求得 DG最短路 (原网络 G的最小割容量 ) ,即运输网络最大流。该方法比现有方法更方便 ,速度更快 ,而且形象、直观 ,是更实用的方法和手段     

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

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