基于模糊Petri网的引航员作业舒适度评价

为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相关性判断临界重要性、层次分析法和FRA,建立基于主客观权重的FRA,通过迭代求解库所可信度和状态矩阵;最后,结合上海港船舶引航的场景数据,基于FPN的FRA应用,评价引航员作业舒适度。结果表明:环境与引航设备是影响其作业舒适度的关键因素,冬季和夏季的引航作业舒适度评价等级对应“较不舒适”,其中,5月份为“较舒适”。所提方法充分体现系统舒适度影响因素的耦合特性。

基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析

为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。

一种分层模糊Petri网风险评估方法

针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。

基于随机Petri网的突发火灾应急预案流程化研究

为提高突发火灾的应急响应效率,根据突发火灾的应急响应流程构建了基于随机Petri网(SPN)的仿真模型,通过仿真计算获取了该模型的状态可达集,由可达集构建与模型同构的马尔可夫链对模型进行计算分析,得到了突发火灾SPN模型所有可达状态的稳态概率,利用库所繁忙率、变迁利用率2个指标对模型进行性能分析。结果表明,突发火灾应急响应流程中应急专家、救援人员、救援物资3个业务单元的繁忙率高达35.36%、39.37%、38.25%,展开应急救援耗时在流程总耗时中占比高达27.74%,制定突发火灾应急预案时需着重对以上业务单元及流程环节进行优化,从而优化应急资源调配,提高应急响应整体效率。

基于毕达哥拉斯模糊概率Petri网的FPSO单点关键部件风险评估

为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推理算法迭代出最终的失效概率,并进行基本事件重要度分析。实例分析结果表明,引起单点系泊系统发生失效的主要因素有电滑环电刷磨损、电滑环负载电流较高、液滑环结构物晃动冲击、液滑环润滑不充分、电滑环电压过高击穿等。针对主要风险因素提出预防和控制措施,能够保障系统安全正常地运转。

改进Petri网下异构跨域用户身份验证方法

在异构跨域用户身份验证时,由于用户身份存在属性特征难以捕捉、状态描述误差大等问题,导致验证精准度较低,为有效解决这一问题,文中提出一种基于改进Petri网的用户身份验证算法。利用改进Petri网反映不同局域网中事物间依赖关系,将异构跨域用户活动模型与Petri网模型转换,采用同步用户的状态变化提取实时状态特征值。通过建立云间身份认证中心,计算用户不同身份代表性词语在一定周期内出现的次数和频率值。提取频率最高的词语,并计算该词语在待验证用户全部代表词语库中的权重值,对比权重值与验证熵值,将得到的验证参数输入到认证中心,输出验证结果。实验结果表明,所提方法在先验节点比例为8%时,验证准确率达到0.9,且召回率和综合指标均在0.6以上,具备一定的抗攻击性,整体实用性能强、利用价值高。

SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法

随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。

基于随机Petri网的民机审定试飞实施流程建模与分析

审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。

基于执行器冲突预防的平行Petri网控制系统设计

为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。

融合PSO-模糊Petri网的室内燃气泄漏风险研究

近年来室内燃气事故多发,而燃气用户风险意识淡薄、户内安全检查难度大。针对现行室内燃气安全管理技术多为静态主观评估的局限性,构建了基于模糊Petri网(Fuzzy Petri Net,FPN)的风险计算规则,提出了结合粒子群优化算法(Particles Swarm Optimization,PSO)和FPN的室内燃气泄漏动态风险评估模型。首先,应用Petri网的直观图像描述和异步并发处理能力建立室内燃气泄漏事故风险演化的拓扑结构模型,借助FPN的模糊推理能力处理风险传播的不确定性;然后,根据燃气运维数据,融合PSO动态更新初始参数,提高风险评估的准确性。结果表明,基于PSO-FPN的室内风险评估方法可弱化燃气公司安检人员分析的主观不确定性,更为准确地量化风险因子演化过程,实现室内燃气泄漏风险的动态分析,有效支持户内燃气泄漏风险管控。

基于优先级时间Petri网的实时嵌入式多核系统分析

已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用.

基于Petri网的某型无人机再次出动任务保障建模

针对某型无人机再次出动任务保障资源配置问题,在深入分析保障任务的基础上,论文建立了基于综合Petri网的再次出动任务保障模型,利用ExSpect软件对六种保障方案进行了仿真计算,通过对仿真结果的分析研究,选择出了最优保障方案,验证了模型的有效性和实用性,为再次出动任务保障的资源配置管理与决策提供了依据。

基于Petri网和Banker’s algorithm的数字孪生车间死锁判断方法

