基于对象函数Petri网的关联区域VOCs危害成因解析

为了找出排放并扩散挥发性有机物(volatile organic compounds, VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系,网系统的运行反映了目标区域VOCs危害程度的变化情况,并将危害程度的计算融入到Petri网系统的运行中。通过实际案例研究解析,结果表明:该Petri网模型适用于关联区域VOCs危害成因解析的建模和计算。     

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

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

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

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

基于灰色关联理论和距离协同模型的区域协同发展评价方法及实证

对区域协同发展程度进行评价是有效促进区域协同发展的前提和指导.在分析现有研究现状,总结了定量研究两类思想的基础上,论文结合TOPSIS思想和灰色关联理论对距离协同模型进行改进,构建了新的区域协同发展程度评价方法.该方法引入理想规划值,运用相对距离比来衡量区域系统发展度;运用各个子系统间的灰色关联度来确定子系统间的拉动因子,进而得出理想发展度和协同度,弥补了距离协同模型的两处不足.利用此方法对皖江城市带的协同发展进行了实证分析,实证结果表明皖江城市带的整体协同发展度呈上升趋势,但程度较低,发展度远远低于协同度;经济子系统对其它子系统有显著拉动作用,同时是皖江区域发展中的瓶颈因素;承接产业转移对皖江区域的协同发展有显著促进作用.     

基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。     

Petri网共享子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.     

Petri网Ontology：定义与类型

Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。     

基于Petri网的施工进度建模及优化方法

构建并定义了基于时间Petri网的分级施工网络计划模型,定义了分级库所与任务变迁.在此基础上,对进度计划优化进行了研究.根据我国工程项目管理模式,为满足建筑施工进度计划优化需求,基于HNPC模型建立了一个二级网络计划优化模型;对资源约束工期优化进行了研究,给出了一种遗传算法的解决策略;以Petri网模型的变迁激发序列作为染色体进行计算,使算法和Petri网模型统一起来,并通过实例证明了采用本方法的有效性.     

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

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

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

基于划分软件安全Petri网的需求形式化验证

为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件--机载除冰软件系统上的应用以说明方法和工具原型的有效性。     

高级Petri网：基于ISO/IEC15909的理解

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。     

大型Petri网模型最小trap (siphon)集合的快速求解算法

为了快速确定大型Petri网模型中的trap (siphon) 逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap（siphon）集合上的计算速度优势。     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

公平Petri网中同步距离计算的一个实现算法

同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广（可覆盖）树的概念。在原网系统的可覆盖的基础上构造出一个增广（可覆盖）树,通过增广（可覆盖）树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。     

某类有界时序Petri网的原型网形式的转化

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.     

IT创新概念流行度影响因素的研究——基于云计算的实证分析

信息技术(IT)创新概念的扩散流行和创新概念的实物化程度、相关概念的流行度、相关的商业关注问题等内容有关.文中通过文献内容分析方法获取IT创新概念及其相关概念的文献内容数量,然后通过K-L散度公式计算概念之间的关联程度,之后通过对概念做相关分析,对自变量做降维筛选,最后通过回归方法,对影响创新概念的相关影响因子进行分析.文中以云计算为实证探索了IT创新概念扩散流行度的影响因素和关联关系.     

云环境下基于改进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网的有效性 .