共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
本文介绍一种随机Petri网及其在性能分析中的应用,这种网的可达图同构于马尔柯夫链,从而可依据马氏理论求解一些性能指标。 相似文献
3.
可靠性是可信性研究的基本内涵之一,也是P2P ( Peer-to-Peer)存储系统研究的关键。P2P存储系统结点具有高动态特征,结点频繁地上下线给系统的可靠性分析带来困难。结点的暂时离线会增加副本数量,从而导致系统不必要的损耗。较多的副本数量会增加系统的可靠性,但是同时会导致系统的一致性维护成本增加。而较少的副本数量又会导致系统的可靠性显著降低。针对副本的数量和可靠性之间的关系,采用随机Pctri建立了P2P存储系统的可靠性模型并加以分析,围绕数据可靠性度量要求和数据副本的数量建立关系模型,从理论上指明研究系统可靠性的目的和基本原则,这可以在系统组建之初帮助优化系统的设计。 相似文献
4.
5.
流体随机Petri网与混合Petri网的比较分析 总被引:2,自引:0,他引:2
流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合. 相似文献
6.
7.
以Petri网为工具,通过对Petri建模和变迁规则的定义,实例分析了利用Petri网进行系统可靠性仿真的方法,并进行了数值计算。结果表明了该方法的有效性和可行性。 相似文献
8.
随机时间Petri网综述 总被引:4,自引:0,他引:4
随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。 相似文献
9.
10.
本文研究了用计算机仿真技术作为随机Petri网的分析工具,并以通用仿真语言GPSS为例,讨论了随机Petri网与GPSS程序块之间的转换,并给出了应用实例。 相似文献
11.
柔性制造系统(FMS)的实时调度问题是一个典型的并发系统(CA),亦称为离散事件动态系统(DEDS).这是一类很复杂的动态系统,本文尝试用Petri网和有色Petri网对FMS的实时调度问题建立动态模型并同时给出了代数形式的状态方程模型. 相似文献
12.
基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统。为了提高PRES+的建模能力,将抑制弧加入PRES+模型中,得到基于带抑制弧的Petri网表示的嵌入式系统PIRES+(Petri net with Inhibitor arcs based Representation for Embedded Systems)模型。PIRES+模型提高了建模和验证复杂嵌入式系统的能力,但是在建模和验证过程中存在状态空间爆炸问题。为了缓解这一问题,提出两种PIRES+模型的子网的化简规则,使得简化后的模型与原模型具有相同的可达性、实时性和功能性。 相似文献
13.
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。 相似文献
14.
网络系统的可生存性问题是系统安全领域的一个重点研究方向。讨论现有的系统可生存性的一般分析方法,确定系统的可生存属性,并采用随机Petri网(SPN)技术,分析电信交换系统生存性问题的特点。重点利用随机Petri网描述系统的失效-修复分析模型和性能分析模型,给出系统可生存性分析中主要指标的定量计算方法。系统仿真结果表明了该方法的有效、合理性。 相似文献
15.
弹道式导弹是靠预先装订的弹道数据来控制飞行的.长期实践和理论研究表明,其飞行中各变量之间的关系可用一组常微分方程组来表达,而弹道数据的解算已有一套比较成熟的数值积分法.但飞行模型只能表达导弹的随时间变化而变化的状态,无法描述系统并发和异步的工作状态.提出一种基于petri网的描述系统动态性能的理论方法.它为导弹并行控制优化和控制系统性能评估提供了有效的方法. 相似文献
16.
立体分层Petri网的对象化专家系统实现 总被引:4,自引:0,他引:4
Petri网是描述分布式系统的强有力工具,立体分层Petri网是从系统的监控、行为和运行三个侧面分析实时分布式多智能体系的建模和分析工具。将立分层Petr8网转化为对象化的高级Petri网,利用和RETE算泊结构相似性改善其软件实现方法,提高系统运行效率。 相似文献
17.
本文提出一种模型化海量并行处理(MPP)系统的广义随机Petri网技术GSPN。首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激光规则和计算公式。然后,讨论使用GSPN模型化MPP系统的技术途径和实现方案,分别阐述了GSPN形式化描述共享存储器方式和信息传递方式MPP系统的有效怀,并给出了实例。此外,我们还分析和提出了CSP(通信顺序进程)理论中主要进程与Petri网之 相似文献
18.
带时间和控制的Petri网系统及应用 总被引:1,自引:0,他引:1
Petri网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Petri网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Petri网的应用及在描述同步控制上的功能 相似文献
19.
一个基于实例推理的专家系统 总被引:4,自引:0,他引:4
该文研究了基于实例推理(Case-BasedReasoning,简称CBR)的机制,重点讨论了其在商业MIS框架生成专家系统FGSM中的应用,结合FGSM系统的研制,给出了CBR的一般实现过程。 相似文献
20.
实时专家系统是为了解决具有实时性的问题而构造的专家系统,它除了具有一般专家系统的结构和特点外,还包含了相应的实时控制机制。本文提出了三种实现方法,并讨论了一个具体的RESC转炉吹炼控制实时专家系统。 相似文献