车间生产流程中资源分配或工序安排不合理会使生产流程出现死锁现象,导致无法继续生产,大大降低车间生产效率。为解决上述问题,综合Petri网和Banker’s algorithm理论将车间死锁的形成条件分为互斥等待、占有等待、循环等待和不可剥夺4种,并以这4种条件为基础,将死锁分为资源分配死锁、进程顺序死锁、协作对象死锁和动态资源死锁的4种不同表现形式。基于Banker’s algorithm判断死锁存在、基于改进时间可达性分析法确定车间死锁发生的具体位置,建立不同死锁表现形式下的死锁恢复策略,采用Tina和Unity 3D等软件将该方法集成到车间数字孪生系统中,实现车间流程死锁监测和预测功能。最后以某精密冲压车间零件生产过程为例进行了验证,结果表明该方法能有效实现生产流程实时监控和高效预测。

约束条件下项目进度关键路径的Petri网建模方法

针对软件开发项目因存在约束条件而不能有效使用关键路径法的问题,利用Petri网并行性和异步性的动态特性,设计时延着色Petri网(TCPN)进度模型,通过将双代号网络图映射成Petri网,构建约束条件下的项目执行模型,用模型仿真得到约束条件下项目运行可能出现的情况,再运用关键路径法进行分析。案例结果表明:TCPN进度模型可使用关键路径法预测软件开发项目的完工时间,获得项目关键路径信息和其他潜在的关键路径发生概率,并且完工时间预测准确率为92.41%,具有一定的实用价值。

一种基于Petri网的多机器人路径规划建模方法

月球基地建设是当前各国月球探测与开发计划的核心使能技术之一。然而,为消除高昂的运输成本和有限载人航天技术的约束,使用多机器人团队建造月球基地的新研究方案被提出,该方案的关键是如何实现多机器人针对复杂任务的路径规划。为此,以月球基地建设场景中的探测采集区域、采集月壤、搬运月壤等作为复杂的任务输入,研究了一种基于Petri网模型的多机器人路径规划建模方法。构建了多机器人运动的Petri网模型;使用线性时序逻辑(linear temporal logic,LTL)语言描述月球基地建设的相关任务;将Petri网模型和LTL公式结合求解得到多机器人路径;在Matlab软件中进行仿真验证,并与使用切换系统的建模方法进行对比。结果表明,使用Petri网模型所需的建模总时间比切换系统模型单个任务的建模时间减少2个数量级,说明建立的Petri网多机器人模型具有避免维度爆炸、计算高效等优势。

基于petri网的森林火灾应急救援流程网络模型及时效研究

为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援随机petri网模型与其同构马尔可夫链,在模型有界、活性、安全且可达的基础上,通过确定模型的库所繁忙率、变迁利用率、平均延迟时间,得到如下结果:①森林火灾应急救援活动早期的灾情信息多且复杂,随着森林火灾的发展呈现动态变化,火灾发生后如何高效地获取过火面积、火线长度、风向、风力、植被载量以及地形等关键信息是优化的重点。②避免信息堆积,基于火灾规模、强度、形式、火头方向等重要任务信息变量,实现实时快速决策、动态处置,是保证森林火灾应急救援活动的时效性的关键。

基于时延Petri网的大型工程机械装备排产模型与收敛算法

在大型工程机械装备的柔性制造系统中,由于涉及多个车间且存在大量的并行加工过程,因此资源被闲置浪费的情况比较常见。为解决此问题,提出一种基于时延Petri网的大型工程机械装备排产模型与收敛算法。首先,在建模过程中对各种存在并行加工的情况使用约束矩阵进行描述,利用Petri网建立系统模型,实现对车间内各机床之间调度流程的描述,并在发生突发事件时进行模型重建;其次,使用一种基于遗传算法和粒子群优化的融合算法,构建算法的适应度函数;最后,根据算法求出模型的最优路径,达到资源利用的最大化。

基于Petri网的数学建模竞赛报名系统建模优化及变化域分析

为解决数学建模竞赛报名系统中存在的结构性问题,提高竞赛报名效率,利用Petri网的相关理论对数学建模竞赛报名系统进行建模,并对竞赛报名系统存在的问题,进行了优化并使用模型间迹行为轮廓关系对模型进行变化域定位分析,最后使用PIPE软件进行仿真模拟。实验结果表明,优化后的模型具有合理性和可行性。

带有时间戳的着色逻辑Petri网

针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。

基于Petri网工作流模型展开树的路径序列相似性算法

在实际的数据迁移项目中,为了解决数据映射的问题,需要确定两个工作流模型之间的相似度。从工作流模型的相似性方面进行分析阐述,提出了基于Petri网的工作流模型展开树的路径序列相似性算法。首先采用深度优先搜索算法和动态规划算法对模型进行搜索;其次通过提出的算法获取展开树的所有路径序列;最后利用编辑距离算法计算两个模型序列之间的两两相似度,进而完成模型相似性计算;相较于其他的主流相似度算法,主要优点在于可以精确计算得到模型部分结构和行为相似度,可以更好地确定流程间映射,从而找到数据映射的解决方法。实验结果表明,该方法较主流的基于模型结构和行为相似性的算法,计算合理性和准确性有很大提升。