期刊文献+
共找到84篇文章
< 1 2 5 >
每页显示 20 50 100
SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法
1
作者 马梓刚 麻荣宽 +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网的食物网能量流动建模与分析
2
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
下载PDF
Using Petri net graphs express boolean functions
3
作者 TU Jin-fu 《通讯和计算机(中英文版)》 2008年第1期22-26,共5页
关键词 petri 布尔函数 有限状态机 人工智能
下载PDF
基于Petrinet的半导体代工系统建模及案例研究 被引量:3
4
作者 邵志芳 钱省三 刘仲英 《半导体技术》 CAS CSCD 北大核心 2006年第11期810-814,共5页
提出了一种IDEF0与Petrinet相结合的建模方法,利用IDEF0静态模型对车间内的系统及各子系统之间的相互关系进行详细描述,利用Petri网的静态及动态特性描述了该系统中存在的回流、并发、资源共享、随机性的重做以及突发性设备故障等现象... 提出了一种IDEF0与Petrinet相结合的建模方法,利用IDEF0静态模型对车间内的系统及各子系统之间的相互关系进行详细描述,利用Petri网的静态及动态特性描述了该系统中存在的回流、并发、资源共享、随机性的重做以及突发性设备故障等现象。以一个代工厂光刻系统为例,对该建模方法进行了具体介绍。 展开更多
关键词 整合性定义方法论 petri 代工厂 建模
下载PDF
基于Petri网的VOCs跨区域流动动态风险评估方法
5
作者 黄光球 王熇 《系统仿真学报》 CAS CSCD 北大核心 2023年第1期57-68,共12页
为了评价污染天气下由于VOCs(volatile organic compounds)跨区域流动产生的区域间的相互影响作用的大小,找出对受污染区域影响较大的路径,结合Petri网模型提出了VOCs跨区域流动动态风险评估方法。利用HYSPLIT模型确定多个潜在污染源与... 为了评价污染天气下由于VOCs(volatile organic compounds)跨区域流动产生的区域间的相互影响作用的大小,找出对受污染区域影响较大的路径,结合Petri网模型提出了VOCs跨区域流动动态风险评估方法。利用HYSPLIT模型确定多个潜在污染源与受污染区域的VOCs迁移路径,运用Petri网去描述各个迁移路径之间的关系;将动态风险大小的计算融入到函数Petri网的运行中,定量评估潜在污染源到受污染区域的各条路径的风险程度;案例分析得出污染天气下周边区域对于西安的动态风险评估结果以及各污染路径的潜在风险指数。研究表明,在重污染天气下各个污染源城市对西安的影响程度大小由高到低依次为宝鸡>汉中>西宁>兰州。该方法为评估VOCs跨区域流动过程中潜在污染源的风险程度提供了依据。 展开更多
关键词 VOCS 风险评估 跨区域 函数petri 贡献率
原文传递
基于Petri网的工作流建模方法 被引量:19
6
作者 牛军钰 赵宏 赵大哲 《控制与决策》 EI CSCD 北大核心 1999年第A11期521-525,共5页
将Petri网方法引入工作流模型描述,并针对工作流的特点对其进行扩展,提出功能网描述方法。使用功能网可使工作流模型得到方便、快速、合理的构架。
关键词 petri 功能网 工作流管理 建模 计算机应用
下载PDF
基于Petri网的非串行制造系统的可靠性分析 被引量:17
7
作者 张君一 谢里阳 +1 位作者 李兵 刘晓霞 《机械工程学报》 EI CAS CSCD 北大核心 2009年第12期95-101,共7页
对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度... 对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度定理,对中间缓冲区和机器本身的状态转移概率分别分类求解,计算出相应的缓冲区可用度和等效机器可用度;同时通过功能可靠度指标,对整个加工任务车间的可靠性进行总体评价,从时间量和产品量因子出发,来衡量由于生产率的不平衡以及中间缓冲区的库存太小,引起生产流程中传输道的阻塞和缺料,进而造成的相关工件的加工时间延迟等问题。以三台机床和两个待加工工件的加工装配单元为例,验证该模型与分析方法的有效性。 展开更多
关键词 非串行制造系统 可靠性建模 广义随机petri 功能可靠度 缓冲区可用度
下载PDF
基于Petri网的机电产品概念设计功能模型研究 被引量:2
8
作者 周小勇 李团结 《计算机工程与设计》 CSCD 北大核心 2005年第9期2392-2394,共3页
功能分析是概念设计中最重要的阶段,从黑箱法的理论出发,以流及其状态和功能为基本要素建立了基于Petri网的机电一体化产品概念设计功能模型,为产品概念设计过程的优化以及设计效率的提高打下了良好基础,为以后智能软件的开发提供了良... 功能分析是概念设计中最重要的阶段,从黑箱法的理论出发,以流及其状态和功能为基本要素建立了基于Petri网的机电一体化产品概念设计功能模型,为产品概念设计过程的优化以及设计效率的提高打下了良好基础,为以后智能软件的开发提供了良好的模型。 展开更多
关键词 概念设计 功能分析 黑箱法 petri 功能模型
下载PDF
矿区生态系统脆弱性的对象函数Petri网评价模型 被引量:1
9
作者 苏佳 黄光球 《系统仿真学报》 CAS CSCD 北大核心 2018年第5期1681-1689,共9页
在传统对象Petri网中引入函数的概念,定义了一种全新的生态系统脆弱性评价模型OFPNEM(Object Function Petri Net Model),将对生态系统恶化过程中起促进与抑制作用的两方面因素进行综合考虑与分析。用变迁表示脆弱程度的触发条件,用对... 在传统对象Petri网中引入函数的概念,定义了一种全新的生态系统脆弱性评价模型OFPNEM(Object Function Petri Net Model),将对生态系统恶化过程中起促进与抑制作用的两方面因素进行综合考虑与分析。用变迁表示脆弱程度的触发条件,用对象库所表示生态系统变化过程中所处的状态,从而直观地表示生态环境恶化的逻辑因果关系,提出了一种基于对象函数Petri网的矿区生态系统脆弱性评价模型OFPNEM。在对象函数Petri网基础上,结合模型原理的规则,给出OFPNEM算法,并通过实验验证了算法的正确性。通过对象函数Petri网对具有动态变化过程的矿区生态系统脆弱性评价,更加贴近实际情况。 展开更多
关键词 对象函数 petri 脆弱性评价建模 动态变化过程
原文传递
部分可观Petri网结构信息在故障诊断中的应用 被引量:9
10
作者 叶丹丹 罗继亮 《控制理论与应用》 EI CAS CSCD 北大核心 2015年第3期366-373,共8页
针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petr... 针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petri网的几种基本子网来分析故障变迁的可诊断子网的结构信息;其次,根据给定的可观测变迁序列和可诊断子网的结构特征来描述子网内部托肯的流动形式;最后,定义故障函数,并结合具体实例来描述故障变迁的发生情况.该故障诊断的方法基于部分可观Petri网结构信息,无需遍历系统状态空间,免去多项式级的计算复杂性,能够满足实时性的要求. 展开更多
关键词 离散事件系统 故障诊断 petri 故障函数
下载PDF
一种基于Petri网的功能/数据分析方法 被引量:3
11
作者 王志坚 蔡自兴 《计算机集成制造系统》 EI CSCD 北大核心 2008年第6期1194-1199,共6页
为实现Petri网模型中的数据分析和功能分析,提出了基于关联矩阵的方法。以一个典型的企业信息化系统为例,采用Petri网建立系统模型来描述系统的功能结构和数据流程。基于关联矩阵分析了系统功能特性和数据正确性及两者间的关系;依据最... 为实现Petri网模型中的数据分析和功能分析,提出了基于关联矩阵的方法。以一个典型的企业信息化系统为例,采用Petri网建立系统模型来描述系统的功能结构和数据流程。基于关联矩阵分析了系统功能特性和数据正确性及两者间的关系;依据最近邻连接方法的思想提出一个聚类算法,以实现子系统的自动划分。结果表明,采用Petri网方法能有效地描述和分析数据与企业过程关系,促进基于Petri网统一模型的企业信息化系统开发方法的研究。 展开更多
关键词 petri 功能/数据分析 聚类 关联矩阵
下载PDF
CIMOSA功能模型的Petri网表示方法 被引量:2
12
作者 范玉顺 吴澄 《计算机集成制造系统-CIMS》 EI CSCD 1997年第6期9-15,共7页
本文介绍了CIMOSA建模框架和功能模型的组成结构,指出了Petri网方法是进行CIMOSA模型仿真和模型验证的有效手段。为了解决CIMOSA模型仿真和执行中出现的不确定性、资源共享和信息传递问题,提出了一种扩展的有... 本文介绍了CIMOSA建模框架和功能模型的组成结构,指出了Petri网方法是进行CIMOSA模型仿真和模型验证的有效手段。为了解决CIMOSA模型仿真和执行中出现的不确定性、资源共享和信息传递问题,提出了一种扩展的有色Petri网方法—控制和集成网方法,并给出它的定义和符号表示形式,在此基础上研究了CIMOSA功能模型的Petri网表示方法并给出了由CIMOSA功能模型到Petri网模型的转换步骤及一个应用示例。 展开更多
关键词 CIMOSA petri 功能模型 CIM
下载PDF
基于Petri网与动态加权启发策略的FMS调度优化 被引量:7
13
作者 黄波 赵春霞 孙亚民 《南京理工大学学报》 EI CAS CSCD 北大核心 2010年第4期482-486,共5页
为解决基于Petri网的柔性制造系统(FMS)调度方法搜索效率不高的问题,提出了一种调度优化算法。采用了改进的最优节点选择方法来提高算法节点搜索能力;在算法搜索进程中使用了动态加权启发函数,以保证最终找到某种最佳或较满意的调度结果... 为解决基于Petri网的柔性制造系统(FMS)调度方法搜索效率不高的问题,提出了一种调度优化算法。采用了改进的最优节点选择方法来提高算法节点搜索能力;在算法搜索进程中使用了动态加权启发函数,以保证最终找到某种最佳或较满意的调度结果;使用了启发式A*算法与深度优先算法相结合的方法以加快算法的收敛速度。这些策略减小了算法在Petri网可达图中节点的搜索范围,加快了算法的收敛速度,并且保证了调度结果质量的可控性。最后仿真结果证明了方法的有效性。 展开更多
关键词 柔性制造系统 petri 调度算法 启发函数
下载PDF
基于模糊时间Petri网的列车运行时间不确定性问题的处理 被引量:13
14
作者 叶阳东 王娟 贾利民 《铁道学报》 EI CAS CSCD 北大核心 2005年第1期6-13,共8页
定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确... 定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。 展开更多
关键词 列车运行 模糊时间petri 不确定性 模糊时间函数
下载PDF
基于对象函数Petri网的关联区域VOCs危害成因解析 被引量:1
15
作者 黄光球 吴甜甜 《系统仿真学报》 CAS CSCD 北大核心 2022年第3期470-481,共12页
为了找出排放并扩散挥发性有机物(volatile organic compounds,VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系... 为了找出排放并扩散挥发性有机物(volatile organic compounds,VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系,网系统的运行反映了目标区域VOCs危害程度的变化情况,并将危害程度的计算融入到Petri网系统的运行中。通过实际案例研究解析,结果表明:该Petri网模型适用于关联区域VOCs危害成因解析的建模和计算。 展开更多
关键词 关联区域 危害程度 成因解析 对象函数petri 挥发性有机物 贡献率
原文传递
基于有色Petri网的逻辑电路仿真模型设计 被引量:2
16
作者 欧阳星明 胡青海 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第3期17-20,共4页
提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入... 提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程. 展开更多
关键词 受控有色petri 门函数集 拓扑结构 逻辑电路
下载PDF
带回流复杂制造系统基于资源的Petri网仿真原型 被引量:2
17
作者 邵志芳 刘仲英 陆云波 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第22期5249-5253,共5页
针对带回流复杂制造系统建模的难点,提出三种解决办法:首先提出基于资源的Petri网模型构建模式对系统结构建模,避免随加工步骤增多网规模扩大;其次提出IDEF0与PN相结合的建模方法对系统功能建模,实现对系统及子系统功能以及系统间关系... 针对带回流复杂制造系统建模的难点,提出三种解决办法:首先提出基于资源的Petri网模型构建模式对系统结构建模,避免随加工步骤增多网规模扩大;其次提出IDEF0与PN相结合的建模方法对系统功能建模,实现对系统及子系统功能以及系统间关系的详细描述;最后通过多种变迁种类的引入实现对系统行为建模。在此模型基础上,构建带回流复杂制造系统仿真器原型,并介绍了该仿真器对投料策略和调度规则的仿真。 展开更多
关键词 回流 建模 petri 整合性定义方法论 仿真
下载PDF
基于Petri网的机电产品功能分解单元模型研究 被引量:1
18
作者 周小勇 李萍 《计算机工程与设计》 CSCD 北大核心 2008年第21期5662-5664,共3页
功能分析是概念设计过程中最重要的阶段,对现有机械产品概念设计理论及方法进行了分析,提出了基于Petri网的机电一体化产品功能分解模型。对机电一体化产品概念设计中的功能分解过程进行分析,通过基本元素和动态行为机制的定义,建立产... 功能分析是概念设计过程中最重要的阶段,对现有机械产品概念设计理论及方法进行了分析,提出了基于Petri网的机电一体化产品功能分解模型。对机电一体化产品概念设计中的功能分解过程进行分析,通过基本元素和动态行为机制的定义,建立产品功能分解单元模型。以喷墨打印机为例,建立了该产品的功能分解单元模型,验证了模型的可行性。 展开更多
关键词 机电一体化 概念设计 petri 功能树 功能分解单元
下载PDF
基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价研究 被引量:1
19
作者 黄光球 苗丹 《湘潭大学自然科学学报》 CAS 2018年第3期89-94,共6页
为了全面评价有毒雾霾对地表自然生态环境的危害性,提出了基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价方法 .首先,在一般Petri网的理论基础上定义了函数Petri网,给出了函数Petri网的变迁触发规则和库所状态值的函数表达式... 为了全面评价有毒雾霾对地表自然生态环境的危害性,提出了基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价方法 .首先,在一般Petri网的理论基础上定义了函数Petri网,给出了函数Petri网的变迁触发规则和库所状态值的函数表达式;其次,利用函数Petri网的网部分描述危害的组成结构,网系统的运行反映了危害产生的过程,建立了基于函数Petri网的有毒雾霾对地表自然生态环境的危害评价模型,并结合模型提出了危害性评价的综合指标——"危害度"的概念和计算方法,给出了危害性评价的基本步骤;最后,通过实例对有毒雾霾对地表自然生态环境的危害性进行定量和定性评价,根据评价结果提出了减轻生态环境破坏的建议. 展开更多
关键词 函数petri 有毒雾霾 地表自然生态环境 危害性评价
下载PDF
半导体制造系统基于资源的Petri网调度优化 被引量:2
20
作者 邵志芳 刘仲英 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第5期674-679,共6页
对半导体制造系统调度难点,分两步予以解决:第一步,提出三种策略解决系统建模问题,包括基于资源的Petri网模型构建模式,对系统结构建模;引入整合性定义方法对系统功能建模;以及通过多种变迁种类的引入实现对系统行为建模.第二步,在此模... 对半导体制造系统调度难点,分两步予以解决:第一步,提出三种策略解决系统建模问题,包括基于资源的Petri网模型构建模式,对系统结构建模;引入整合性定义方法对系统功能建模;以及通过多种变迁种类的引入实现对系统行为建模.第二步,在此模型基础上,引入蚁群优化算法对模型求调度优化解.与仿真结果的对比显示此方案取得了明显效果. 展开更多
关键词 半导体制造 建模 petri 整合性定义方法论 调度
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部