基于模糊故障Petri网的网络故障成因建模与分析

针对目前网络故障解决速度慢、影响用户使用体验等问题,将模糊Petri网和故障Petri网相结合提出模糊故障Petri网(fuzzy fault Petri net,FFPN).建立基于FFPN的网络故障成因模型,并结合基于FFPN诊断思想的算法,计算模型中某个可能引起以太网出现故障的因素的真实度,真实度最高的成因因素即为可能引起以太网出现故障的最主要因素.实例分析表明,该模型可以较好地描述网络故障因素间的因果关系,并可定量分析得出以太网出现故障的主要因素,可为网络故障领域的研究与探索提供参考.     

基于模糊Petri网的招标方信任风险评价模型研究

以模糊Petri网为工具,以招投标过程中招标方存在的对信任风险有重大影响的因素为基础,模拟出因素间的因果关系,建立了基于模糊Petri网的招标方信任风险评价模型.运用设计最长路径算法分析模型中致因要素导致招标方信任危机的可信度,在最长路径上的影响要素即为最易引发招标方信任风险的主要因素.最终通过模拟仿真案例分析,进一步说明招标方信任风险评价模型的应用性和可靠性.     

单线列车运行调整目标体系与算法模型的研究

为了解决列车运行调整优化过程中调整目标存在目标单一、适应性不强、不能满足实际运行情况等问题,在对各种常用的性能指标进行综合分析的基础上,并结合现场调查与调度经验,利用满意优化理论,分析了晚点列车的等级、晚点时间、晚点列车数量等不同性能指标对调整目标满意度的影响.提出了基于满意优化理论的列车运行调整目标体系模型,并将该模型与传统的列车运行调整目标体系在同样的实例环境下进行了仿真.仿真结果表明,与传统的列车运行调整目标体系相比,该模型在实际运行过程中具有更好的优化性和有效性.     

基于新型扩展模糊Petri网的食品冷链故障诊断方法

针对生鲜食品在冷链配送过程中容易发生变质的问题,并考虑冷链过程的时序性特点,提出一种基于新型扩展模糊Petri网(EFPN)的故障诊断方法.该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析,从而得到引起故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素,降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.     

基于均衡和接续的路网列车运行图调整研究

铁路中的换乘车站如果发生突发事件,会造成路网中部分列车到达换乘站晚点,晚点超出一定范围时与之接续的列车将不再保持接续关系,导致旅客无法完成换乘且接续列车晚点。本文建立了基于均衡和接续的路网列车运行调整模型,调整后使列车到达终点站的时刻与原计划时刻偏差最小并且总延误时间最小。使用Gurobi优化软件对模型进行了求解,结果表明,调整后的运行图能够有效缓解突发事件对列车运行造成的影响,且晚点在一定的范围内,通过列车接续能够保证旅客的顺利换乘。     

基于乘客等待时间的城市轨道交通列车运行调整模型

研究突发事件导致列车晚点情况下城市轨道交通列车运行调整问题.从乘客角度出发,提出了“首站控制”和“多站协调控制”两类列车运行调整策略.考虑列车能力约束和列车区间运行时间、追踪间隔时间等运行条件约束,以受突发事件影响的全部乘客等待时间最小为优化目标,建立了基于两类调整策略的列车运行调整模型,采用Lingo软件进行求解.以某简化线路为算例,与不采取控制策略相比,两类策略下乘客等待时间均节省约9％,结果表明了模型的有效性,能够为轨道交通列车运行调整提供辅助支持.     

列车运行调整与到发线运用的协同优化研究

在列车运行的过程中,受到各种不确定性因素的影响,列车可能会偏离图定运行计划,同时也会对车站的到发线运用造成干扰。针对列车运行调整与到发线运用协同的优化问题,本文兼顾列车运行调整约束与到发线运用约束,建立了多目标的整数规划模型,并设计了适用于求解该模型的分层序列鸽群优化算法。算例分析表明,模型对列车运行计划进行调整的同时,还能得到满意的到发线运用方案,并且分层序列鸽群优化算法可以快速求解列车加权总到发晚点最少和到发线占用总消耗最小的目标函数。     

列车运行调整问题的图论模型与启发式算法

列车运行调整就是在列车出现晚点时,改变列车在车站的到发时间及区间运行时分,提高正点率。结合我国铁路现状及发展前景,提出列车运行调整的图论模型,建立相应整数规划模型,用C语言编制启发式算法求解算例,并对算例进行了分析和比较。     

基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析

点式?基于通信的列车控制（BM-CBTC）多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式?基于通信的列车控制（BM-CBTC）系统模式切换功能及过程,建立基于有色Petri网（CPN）的模式切换模型,研究不同点式（BM）控制系统设计运行间隔下的系统切换实时性。实验表明,切换时延随着BM设计运行间隔增大而增加,当BM设计运行间隔为2 min时能将列车运行晚点时间控制在5 min以内。建立的CPN模型亦可为其他配置的多模列控系统切换的实时性分析作为参考。     

面向鲁棒性的高速铁路网络列车运行调整计划优化模型

针对高速铁路路网中出现区间封锁事件,考虑事件持续时间的不确定性,以列车运行时间和安全间隔时间为约束条件,引入路径选择唯一性约束保证列车运行调整计划的鲁棒性,以所有列车晚点时间之和的期望值最小为目标函数,建立高速铁路列车运行调整计划优化整数规划模型.设计基于优先级规则的启发式算法,求解原模型的可行解.运用拉格朗日松弛算法和最短路径算法求解该模型的松弛模型,得到原模型最优解的下界.根据可行解与最优解下界之间的距离,可以定量地衡量可行解的质量.结果表明,相较于CPLEX数学求解软件,算法求解效率较高;模型与算法能够有效生成鲁棒的列车运行调整计划,为调度员提供必要辅助决策信息.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于模糊Petri网的供应链诊断建模分析

以模糊Petri网为工具,参照绩效评价指标,构造供应链的诊断模型,给出诊断算法.以制造商、销售商组成的简单供应链为例,选择供应链运作中的14个关键因素,模拟给出其因果关系,建立了基于模糊Petri网的简单供应链诊断模型,通过仿真分析,验证了模型的正确性和算法的有效性.该模型的建立形象描述了供应链运作管理中关键因素之间的影响关系,为供应链的诊断研究以及供应链的绩效评价提供一个新的思路.     

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

扩展Petri网在PPCES建模中的应用

利用生产计划与控制专家系统(PPCES)进行启发式搜索,根据Petri网建模原理及PPCES的推理需要,对生产系统建模,定义了一类扩展有色、时间Petri网,用来解决Job-shop型生产系统中NP难度的调度问题.实践证明,这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度,还可以应用专家系统领域的知识指导系统进行冲突消解,从而避免了常规分析方法所带来的组合爆炸问题.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。