期刊文献+
共找到4,271篇文章
< 1 2 214 >
每页显示 20 50 100
基于Petri网的城市干旱应急供水流程策略推演 被引量:1
1
作者 牛文娟 刘明慧 戴文杰 《人民黄河》 北大核心 2025年第4期71-76,共6页
为提高城市干旱应急供水效率,基于城市干旱应急预案,建立了城市干旱应急供水流程及其Petri网仿真模型,以内蒙古伊金霍洛旗2022年6月旱灾为例,结合各类用水部门用水过程,进行9种单一策略情景和4种混合策略情景的城市干旱应急供水流程策... 为提高城市干旱应急供水效率,基于城市干旱应急预案,建立了城市干旱应急供水流程及其Petri网仿真模型,以内蒙古伊金霍洛旗2022年6月旱灾为例,结合各类用水部门用水过程,进行9种单一策略情景和4种混合策略情景的城市干旱应急供水流程策略推演,基于推演结果得出不同策略的作用效果。结果表明:1)利用城市应急备用水源增加水库供水量,供水量由524万m^(3)提升至614万m^(3)时,城市维持正常供水的时间可由7 d增加至8 d,用水满足率由58.62%提升至68.69%;2)水资源外调能力由15万m^(3)/d提高至25万m^(3)/d时,城市维持正常供水的时间可由8 d增加至9 d,用水满足率由73.72%提升至83.79%;3)对生活、农业、工业、生态限制供水比例为正常供水的90%、70%、50%、0%时,城市维持正常供水的时间可由7 d增加至10 d,用水满足率由58.62%提高至89.57%;4)通过依次运用限制供水、启用城市应急备用水源和启用外调水等策略,可使城市用水满足率达到100%。 展开更多
关键词 城市干旱 应急供水 petri 策略推演
在线阅读 下载PDF
基于故障枚举树生成模糊Petri网的变电站故障诊断方法 被引量:2
2
作者 吴与伦 肖谭南 陈颖 《工矿自动化》 北大核心 2025年第1期85-94,共10页
针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,... 针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,实现了变电站一二次故障组合的快速遍历仿真。基于仿真结果建立变电站模糊时序Petri网故障诊断模型,通过并行推理计算实现变电站故障快速诊断。在CloudPSS云仿真平台建立典型110 kV变电站的一二次联动仿真算例进行测试,结果表明:该方法将保护设备和断路器的动作时限信息计入故障推理过程,考虑在经典Petri网模型的矩阵运算推理基础上加入动作时限与告警信息的时间戳比对计算,因此在部分告警信息失真的情况下依然有较好的诊断效果;该方法可在保证故障诊断准确性的情况下应用于更加复杂的二次保护系统;采用并行分层矩阵推理算法,提升了诊断模型的推理效率,具有较高实用价值;在推理计算过程中对置信度增加了修正步骤,更加充分地考虑了保护拒动或误动及告警信息误报或漏报对故障诊断的影响,对于复杂故障情况有更高的容错性。 展开更多
关键词 变电站 故障诊断 继电保护 CloudPSS建模仿真 模糊petri
在线阅读 下载PDF
基于Petri网的区块链智能合约攻击者建模与检测
3
作者 杨林枫 黄政 +1 位作者 徐岩 丁志军 《计算机工程》 北大核心 2025年第4期15-26,共12页
智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为... 智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此,构建一种基于Petri网的智能合约攻击者建模检测框架,利用抽象语义规则和网络动态运行特性精确捕捉攻击行为,确保智能合约检测的高适配性和高准确性。同时,提出一种多层次漏洞统一检测方法,结合各层次漏洞的关键特征,推导攻击可能性及其潜在影响。针对状态空间爆炸问题,设计一种按需生成状态空间的缓解机制,有效提升了检测效率和资源利用率。实验结果表明,所提检测方法具有可行性与实用性。 展开更多
关键词 智能合约 颜色petri 攻击 建模 检测
在线阅读 下载PDF
论加权扩充自由选择网的活性与安全性(英文) 被引量:4
4
作者 甄强 陆维明 《软件学报》 EI CSCD 北大核心 2000年第3期300-307,共8页
活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观... 活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观的证明 ,随后 。 展开更多
关键词 加权扩充自由选择 活性 安全性
在线阅读 下载PDF
面向自然灾害链的CBR-Petri网应急方案动态调整方法及应用
5
作者 黎金玲 郭海湘 +3 位作者 姚鑫 于峰 蔡云宇 刘雅凝 《安全与环境学报》 北大核心 2025年第6期2301-2311,共11页
由于自然灾害事件具有突发性、链式反应等特点,为了让决策者能够在有限时间内从历史案例中快速获取可借鉴的应对经验,提出了面向自然灾害链的动态应急方案生成方法。首先,根据自然灾害时空特点构建三维立体历史案例库,设计了案例库三维... 由于自然灾害事件具有突发性、链式反应等特点,为了让决策者能够在有限时间内从历史案例中快速获取可借鉴的应对经验,提出了面向自然灾害链的动态应急方案生成方法。首先,根据自然灾害时空特点构建三维立体历史案例库,设计了案例库三维结构和四元编码案例存储模式;其次,利用案例推理(Case-Based Reasoning,CBR)的方法计算综合相似度,得到最为相似的历史案例及应急方案;然后,为了更好地实现应急方案的动态调整,根据Petri网构建自然灾害链网络演化路径图,分析触发因素中发生概率最大的因素及关键路径,实现对初始应急方案的动态调整和补充;最后,以暴雨灾害链为例验证了该方法的有效性。 展开更多
关键词 公共安全 自然灾害链 案例推理 petri 应急方案
在线阅读 下载PDF
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
6
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于Petri网的露地蔬菜无人化作业方案智能生成
7
作者 李晓锁 朱华吉 +2 位作者 郭旺 缪祎晟 吴华瑞 《农业与技术》 2025年第9期41-47,共7页
我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高... 我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高与可持续发展成为亟待解决的难题。为解决上述问题,提出一种基于Petri网的露地蔬菜全流程无人化作业方案智能生成方法。利用随机Petri网对露地蔬菜生产全流程进行建模,表征无人化耕整地、无人化播种/移栽、无人化施肥施药、无人化采收等多个关键作业环节;通过矩阵运算的形式进行模糊Petri网推理,将地块类型、种植面积和种植蔬菜类别等初始种植信息作为模糊Petri网的输入参数,生成定制化且可操作性高的无人作业农机选型方案。以无人移栽机相关知识作为实例验证了提出的方法,并通过构建与随机Petri网等价的马尔科夫链对露地蔬菜全流程Petri网模型进行性能评估,结果表明该模型对露地蔬菜生产作业环节具有较强的建模能力,为露地蔬菜全流程无人化作业过程的优化、自动化控制提供了一定的理论参考。 展开更多
关键词 无人化作业 方案生成 全程智能化 随机petri 模糊petri
在线阅读 下载PDF
自由选择工作流网的可靠完备化简规则集 被引量:3
8
作者 张曼 段振华 王小兵 《软件学报》 EI CSCD 北大核心 2013年第5期993-1005,共13页
流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠... 流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化. 展开更多
关键词 自由选择工作流 流程化简 合成 化简规则的可靠性 化简规则集的完备性
在线阅读 下载PDF
基于Petri网和监督学习的机器人柔性流水车间调度方法
9
作者 李浚 罗继亮 +2 位作者 李旭航 伊思嘉 聂卓赟 《控制理论与应用》 北大核心 2025年第5期1008-1016,共9页
机器人柔性流水车间的调度属于组合优化问题,涉及在指数增长的事件序列集合中寻找最优路径.为了借助机器学习和启发式搜索的优势,提高调度优化的求解质量和效率,本文提出了一种基于库所赋时Petri网和监督学习的启发式优化方法.首先,利... 机器人柔性流水车间的调度属于组合优化问题,涉及在指数增长的事件序列集合中寻找最优路径.为了借助机器学习和启发式搜索的优势,提高调度优化的求解质量和效率,本文提出了一种基于库所赋时Petri网和监督学习的启发式优化方法.首先,利用库所赋时Petri网的运行规律,设计了启发式数据集的生成算法;其次,设计库所赋时Petri网的全连接神经网络学习模型,从数据集中学习Petri网行为的启发式;再次,以全连接神经网络模型作为启发式函数,设计了库所赋时Petri网A∗和集束搜索算法;最后,以某机器人柔性流水车间为例,进行了系列数值实验.本文方法获得了该流水车间库所赋时Petri网的高精度启发式,其平均相对误差低于0.05%,基于该启发式的A∗和集束搜索算法均能快速求解给定任务的最优或近似最优的调度策略. 展开更多
关键词 库所赋时petri 全连接神经 启发式函数 机器人柔性流水车间
在线阅读 下载PDF
基于随机Petri网的移动边缘计算任务卸载优化研究
10
作者 彭聚瑞 王高才 《小型微型计算机系统》 北大核心 2025年第5期1232-1239,共8页
在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模... 在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模、优化和性能分析.对比仿真结果可知,相比传统模型,优化后的模型充分利用了空闲终端设备和异地边缘服务器,从而实现了闲置计算资源的合理利用,并在边缘层和终端层横向拓展了传统模型.具体而言,以时延为参考因素,优化后模型的任务平均执行时间减少了1.33秒,相比于优化前降低了8.27%.由此可见优化后的模型较传统的云边端三层架构模型性能更优. 展开更多
关键词 移动边缘计算 随机petri 任务卸载 模型优化 性能分析
在线阅读 下载PDF
基于着色时间Petri网的飞机维修保障作业优化 被引量:1
11
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
基于解释Petri网的新型CPS分解方法
12
作者 陈宇浩 屠翰乾 相东明 《计算机科学》 北大核心 2025年第4期49-53,共5页
Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;... Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;而依赖监控器的分解方法则存在较大的通信开销。为解决这些问题,综合现有分解方法的优势,提出了一种基于解释Petri网的CPS分解方法。该方法通过约束条件逐步分解网络,生成独立的状态机组件,有效缩小了模型规模。同时,提出了一种新的信号同步机制替代传统的监控器方案,显著降低了同步开销。实验结果表明,所提方法在大多数测试案例中的分解时间为O(n^(2)),远优于传统方法的指数级复杂度O(2^(n)),且生成的组件集合也更加简洁。 展开更多
关键词 信息物理系统 petri 状态机组件 可编程门阵列 系统分解
在线阅读 下载PDF
基于模糊Petri网的引航员作业舒适度评价
13
作者 胡甚平 刘玲玲 +1 位作者 席永涛 张欣欣 《中国安全科学学报》 CAS CSCD 北大核心 2024年第4期67-76,共10页
为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相... 为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相关性判断临界重要性、层次分析法和FRA,建立基于主客观权重的FRA,通过迭代求解库所可信度和状态矩阵;最后,结合上海港船舶引航的场景数据,基于FPN的FRA应用,评价引航员作业舒适度。结果表明:环境与引航设备是影响其作业舒适度的关键因素,冬季和夏季的引航作业舒适度评价等级对应“较不舒适”,其中,5月份为“较舒适”。所提方法充分体现系统舒适度影响因素的耦合特性。 展开更多
关键词 模糊petri(FPN) 引航员作业 舒适度评价 模糊推理算法(FRA) 博弈论组合赋权
在线阅读 下载PDF
基于模糊Petri网模型的路由选择 被引量:1
14
作者 黄 勇 李晴帆 +1 位作者 胡健生 刘朝萍 《计算机工程与设计》 CSCD 2002年第7期71-74,共4页
分析了影响通信系统性能的因素,力求在实时综合性能的基础上选择通信路由,论述了传统Petri网和模糊Petri网的一些基本概念和特点及其区别,描述了用模糊Petri网进行系统综合性能分析时的有效算法,提出一种基于综合性能的路由选择算法,最... 分析了影响通信系统性能的因素,力求在实时综合性能的基础上选择通信路由,论述了传统Petri网和模糊Petri网的一些基本概念和特点及其区别,描述了用模糊Petri网进行系统综合性能分析时的有效算法,提出一种基于综合性能的路由选择算法,最后通过实例来说明通信路由综合性能评价以及路由选择方法。 展开更多
关键词 模糊petri 模型 路由选择 算法 性能评价 通信
在线阅读 下载PDF
基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析
15
作者 夏传良 王壮壮 郭脉波 《计算机应用与软件》 北大核心 2024年第9期279-287,共9页
为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合... 为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。 展开更多
关键词 petri 系统建模 抑制弧 组合 活性
在线阅读 下载PDF
克隆选择算法在优化模糊Petri网参数中的应用 被引量:1
16
作者 李洋 乐晓波 《计算机工程与应用》 CSCD 北大核心 2011年第15期39-42,93,共5页
如何确定模糊产生式规则的各项参数对模糊Petri网的建立具有重要意义,但一直是尚未解决的难题。首次把克隆选择算法引入到模糊Petri网的参数寻优过程,提出一种基于线程实现技术的参数优化算法,该算法实现不依赖于经验数据,对初始输入无... 如何确定模糊产生式规则的各项参数对模糊Petri网的建立具有重要意义,但一直是尚未解决的难题。首次把克隆选择算法引入到模糊Petri网的参数寻优过程,提出一种基于线程实现技术的参数优化算法,该算法实现不依赖于经验数据,对初始输入无严格要求。仿真实例表明,经克隆选择线程优化算法训练出的参数正确率较高,且所得的模糊Petri网具有较强的泛化能力和自适应功能。 展开更多
关键词 模糊petri 模糊推理 克隆选择算法 线程技术
在线阅读 下载PDF
一种分层模糊Petri网风险评估方法
17
作者 古莹奎 何力韬 毕庆鹏 《机械设计与制造》 北大核心 2024年第2期369-372,379,共5页
针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊P... 针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。 展开更多
关键词 风险评估 模糊petri(FPN) 云模型 层次分解原则
在线阅读 下载PDF
基于毕达哥拉斯模糊概率Petri网的FPSO单点关键部件风险评估
18
作者 张宝雷 于之兴 +1 位作者 韩宇 孙冰 《船海工程》 北大核心 2024年第5期88-93,共6页
为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推... 为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推理算法迭代出最终的失效概率,并进行基本事件重要度分析。实例分析结果表明,引起单点系泊系统发生失效的主要因素有电滑环电刷磨损、电滑环负载电流较高、液滑环结构物晃动冲击、液滑环润滑不充分、电滑环电压过高击穿等。针对主要风险因素提出预防和控制措施,能够保障系统安全正常地运转。 展开更多
关键词 FPSO单点系泊系统 概率petri 毕达哥拉斯模糊集 风险评估
在线阅读 下载PDF
SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法 被引量:4
19
作者 马梓刚 麻荣宽 +3 位作者 李贝贝 谢耀滨 魏强 彭慜威 《计算机科学》 CSCD 北大核心 2024年第10期380-390,共11页
随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文... 随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。 展开更多
关键词 风险评估 petri 工业控制系统 安全一体化 功能安全 信息安全
在线阅读 下载PDF
基于随机Petri网的民机审定试飞实施流程建模与分析 被引量:3
20
作者 邓汉年 周杰 +3 位作者 杨波 易力力 傅广 周鹏 《计算机科学》 CSCD 北大核心 2024年第S01期1063-1068,共6页
审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形... 审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。 展开更多
关键词 审定试飞实施流程 随机petri 马尔可夫链 性能分析 关键环节
在线阅读 下载PDF
上一页 1 2 214 下一页 到第
使用帮助 返回顶部