共查询到19条相似文献,搜索用时 185 毫秒
1.
一种C3I系统仿真模型生成方法 总被引:3,自引:1,他引:2
C3 I系统是一类复杂的大系统 ,借助模型和仿真手段对其进行研究是最有效的途径 ,但直接建立仿真模型往往极其困难。分析了活动模型和对象Petri网模型在C3 I系统中的应用 ,提出了一种间接生成对象Petri网仿真模型的方法 ,即首先建立活动模型 ,在此基础上生成可执行对象Petri网模型 ,然后对C3 I系统进行仿真。 相似文献
2.
3.
4.
在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。 相似文献
5.
6.
7.
8.
多Agent系统形式化建模方法研究 总被引:2,自引:0,他引:2
简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(Multi-Agent Systems Architecture Model,MASAM)。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。 相似文献
9.
10.
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。 相似文献
11.
Petri网是离散事件系统建模与分析的有效工具之一.本文介绍了随机Petri网瓶颈的概念,给出了一般随机Petri网最大处理能力的数学模型,研究了具有多路输入源之SPN的瓶颈与处理能力分析的快速算法,讨论了在处理能力等价意义下将一类结构有决策且有环的SPN变换成结构无决策且无环的SPN的实现方法.最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例. 相似文献
12.
流程仿真的多层次PERT-Petri网模型 总被引:3,自引:0,他引:3
复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。 相似文献
13.
基于Petri网的半导体晶圆制造系统建模与分析 总被引:2,自引:0,他引:2
晶圆制造生产线由于存在回流、并发、资源共享、随机性的重做以及突发性设备故障等现象,使得生产管理及调度问题变得极为复杂。建立描述系统的模型是优化系统性能的前提,指出了用Petri网建立晶圆制造系统模型的优点,建立了一个拥有4个工作中心、8台设备的晶圆制造系统Petri网模型,并对模型进行分析。最后提出了下一步的工作目标。 相似文献
14.
用CIMOSA和随机PETRI网对CIM系统进行行为建模 总被引:1,自引:0,他引:1
利用CIMOSA建模框架和建模语言,一个企业的集成模型能够被建立.用过程规则集能够对企业模型进行行为分析.为了进一步对CIMOSA企业模型的操作进行分析,本文提出了将CIMOSA企业模型转换为等价的随机Petri网模型的系统方法.这种方法是一种将“bot-tom-up”和“top-down”建模方法混合使用Petri网综合技术.由这种方法得到的Petri网模型能够保持初始Petri网的某些定性结构性质 相似文献
15.
基于Petri网的直升机反潜仿真 总被引:4,自引:0,他引:4
Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的可视化描述能力,它可以通过标记在网内的流动揭示系统的动态行为。而直升机反潜过程是一个复杂的离散事件过程,包括了搜索、跟踪、定位和攻击四个阶段,各阶段之间的转换是由各种战术规则和随机战场态势所决定的,具有并行、异步和冲突竞争等特点,采用传统的排队论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上,提出了处理并行和竞争变迁的实施原则,实现了直升机反潜过程描述的可视化。 相似文献
16.
针对北斗三号系统中轨道Walker导航星座的备份策略问题,提出基于随机时间Petri网(stochastic timedPetrinet,STPN)的分析评估方法.通过构建单星、轨道面和导航星座的3层STPN模型,分析不同备份策略下星座运行的逻辑行为特性和操作事件的时序关系.建立导航星座的可用性模型和运行成本模型,作为... 相似文献
17.
Petri网的公平性及分析 总被引:1,自引:0,他引:1
公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。 相似文献
18.
一类模糊Petri网的动态特性及应用 总被引:2,自引:1,他引:1
提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子. 相似文献
19.
近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。 相似文献