期刊文献+
共找到195篇文章
< 1 2 10 >
每页显示 20 50 100
Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets 被引量:8
1
作者 苏永定 邱静 +1 位作者 刘冠军 钱彦岭 《Defence Technology(防务技术)》 SCIE EI CAS 2009年第1期60-64,共5页
Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as ... Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably. 展开更多
关键词 广义随机petri 测试要求 故障检测率 需求分析模型 模拟 状态转移矩阵 稳态概率 测试性设计
在线阅读 下载PDF
基于随机Petri网的移动边缘计算任务卸载优化研究
2
作者 彭聚瑞 王高才 《小型微型计算机系统》 北大核心 2025年第5期1232-1239,共8页
在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模... 在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模、优化和性能分析.对比仿真结果可知,相比传统模型,优化后的模型充分利用了空闲终端设备和异地边缘服务器,从而实现了闲置计算资源的合理利用,并在边缘层和终端层横向拓展了传统模型.具体而言,以时延为参考因素,优化后模型的任务平均执行时间减少了1.33秒,相比于优化前降低了8.27%.由此可见优化后的模型较传统的云边端三层架构模型性能更优. 展开更多
关键词 移动边缘计算 随机petri 任务卸载 模型优化 性能分析
在线阅读 下载PDF
基于随机Petri网的民机审定试飞实施流程建模与分析 被引量:3
3
作者 邓汉年 周杰 +3 位作者 杨波 易力力 傅广 周鹏 《计算机科学》 CSCD 北大核心 2024年第S01期1063-1068,共6页
审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形... 审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。 展开更多
关键词 审定试飞实施流程 随机petri 马尔可夫链 性能分析 关键环节
在线阅读 下载PDF
基于petri网的森林火灾应急救援流程网络模型及时效研究 被引量:2
4
作者 徐毓蔓 张以晨 +1 位作者 张继权 丁立全 《灾害学》 CSCD 北大核心 2024年第2期42-47,共6页
为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援... 为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援随机petri网模型与其同构马尔可夫链,在模型有界、活性、安全且可达的基础上,通过确定模型的库所繁忙率、变迁利用率、平均延迟时间,得到如下结果:①森林火灾应急救援活动早期的灾情信息多且复杂,随着森林火灾的发展呈现动态变化,火灾发生后如何高效地获取过火面积、火线长度、风向、风力、植被载量以及地形等关键信息是优化的重点。②避免信息堆积,基于火灾规模、强度、形式、火头方向等重要任务信息变量,实现实时快速决策、动态处置,是保证森林火灾应急救援活动的时效性的关键。 展开更多
关键词 森林火灾救援 随机petri网模型 时效分析
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
5
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri网(GSPN) 马尔可夫链(MC) 建模与分析
在线阅读 下载PDF
一种随机Petri网性能等价化简与分析方法 被引量:30
6
作者 林闯 曲扬 +1 位作者 郑波 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1620-1623,共4页
随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方... 随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方法 .本文首先讨论了一类随机Petri网 -基本随机Petri网 (ESPN)的性能等价分析方法 ,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成 .作者推导出这四种基本结构的性能等价公式 ,并运用自底向上逐步综合替代的分层分析方法 ,给出这类随机Petri网模型的性能等价化简分析方法 ,该方法的复杂性随模型增长而线性增长 ,有效解决了其性能数量分析问题 .然后 ,讨论了两种非基本结构到基本结构的转换规则 ,使得复杂的随机Petri网模型也可能转换为ESPN模型 。 展开更多
关键词 随机petri 性能等价 SPN 状态空间爆炸
在线阅读 下载PDF
随机Petri网模型中变迁的串、并联性能等价化简技术 被引量:28
7
作者 田立勤 林闯 周文江 《电子学报》 EI CAS CSCD 北大核心 2002年第8期1134-1137,共4页
随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简... 随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简技术提供一个坚实的基础 .另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构 ,所以对随机Petri网模型变迁的串、并联的化简 ,特别是能够推导出它的性能等价的数学公式就显得很有必要 .本文详细阐述了随机Petri网变迁的串并联的模型化简技术 ,推导出了变迁的串、并联化简的性能等价公式 ,并给出一个化简的例子 ,最后对结果的相关问题进行了分析 . 展开更多
关键词 随机petri 模型化简 串联 并联 变迁化简 性能等价方程 SPN
在线阅读 下载PDF
基于广义随机Petri网的可重组制造单元建模与分析方法 被引量:13
8
作者 谢楠 李爱平 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期828-834,共7页
为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通... 为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通过过渡变迁合成广义随机Petri网模型。在此基础上,采用马尔可夫理论及相关数学方法,分析可重组制造系统的性能指标,并通过实际应用,验证了该建模与分析方法的有效性。 展开更多
关键词 可重组制造单元 广义随机petri 建模 性能分析
在线阅读 下载PDF
装备战场抢修的任意随机Petri网建模及仿真 被引量:8
9
作者 刘勇 武昌 +1 位作者 林健 曾玉君 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第24期5651-5653,5658,共4页
基于任意分布随机Petri网(ASPN),建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战... 基于任意分布随机Petri网(ASPN),建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。 展开更多
关键词 随机petri 任意分布 战场抢修 仿真
在线阅读 下载PDF
基于广义随机Petri网的装配可靠性建模 被引量:7
10
作者 张根保 刘佳 +2 位作者 葛红玉 王国强 张恒 《计算机集成制造系统》 EI CSCD 北大核心 2012年第3期507-512,共6页
为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建... 为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建立起完整的功能分析模型;将功能分析的结构分析和设计技术模型转化为相应的具有动态分析和定量研究能力的广义随机Petri网模型;为获得可信准确的分析模型,利用三角模糊数中的α-截集对同构的Markov链进行优化;针对装配产品的可靠性特征,用装配可靠度指标对产品进行评价。以某加工中心的分度工作台为例,验证了该建模与分析方法的有效性。 展开更多
关键词 装配 可靠性 广义随机petri 功能分析α-截集 MARKOV链 建模
在线阅读 下载PDF
基于Petri网的工作流模型性能分析方法 被引量:28
11
作者 李建强 范玉顺 《计算机应用》 CSCD 北大核心 2001年第6期4-6,9,共4页
除了有限的仿真支持以得到参考数据以外 ,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上 ,本文提出一种将工作流的Petri网模型分解为事件图的算法 。
关键词 petri 性能分析 工作流技术 经营过程 企业
在线阅读 下载PDF
一种随机着色Petri网及模型的性能分析 被引量:5
12
作者 王继曾 张彦龙 罗靖宇 《计算机应用》 CSCD 北大核心 2008年第2期292-293,301,共3页
针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时... 针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。 展开更多
关键词 petri 随机着色petri 性能分析 马尔可夫链
在线阅读 下载PDF
基于Petri网理论的FC-AE-1553性能分析 被引量:4
13
作者 张建东 时洋洋 +1 位作者 田海宝 史国庆 《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第3期388-392,共5页
随着综合航电系统的发展,1553B总线已经不能满足发展需要,FC-AE-1553协议作为新一代的高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系。文中给出了一套完整的基于确定与随机Petri网的FC-AE-1... 随着综合航电系统的发展,1553B总线已经不能满足发展需要,FC-AE-1553协议作为新一代的高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系。文中给出了一套完整的基于确定与随机Petri网的FC-AE-1553性能评价模型和算法。通过对模型的求解,得到了网络系统的2个重要性能指标总线负载、延迟时间随消息数变化的规律,通过对性能曲线的分析,可对综合航电系统的设计和完善提供重要的理论依据。 展开更多
关键词 航空电子综合系统 确定与随机petri FC-AE-1553 性能评价
在线阅读 下载PDF
基于改进时间模糊Petri网配电网故障诊断方法 被引量:8
14
作者 刘鑫蕊 高艺伟 王智良 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第11期1526-1529,共4页
配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区... 配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值. 展开更多
关键词 时间模糊 petri 报警信息 故障诊断 配电网
在线阅读 下载PDF
基于随机函数Petri网的系统动力学关联分析模型 被引量:4
15
作者 黄光球 何通 陆秋琴 《计算机应用》 CSCD 北大核心 2016年第12期3262-3268,共7页
针对系统动力学(SD)模型既无法表达延迟具有随机性,又无法描述不同状态之间存在的条件转移,以及随机Petri网(SPN)本身存在计算能力不足等问题,首先,将SPN进行扩展,提出了随机函数Petri网(SFPN)模型;然后,将SFPN与SD相结合,提出了一种SFP... 针对系统动力学(SD)模型既无法表达延迟具有随机性,又无法描述不同状态之间存在的条件转移,以及随机Petri网(SPN)本身存在计算能力不足等问题,首先,将SPN进行扩展,提出了随机函数Petri网(SFPN)模型;然后,将SFPN与SD相结合,提出了一种SFPN-SD模型。因SFPN模型中的变迁本身能精确描述随机延迟,故解决了SD模型存在的第一个问题;因SFPN模型中的条件弧能表达库所之间的有条件转移,故解决了SD模型存在的第二个问题;最后,在SPN的库所和变迁中定义一些状态变量及其状态转移方程,而状态变量及其状态转移方程就是SD模型中的水平变量、辅助变量、速率变量、水平方程和速率方程的不同解释,状态转移方程可以实现复杂的计算,于是解决了SPN模型的计算能力不足的问题。SFPN-SD模型很好地继承了SD模型的全部特征,同时又将随机Petri网的全部特征融入到SFPN-SD模型中。与SD模型相比,SFPN-SD模型具有系统的状态及其类型的含义更明确、状态演变过程更明确的特点,且其描述的系统变化动态性是通过事件激发的,从而更逼真地描述了复杂系统的自主动态随机演变行为。实例研究表明,SFPN-SD模型比SD模型具有更强、更全面的对复杂系统的描述关联分析与模拟能力。 展开更多
关键词 petri 随机petri 系统动力学 系统模拟 关联分析
在线阅读 下载PDF
基于Petri网的工作流过程建模 被引量:21
16
作者 陈慧灵 王宪增 邹宽城 《计算机工程与科学》 CSCD 2008年第5期92-94,105,共4页
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:... 业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。 展开更多
关键词 工作流过程模型 petri 工作流网 时间性能分析
在线阅读 下载PDF
基于广义随机Petri网的交通信息系统建模与分析 被引量:15
17
作者 林琳 蒋昌俊 《计算机学报》 EI CSCD 北大核心 2005年第1期81-87,共7页
交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提... 交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 . 展开更多
关键词 交通信息系统 工作流 广义随机petri 行为表达式 性能分析
在线阅读 下载PDF
基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析 被引量:8
18
作者 洪志国 吴凤鸽 +2 位作者 范植华 李磊 孙富春 《电子学报》 EI CAS CSCD 北大核心 2005年第2期354-357,共4页
基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件... 基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件对该三层卫星网络模拟的结果进行了比较 ,验证了模型的正确性 ,并得出了诸如在高网络负载的情况下三层网络结构的性能优于单层等新的结论 . 展开更多
关键词 卫星通信 LEO/MEO/GEO卫星网络 GSPN模型 性能分析 OPNET
在线阅读 下载PDF
基于行为表达式的任意随机Petri网的品质分析 被引量:3
19
作者 蒋昌俊 郑应平 疏松桂 《自动化学报》 EI CSCD 北大核心 1997年第3期370-376,共7页
提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解决的问题,而且不必画出Petri网的可达标识图,使分析过程更为简洁.
关键词 随机petri 任意分布 行为表达式 品质分析
在线阅读 下载PDF
随机高级Petri网用于计算机网络传输协议的模型与性能评价 被引量:8
20
作者 林闯 吴建平 王鼎兴 《通信学报》 EI CSCD 北大核心 1994年第6期9-16,共8页
本文讨论了具有标记变量的随机高级Petri网(SHLPN)以及标识类型、标记变量和等价标记变量的概念,给出了具有等价标记变量可达树构造算法,并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重... 本文讨论了具有标记变量的随机高级Petri网(SHLPN)以及标识类型、标记变量和等价标记变量的概念,给出了具有等价标记变量可达树构造算法,并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了SHLPN在计算机网络传输协议的模型与性能评价中的应用,通过这个例子充分显示了这些概念和算法的有效性。 展开更多
关键词 随机 petri 传输协议 性能评价 计算机网络
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部