基于Petri网理论的FC-AE-1553性能分析 被引量：4

1

作者 张建东 时洋洋 +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 职称材料

弹载1553B总线网络控制系统Petri网建模与性能分析 被引量：9

2

作者 吴晨 方国华 许化龙 《电光与控制》 北大核心 2010年第2期48-51,62,共5页

鉴于数据传输总线的诸多优点,未来的弹载控制系统采用总线式网络化控制方式成为一个重要的发展方向。在该类系统的设计过程中,必须对各类设计方案进行形式化建模和性能评价。以确定与随机Petri网为理论工具,建立了基于1553B总线的弹载... 鉴于数据传输总线的诸多优点,未来的弹载控制系统采用总线式网络化控制方式成为一个重要的发展方向。在该类系统的设计过程中,必须对各类设计方案进行形式化建模和性能评价。以确定与随机Petri网为理论工具,建立了基于1553B总线的弹载控制系统在非周期性消息和周期性消息同时存在的复杂情况下的形式化模型,并在模型基础上推导出了相关的性能指标公式。通过对指标的分析,为弹载控制网络的设计和优化提供了理论依据。 展开更多

关键词 弹载控制网络 确定与随机petri网 性能指标 1553B总线

在线阅读 下载PDF 职称材料

基于随机高级Petri网的ATM网络接纳控制过程模型 被引量：6

3

作者 林闯 张元生 《通信学报》 EI CSCD 北大核心 1998年第12期1-7,共7页

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这... 本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。 展开更多

关键词 ATM网络 接纳控制 petri网 层次模型

在线阅读 下载PDF 职称材料

具有测试弧的确定与随机Petri网 被引量：1

4

作者 周悦 于海斌 王天然 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第z1期902-903,共2页

将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果。这不仅增强了Petri网的描述能力,而且为Petri网的理论分析奠定了基础。

关键词 确定与随机petri网DSPN 测试弧

在线阅读 下载PDF 职称材料

转移具有确定性时延的随机Petri网近似算法 被引量：1

5

作者 李忠勇 李人厚 《计算机学报》 EI CSCD 北大核心 1997年第4期367-375,共9页

本文对含有确定时延的随机Ｐｅｔｒｉ网（ＤＳＰＮ）提出了一种进行解析分析的近似算法．此方法把含确定时延的随机Ｐｅｔｒｉ网转换成为其精度可任意逼近原模型的广义随机Ｐｅｔｒｉ网，使其与连续时间马尔可夫链同构．文中对令牌总线... 本文对含有确定时延的随机Ｐｅｔｒｉ网（ＤＳＰＮ）提出了一种进行解析分析的近似算法．此方法把含确定时延的随机Ｐｅｔｒｉ网转换成为其精度可任意逼近原模型的广义随机Ｐｅｔｒｉ网，使其与连续时间马尔可夫链同构．文中对令牌总线高速局域网构造了其ＤＳＰＮ模型，并用本文提出的方法对此模型进行了分析．文中亦给出了分析和例题，说明此近似算法的可行性． 展开更多

关键词 确定时延 随机petri网 petri网 令牌总线 局域网

在线阅读 下载PDF 职称材料

CERNET的Petri网建模及性能指标评估

6

作者 李忠勇 李人厚 《西安交通大学学报》 EI CAS CSCD 北大核心 1997年第10期23-29,共7页

构造了ＣＥＲＮＥＴ的性能指标评估Ｐｅｔｒｉ网模型，并据现有的统计资料得出了模型的具体参数．提出了一种计数禁止弧的新概念，并给出了它的一系列基本性质．最后，通过对Ｐｅｔｒｉ网模型的求解，给出了未来中国教育科研网的几个重... 构造了ＣＥＲＮＥＴ的性能指标评估Ｐｅｔｒｉ网模型，并据现有的统计资料得出了模型的具体参数．提出了一种计数禁止弧的新概念，并给出了它的一系列基本性质．最后，通过对Ｐｅｔｒｉ网模型的求解，给出了未来中国教育科研网的几个重要的性能指标．通过对性能曲线的分析。 展开更多

关键词 petri网 性能指标 CERNET 计算机网络 评估

在线阅读 下载PDF 职称材料

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

7

作者 何华 林闯 +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网的AFDX航电系统建模研究

8

作者 王瑞杰 姚淑珍 谭火彬 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期254-257,共4页

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而... 通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。 展开更多

关键词 确定随机petri网 AFDX 虚链路 建模方法

在线阅读 下载PDF 职称材料

