网格服务可管理性模型及策略研究 被引量：12

1

作者 王元卓 林闯 +1 位作者 杨扬 单志广 《计算机学报》 EI CSCD 北大核心 2008年第10期1716-1726,共11页

随着网格技术和应用的不断发展,一些关键领域或业务应用场景要求网格系统提供更好的服务质量(QoS),而具有较高可管理性的服务管理策略可以在提供较高服务质量的同时减小系统的开销.文中提出了网格服务的干扰和可管理性的形式化描述及量... 随着网格技术和应用的不断发展,一些关键领域或业务应用场景要求网格系统提供更好的服务质量(QoS),而具有较高可管理性的服务管理策略可以在提供较高服务质量的同时减小系统的开销.文中提出了网格服务的干扰和可管理性的形式化描述及量化计算方法,并建立了描述干扰发生过程的网格系统随机Petri网(SPN)模型.之后文章对服务管理策略进行了分类研究,并根据SPN模型的仿真计算结果,对各类策略对网格服务的干扰情况的影响以及对网格服务可管理性的量化评价结果进行了比较和分析,为具有高可管理性的策略的设计提供依据. 展开更多

关键词 网格服务 可管理性 干扰 服务管理 随机petri网

下载PDF 职称材料

煤矿应急处置流程的SPN-MC模型及性能分析 被引量：9

2

作者 温廷新 王冉 +2 位作者 杨红玉 田洪斌 吴露 《中国安全科学学报》 CAS CSCD 北大核心 2016年第1期148-154,共7页

为更好地利用信息技术支持煤矿应急管理,提高煤矿应急救援效率和应急管理水平。首先,利用随机Petri网(SPN)对煤矿应急预案流程进行动态离散建模。然后,根据SPN与马尔科夫链(MC)的同构特性分析模型的有效性。最后,以阜新煤尘燃烧事故为例... 为更好地利用信息技术支持煤矿应急管理,提高煤矿应急救援效率和应急管理水平。首先,利用随机Petri网(SPN)对煤矿应急预案流程进行动态离散建模。然后,根据SPN与马尔科夫链(MC)的同构特性分析模型的有效性。最后,以阜新煤尘燃烧事故为例,利用MC及模糊数学的相关理论对模型进行系统性能分析。结果表明,救援、事态控制以及资源分配等信息的反馈环节容易出现堆积现象,对其应加强综合监控管理;专家决策、救援及处置过程与善后处理耗时相对较长,应为系统流程优化的重点。 展开更多

关键词 煤矿 突发事件 随机petri网(spn) 马尔科夫链(MC) 应急管理

下载PDF 职称材料

基于Agent的机坪运行服务SPN建模与仿真 被引量：6

3

作者 王洁宁 王安国 +1 位作者 董健康 李景峰 《计算机工程》 CAS CSCD 2013年第3期285-288,299,共5页

针对机场停机坪服务车辆运行行为的随机性问题,分析服务车辆Agent的结构,采用面向Agent的随机Petri网技术,建立机坪服务车辆Agent运行行为模型,给出服务车辆运行服务平均时间的优化方法。通过CPN tools进行仿真验证,结果显示该模型能够... 针对机场停机坪服务车辆运行行为的随机性问题,分析服务车辆Agent的结构,采用面向Agent的随机Petri网技术,建立机坪服务车辆Agent运行行为模型,给出服务车辆运行服务平均时间的优化方法。通过CPN tools进行仿真验证,结果显示该模型能够优化服务车辆Agent的平均服务运行时间。 展开更多

关键词 智能体 随机petri网 机坪运行 服务车辆 优化方法

下载PDF 职称材料

基于SPN-MC模型的城市地铁洪涝灾害应急响应流程效能分析 被引量：1

4

作者 张蕾 吕伟 雷鹏 《中国安全生产科学技术》 CAS CSCD 北大核心 2023年第6期20-25,共6页

