一、一种扩展Petri网模型及应用研究（论文文献综述）
何磊,李涛,张世炯,唐健钧[1]（2021）在《基于扩展Petri网的复杂装配线建模》文中研究说明针对航空航天产品装配流程复杂、装配生产线产能评估困难的问题,提出将物理仿真层与逻辑仿真层分离的装配生产线分层建模策略并分别给出扩展Petri网模型。在此基础上进一步提出将装配生产线扩展Petri网模型映射为离散事件仿真模型,并利用离散事件仿真模型对多种条件限制下的装配生产线进行产能评估。以某型飞机装配线作为案例研究,应用所提建模策略和方法建立分层装配生产线模型,并利用仿真环境进行产能评估。案例分析结果表明所提建模策略和方法的可行性,能够较好地反映装配生产线运行逻辑,能够对不同资源条件配置下的生产线性能评估提供决策支持。
刘伟,史晓浩,孙红伟[2]（2021）在《基于逻辑混合Petri网的混合系统建模与分析》文中研究表明逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统。基于此,提出逻辑混合Petri网。首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式。其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程。再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,并提出相应的求解算法。同时,提出变迁的引发规则。最后,以一个微电网系统为例,验证该建模分析方法的有效性和可行性。
陈哲意[3]（2021）在《基于模糊Petri网的柔性制造系统故障诊断》文中研究指明
刘司朝[4]（2021）在《基于球型模糊Petri网的地铁车门系统故障诊断方法研究》文中提出
梁泽萍[5]（2021）在《基于Petri网的太阳能热发电系统建模及控制策略研究》文中指出与光伏发电相比,光热发电具有可储能、夜间可发电、发电量持续稳定等优势,并且从技术角度来说,用光热发电替代传统能源发电是完全可行的,因此对于光热发电的研究具有重要意义和应用价值。然而,我国太阳能热发电处于示范阶段,成规模化的生产依然受到诸多不确定因素的影响。本文以线性菲涅尔太阳能热发电系统为主要研究对象,通过机理建模的方法,建立各子系统的数学模型。根据系统在不同工况条件下的逻辑切换规则,建立其混杂系统模型,然后对太阳能热发电系统的动态运行和温度控制展开了研究,并利用实际数据进行验证。首先,采用能量平衡模型和经验公式相结合的方法,建立线性菲涅尔太阳能热发电系统中真空管复合抛物面集热器的能量平衡模型,分析了传热流体（Heat Transfer Fluid,HTF）沿集热器轴向的温度分布以及影响集热器热效率的因素;然后建立储热罐以及蒸汽发生器的数学模型,分析储热子系统在无外部热源时的热损失及蒸汽发生器的换热过程。为了防止熔盐凝固,针对熔盐罐布置额外的电加热装置。其次,由于太阳能资源的间歇性和外部气候条件的影响,系统会在防凝保护、集热场回路预热、储热罐储热和负荷输出四种模式下耦合运行,以满足不同工况条件下汽轮机的出力需求。所以,本文针对光热发电存在不同工作模式的特点,结合系统的逻辑切换准则,建立了线菲式太阳能热发电系统的扩展微分Petri网模型。并且最后将Matlab仿真结果与SAM模拟软件计算结果进行了对比分析来验证了模型的可行性和有效性。在典型天气状况下,对电站的能量传递过程以及机泵组的协调运行过程进行了仿真分析,为采用熔盐直接储热方式的线菲式太阳能热发电系统的运行模拟提供理论依据。采用典型年辐射数据,对系统在全年工况下的热力性能进行初步估算。最后,为了保证稳定的电力输出以及集热回路熔盐出口温度保持在一个设定的工作点,本文针对集热场动态模型所具有的非线性、复杂性问题,简化集热场动态模型。采集已经并网的国家太阳能热发电示范项目数据进行了实验验证,仿真计算结果与实际数据的相对误差在0.3%以内,说明模型的稳态结果正确合理。基于简化后的动力模型,设计了一种动态矩阵控制器（Dynamic Matrix Control,DMC）。并且通过调整熔盐流量,实现了控制出口盐温稳定的目的。为了进一步提高系统对不可测干扰的抑制能力,设计了一种稳态Kalman滤波器来估计状态变量,使系统具有更好的稳定性和鲁棒性。通过仿真实验,得出结论:在同时考虑太阳辐照强度、环境温度、入口盐温以及其他未建模扰动的条件下,基于Kamlan滤波的DMC控制系统相比传统的DMC控制系统超调量更小,控制效果更佳。
邵叱风[6]（2021）在《基于受控日志的过程挖掘及优化》文中提出随着业务系统的广泛使用,系统模型复杂度及日志属性多样性随之提升。系统日志与业务过程的分析和研究趋于常态化。在过程发现、一致性检测和过程改进三方面主要问题有:1)由于企业或系统拥有者需保证用户隐私、系统流程的部分不可见,日志分析研究中经常会出现缺乏有效数据,对分析算法的验证及评估造成较大影响。目前的日志生成研究会产生大量冗余的日志,导致事件间的约束不可控;2)过程挖掘是通过当今信息系统中可用日志来提取有效信息以发现、模拟和改进真实过程。现有的过程挖掘算法基于事件日志,其中仅记录任务的执行情况,对于日志其余属性的利用较少。3)一致性检验是过程挖掘领域中检验日志与模型之间偏差的有效方法,对齐是众多先进方法之一。现阶段最优对齐的成本计算大多只与对齐中移动个数保持相关,缺乏对活动依赖的分析,即缺乏对活动重要程度的考虑;4)目前的业务流程优化主要是针对管理者或开发者给出的业务流程模型,其与实际运行中的系统可能存在些许偏差,从而影响了优化结果的可行性。针对日志生成、过程挖掘、对齐计算及模型优化中存在的部分问题,本文基于Petri网理论与应用方面的研究做出以下贡献:（1）针对动态算数计算Petri模型难以通过仿真软件进行模拟,在此提出一种基于Java编程,动态构建Petri网模型并模拟运行的方法,并用于幂次方算数计算模型分析验证中,该方法使动态结构Petri网模型的计算机模拟得以实现,并为下文的日志生成提供基本框架。（2）针对缺乏有效日志或包含指定结构的系统日志对过程挖掘算法进行验证,已有的方法是采用随机生成树并生成随机日志,在此提出基于增广Petri网生成受控日志的方法,此方法可对指定结构模型进行可编辑受控日志的生成,同时支持对多重集日志的转换,并应用于下文过程挖掘及对齐计算中。（3）针对现有日志除活动标签外有大量可用属性,现有过程挖掘算法大多缺乏对日志中活动标签外属性的利用,在此提出一种利用增强日志的额外信息识别任务之间结构关系的挖掘算法,该算法简化了挖掘的步骤,且利用有色Petri网表示了所获过程模型的场景信息。（4）针对现有对齐计算过程中出现不同的活动标签,已有的对齐计算方法对不同的活动采用相同成本,在此提出了基于动态规划增强活动依赖的最优对齐计算方法,并用于前面生成的日志与过程挖掘所获模型的对齐计算,该方法能够在最优对齐的计算中差异化不同活动权重并在计算结果中体现（5）针对流程优化过程中出现的模型不准确及忽视数据流的问题,已有的流程优化方法大多仅从控制流结构进行优化,在此提出一种基于过程挖掘的并行优化算法,通过过程挖掘的加入解决流程模型过时问题,并考虑活动间数据交互进行并行结构优化,在一定程度上提高了实际优化结果的可行性。图[74]表[13]参[94]
郝宗寅,鲁法明[7]（2021）在《Petri网的反向展开及其在程序数据竞争检测的应用》文中提出展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定,以此为目标,有望缩减网系统展开的规模.为此,针对安全Petri网的可覆盖性判定问题提出了一种目标导向的反向展开算法,结合启发式技术缩减展开的规模,以此提高目标标识可覆盖性判定的效率.进而,将反向展开算法应用于并发程序的形式化验证,将并发程序的数据竞争检测问题转换为Petri网特定标识的可覆盖性判定问题.实验对比了正向展开与反向展开在Petri网可覆盖性判定问题上的效率,结果表明:当Petri网展开的正向分支较多时,反向展开相比正向展开具有更高的可覆盖性判定效率.最后,对影响反向展开效率的关键因素做了分析与总结.
张硕[8]（2021）在《集成物联网环境下的服务冲突处理机制研究》文中研究指明无线通信技术使网络终端得以延伸,万物互联的物联网时代也随之到来,物联网技术的快速发展使多个领域的技术与系统业务融合在一起,为人类的生活生产等活动提供无所不在的服务。智能家居是物联网技术的一个重要应用,随着物联网技术的不断成熟,该产业也由智能单品控制逐步向场景联动阶段发展,用户通过自定义场景联动规则,使各设备间实现互联互通,在此过程中系统内的互操作性也大大增强。用户需求的增加使得系统内的服务数量逐渐增多,各种智能设备也不断嵌入其中,设备及服务的集成实现了系统的智能化控制,但同时也给系统稳定性带来挑战,极大提高了服务冲突发生的可能。系统环境具有动态随机性等特征,而服务在执行过程中也在不断的进行信息交互,若未深入分析系统内的环境特征及交互行为,仅在系统设计阶段试图通过更改服务逻辑以静态规避服务冲突的方法不能有效地发现及消解服务系统中的潜在冲突,因此提出一种服务冲突动态处理的方法,以实现在系统运行阶段实时地解决各种服务冲突是十分必要的。基于对智能家居系统内复杂环境实体的分析,本文对动态冲突处理机制进行研究。首先基于服务信息的形式化表示及智能场景实例对服务冲突的特征进行提取,并将服务冲突分为以下三类:（1）未达效果冲突、（2）资源占用冲突、（3）副作用影响冲突,针对这三种服务冲突问题使用谓词逻辑表示法给出冲突发现的元规则,并通过划分服务执行的三个阶段提出了动态冲突消解元规则,以此作为服务冲突处理的基础;其次结合Norm分析法对系统服务逻辑及冲突处理规则进行形式化描述,并根据给出的转换模式将上述业务规则模型映射到赋时着色Petri网（TCPN）,实现系统服务模型及动态冲突处理模型的构建;最后以智能居家养老系统为例,使用CPN Tools工具分别对两个模型进行仿真模拟,并对本文提出的动态冲突处理机制进行检验,基于系统服务的仿真模型对系统内存在的服务冲突数量进行统计,并通过将动态冲突处理模型的仿真结果与之对比分析,验证所提出动态冲突处理方法的可行性及有效性。研究表明:本文提出的动态冲突处理机制可以有效地发现服务系统中存在的冲突,并能在服务执行过程中实时监测并化解各个阶段产生的不同类型的服务冲突,此外文中给出的系统建模方法及转换模式可将系统内的服务逻辑等业务规则映射进模型中,对服务系统的建模工作具有一定的应用价值。
巩金鑫[9]（2021）在《面向配用电的电力信息物理融合系统风险分析》文中研究指明电网从原始的物理网络逐渐向信息与物理系统高度耦合的电力信息物理系统（Cyber Physical System,CPS）转型。信息系统在支持物理系统稳定运行的同时,也给电力CPS的运行带来一定的安全风险。因此本文针对入侵攻击下电力CPS安全风险分析进行研究,结合典型攻击场景进行建模,并提出了电力CPS跨层风险量化评估方法。本文首先分析了目前国内外学者针对电力CPS耦合建模技术、电力CPS攻击路径发现和电力CPS安全风险分析三方面的研究工作以及其中的不足。同时分析了利用Petri网进行建模的优势,以及不同种类Petri网的使用场景。为后续建立电力CPS模型提供了基础和方向。其次分析虚假数据注入攻击（False data injection attack,FDIA）给电力CPS带来的风险。本文基于随机时间Petri网（Stochastic Petri net,SPN）,并重点考虑了带有IDS入侵检测的信息系统,建立了入侵攻击下电力通信网络模型。然后结合系统的稳态概率和电力系统的影响因子后果,提出了配电网CPS的风险评价指标。并基于IEEE33节点配电测试系统建立了仿真分析配电网CPS模型,验证了所提出的量化评估方法的有效性。最后为了有效地评估不同攻击路径造成的风险,本文提出一种基于强化学习的电力CPS风险跨域传播分析的方法。先利用模糊Petri网（Fuzzy Petri Net,FPN）建立攻击模型,并通过FPN对Q-Learning进行改进,从攻击者的角度出发定义了攻击增益这一指标。在此基础上提出信息—物理跨域传播风险量化指标,以分析网络攻击对电网实时运行的影响。并基于IEEE 14配电系的仿真验证了所提出的风险评估方法的有效性。
李科[10]（2021）在《资源约束条件下的工业火灾应急响应性能分析》文中研究说明及时有效的工业火灾应急响应对火灾发生后尽可能多地挽回火灾损失具有至关重要的作用。应急响应过程是由若干个应急行动组成的,因为工业火灾常涉及到各种各样的化学物质,所以,一些应急行动可能需要使用到一些特殊的应急资源,如一场石油火灾需要用到泡沫溶液,消防车补水需要用到消防栓等。应急资源的不同使用模式会使应急行动与应急资源之间形成不同的交互关系,正是由于这种交互关系的存在,一旦在应急响应过程中,应急资源存在约束,如资源的暂时性不足、资源使用冲突等,就会导致整个应急响应的流畅性受到影响,从而引起系统的堵塞和停滞。此时,着火罐将不停地燃烧并向周围相邻其他储罐释放热量,这些相邻储罐在持续不断的热量的作用下,罐壁保护层将会失效,形成罐区火灾多米诺效应,最终导致整个应急响应失败。为提高应急响应的成功率,针对现有工业火灾应急响应中应急响应过程复杂难以描述、资源约束产生的时间和环节不清晰、应急资源分配难等问题,本文提出了一种基于Petri网的分析资源约束条件下的工业火灾应急响应的性能的新方法,具体内容如下:（1）通过对工业火灾应急响应过程的特点的描述、分析、总结和归纳,提出了工业火灾应急响应过程是一个兼具离散行为和连续行为的混合过程,并指出工业火灾应急响应过程可以简化为“开始—应急资源前往火灾现场—分配应急资源—灭火—结束”五个主要环节和状态,总结其特点,对应急资源、应急响应状态和应急行动进行分类,提出适合建模该过程的Petri网模型。（2）对应急资源分配环节面临的应急资源数量和时间到达火灾现场具有高度不确定性从而引起资源短暂性不足的约束的问题,提出基于应急行动优先性的应急资源分配模式。对可并行执行的一系列应急行动的资源获取权利进行了等级划分,等级高的应急行动将优先被分配应急资源。通过实验,验证了行动优先性模式对应急响应过程中多米诺效应产生的可能性的影响。（3）对灭火环节可重复利用型应急资源的共享使用引发的应急行动冲突,在对该阶段应急资源与应急行动交互模式研究的基础上,得到该环节中应急行动串行执行时的2种关系模式和并行执行时的1种关系模式。对有可能产生资源冲突的模式,采用排队的方法进行冲突避免。其后,在此基础上,还讨论了消防车、消防栓以及热辐射值三者之间的敏感性对应急响应成功率的影响。
二、一种扩展Petri网模型及应用研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、一种扩展Petri网模型及应用研究（论文提纲范文）
（1）基于扩展Petri网的复杂装配线建模（论文提纲范文）
| Petri网及复杂装配系统建模研究现状 |
| 1基础Petri网模型 |
| 2 Petri网及复杂装配系统建模研究 |
| 复杂装配系统建模方法 |
| 1定义 |
| 2特点 |
| 3循环使用资源模型 |
| 4分层模型 |
| 基于扩展Petri网的模型 |
| 1扩展Petri网模型 |
| 2基于PTTPN的装配生产线单元模型 |
| 复杂装配系统建模实例 |
| 1装配生产线建模仿真输入条件及约束 |
| 2装配生产线仿真模型构建 |
| 3仿真模型性能分析 |
| 结论 |
（2）基于逻辑混合Petri网的混合系统建模与分析（论文提纲范文）
| 1 基础定义 |
| 2 逻辑混合Petri网 |
| 3 实例分析 |
| 3.1 微电网系统的LHPN模型 |
| 3.2 系统业务逻辑挖掘 |
| 3.3 修正表达 |
| 3.4 系统可达图 |
| 3.5 标识求解方程 |
| 4 结论 |
（5）基于Petri网的太阳能热发电系统建模及控制策略研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 课题的研究背景及意义 |
| 1.2 课题研究现状及存在的问题 |
| 1.2.1 LFR系统建模与运行控制研究现状 |
| 1.2.2 LFR系统建模与运行控制研究存在的问题 |
| 1.3 论文主要研究内容与结构 |
| 2 建立太阳能热发电集热子系统数学模型及仿真分析 |
| 2.1 集热子系统的数学模型 |
| 2.1.1 集热器能量平衡模型 |
| 2.1.2 对流换热 |
| 2.1.3 辐射换热 |
| 2.1.4 热传导 |
| 2.2 基于集热器模型的热性能仿真分析 |
| 2.2.1 集热器沿轴向的温度分布 |
| 2.2.2 集热器的集热效率分析 |
| 2.3 本章小结 |
| 3 建立储热罐和蒸汽发生器数学模型及仿真分析 |
| 3.1 储热罐的数学模型 |
| 3.1.1 储热罐能量平衡模型 |
| 3.1.2 储热罐防凝结保护 |
| 3.2 储热罐热性能仿真分析 |
| 3.2.1 储热介质及储热方式 |
| 3.2.2 储热罐热损失分析 |
| 3.3 蒸汽发生器数学模型 |
| 3.3.1 蒸汽发生器能量平衡模型 |
| 3.3.2 蒸汽发生器换热过程 |
| 3.4 本章小结 |
| 4 基于Petri网的太阳能热发电系统的建模研究 |
| 4.1 扩展微分Petri网模型 |
| 4.1.1 Petri网介绍 |
| 4.1.2 扩展微分Petri网 |
| 4.1.3 仿真算法 |
| 4.2 太阳能热发电系统工作模式 |
| 4.3 太阳能热发电系统的EDPN模型 |
| 4.3.1 切换条件 |
| 4.3.2 基于Petri网的系统模型 |
| 4.4 太阳能热发电系统的热性能分析 |
| 4.4.1 模型验证 |
| 4.4.2 系统典型天热性能分析 |
| 4.4.3 典型年热性能分析 |
| 4.5 本章小结 |
| 5 模型预测控制在太阳能集热子系统的应用研究 |
| 5.1 集热器的分布式参数模型 |
| 5.2 Kalman滤波算法介绍 |
| 5.3 基于Kalman滤波器的模型预测控制 |
| 5.3.1 开环预测模块 |
| 5.3.2 动态控制模块 |
| 5.4 数值仿真分析 |
| 5.4.1 集热器模型验证 |
| 5.4.2 控制系统仿真分析 |
| 5.5 本章小结 |
| 结论 |
| 致谢 |
| 参考文献 |
| 攻读学位期间的研究成果 |
（6）基于受控日志的过程挖掘及优化（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.2.1 算数计算Petri网 |
| 1.2.2 日志生成方法 |
| 1.2.3 增强日志挖掘方法 |
| 1.2.4 加权对齐计算方法 |
| 1.2.5 关联并发优化方法 |
| 1.3 文章主要内容安排 |
| 2 算术计算Petri网模型及实现 |
| 2.1 算数计算的增广Petri网模型 |
| 2.1.1 基本四则运算增广Petri网模型 |
| 2.1.2 幂次方运算增广Petri网模型 |
| 2.1.3 复合算术运算增广Petri网模型 |
| 2.2 APNS插件的开发以及计算模型的分析 |
| 2.2.1 复合算术运算增广Petri网模型的模拟 |
| 2.2.2 复合算术运算增广Petri网模型的模拟配置 |
| 2.2.3 X的M次方对应算术运算Petri网模型的模拟实现 |
| 2.3 实验 |
| 2.4 小结 |
| 3 基于可达状态随机选择生成受控日志的方法 |
| 3.1 准备知识 |
| 3.2 日志生成方法及实现 |
| 3.2.1 输入矩阵 |
| 3.2.2 网的运行 |
| 3.2.3 多重集日志 |
| 3.2.4 XES标准日志 |
| 3.3 实验 |
| 3.3.1 耗时分析 |
| 3.3.2 日志有效性 |
| 3.3.3 编辑有效性 |
| 3.4 小结 |
| 4 基于增强日志的过程挖掘算法 |
| 4.1 准备知识 |
| 4.2 基于增强日志的过程挖掘方法 |
| 4.2.1 增强日志 |
| 4.2.2 基于增强日志的过程挖掘算法 |
| 4.3 实验 |
| 4.4 小结 |
| 5 基于依赖增强的最优对齐计算方法 |
| 5.1 准备知识 |
| 5.2 算法及其实现 |
| 5.2.1 序列对齐 |
| 5.2.2 对齐成本 |
| 5.3 实验 |
| 5.3.1 对齐耗时 |
| 5.3.2 可行性及有效性 |
| 5.4 小结 |
| 6 基于流程挖掘的并行优化算法 |
| 6.1 准备知识 |
| 6.1.1 动机例子 |
| 6.2 流程挖掘及修复 |
| 6.2.1 政府采购流程日志挖掘 |
| 6.2.2 政府采购流程日志修复 |
| 6.3 业务流程中关联严格并行优化算法 |
| 6.4 实验 |
| 6.4.1 实验设置 |
| 6.4.2 耗时分析 |
| 6.5 小结 |
| 7 结论 |
| 7.1 总结 |
| 7.2 展望 |
| 参考文献 |
| 致谢 |
| 作者简介及读研期间主要科研成果 |
（8）集成物联网环境下的服务冲突处理机制研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景 |
| 1.2 问题及研究现状 |
| 1.3 研究目的及意义 |
| 1.4 论文的组织结构 |
| 2 智能家居系统环境模型构建 |
| 2.1 Petri网概述 |
| 2.2 智能家居环境及场景联动性质分析 |
| 2.2.1 物联网环境性质分析 |
| 2.2.2 系统环境性质分析 |
| 2.2.3 场景联动性质分析 |
| 2.3 系统环境的Petri网模型 |
| 2.3.1 环境的形式化描述 |
| 2.3.2 环境的Petri网表示 |
| 2.4 本章小结 |
| 3 基于场景联动的动态冲突处理架构 |
| 3.1 动态冲突处理架构介绍 |
| 3.2 物联网服务描述 |
| 3.3 服务冲突发现 |
| 3.3.1 服务冲突分类 |
| 3.3.2 冲突发现规则 |
| 3.4 服务冲突消解 |
| 3.4.1 动态冲突消解模型 |
| 3.4.2 冲突消解规则 |
| 3.5 本章小结 |
| 4 系统服务及动态冲突处理系统建模 |
| 4.1 Norm分析法概述 |
| 4.2 服务逻辑建模 |
| 4.2.1 服务逻辑的Norm模型 |
| 4.2.2 服务逻辑模型转换 |
| 4.3 动态冲突处理系统建模 |
| 4.3.1 冲突处理规则的Norm模型 |
| 4.3.2 服务交互的Petri网表示 |
| 4.3.3 冲突处理规则模型转换 |
| 4.4 本章小结 |
| 5 实例分析与模型验证 |
| 5.1 背景简介 |
| 5.2 智能居家养老系统设计 |
| 5.2.1 场景联动规则设计 |
| 5.2.2 仿真工具CPN Tools |
| 5.2.3 系统仿真设计 |
| 5.3 系统模型构建 |
| 5.3.1 系统环境模型构建 |
| 5.3.2 系统服务模型构建 |
| 5.3.3 动态冲突处理模型构建 |
| 5.4 仿真结果对比与分析 |
| 5.5 本章小结 |
| 结论 |
| 参考文献 |
| 附录A 智能居家养老系统服务仿真模型 |
| 附录B 动态冲突处理系统仿真模型 |
| 攻读硕士学位期间发表学术论文情况 |
| 致谢 |
（9）面向配用电的电力信息物理融合系统风险分析（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 课题背景及研究的目的和意义 |
| 1.2 国内外研究现状 |
| 1.2.1 电力CPS攻击方式研究现状 |
| 1.2.2 电力CPS网络攻击模型研究现状 |
| 1.2.3 电力CPS耦合建模技术研究现状 |
| 1.2.4 电力CPS风险研究现状 |
| 1.3 论文工作内容及安排 |
| 第2章 Petri网建模方法 |
| 2.1 Petri网基础 |
| 2.2 Petri网分类 |
| 2.2.1 随机Petri网 |
| 2.2.2 模糊Petri网 |
| 2.3 本章小结 |
| 第3章 基于虚假数据注入攻击的电力CPS安全风险分析 |
| 3.1 引言 |
| 3.2 电力CPS信息-物理交互模型 |
| 3.3 网络安全性建模与分析 |
| 3.4 虚假数据攻击对状态估计的影响 |
| 3.5 仿真分析 |
| 3.5.1 数据攻击下信息系统性能分析 |
| 3.5.2 数据攻击下配电CPS风险分析 |
| 3.6 本章小结 |
| 第4章 基于最佳攻击路径的跨层电力CPS风险分析 |
| 4.1 引言 |
| 4.2 寻找最佳攻击路径的FPN-Q Learning算法 |
| 4.2.1 攻击模型 |
| 4.2.2 寻找攻击路径算法 |
| 4.3 信息—物理跨层风险传播模型 |
| 4.4 网络攻击下电力CPS安全风险评估 |
| 4.5 仿真分析 |
| 4.5.1 仿真环境建立 |
| 4.5.2 实验结果分析 |
| 4.6 本章小结 |
| 第5章 结论与展望 |
| 5.1 全文总结 |
| 5.2 未来研究展望 |
| 参考文献 |
| 攻读硕士学位期间发表的论文及其它成果 |
| 致谢 |
（10）资源约束条件下的工业火灾应急响应性能分析（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.2.1 多米诺效应研究现状 |
| 1.2.2 应急资源配置研究现状 |
| 1.2.3 Petri网的应用的研究现状 |
| 1.3 论文来源和主要内容 |
| 1.3.1 论文来源 |
| 1.3.2 研究目的及主要内容 |
| 1.3.3 章节结构 |
| 1.4 本章小结 |
| 第二章 Petri网理论与Snoopy概述 |
| 2.1 Petri网概述 |
| 2.1.1 Petri网的基本定义 |
| 2.1.2 变迁的执行规则 |
| 2.2 高级Petri网 |
| 2.2.1 着色Petri网 |
| 2.2.2 时间Petri网 |
| 2.2.3 混合Petri网 |
| 2.3 Snoopy概述 |
| 2.4 本章小结 |
| 第三章 工业火灾应急响应Petri网模型 |
| 3.1 工业火灾应急响应过程 |
| 3.2 状态、资源、事件的分类 |
| 3.3 工业火灾应急响应Petri网模型 |
| 3.4 本章小结 |
| 第四章 资源约束条件下应急行动的优先性分配 |
| 4.1 应急行动的优先性对应急响应过程的影响 |
| 4.2 应急资源的分配模式 |
| 4.2.1 随机分配模式 |
| 4.2.2 优先性分配模式 |
| 4.3 仿真分析实例 |
| 4.3.1 消防车数量的最小阈值 |
| 4.3.2 失效时间 |
| 4.3.3 构建Petri网模型 |
| 4.3.4 仿真 |
| 4.4 本章小结 |
| 第五章 资源约束条件下的应急行动冲突避免方法 |
| 5.1 着色时间混合Petri网 |
| 5.2 应急资源的使用模式 |
| 5.2.1 应急资源的顺序使用 |
| 5.2.2 应急资源的共享使用 |
| 5.3 冲突避免 |
| 5.4 案例分析 |
| 5.4.1 仿真参数的确定 |
| 5.4.2 仿真过程 |
| 5.4.3 对比讨论 |
| 5.5 本章小结 |
| 结论与展望 |
| 参考文献 |
| 攻读学位期间取得与学位论文相关的成果 |
| 致谢 |
四、一种扩展Petri网模型及应用研究（论文参考文献）
- [1]基于扩展Petri网的复杂装配线建模[J]. 何磊,李涛,张世炯,唐健钧. 航空制造技术, 2021(16)
- [2]基于逻辑混合Petri网的混合系统建模与分析[J]. 刘伟,史晓浩,孙红伟. 山东科技大学学报(自然科学版), 2021(04)
- [3]基于模糊Petri网的柔性制造系统故障诊断[D]. 陈哲意. 上海应用技术大学, 2021
- [4]基于球型模糊Petri网的地铁车门系统故障诊断方法研究[D]. 刘司朝. 北京交通大学, 2021
- [5]基于Petri网的太阳能热发电系统建模及控制策略研究[D]. 梁泽萍. 兰州交通大学, 2021
- [6]基于受控日志的过程挖掘及优化[D]. 邵叱风. 安徽理工大学, 2021
- [7]Petri网的反向展开及其在程序数据竞争检测的应用[J]. 郝宗寅,鲁法明. 软件学报, 2021(06)
- [8]集成物联网环境下的服务冲突处理机制研究[D]. 张硕. 大连理工大学, 2021(01)
- [9]面向配用电的电力信息物理融合系统风险分析[D]. 巩金鑫. 华北电力大学(北京), 2021(01)
- [10]资源约束条件下的工业火灾应急响应性能分析[D]. 李科. 广东工业大学, 2021