基于层次广义随机Petri网的测试性建模新方法 被引量：13

9

作者 翟禹尧 史贤俊 +1 位作者 秦玉峰 吕佳朋 《兵工学报》 EI CAS CSCD 北大核心 2020年第1期161-170,共10页

针对目前装备系统采用层次化、模块化设计,维修级别与测试性建模复杂度大大提高的问题,提出一种基于层次广义随机Petri网(HGSPN)的测试性建模方法。将主流模型和广义随机Petri网(GSPN)模型进行对比,阐明主流模型存在的问题,以及选择GSP... 针对目前装备系统采用层次化、模块化设计,维修级别与测试性建模复杂度大大提高的问题,提出一种基于层次广义随机Petri网(HGSPN)的测试性建模方法。将主流模型和广义随机Petri网(GSPN)模型进行对比,阐明主流模型存在的问题,以及选择GSPN模型的原因;对装备进行层次划分,建立分层GSPN模型;系统及其组成元件存在多个故障模式,为区分这些故障模式提出一套完整编码方案;给出可达性算法获取层次相关性矩阵,运用测试性评估数学模型得到各层级的测试性水平,将各层级的测试性信息汇总,得到装备完整的测试性水平。以某型导弹发动机系统为例,建立其HGSPN模型,并对测试性指标进行确定,得到100%的故障检测率和66.7%的故障隔离率,验证了所提建模方法和相应算法的有效性。 展开更多

关键词 测试性建模 主流模型 层次广义随机petri网 编码方案 可达性算法 相关性矩阵

在线阅读 下载PDF 职称材料

基于确定与随机Petri网的CAN总线建模及性能研究

10

作者 陆洁 《燕山大学学报》 CAS 2008年第6期497-502,共6页

针对CAN总线协议栈结构,利用确定与随机Petri网(DSPN)对其进行建模,得出CAN总线的DSPN紧缩模型。通过软件DSPNexpress-NG得出吞吐量、平均延迟及消息成功传输概率等性能参数,揭示了CAN总线工作的统计规律。

关键词 CAN总线 确定与随机petri网 紧缩模型 DSPNexpress-NG

在线阅读 下载PDF 职称材料

基于多层级使命任务线程的总体任务成功性评估

11

作者 丛林虎 陈宇奇 +2 位作者 陈黎明 陈育良 王朝 《系统工程与电子技术》 EI CSCD 北大核心 2024年第2期616-630,共15页

针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarc... 针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarchical deterministic and stochastic Petri nets,HDSPN)的装备SoS任务线程建模方法,构建面向多层级使命任务的装备SoS任务线程模型。然后,结合基于可达性分析算法(reachability analysis algorithm,RAA)的装备SoS总体任务成功性仿真评估算法,启动仿真模型运行,实现对装备SoS总体任务成功性的有效评估,并通过案例分析,验证了模型的适用性。 展开更多

关键词 装备体系 任务成功性评估 任务线程建模 层次确定与随机petri网

在线阅读 下载PDF 职称材料

CAN总线的CSMA/CA通信过程的DSPN建模与性能分析 被引量：7

12

作者 周悦 于海斌 +1 位作者 王天然 吴成东 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第9期990-995,共6页

针对采用CSMA/CA协议的CAN总线通信过程进行建模及性能分析,应用确定与随机Petri网DSPN,对每个节点进行确切的描述,构成一个单网段复合模型,并在此基础上构建一个简化的紧缩模型。仿真实验验证了紧缩模型能够很好地逼近复合模型,且求解... 针对采用CSMA/CA协议的CAN总线通信过程进行建模及性能分析,应用确定与随机Petri网DSPN,对每个节点进行确切的描述,构成一个单网段复合模型,并在此基础上构建一个简化的紧缩模型。仿真实验验证了紧缩模型能够很好地逼近复合模型,且求解时间短,可以通过紧缩模型进行CAN总线系统吞吐量、平均信息时延、通信冲突率和网络利用率的定量和定性分析。 展开更多

关键词 CSMA/CA 确定与随机petri网DSPN 网络性能

在线阅读 下载PDF 职称材料

飞行作战任务过程的工作流网模型 被引量：3

13

作者 张源原 吴文海 +1 位作者 刘锦涛 周思羽 《系统工程与电子技术》 EI CSCD 北大核心 2016年第6期1320-1325,共6页