为进一步提升城市地铁应急响应能力,对洪涝灾害下地铁应急响应流程进行分析,并运用随机Petri网进行模拟,构建地铁洪涝灾害应急响应流程SPN-MC模型,以实际案例为基础,构建4个响应级别的地铁突发事件情景,对各执行主体以及响应环节的效率... 为进一步提升城市地铁应急响应能力,对洪涝灾害下地铁应急响应流程进行分析,并运用随机Petri网进行模拟,构建地铁洪涝灾害应急响应流程SPN-MC模型,以实际案例为基础,构建4个响应级别的地铁突发事件情景,对各执行主体以及响应环节的效率进行分析。研究结果表明:地铁总体应急响应效率较高,区公安分局等相关部门和现场应急救援指挥部参与应急响应任务最多,并且随着响应级别的提升,应急处置时间延长。 展开更多

关键词 地铁应急响应 随机petri网(spn) 马尔可夫链(MC) 流程模拟

下载PDF 职称材料

基于3D打印与SPN的飞机备件供应流程建模 被引量：5

5

作者 王栋 冯佳晨 +2 位作者 王鑫 邹强 韩维 《兵器装备工程学报》 CAS 2017年第2期149-154,共6页

将3D打印技术引入飞机备件供应保障,对其可行性进行分析,构建备件供应流程;由于供应过程中各阶段时间的不确定性,在引入3D打印技术前后均采用随机Petri网(Stochastic Petri Net,SPN)建立模型,并采用关联矩阵与状态方程法对模型的有效性... 将3D打印技术引入飞机备件供应保障,对其可行性进行分析,构建备件供应流程;由于供应过程中各阶段时间的不确定性,在引入3D打印技术前后均采用随机Petri网(Stochastic Petri Net,SPN)建立模型,并采用关联矩阵与状态方程法对模型的有效性进行分析;经分析,建立的模型是合理的。 展开更多

关键词 飞机备件 供应流程 3D打印 spn 建模

下载PDF 职称材料

船舶会遇过程碰撞风险演化随机Petri网模型

6

作者 杜晓雨 胡甚平 +1 位作者 李圣媛 轩少永 《上海海事大学学报》 北大核心 2023年第4期25-32,98,共9页

为探讨船舶碰撞风险随时间和空间变化的动态演化规律,提出一种基于随机Petri网的船舶碰撞风险演化模型。通过分析影响船舶航行安全的主要因素,构建船舶碰撞风险演化的指标网络拓扑模型,并构建同型的马尔科夫链得到各状态下的稳态概率表... 为探讨船舶碰撞风险随时间和空间变化的动态演化规律,提出一种基于随机Petri网的船舶碰撞风险演化模型。通过分析影响船舶航行安全的主要因素,构建船舶碰撞风险演化的指标网络拓扑模型,并构建同型的马尔科夫链得到各状态下的稳态概率表达式,通过仿真实现对船舶碰撞风险演化过程的定量分析。案例结果表明船舶碰撞风险演化是阶段性的多路径共同作用的结果,并伴随着风险因素的累积和耦合的演化。此模型可以用于分析基于多因素耦合的船舶碰撞风险演化过程,将演化过程中各节点的风险值量化,实现了从多因素耦合和风险演化的角度对船舶会遇动态风险的研究。 展开更多

关键词 航行风险 风险演化 致因路径 碰撞事故 随机petri网(spn) 马尔科夫链

下载PDF 职称材料

LEO卫星网络中安全协议的建模与性能分析 被引量：3

7

作者 洪志国 王永滨 石民勇 《计算机工程》 CAS CSCD 北大核心 2009年第7期127-129,共3页

在分析低轨(LEO)卫星网络的通信过程和几何特性的基础上,建立LEO卫星网络在全双工通信模式下的随机Petri网(SPN)模型,采用SPNP6.0软件,针对2种安全协议IKE和ISAKMP的野蛮交换模式,以及空间通信协议规范SCPS-SP,分析卫星网络的平均时延... 在分析低轨(LEO)卫星网络的通信过程和几何特性的基础上,建立LEO卫星网络在全双工通信模式下的随机Petri网(SPN)模型,采用SPNP6.0软件,针对2种安全协议IKE和ISAKMP的野蛮交换模式,以及空间通信协议规范SCPS-SP,分析卫星网络的平均时延并进行了模型仿真。 展开更多

