期刊文献+
共找到445篇文章
< 1 2 23 >
每页显示 20 50 100
具有测试弧的确定与随机Petri网 被引量:1
1
作者 周悦 于海斌 王天然 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第z1期902-903,共2页
将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果。这不仅增强了Petri网的描述能力,而且为Petri网的理论分析奠定了基础。
关键词 确定与随机petri网DSPN 测试弧
在线阅读 下载PDF
基于确定与随机Petri网的CAN总线建模及性能研究
2
作者 陆洁 《燕山大学学报》 CAS 2008年第6期497-502,共6页
针对CAN总线协议栈结构,利用确定与随机Petri网(DSPN)对其进行建模,得出CAN总线的DSPN紧缩模型。通过软件DSPNexpress-NG得出吞吐量、平均延迟及消息成功传输概率等性能参数,揭示了CAN总线工作的统计规律。
关键词 CAN总线 确定与随机petri网 紧缩模型 DSPNexpress-NG
在线阅读 下载PDF
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
3
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于随机Petri网的移动边缘计算任务卸载优化研究
4
作者 彭聚瑞 王高才 《小型微型计算机系统》 北大核心 2025年第5期1232-1239,共8页
在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模... 在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模、优化和性能分析.对比仿真结果可知,相比传统模型,优化后的模型充分利用了空闲终端设备和异地边缘服务器,从而实现了闲置计算资源的合理利用,并在边缘层和终端层横向拓展了传统模型.具体而言,以时延为参考因素,优化后模型的任务平均执行时间减少了1.33秒,相比于优化前降低了8.27%.由此可见优化后的模型较传统的云边端三层架构模型性能更优. 展开更多
关键词 移动边缘计算 随机petri 任务卸载 模型优化 性能分析
在线阅读 下载PDF
基于随机Petri网的民机审定试飞实施流程建模与分析 被引量:3
5
作者 邓汉年 周杰 +3 位作者 杨波 易力力 傅广 周鹏 《计算机科学》 CSCD 北大核心 2024年第S01期1063-1068,共6页
审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形... 审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。 展开更多
关键词 审定试飞实施流程 随机petri 马尔可夫链 性能分析 关键环节
在线阅读 下载PDF
确定系统级测试性参数的广义随机Petri网模型 被引量:18
6
作者 钱彦岭 邱静 温熙森 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期4-7,共4页
测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个... 测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。 展开更多
关键词 系统级测试性参数 测试性设计 广义随机petri 区间线性方程
在线阅读 下载PDF
基于Petri网的露地蔬菜无人化作业方案智能生成
7
作者 李晓锁 朱华吉 +2 位作者 郭旺 缪祎晟 吴华瑞 《农业与技术》 2025年第9期41-47,共7页
我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高... 我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高与可持续发展成为亟待解决的难题。为解决上述问题,提出一种基于Petri网的露地蔬菜全流程无人化作业方案智能生成方法。利用随机Petri网对露地蔬菜生产全流程进行建模,表征无人化耕整地、无人化播种/移栽、无人化施肥施药、无人化采收等多个关键作业环节;通过矩阵运算的形式进行模糊Petri网推理,将地块类型、种植面积和种植蔬菜类别等初始种植信息作为模糊Petri网的输入参数,生成定制化且可操作性高的无人作业农机选型方案。以无人移栽机相关知识作为实例验证了提出的方法,并通过构建与随机Petri网等价的马尔科夫链对露地蔬菜全流程Petri网模型进行性能评估,结果表明该模型对露地蔬菜生产作业环节具有较强的建模能力,为露地蔬菜全流程无人化作业过程的优化、自动化控制提供了一定的理论参考。 展开更多
关键词 无人化作业 方案生成 全程智能化 随机petri 模糊petri
在线阅读 下载PDF
转移具有确定性时延的随机Petri网近似算法 被引量:1
8
作者 李忠勇 李人厚 《计算机学报》 EI CSCD 北大核心 1997年第4期367-375,共9页
本文对含有确定时延的随机Petri网(DSPN)提出了一种进行解析分析的近似算法.此方法把含确定时延的随机Petri网转换成为其精度可任意逼近原模型的广义随机Petri网,使其与连续时间马尔可夫链同构.文中对令牌总线... 本文对含有确定时延的随机Petri网(DSPN)提出了一种进行解析分析的近似算法.此方法把含确定时延的随机Petri网转换成为其精度可任意逼近原模型的广义随机Petri网,使其与连续时间马尔可夫链同构.文中对令牌总线高速局域网构造了其DSPN模型,并用本文提出的方法对此模型进行了分析.文中亦给出了分析和例题,说明此近似算法的可行性. 展开更多
关键词 确定时延 随机petri petri 令牌总线 局域
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
9
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri(GSPN) 马尔可夫链(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网的食物网能量流动建模与分析
11
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
在线阅读 下载PDF
基于广义随机Petri网的鱼雷系统级测试性参数确定方法 被引量:1
12
作者 孙亚平 李宗吉 +3 位作者 张宁 孙强 孙玉臣 汤建林 《兵工学报》 EI CAS CSCD 北大核心 2020年第11期2274-2280,共7页
在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过... 在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过构建鱼雷武器系统基层级维修保障流程的广义随机Petri网模型,得到状态可达图,并利用同构法,求解了测试性参数与可用度之间的关系;以可用度和平均故障修复时间为设计指标,对国外某型鱼雷的测试性参数进行了求解,并利用Petri网建模工具PIPE4.3.0软件进行了仿真分析,验证了模型和算法的有效性。 展开更多
关键词 鱼雷 测试性 可用度 平均故障修复时间 广义随机petri PIPE4.3.0
在线阅读 下载PDF
基于确定随机Petri网的AFDX航电系统建模研究
13
作者 王瑞杰 姚淑珍 谭火彬 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期254-257,共4页
通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而... 通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。 展开更多
关键词 确定随机petri AFDX 虚链路 建模方法
在线阅读 下载PDF
一种随机Petri网性能等价化简与分析方法 被引量:30
14
作者 林闯 曲扬 +1 位作者 郑波 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1620-1623,共4页
随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方... 随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方法 .本文首先讨论了一类随机Petri网 -基本随机Petri网 (ESPN)的性能等价分析方法 ,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成 .作者推导出这四种基本结构的性能等价公式 ,并运用自底向上逐步综合替代的分层分析方法 ,给出这类随机Petri网模型的性能等价化简分析方法 ,该方法的复杂性随模型增长而线性增长 ,有效解决了其性能数量分析问题 .然后 ,讨论了两种非基本结构到基本结构的转换规则 ,使得复杂的随机Petri网模型也可能转换为ESPN模型 。 展开更多
关键词 随机petri 性能等价 SPN 状态空间爆炸
在线阅读 下载PDF
基于随机Petri网的网络可信赖性分析方法研究 被引量:43
15
作者 林闯 王元卓 +1 位作者 杨扬 曲扬 《电子学报》 EI CAS CSCD 北大核心 2006年第2期322-332,共11页
随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网... 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 展开更多
关键词 可信赖性 容错 随机petri 马尔可夫过程 非马尔可夫过程
在线阅读 下载PDF
随机Petri网模型中变迁的串、并联性能等价化简技术 被引量:28
16
作者 田立勤 林闯 周文江 《电子学报》 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网建模及仿真 被引量:8
17
作者 刘勇 武昌 +1 位作者 林健 曾玉君 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第24期5651-5653,5658,共4页
基于任意分布随机Petri网(ASPN),建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战... 基于任意分布随机Petri网(ASPN),建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。 展开更多
关键词 随机petri 任意分布 战场抢修 仿真
在线阅读 下载PDF
基于随机Petri网的可修系统可用性模糊评价 被引量:10
18
作者 原菊梅 侯朝桢 +1 位作者 王小艺 吴勤 《计算机工程》 CAS CSCD 北大核心 2007年第8期17-19,共3页
结合模糊集理论和随机Petri网理论提出了一种可修系统可用性建模与分析的新方法——模糊随机Petri网方法。随机Petri网的状态可达图同构于连续时间马尔可夫链,由可达图可得到系统的稳定状态概率方程组。利用模糊代数理论解该模糊方程组... 结合模糊集理论和随机Petri网理论提出了一种可修系统可用性建模与分析的新方法——模糊随机Petri网方法。随机Petri网的状态可达图同构于连续时间马尔可夫链,由可达图可得到系统的稳定状态概率方程组。利用模糊代数理论解该模糊方程组即可得到系统转移概率和各种性能指标的模糊数,通过解模糊可得到系统的可用性指标值。文章进行了实例分析并与已有文献作比较,举例进行分析求解,结果表明该方法是可行的。 展开更多
关键词 模糊随机petri 可用性 模糊评价
在线阅读 下载PDF
随机Petri网在系统可用性分析中的应用 被引量:13
19
作者 蒋乐天 徐国治 +1 位作者 应忍冬 张昊 《系统仿真学报》 EI CAS CSCD 2002年第6期796-799,共4页
Petri网自1962年提出以来,倍受工业界和学术界的广泛关注。经过几十年的时间,Petri网的理论不断的完善,Petri网在各行各业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发,讲... Petri网自1962年提出以来,倍受工业界和学术界的广泛关注。经过几十年的时间,Petri网的理论不断的完善,Petri网在各行各业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发,讲述了随机Petri网模型(SPN)、广义随机Petri网模型(GSPN)和随机回报网模型(SRN)。然后以冗余备份系统为例,讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比,利用随机Petri网来建立系统可用性模型的优点。 展开更多
关键词 随机petri 系统可用性分析 冗余备份系统 通信系统
在线阅读 下载PDF
随机进程代数与随机Petri网 被引量:26
20
作者 林闯 魏丫丫 《软件学报》 EI CSCD 北大核心 2002年第2期203-213,共11页
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研... 针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. 展开更多
关键词 随机进程代谢 随机petri 等价 数学模型 计算机
在线阅读 下载PDF
上一页 1 2 23 下一页 到第
使用帮助 返回顶部