建立飞行作战任务过程模型是综合运用态势评估、故障诊断等技术设计新一代智能座舱的基础,同时也可应用于飞行员的行为预测及评估。本文以战术轰炸任务为例,介绍了工作流网技术在飞行作战任务建模上的应用。针对传统Petri网不能体现态... 建立飞行作战任务过程模型是综合运用态势评估、故障诊断等技术设计新一代智能座舱的基础,同时也可应用于飞行员的行为预测及评估。本文以战术轰炸任务为例,介绍了工作流网技术在飞行作战任务建模上的应用。针对传统Petri网不能体现态势变化对飞行员行为的影响,本文设计了带非齐次弧的分层Petri网应用于战术轰炸任务过程的工作流网建模中,使子网变迁的平均实施速率可以随着航线状态的变化而变化,同时给出了利用可达性定理证明工作流网合理性的方法。在子网中,设计了变λ随机Petri网应用于飞行员执行任务过程的建模中,并利用该模型分析了飞行员的稳定工作状态,为飞行员行为预测、评估建立基础。 展开更多

关键词 工作流网 非齐次弧 变λ随机petri网 分层petri网

在线阅读 下载PDF 职称材料

基于DSPN的CAN/LIN网络建模及性能分析 被引量：5

14

作者 韩江洪 唐璐 +1 位作者 王跃飞 张本宏 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第3期350-353,共4页

文章针对广泛应用的CAN/LIN网络,阐述CAN和LIN网络通信机制,采用确定与随机Petri网DSPN对其分别建模,并根据协议规范设定参数,对所建模型仿真实验,获得CAN和LIN网络吞吐量、消息平均传输延迟以及有效消息率等性能指标。结果表明,CAN在... 文章针对广泛应用的CAN/LIN网络,阐述CAN和LIN网络通信机制,采用确定与随机Petri网DSPN对其分别建模,并根据协议规范设定参数,对所建模型仿真实验,获得CAN和LIN网络吞吐量、消息平均传输延迟以及有效消息率等性能指标。结果表明,CAN在其能力范围内可保证高优先级消息的实时性和稳定性,LIN的实时性由消息负荷决定,所得性能参数可为实际应用提供理论指导。 展开更多

关键词 控制器局域网 局部互联网络 确定与随机petri网 性能分析

在线阅读 下载PDF 职称材料

时间触发CAN总线系统的建模与性能分析 被引量：3

15

作者 刘鲁源 王晓欣 马津艳 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期632-635,共4页

时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机Petri网理论建立了时间触发CAN总线系统的模型,通过仿真... 时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机Petri网理论建立了时间触发CAN总线系统的模型,通过仿真对异步相中非周期性消息传输进行吞吐量和平均延时等性能分析,得出了相应的量化规律,其结论对时间触发CAN总线系统的分析与设计具有指导意义。 展开更多

关键词 CAN总线 事件触发 确定与随机petri网 时间触发

在线阅读 下载PDF 职称材料

多主站PROFIBUS-DP通信协议实时性能分析 被引量：2

16

作者 孙东辉 韦雪洁 +1 位作者 赵秀芬 齐继桃 《计算机工程与设计》 CSCD 北大核心 2009年第10期2368-2370,2374,共4页

基于离散时间确定与随机Petri网(DDSPN)对PROFIBUS-DP通信过程进行建模和分析。通过网络协议仿真软件WIN-TTPN对其通信实时性能分析与评价,通过分析实时性能指标参数,即令牌循环时间、高低优先级报文数、出错率、主站数目和超时时间等,... 基于离散时间确定与随机Petri网(DDSPN)对PROFIBUS-DP通信过程进行建模和分析。通过网络协议仿真软件WIN-TTPN对其通信实时性能分析与评价,通过分析实时性能指标参数,即令牌循环时间、高低优先级报文数、出错率、主站数目和超时时间等,有效地分析PROFIBUS-DP总线系统的实时性能,为实际工程应用提供有价值的理论与方法。 展开更多

关键词 PROFIBUS 建模 确定与随机petri网 总线循环时间 总线存取效率

在线阅读 下载PDF 职称材料

基于SHCPN的系统动态可靠性建模及分析 被引量：3

17

作者 林长春 罗朝平 +1 位作者 仇悦 张明清 《计算机工程》 CAS CSCD 北大核心 2010年第3期34-36,共3页