关键词 卫星网络 随机petri网 安全协议

下载PDF 职称材料

基于随机Petri网的资源竞争分析 被引量：3

8

作者 刘辛 韩江洪 黎杰 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期399-402,共4页

文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综... 文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。 展开更多

关键词 随机petri网 分布式控制系统 竞争 稳态概率

下载PDF 职称材料

随机Petri网的坦克综电系统总线性能分析 被引量：3

9

作者 刘金萍 宋小庆 +2 位作者 李匡成 高东飞 王冬 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期251-253,258,共4页

针对运用解析法对车辆电子系统进行性能建模分析困难这一问题,运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某型车辆总线性能分析指标。实验结果证明,基于SPN的车辆综合... 针对运用解析法对车辆电子系统进行性能建模分析困难这一问题,运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某型车辆总线性能分析指标。实验结果证明,基于SPN的车辆综合电子系统总线建模的正确性与可行性。 展开更多

关键词 随机petri网(spn) 综合电子系统 1553B 马尔可夫链(MC)

下载PDF 职称材料

使用确定随机Petri网对Hadoop公平调度的建模和性能分析 被引量：1

10

作者 何华 林闯 +1 位作者 赵增华 庞善臣 《计算机应用》 CSCD 北大核心 2015年第5期1255-1261,共7页

