期刊文献+
共找到407篇文章
< 1 2 21 >
每页显示 20 50 100
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
1
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载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网的软件再生建模与分析 被引量:9
4
作者 孟海宁 齐勇 侯迪 《计算机学报》 EI CSCD 北大核心 2007年第12期2212-2217,共6页
软件老化是影响软件系统可靠性的重要潜在因素,软件再生作为一种主动预防性的软件容错技术是解决软件老化问题的主要手段.以往的随机Petri网再生模型假定所有变迁的实施时间服从指数分布.针对变迁的实施时间服从确定性分布或一般性分布... 软件老化是影响软件系统可靠性的重要潜在因素,软件再生作为一种主动预防性的软件容错技术是解决软件老化问题的主要手段.以往的随机Petri网再生模型假定所有变迁的实施时间服从指数分布.针对变迁的实施时间服从确定性分布或一般性分布的情况,文中提出了一种用非马尔可夫随机Petri网建立软件再生模型的方法.该方法采用马尔可夫再生理论对模型进行分析,并给出模型的瞬态解和稳态解.仿真实验表明:选择合适的软件再生周期,可以有效地降低存在老化的软件系统的平均宕机成本,提高系统的可用性和可靠性. 展开更多
关键词 软件老化 软件再生 软件可靠性 非马尔可夫随机petri 马尔可夫再生理论
在线阅读 下载PDF
基于随机Petri网的嵌入式软件能耗模型 被引量:4
5
作者 张晶 王中正 范洪博 《计算机工程》 CAS CSCD 北大核心 2017年第9期316-321,共6页
传统的软件能耗测量方式是在软件设计完成后进行实际测量从而得到能耗值,不能在软件的设计初期形成一定的数据量为开发做出参考。为此,从体系结构层面对软件进行构件化处理,基于随机Petri网分别对构件、接口、连接件各模块进行建模与分... 传统的软件能耗测量方式是在软件设计完成后进行实际测量从而得到能耗值,不能在软件的设计初期形成一定的数据量为开发做出参考。为此,从体系结构层面对软件进行构件化处理,基于随机Petri网分别对构件、接口、连接件各模块进行建模与分析,构造出嵌入式软件能耗模型ESPN。给出寻找3种能耗路径的方法,根据能耗状态可达图对软件能耗进行预测并求得其确切值。通过实例化分析与设计验证了该模型的有效性。 展开更多
关键词 嵌入式软件 软件体系结构 能耗建模 随机petri 能耗分析
在线阅读 下载PDF
基于随机Petri网的SPN^2软件建模方法研究 被引量:2
6
作者 陈永 胡晓辉 党建武 《计算机工程》 CAS CSCD 北大核心 2010年第17期283-285,共3页
随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应... 随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。 展开更多
关键词 铁路移动通信系统 随机petri 随机petri 仿真
在线阅读 下载PDF
基于随机Petri网的软件可靠性分析方法 被引量:4
7
作者 朱连章 李妍琛 《计算机工程与设计》 CSCD 北大核心 2007年第22期5349-5352,共4页
软件可靠性模型对于软件可靠性估测起着核心作用。目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求。针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性... 软件可靠性模型对于软件可靠性估测起着核心作用。目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求。针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性评估的思想。使用该方法建立起的模型可以很好的描述软件系统的动态变化过程,尽可能多的考虑了影响软件可靠性的因素,有利于降低软件可靠性描述与分析的复杂度,并可以得到软件系统处于各个状态的瞬时及稳态概率。 展开更多
关键词 随机petri 软件可靠性 模型简化 马尔可夫链 瞬时可靠性
在线阅读 下载PDF
基于灰色随机Petri网的构件化软件可靠性早期评估方法 被引量:3
8
作者 刘玲艳 吴晓平 《海军工程大学学报》 CAS 北大核心 2011年第1期16-22,共7页
针对构件化软件系统本身的复杂性和早期可靠性评估存在的"贫信息、少数据"的问题,提出了一种灰色随机Petri网(GrSPN)模型。该模型在随机Petri网的变迁速率中引入灰数,首先结合系统GrSPN模型的可达树确定系统的状态标识集及其... 针对构件化软件系统本身的复杂性和早期可靠性评估存在的"贫信息、少数据"的问题,提出了一种灰色随机Petri网(GrSPN)模型。该模型在随机Petri网的变迁速率中引入灰数,首先结合系统GrSPN模型的可达树确定系统的状态标识集及其子集,然后将得到的GrSPN转化为与其同构的连续时间马尔可夫链(MC)。通过对MC的平稳状态分布对软件系统可靠性进行分析,得到用灰数表示的稳态概率,然后根据白化权函数对结果进行白化,得到软件系统每个可达状态标识下的稳态概率,进而求得系统可靠度。最后,结合某构件化软件可靠性早期评估实例验证了该模型的有效性。 展开更多
关键词 构件化软件 可靠性 灰色随机petri 早期评估
在线阅读 下载PDF
基于Petri网的露地蔬菜无人化作业方案智能生成
9
作者 李晓锁 朱华吉 +2 位作者 郭旺 缪祎晟 吴华瑞 《农业与技术》 2025年第9期41-47,共7页
我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高... 我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高与可持续发展成为亟待解决的难题。为解决上述问题,提出一种基于Petri网的露地蔬菜全流程无人化作业方案智能生成方法。利用随机Petri网对露地蔬菜生产全流程进行建模,表征无人化耕整地、无人化播种/移栽、无人化施肥施药、无人化采收等多个关键作业环节;通过矩阵运算的形式进行模糊Petri网推理,将地块类型、种植面积和种植蔬菜类别等初始种植信息作为模糊Petri网的输入参数,生成定制化且可操作性高的无人作业农机选型方案。以无人移栽机相关知识作为实例验证了提出的方法,并通过构建与随机Petri网等价的马尔科夫链对露地蔬菜全流程Petri网模型进行性能评估,结果表明该模型对露地蔬菜生产作业环节具有较强的建模能力,为露地蔬菜全流程无人化作业过程的优化、自动化控制提供了一定的理论参考。 展开更多
关键词 无人化作业 方案生成 全程智能化 随机petri 模糊petri
在线阅读 下载PDF
随机Petri网可视化软件的设计与实现 被引量:4
10
作者 王佳慧 王书锋 《计算机工程与设计》 CSCD 北大核心 2011年第5期1845-1848,共4页
针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便... 针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。 展开更多
关键词 随机petri 建模工具 广度优先算法 面向对象 可达标识图
在线阅读 下载PDF
利用随机Petri网分析软件可靠性 被引量:7
11
作者 李妍琛 《计算机应用与软件》 CSCD 2009年第8期133-135,共3页
提出一种基于随机Petri网的软件可靠性分析方法。该方法的可靠性模型可以很好地描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为系统运行一定时间后的可靠性情况提供有利的分析手段。此外,所获得的结果... 提出一种基于随机Petri网的软件可靠性分析方法。该方法的可靠性模型可以很好地描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为系统运行一定时间后的可靠性情况提供有利的分析手段。此外,所获得的结果也可以直接用于指导后期的开发过程。 展开更多
关键词 随机petri 软件可靠性 瞬时可靠度 马尔可夫链
在线阅读 下载PDF
随机Petri网性能计算软件体系结构研究 被引量:3
12
作者 丁静 韩强 《现代电子技术》 2010年第8期51-53,共3页
以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机... 以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。 展开更多
关键词 随机petri 软件体系结构 软件开发 面向对象方法
在线阅读 下载PDF
随机Petri网在软件可靠性分析中的应用 被引量:2
13
作者 李妍琛 朱连章 《现代电子技术》 2007年第2期135-137,共3页
软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题。提出了一种基于随机Petri网的软件可靠性分... 软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题。提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度。同时指出该方法在应用中会遇到的某些问题及其解决方法。 展开更多
关键词 随机petri 软件可靠性分析 软件可靠性模型 分析复杂度
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
14
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri(GSPN) 马尔可夫链(MC) 建模与分析
在线阅读 下载PDF
用随机Petri网对构件化软件可靠性进行早期评估 被引量:6
15
作者 李光远 陈咏章 《计算机工程与应用》 CSCD 北大核心 2005年第29期84-87,共4页
尽量在软件开发的上游阶段对软件进行可靠性评估,是长期以来软件工程界的共识。论文提出的方法实现了在系统体系结构设计阶段对软件进行可靠性评估的构想,并能将所获得的结果直接用于指导后期的开发过程。
关键词 随机petri 构件 软件可靠性 马尔可夫链
在线阅读 下载PDF
基于随机Petri网的机载软件更新系统性能评价 被引量:1
16
作者 李淑敏 陈水忠 +2 位作者 张辉 蔡俊 陈昕 《系统仿真学报》 CAS CSCD 北大核心 2012年第10期2098-2101,2125,共5页
近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理... 近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。 展开更多
关键词 随机petri 机载软件更新 瞬时概率分析 性能评价
在线阅读 下载PDF
基于随机颜色Petri网的食物网能量流动建模与分析
17
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
在线阅读 下载PDF
采用随机Petri网的嵌入式机载软件可靠性检测 被引量:6
18
作者 罗玲 《计算机工程与应用》 CSCD 北大核心 2019年第1期233-240,共8页
针对嵌入式机载软件设计中存在的典型缺陷问题,结合嵌入式机载软件任务调度特性,提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法,以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系... 针对嵌入式机载软件设计中存在的典型缺陷问题,结合嵌入式机载软件任务调度特性,提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法,以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模,并给出典型缺陷的检测策略和判定准则,然后通过对Petri网模型进行仿真验证,检测系统是否存在此类设计缺陷;并给出了软件设计的运行流程的仿真验证算法,以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较,表明了该方法的有效性。 展开更多
关键词 随机petri(PN) 软件可靠性 嵌入式机载软件
在线阅读 下载PDF
一种随机Petri网性能等价化简与分析方法 被引量:30
19
作者 林闯 曲扬 +1 位作者 郑波 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1620-1623,共4页
随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方... 随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方法 .本文首先讨论了一类随机Petri网 -基本随机Petri网 (ESPN)的性能等价分析方法 ,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成 .作者推导出这四种基本结构的性能等价公式 ,并运用自底向上逐步综合替代的分层分析方法 ,给出这类随机Petri网模型的性能等价化简分析方法 ,该方法的复杂性随模型增长而线性增长 ,有效解决了其性能数量分析问题 .然后 ,讨论了两种非基本结构到基本结构的转换规则 ,使得复杂的随机Petri网模型也可能转换为ESPN模型 。 展开更多
关键词 随机petri 性能等价 SPN 状态空间爆炸
在线阅读 下载PDF
基于随机Petri网的网络可信赖性分析方法研究 被引量:43
20
作者 林闯 王元卓 +1 位作者 杨扬 曲扬 《电子学报》 EI CAS CSCD 北大核心 2006年第2期322-332,共11页
随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网... 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 展开更多
关键词 可信赖性 容错 随机petri 马尔可夫过程 非马尔可夫过程
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部