针对传统复杂可修系统可靠性建模方法只能建立系统静态分析模型的问题,提出基于随机层次着色Petri网(SHCPN)的动态可靠性建模方法,并在讨论SHCPN形式化定义和建模方法的基础上,描述利用该方法建立复杂可修系统动态可靠性分析模型的过程... 针对传统复杂可修系统可靠性建模方法只能建立系统静态分析模型的问题,提出基于随机层次着色Petri网(SHCPN)的动态可靠性建模方法,并在讨论SHCPN形式化定义和建模方法的基础上,描述利用该方法建立复杂可修系统动态可靠性分析模型的过程。实验结果证明该方法可有效解决以往系统可靠性建模中存在的不足。 展开更多

关键词 动态可靠性建模 随机层次着色petri网 延时变迁 随机分布函数

在线阅读 下载PDF 职称材料

基于DSPN的IEEE 802.11通信过程的建模与性能分析 被引量：1

18

作者 周悦 单丹 +1 位作者 单泷 阚凤龙 《沈阳建筑大学学报（自然科学版）》 CAS 北大核心 2009年第3期590-594,共5页

目的针对基于四向握手的RTS/CTS方式的IEEE 802.11通信协议系统进行建模与性能分析.方法应用确定与随机Petri网DSPN,对单节点进行了确切的描述,进而构成复合模型,采用伤停补时的思想有效地描述退避行为.结果仿真实验获得了IEEE 802.11... 目的针对基于四向握手的RTS/CTS方式的IEEE 802.11通信协议系统进行建模与性能分析.方法应用确定与随机Petri网DSPN,对单节点进行了确切的描述,进而构成复合模型,采用伤停补时的思想有效地描述退避行为.结果仿真实验获得了IEEE 802.11通信系统中负载与端到端信息时延和吞吐量之间的定量关系,即平均端到端信息时延随着信息到达间隔的增加而增加,端到端吞吐量随着信息到达间隔的增加而减少.结论所建模型能够有效地描述和分析IEEE 802.11通信机制,为协议的改进和实际工程应用提供指导. 展开更多

关键词 CSMA/CA 分布式协调功能DCF 确定与随机petri网DSPN 网络性能

在线阅读 下载PDF 职称材料

基于DSPN的CAN总线通信行为建模与性能分析 被引量：1

19

作者 周悦 贾月峰 《沈阳建筑大学学报（自然科学版）》 EI CAS 2006年第5期837-840,共4页

目的分析CAN总线的通信协议,为改进和实践工程应用提供有价值的理论、方法.方法基于确定随机Petri网(DSPN),对其通信过程进行建模,通过仿真实验进行网络性能分析.结果得出信息到达间隔、通道忙概率、高优先级发送引起的受阻率与网络性... 目的分析CAN总线的通信协议,为改进和实践工程应用提供有价值的理论、方法.方法基于确定随机Petri网(DSPN),对其通信过程进行建模,通过仿真实验进行网络性能分析.结果得出信息到达间隔、通道忙概率、高优先级发送引起的受阻率与网络性能指标吞吐量和通信冲突率之间的关系.结论模型能够有效地描述和分析CAN总线的通信机制,为CAN总线组网提供有价值的参考. 展开更多

关键词 CAN总线 确定随机petri网 建模 网络性能

在线阅读 下载PDF 职称材料

基于DSPN的WorldFIP总线MAC子层的建模与分析 被引量：1

20

作者 周悦 吴齐 杨少文 《沈阳建筑大学学报（自然科学版）》 CAS 2007年第3期518-521,共4页

目的针对WorldFIP现场总线通信介质访问控制MAC子层通信过程进行建模与性能分析.方法WorldFIP总线采用集中式MAC机制,即由总线活动仲裁器按照一个预定的扫描变量表,控制周期性信息和非周期性信息在总线上的传递.通过应用确定与随机Petri... 目的针对WorldFIP现场总线通信介质访问控制MAC子层通信过程进行建模与性能分析.方法WorldFIP总线采用集中式MAC机制,即由总线活动仲裁器按照一个预定的扫描变量表,控制周期性信息和非周期性信息在总线上的传递.通过应用确定与随机Petri网DSPN,根据微周期内周期窗口的情况,分别建立基于相等周期窗口、不等周期窗口和非零起始周期窗口的单网段WorldFIP总线通信过程DSPN模型.结果仿真实验获得了WorldFIP总线系统吞吐量、平均非周期信息时延和网络利用率与非周期性信息负载之间的定量关系.结论所建模型能够有效地描述和分析WorldFIP总线系统的通信机制,为工业控制网络通信协议的改进和实际工程应用提供了指导. 展开更多

关键词 集中令牌协议 确定与随机petri网 DSPN 建模 网络性能

在线阅读 下载PDF 职称材料