基于随机Petri网的关联区域内VOCs级联危害评价

区域内的VOCs排放是相互影响的,为了研究区域内的VOCs排放源因扩散与迁移对其他城市的危害,采用了基于随机Petri网的关联区域内VOCs级联危害评价方法,将区域系统划分为区域子系统内部的关联关系、不同区域子系统内部元素的关联关系和区域子系统外部的关联关系三种类型,并给出了级联传播的表示及计算的方法.利用各库所中VOCs浓度增值累积量记录各库所受污染的程度,将VOCs危害度融入到网系统的运行过程中,给出了基于SPN危害度的算法.案例研究构建了一个区域系统VOCs扩散与迁移的Petri网模型,绘制了与其同构的马尔可夫链,计算了各库所的受污染源影响的危害度以及各可达标识的稳态概率.该方法为研究VOCs在气象条件下对其他区域造成的危害提供科学的评价体系.     

基于Petri网的VOCs跨区域流动动态风险评估方法

为了评价污染天气下由于VOCs(volatile organic compounds)跨区域流动产生的区域间的相互影响作用的大小，找出对受污染区域影响较大的路径，结合Petri网模型提出了VOCs跨区域流动动态风险评估方法。利用HYSPLIT模型确定多个潜在污染源与受污染区域的VOCs迁移路径，运用Petri网去描述各个迁移路径之间的关系；将动态风险大小的计算融入到函数Petri网的运行中，定量评估潜在污染源到受污染区域的各条路径的风险程度；案例分析得出污染天气下周边区域对于西安的动态风险评估结果以及各污染路径的潜在风险指数。研究表明，在重污染天气下各个污染源城市对西安的影响程度大小由高到低依次为宝鸡>汉中>西宁>兰州。该方法为评估VOCs跨区域流动过程中潜在污染源的风险程度提供了依据。     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

云环境下基于改进SEIRS模型的VOCs最优减排计算

不同区域的挥发性有机物(volatile organic compounds, VOCs)排放是相互关联与影响的，为了将VOCs对大气环境的影响降到最低，实现VOCs区域协同联动治理，建立了以VOCs减排总量最大为首要目标最优减排模型，提出一种考虑环境污染因素的改进SEIRS传染病动力学优化算法(SEIRS infectious disease dynamics optimization algorithm considering environmental pollution,SEIRSCE)在云环境下求解模型。应用案例以西安市为例，在阿里云服务器中使用SEIRS-CE算法对西安市13个气象监测站所对应VOCs关联区域减排问题进行计算并与传统智能优化算法进行对比，结果表明建立的VOCs最优减排模型具有科学性和可行性，在云环境下使用SEIRS-CE算法相较于对比算法求解VOCs最优减排问题的收敛速度更快，求解精度更高，陷入局部陷阱概率更低，具有高并发性、高安全性、高共享性，对府际间VOCs联防联控治理提供借鉴。     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

基于时间Petri网的实时多任务调度方法研究

Petri网是一种模拟和分析的系统工具，能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理，并以水下航行器制导仿真系统为例，将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务，在建立和分析时间Petri网模型的基础上，给出资源的束双处理器条件下的最佳调度方案。仿真结果表明，通过该方法完成的多任务调度，能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行，满足水下航行器制导仿真系统分析研究的需求。     

基于Petri网的作战单元状态模型及可用性分析

以作战单元为整体研究其可用性具有重要意义.提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型.研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法.最后,应用实例对模型的解析方法进行了验证.     

基于Petri Fault Net的磁浮列车悬浮系统故障分析

随着磁浮列车技术的商业化应用,磁浮列车系统故障诊断越来越受到重视。以中低速磁浮列车为背景,在建立磁浮列车悬浮系统故障模型的基础上,针对磁浮列车悬浮系统的复杂性,将基于Petri Net的故障诊断理论Petri Fault Net应用于磁浮列车悬浮系统的故障诊断中。给出了基于Petri网的最小割集寻找方法;根据磁浮列车2001年以来的运行数据统计,计算出了节点的P概率/T概率;在此基础上进行了故障定位和影响分析。列车的试验运行验证了提出的理论准确性。     

Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.     

航空电子综合系统总线控制方案研究

在用Petri网理论建立航空电子综合系统模型［1］的基础上，通过对航空电子综合系统的拓扑结构和性能指标的分析，提出了航空电子综合系统总线数据流的安排方法、提高总线使用效率的途径、总线数据流的控制规约和总线数据流传输方案的优化方法。按照这些规约和算法控制Petri网的运行，可以产生优化的总线传输时序表和计算相应的技术指标。     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

矿尘迁移致生态系统损害级联传播评价研究

为了解决矿尘迁移致矿区生态系统损害级联传播评价问题,采用矿尘迁移路径构建迁移网络,明确潜在的危害来源路径,给出了生态系统损害级联传播Petri网仿真模型(PN-EDCP)的定义,阐述了将迁移路径网络抽象为Petri网模型的一般方法。通过向Petri网模型中引入库所对象属性与方法的概念,使得模型真实含义清晰,具备对生态系统对象间逻辑关系及损害级联传播路径的描述和分析能力,能够将矿尘迁移现象损害生态系统的过程直观展现出来。在实例研究中,使用PN-EDCP模型完成了仿真分析,并对损害度变化趋势及与之相关的级联路径进行了深入讨论。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。     

基于着色Petri网的无人机侦察战术规划

无人机(unmanned aerial vehicle,UAV)战术规划问题是UAV作战的核心,本文以UAV战术规划中的资源分配和目标推理为研究对象,针对传统Petri网不能准确模拟战术规划中资源及任务正负效应建模问题,在阐述了利用传统Petri网将总体任务按计划及目标顺序进行层次分解后,采用着色Petri网对网间结构...     

Petri网语言的同步混排运算及在语言分析中的应用

Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为．为此，引入Petri网语言同步混排运算，并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系，分析了Petri网语言的同步混排运算的作用和意义，在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法．     

Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.