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

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

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

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

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

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

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

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

Experimental study of the state-of-the-art offshore system integrating a floating offshore wind turbine with a steel fish farming cage

An innovative offshore system integrating a floating offshore wind turbine with a steel fish farming cage (FOWT-SFFC) has recently been developed by the two leading authors for offshore wind and aquaculture industry. The purpose of this paper is to investigate the dynamic responses of FOWT-SFFC subjected to simultaneous wind and wave actions in the harsh South China Sea environment by a series of model tests. The tests are conducted at the Tsinghua Ocean Engineering Basin with Froude scale of 1:30. In this paper, the similarity law and setup of model tests are given first. Then a series of calibration tests and identification tests are carried out to validate the capacity of wind generator and wave maker, and to identify the vibration frequencies of tower, the stiffness of mooring system, natural periods and system damping, motion response amplitude operators (RAOs) of FOWT-SFFC, and thrust-speed performance of the turbine in wave basin. After that, seakeeping tests are implemented for random waves, followed by a sequence of load cases including normal operating and extreme conditions. Constant wind speeds and random wind speeds are respectively considered in load combinations. The experimental results affirm the excellent seakeeping and dynamic performance of FOWT-SFFC. Existence of metal fish nets increases the damping of foundation's 6 degree-of-freedoms motions. Generally, the influence of nets on the dynamic responses is insignificant in wind sea states.     

列控数据完备性建模方法研究

列控数据作为列车运行控制的基础,是列控系统的中枢神经,其完备性直接关系到列车运行安全.列控数据完备性能够保证列车安全控制数据的完整性、正确性、有序性、实时性、有序性和兼容性.本文以CTCS-3级列控系统和CTCS-2级列控系统之间的等级转换以及典型的设备故障导致降级场景为例,利用随机Petri网建立列控数据完备性模型,重点研究了列控数据完备性的完整性、实时性和兼容性方面的问题,最后提出了用模型完成的成功率以及系统平均延时时间分析列控数据完备性的方法.     

基于Petri网的工作流管理系统的设计与实现

以某供电公司工作流管理系统为背景 ,采用群件系统LotusDomino/Notes平台 ,在分析Petri网的基础上 ,提出了单一状态模型的工作流设计思想 ,并完成了工作流管理系统的设计和实现 ,从而实现了办公过程的无纸化和自动化 ,支持协同工作 ,提高了现代企业的管理水平和工作效率 .     

石家庄市域干线公路网布局规划研究

分析了区域发展一体化和城乡发展一体化新形势下的石家庄市干线公路网现状问题和发展需要;将弹性系数法、回归分析法、连通度法、综合类比法、国土系数法等用于公路客货运量预测、交通量预测和干线公路网规模预测,获得了较好的效果;归纳、提出了新形势下符合石家庄市情的干线公路网规划目标和原则,并从技术、经济和社会经济效益三个方面对规划方案进行了综合评价。     

模糊神经Petri网在管道故障诊断中的应用

针对模糊Petri网在故障诊断中缺乏较强的自学习能力的缺点,将人工神经网络引入到模糊Petri网中,定义一种模糊神经Petri网,应用于天然气长输管道故障诊断,对过程中的故障诊断进行建模,通过分析说明该方法的可行性。     

第三方物流信息系统运输子系统的设计

为了降低第三方物流信息系统运输子系统设计的复杂性,在系统结构设计中,将运输子系统分为业务系统、监控、查询与统计、财务接口与运费调整的审核5个部分;在业务流程设计中,用Petri网对大部分业务逻辑加以描述,以优化运输子系统;在数据库设计中,从单据中识别实体,根据界面绘制数据流图,从E—R图中识别实体之间的关系,将其转化为关系模型,成为数据库中表的基本结构,提出以“族”的概念组织实体集和数据库表,将根据物理数据模型建立的125张表分成了14个族。此结构设计方法简化了第三方物流信息系统运输子系统的结构,提高了工程质量。