随机Petri网:研究现状和面临的挑战

近来,随机Ｐｅｔｒｉ网正逐渐成为描述和分析那些具有并发、同步和冲突等特征的系统的广泛而强有力的工具,其在Ｃ３Ｉ系统、柔性制造系统、计算机系统及通讯等诸系统中的各个领域的应用都已取得了显著的成功。然而,随机Ｐｅｔｒｉ网的状态空间的组合爆炸作为主要问题正阻碍着大型随机Ｐｅｔｒｉ网精确解的求取,进而限制了该类Ｐｅｔｒｉ网作为建模和性能评估工具的广泛使用。在本文中,首先回顾了随机Ｐｅｔｒｉ网的发展历程以及随机Ｐｅｔｒｉ网的主要子类和相应的解决方法,然后明确指出了目前随机Ｐｅｔｒｉ网在理论和应用中遇到的困难,并进一步阐述了克服该困难的三种主要方法的研究现状和发展前景。     

用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质     

基于规则专家系统的广义随机Petri网仿真分析模型

利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模,将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中,通过对该模型的计算机仿真分析,可对系统的可靠性及性能进行评价。     

离散事件动态系统的Petri网模型实现

事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观，方便地表示为状态转移图。本文给出了从状态转移图到Ｐｅｔｒｉ网模型的离散事件系统实现方法。     

Petri网：一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法     

用Petri网研究组织结构形式

从一般管理组织结构出发，得出其结构的本质，并且将它与Ｐｅｔｒｉ网和随机Ｐｅｔｒｉ网联系．用Ｐｅｔｒｉ网来研究组织结构问题．     

随机Petri网仿真分析方法的研究

本文主要讨论的是用计算机仿真技术作为随机Ｐｅｔｒｉ网分析工具的新方法，介绍了用ＧＰＳＳ程序块来仿真一个随机Ｐｅｔｒｉ网的模型。并给出了用这种方法分析通信模型的实例。     

离散事件系统任务处理瓶颈分析

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法,讨论了在处理能力等价意义下将一类结构有决策且有环的ＳＰＮ变换成结构无决策且无环的ＳＰＮ的实现方法．最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例．     

柔性制造系统与Petri网概述

本文概述了制造系统及其运行特征，归纳了Ｐｅｔｒｉ网的优点，然后，详细介绍了Ｐｅｔｒｉ网在柔性制造系统的建模，定性分析，性能评估和控制中的应用状况；最后，讨论了柔性制造系统中Ｐｅｔｒｉ网应用研究的发展动态。     

相邻k-out-of-n:F多状态可修系统的可靠性分析

针对相邻k-out-of-n:F多状态可修系统可靠性指标计算难的问题,提出了两种求解该系统可靠性指标的方法。当系统部件寿命和修理时间都服从指数分布时,方法一首先利用马尔可夫过程理论获得部件的可用度,再用部件的可用度获得系统的瞬态、稳态可用度;方法二针对状态空间巨大的情况,先以一定的标准对状态空间进行截尾,再应用马尔可夫模型获得系统的稳态可用度、首次故障前平均时间、稳态故障频度等可靠性指标。最后通过数值算例说明了所提出方法的有效性。     

ANALYSIS OF BOUNDARY SHAPE OF SOLUTIONS OF NONLINEAR PERTURBATION PROBLEM

ＡＮＡＬＹＳＩＳＯＦＢＯＵＮＤＡＲＹＳＨＡＰＥＯＦＳＯＬＵＴＩＯＮＳＯＦＮＯＮＬＩＮＥＡＲＰＥＲＴＵＲＢＡＴＩＯＮＰＲＯＢＬＥＭ￥ＨＥＣｈｅｎｇ；ＺＨＡＮＧＷｅｉｔａｏ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ...     

THE DISTRIBUTION OF LIMIT POINTS OFINCREMENTS OF LOCAL TIME OF THE WIENER PROCESS

ThisresearchissupportedbythePostdoctoralGrantofChina.1.IntroductionLetW(t)for05t相似文献   

对一种改进层次分析法误导的理论分析

揭示了基于最优传递矩而建立的改进层次分析法产生误导的原因，从理论上否定了该法的一些错误论断。     

CONVERGENCY OF THE MAXIMUM OF PERIODOGRAM

ＣＯＮＶＥＲＧＥＮＣＹＯＦＴＨＥＭＡＸＩＭＵＭＯＦＰＥＲＩＯＤＯＧＲＡＭ￥ＨＥＳｈｕｙｕａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＰｒｏｂａｂｉｌｉｔｙａｎｄＳｔａｔｉｓｔｉｃｓ，ＰｅｋｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ１００８７１，Ｃｈｉｎａ）Ａｂｓｔ...     

ADMISSIBILITY OF SIMULTANEOUS ESTIMATION OF SEVERAL LOSSES

In this paper,admissibility and inadmissibility results of simultaneous estimation oflosses of multivariate normal mean estimators are given.Admissible estimators for losses ofusual estimators of multivariate gamma parameters,multivariate binomial parameters andPoisson parameters are obtained respectively.     

BLOW-UP OF SOLUTIONS OF THE IGNITION MODEL

By use of maximum principle and auxiliary function method, the paper dis-cusses the blow-up sets of the solutions of the ignition model in two cases. It is obtained that the solutions blow up in single point in nonsymmetric case and that the solutions blow up totally or at a couple of points in symmetric case.     

DETERMINATION OF THE SIGN OF DIVERGENCE OF A QUADRATIC SYSTEM AT CRITICAL POINTS

Todeterminethesignofdivergenceatcriticalpointsisanimportantstepininvestigatingthestabilityofseparatrixloopsandthatoflimitcyclesgeneratedfromsuchloops(see[1--3]).JiangI4]hassolvedthisproblemforthequadraticsystemoftype(II)andaspecialboundedsystem.Thispaperwillcompletelysolvethisproblemforthegeneralcase.Themethodusedhereissimplerthanthatin[4].Considerthefollowingquadraticsystemoftype(ill):x=--y 6x lxa mad y',gi~x(l ax by),(1)whereb/0.Weconsiderthecasea/0,andwithoutlossofgenerality,wemadassumea<…     

A PROPERTY OF PRODUCTS OF NEW GENERALIZED FUNCTIONS

ＡＰＲＯＰＥＲＴＹＯＦＰＲＯＤＵＣＴＳＯＦＮＥＷＧＥＮＥＲＡＬＩＺＥＤＦＵＮＣＴＩＯＮＳＬＩＹａｑｉｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ）ＡＰＲＯＰＥＲＴＹＯＦ...     

ON A CLASS OF WEIGHT HIERARCHIES OFTERNARY LINEAR CODES OF DIMENSION 4

The possible weight hierarchies of ternary codes of dimension 4 satisfying thealmost chain condition are completely determined in this paper.     

滤波器发展的两次重大飞跃

本文以无源LCF、有源RCF和有源SCF为主线,介绍了滤波器的发展过程、概况、设计方法及特点,讨论了滤波器的演变机理,并着重阐述了无源LCF到有源RCF,和有源RCF到有源SCF的两次重大飞跃,以及无源LCF到有源SCF的直接过渡,还展望了滤波器发展的前景。