一种混合型货运列车车内通讯网络的设计

构建可靠的货运列车车内通讯网络是实现货运列车状态在线监测的基础。针对车内无线通讯网络的研究现状,提出了一种混合型货运列车车内通讯网络。该网络利用CAN总线完成单节车辆及机车的内部通讯,并在机车的尾端和车辆两端安装无线模块,可实现同列车的所有机车、车辆之间通讯。通过将有线通讯和无线数据传输相结合,可以显著减小无线通讯距离,提高通讯效率及可靠性。实验表明,该系统可以较好地满足货运列车状态在线监测的通讯功能要求,对于提高货运列车的运行效率和安全性具有重要意义。     

基于随机Petri网的柔性工作流可用性分析

提出一种基于随机Petri网的柔性工作流可用性分析方法。给出基本的异常处理模型,以电子商务配送系统(ELMS)为例,利用随机Petri网对系统进行SPN建模,分析ELMS系统的各种可用性参数。实验结果表明,该方法能准确、有效地对支持异常处理操作的柔性工作流进行可用性分析。     

基于并行MLFMA最细层数据建立算法的Petri网建模方法

为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网.将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模.在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础.     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.     

氡及其子体运移仿真系统开发

基于.net开发平台,借助C讨论了仿真系统的软件实现过程,简述了系统的功能模块及关键技术实现.实现了氡及其子体运移机制研究的计算机化.     

浅谈VPN技术在校园网中的应用

随着高校办学规模的扩大,新（分）校区在地理位置上的分散,针对高校跨地域分布的校园网建设和实现校园网外用户电子资源访问提出更高的要求。文章在简述VPN技术的基础上,给出了该技术应用于校园网的具体方案,从而实现校区之间的虚拟专用网络连接,并且可以将校园专用网内资源被访问的区域范围扩展到任何连接Intemet的地方．从而实现了校区互联、移动办公、电子资源访问、校际交流等方面的功能。     

Designing genetic regulatory networks using fuzzy Petri nets approach

In this paper, we have successfully presented a fuzzy Petri net (FPN) model to design the genetic regulatory network. Based on the FPN model, an efficient algorithm is proposed to automatically reason about imprecise and fuzzy information. By using the reasoning algorithm for the FPN, we present an alternative approach that is more promising than the fuzzy logic. The proposed FPN approach offers more flexible reasoning capability because it is able to obtain results with fuzzy intervals rather than point values. In this paper, a novel model with a new concept of hidden fuzzy transition (HFT) to design the genetic regulatory network is developed. We have built the FPN model and classified the input data in terms of time point and obtained the output data, so the system can be viewed as the two-input and one output system. This method eliminates possible false predictions from the classical fuzzy model thereby allowing a wider search space for inferring regulatory relationship. The experimental results show the proposed approach is feasible and acceptable to design the genetic regulatory network and investigate the dynamical behaviors of gene network.     

Design of liveness‐enforcing supervisors via transforming plant petri net models of FMS

This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, S³PR for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted S³PR (WS³PR) that is behaviorally equivalent to the plant model. The WS³PR is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self‐max'‐controlled. The resulting WS³PR can serve as a liveness‐enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Fault tolerant control design via hybrid petri nets

This paper proposes a novel fault tolerant control (FTC) scheme for hybrid systems modeled by hybrid Petri nets (HPNs). The HPNs model consists of discrete and continuous PNs. The faults are represented by unobservable discrete transitions or the normal observable discrete transitions with abnormal firing time in discrete PNs. First, an observer‐based fault diagnosis method is proposed to estimate the marking in discrete places with unknown initial marking and diagnose the faulty behavior simultaneously. Then, an adaptive fault tolerant controller is designed to maintain the general mutual exclusion constraints (GMEC) of discrete PNs, and a scheme that adjusts firing speeds of continuous transitions is provided to maintain the optimality of continuous PNs. Finally, an example of an intelligent transportation system consisting of automated vehicles on a bridge is included to demonstrate the effectiveness of our developed techniques. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

振动故障诊断的Petri网模型及系统实现

针对机械振动故障的传播特点,提出5种故障诊断的Petri网模型及其相应的故障诊断算法,用软件工程方法进行分析、设计和实现,得到机械振动故障诊断的Petri网系统。实践证明该方法能降低故障误诊率和漏诊率,解决复杂环境下机械振动故障诊断和故障预报的难题。