共查询到19条相似文献,搜索用时 203 毫秒
1.
2.
3.
面向对象Petri网继承性的研究 总被引:1,自引:1,他引:0
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活. 相似文献
4.
随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高. 相似文献
5.
6.
随机进程代数与随机Petri网 总被引:15,自引:0,他引:15
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. 相似文献
7.
基于SPN的信息系统生存性分析建模研究 总被引:1,自引:0,他引:1
研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导. 相似文献
8.
9.
基于对象Petri网的信息系统建模技术 总被引:1,自引:0,他引:1
针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。 相似文献
10.
面向对象Petri网建模技术综述 总被引:1,自引:0,他引:1
阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN,OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望. 相似文献
11.
12.
随机Petri网(SPN)可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构(FIM)方法,该方法可以约简复杂状态空间以便同构分析,最后应用该方法分析欧洲列车控制系统(ETCS)在移动闭塞区间条件下无线通信的可靠性,以验证该方法的可行性。 相似文献
13.
Wang Yuanzhuo Lin Chuang Yang Yang Shan Zhiguang 《Frontiers of Computer Science in China》2007,1(3):329-337
The grid provides an integrated computer platform composed of differentiated and distributed systems. These resources are
dynamic and heterogeneous. In this paper, a novel fault-tolerant grid-scheduling model is presented based on Stochastic Petri
Nets (SPN) to assure the heterogeneity and dynamism of the grid system. Also, a new grid-scheduling strategy, the dependable
strategy for the shortest expected accomplishing time (DSEAT), is put forward, in which the dependability factor is introduced
in the task-dispatching strategy. In the end, the performance of the scheduling strategy based on the fault-tolerant grid-scheduling
model is analyzed by an software package, named SPNP. The numerical results show that dynamic resources will increase the
response time for all classes of tasks in differing degrees. Compared with shortest expected accomplishing time (SEAT) strategy,
the DSEAT strategy can reduce the negative effects of dynamic and autonomic resources to some extent so as to guarantee a
high quality of service (QoS). 相似文献
14.
计算机网络的建模与分析 总被引:3,自引:0,他引:3
计算机网络具有既随机又相关的特点,因此选择计算机网络性能评价的数学工具要考虑到网络数据流的特性,排队模型是一种确定性的数学模型,用确定性的模型描述网络既随机又相关的动态行为是不够的。Pe#簦颍? Nets(PN)能够比较方便地刻画网络的相关录枋鐾绲木赫⑴鲎埠妥枞樱校谓肜┏浞⒄苟吹乃婊校危梢员冉戏奖愕目袒缡录乃婊裕呓岷掀鹄创酉嗟背潭壬匣汉土思扑慊缃S敕治鲋涞 相似文献
15.
本文建立了主从分布系统的随机Petri网模型,并用此分析其系统性能。此外,本文还提出了一种减少资源冲突的方法。 相似文献
16.
17.
动态飞行仿真中错配主要影响仿真效果。错配主要产生于控制网络系统的延时。因此,研究控制网络系统延时对动态飞行仿真的影响具有重大的理论和应用价值。从系统整体出发,把串并联网络结构的时间延时映射到系统流程之中,应用随机Petri网进行系统的性能分析与预测。 相似文献
18.
19.
基于随机Petri网的IEEE 802.11协议建模与分析方法 总被引:1,自引:1,他引:0
随着802.11无线局域网技术的飞速发展与广泛应用,对其进行建模与性能分析成了无线通信领域中一个重要的研究问题。文章首先提出了增强广义随机Petri网(EGSPN),增加了标识相关弧多样性和实施函数等特性,扩充了广义随机Petri网的模型功能,并给出了EGSPN的性能分析方法。建立了基于EGSPN的802.11协议模型,并以RTS/CTS访问方式下协议性能计算及结果分析为例验证了该方法的有效性。 相似文献