由于Hadoop能在同一时间处理多个用户提交的不同作业的多个任务,这使得用传统的方法对其进行建模和性能分析变得十分困难。为了解决这个问题,基于马尔可夫排队模型M/MMDP/C/K建立了一个随机Petri网(SPN)模型和一个确定随机Petri网(DSPN... 由于Hadoop能在同一时间处理多个用户提交的不同作业的多个任务,这使得用传统的方法对其进行建模和性能分析变得十分困难。为了解决这个问题,基于马尔可夫排队模型M/MMDP/C/K建立了一个随机Petri网(SPN)模型和一个确定随机Petri网(DSPN)模型来分别描述Hadoop调度中的数据状态和作业公平调度。通过设置DSPN中的使动谓词和随机开关来建模Hadoop公平调度和YARN公平调度。使用嵌入的马尔可夫链模型来分析单用户情景,而在分析多用户情景时则引入分解和迭代技术来减小模型的状态空间,从而避免产生状态爆炸问题。研究侧重于Hadoop中作业调度的平均性能,仅通过求解提出的分析模型,就可以对比和分析服务质量(Qo S)的一些关键指标,如平均吞吐量、平均队列长度和平均时延。采用Matlab进行仿真:当每秒到达任务数大于等于20时,YARN算法的数据积压和平均时延明显少于公平算法;当每秒到达任务数大于等于30时,YARN算法的平均吞吐量明显高于公平算法。实验结果表明,YARN公平算法能够减少平均处理和排队等待时间,在平均吞吐量、平均队列长度和平均时延上明显优于公平算法。 展开更多

关键词 HADOOP MAPREDUCE 公平调度 随机petri网(spn) 确定随机petri网(Dspn) 服务质量

下载PDF 职称材料

基于随机Petri网的多部门协同农业抗旱应急处置流程建模——以内蒙古巴彦淖尔市为例 被引量：3

11

作者 黄晶 付鹏 许叶军 《系统管理学报》 CSSCI CSCD 北大核心 2021年第6期1142-1151,共10页

随着全球气候变暖,干旱灾害发生频次和强度增加,严重威胁到农业生产。如何保证农业抗旱应急处置流程的顺畅高效,提高农业抗旱应急处置效率,是减少农业生产损失的关键。首先,从信息流的角度,基于OODA环分析了农业抗旱应急管理流程的各个... 随着全球气候变暖,干旱灾害发生频次和强度增加,严重威胁到农业生产。如何保证农业抗旱应急处置流程的顺畅高效,提高农业抗旱应急处置效率,是减少农业生产损失的关键。首先,从信息流的角度,基于OODA环分析了农业抗旱应急管理流程的各个阶段。针对农业旱灾及应急抗旱的特点,建立了多部门协同的农业抗旱应急处置流程,基于随机Petri网构建了农业抗旱应急处置流程仿真模型,通过同构马尔科夫链分析该系统性能,进一步提出关键环节及处置时间的确定方法。最后,以内蒙古巴彦淖尔市为例,分析农业抗旱应急处置流程的效率,确定关键环节及其处置时间。结果表明:①提出的多部门协同农业抗旱应急处置流程可以缩短应急时间。以巴彦淖尔市2018年的抗旱应急为例,抗旱时间从半个多月缩短为11.5天左右。在各环节中,信息发布是容易造成信息堵塞的环节,寻找应急水源是最耗时的环节。②提高关键环节的应急处置效率,将进一步提高应急抗旱的效率。对抗旱应急总时间影响最大的环节——启动应急预案,是关键环节,将该环节的平均实施时间缩短为1/15天,可以将抗旱时间进一步缩短2.5天。 展开更多

关键词 农业旱灾 应急流程 多部门协同 随机petri网 马尔科夫链

下载PDF 职称材料

基于随机Petri网的可重构核心单元分析 被引量：3

12

作者 王福焕 曾国荪 《计算机工程》 CAS CSCD 北大核心 2011年第17期1-6,共6页

利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,... 利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。 展开更多

关键词 可重构计算 核心单元 随机petri网 结构分析 性能分析

下载PDF 职称材料

基于层次扩展SPN的网络攻击模型 被引量：1

13

作者 黄光球 张斌 王纯子 《计算机工程》 CAS CSCD 北大核心 2011年第22期12-18,23,共8页

当前网络攻击模型对于复杂系统的建模能力较差。为此,提出一种基于层次扩展随机Petri网的全网攻击模型。该模型对宏观网络攻击和微观主机攻击具有较好的综合描述能力,适用于网络协同式组合攻击行为的模拟,并能够有效解决网络状态空间爆... 当前网络攻击模型对于复杂系统的建模能力较差。为此,提出一种基于层次扩展随机Petri网的全网攻击模型。该模型对宏观网络攻击和微观主机攻击具有较好的综合描述能力,适用于网络协同式组合攻击行为的模拟,并能够有效解决网络状态空间爆炸问题。基于该模型,提出一种生成算法,通过对网络粗糙攻击路径的定义,给出挖掘主机结点间潜在的攻击关系算法。经过子网扩展后,利用蚁群算法找出k条最优攻击路径,通过对粗糙攻击路径和精确攻击路径的综合评价,给出网络危险性定量评估方法。 展开更多

关键词 网络攻击模型 随机petri网 粗糙petri网 蚁群算法 网络危险性评估 攻击路径

下载PDF 职称材料

有色Petri网在车辆综电系统总线建模中的应用 被引量：2

14

作者 刘金萍 高东飞 +1 位作者 祝新成 罗卫华 《火力与指挥控制》 CSCD 北大核心 2009年第12期82-85,120,共5页

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型。提出了系统的建模分析方法,运用CPN Tools进行建模,得出了某型车辆总线的系统模型。实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性... 针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型。提出了系统的建模分析方法,运用CPN Tools进行建模,得出了某型车辆总线的系统模型。实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性与可行性。 展开更多

关键词 有色petri网 综合电子系统 1553B

下载PDF 职称材料

基于随机Petri网的乘积形式解存在的一个充分条件 被引量：1

15

作者 方贤文 吴哲辉 倪丽娜 《系统仿真学报》 CAS CSCD 2003年第z1期32-34,55,共4页

目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有... 目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有乘积形式解,然后画出该模型的状态空间图,根据局部平衡方程,就可以得到此模型任意状态的稳定概率。 展开更多

关键词 随机petri网 乘积形式解 连续时间马尔可夫链 稳定概率

下载PDF 职称材料

协同服务中事务处理模型分析方法 被引量：1

16

作者 曾明 杨扬 +1 位作者 王元卓 张静乐 《计算机工程》 CAS CSCD 北大核心 2010年第6期8-11,14,共5页

提出一种基于随机Petri网的协同服务事务处理模型与分析方法,分析企业协同服务中几个最具代表性的事务处理流程。以电子商务系统中的物流系统为例,分别对加入事务处理前后的流程应用模型进行等价化简,从而得到2类流程模型,并利用随机Pe... 提出一种基于随机Petri网的协同服务事务处理模型与分析方法,分析企业协同服务中几个最具代表性的事务处理流程。以电子商务系统中的物流系统为例,分别对加入事务处理前后的流程应用模型进行等价化简,从而得到2类流程模型,并利用随机Petri网的性能评价方法,对比分析加入事务处理前后系统业务响应时间和吞吐量。 展开更多

关键词 随机petri网 协同服务 事务处理

下载PDF 职称材料

Java服务主动容错模型分析与评估 被引量：1

17

作者 陈新 黄永忠 +1 位作者 鲍天明 郑霄 《计算机应用》 CSCD 北大核心 2010年第10期2741-2744,共4页

Java服务已成为支撑关键业务的业务服务,其可用性成为关键业务系统是否能持续提供服务的关键。采用主动容错技术可提高Java服务的可用性,建立Java服务的主动容错模型,便于分析和评估主动容错技术的有效性。通过模型分析与仿真实验的方... Java服务已成为支撑关键业务的业务服务,其可用性成为关键业务系统是否能持续提供服务的关键。采用主动容错技术可提高Java服务的可用性,建立Java服务的主动容错模型,便于分析和评估主动容错技术的有效性。通过模型分析与仿真实验的方法比较了采用Rejuvenation策略与不采用Rejuvenation策略的容错效果,通过分析评估得出,采用主动容错技术将有效改善Java服务的可用性,如果合理选择实施软件Rejuvenation策略的时间点,则可以取得更好的容错效果。 展开更多

关键词 随机petri网 JAVA虚拟机 Java服务 高可用 软件老化与再生

下载PDF 职称材料

基于知识管理的校园网络系统模型 被引量：1

18

作者 刘仲生 王飚 梅龙宝 《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心 2009年第5期509-513,共5页

以知识管理理论为指导,提出了一个以知识共享系统模式构建的校园网络系统管理层次模型,并利用随机Petri网的理论和分析技术对所提出的层次模型进行了形式化描述和性能分析,进而获得使校园网络系统达到平稳状态的参数条件.

关键词 知识管理 随机petri网 马尔可夫链 平稳状态

下载PDF 职称材料

SPN在网络安全保密系统可靠性分析中的应用 被引量：1

19

作者 林长春 罗朝平 +1 位作者 仇悦 张明清 《信息安全与通信保密》 2009年第1期107-110,113,共5页

文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保... 文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保密性服务子系统进行建模,并分析了该子系统在安全运行状态下的可靠性。通过对可靠性建模分析方法的应用,不仅实现了系统方案设计阶段可靠性的可评估性,而且提高了系统后期开发过程的可操作性。 展开更多

关键词 网络安全保密系统(NSSS~可靠性建模与分析 随机petri网(spnl安全运行状态

原文传递

基于随机Petri网的SLP平台可信研究 被引量：1

20

作者 雷万保 朱怡安 《计算机应用研究》 CSCD 北大核心 2009年第6期2023-2026,共4页

在介绍当前主要可信研究方法的基础上,以SLP为分析对象,重点讨论了如何利用随机Petri网进行服务发现平台可信研究的建模和分析,并以实例分析为基础介绍了服务发现平台主要可信指标的分析步骤和计算方法。最后总结基于随机Petri的可信服... 在介绍当前主要可信研究方法的基础上,以SLP为分析对象,重点讨论了如何利用随机Petri网进行服务发现平台可信研究的建模和分析,并以实例分析为基础介绍了服务发现平台主要可信指标的分析步骤和计算方法。最后总结基于随机Petri的可信服务发现平台研究面临的主要问题以及可能的发展方向,并对下一步的工作内容进行了展望。 展开更多

关键词 随机petri网 服务定位协议 全互连服务定位协议 可信计算

下载PDF 职称材料