摘要：异步电路设计方法是现在集成电路研究的热点,得到越来越多的研究人员的关注。在异步电路设计过程中对异步流水线进行性能分析对异步电路的设计过程有着重要的指导意义,但现阶段缺乏有效的方法对异步流水线(尤其是复杂的非线性流水线)进行性能分析。而排队网络是一种能直观地对异步流水线进行建模的数学工具,但排队网络(尤其是复杂的非线性排队网络)的分析求解十分困难。本文提出了一种采用带Fork和Join的阻塞排队网络对异步流水线进行建模,采用其排队网络模型的平均周期作为异步电路的性能评价指标,并通过将其转化为等价的随机标记图对其平均周期进行分析,并给出了其平均周期的上限和下限。

摘要：在分析传统可靠性设计理论存在缺陷及面临挑战的基础上,评述动态可靠性建模主要方法。利用petri网对动态系统的描述能力,将petri网应用于系统故障分析和动态可靠性计算中,提出了基于故障petri网的动态可靠性建模方法。以某挖掘机液压系统为例,研究了制造系统故障的petri网静态描述和动态可靠性计算方法,求解得到系统可靠性数值指标。应用表明,随机petri网在故障传播描述以及系统动态可靠性分析方面具有优势。

摘要：将成本收益的分析方法应用在控制系统设计中。采用随机petri网基于控制过程及系统可靠性对道口控制系统进行建模。在可靠性建模中,基于冗余系统的冷备及热备原理对控制系统的各个部件分别进行描述。基于统计数据确定非冗余控制系统petri网模型参数。针对冷备及热备的冗余控制系统各部件的系统模型,通过仿真确定冗余系统相对非冗余系统所降低的道口事故率,继而计算出冗余控制的收益。将收益与增加设备的成本进行对比分析,结果表明,控制系统中不同部件的冷备及热备冗余都具有不同的成本收益。

摘要：为对机群协同空战指挥控制系统性能进行分析,建立了树型机群指挥控制系统组织结构,并提出了性能评价指标。运用随机petri网技术分别建立了有预警机指挥和无预警机指挥的机群协同空战指挥控制系统模型。仿真分析表明,基于预警机的机群指挥控制系统可减轻作战飞机的任务负担,且能充分发挥机载武器的超视距作战能力;也证明了随机petri网技术能够分析指挥控制系统的性能缺陷和瓶颈,从而为系统的设计和改进提供有力的支撑,是描述机群协同空战指挥控制系统问题的一种有效方法。

摘要：在研究基于软交换的集群媒体服务器的系统结构和软件结构的基础上,利用随机petri网理论为该类服务器建立了一个性能模型。为了验证模型的有效性,在北京邮电大学网络与交换国家重点实验室网络智能中心开发的基于软交换的集群媒体服务器平台上设计了两种业务类型的实验。对实验结果的分析表明,该性能模型能够反映系统的真实性能状况,是一个有效的数学模型。

摘要：针对持续发展的高性能计算带来的新需求,我们设计与实现了DCJM机群作业管理系统,并使用了多种高可用保障措施。为了验证其有效性,综合使用可靠性框图、故障树和随机petri网等工具对DCJM建模,然后基于实际测量的参数,使用统一的模型求解,对系统可用性进行了完整的评价。分析结果显示DCJM系统达到了高可用性。

摘要：由于集束型装备自身结构的复杂多变,使得对集束型装备的性能分析和产能预测变得非常困难。建立集束型装备性能分析模型是预测装备产能和辅助装备设计的有效方式之一。以可扩展的模块化方式,建立了装备的随机petri网模型,模型中引入随机变迁来描述装备活动时间的随机性;基于该模型,采用马尔可夫链分析方法,研究了装备主要性能参数如吞吐量、晶圆滞留率和利用率的理论模型。研究结果为集束型半导体装备的性能分析提供了一种有效手段。

摘要：为了进一步研究随机petri网的时间特性,引入了时间petri网、闭网、常返网、有环网、无环网等概念,证明了随机petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。

摘要：针对缺少对工业过程测量和控制系统(IPMCS)实时性评估研究的情况,提出了一种利用随机petri网评估IPMCS实时性的方法。首先利用FB为IPMCS建模,转换为SPN模型;然后利用SPN模型与马尔可夫链(MC)同构的特征,转换为MC。最后基于MC的状态转移矩阵和稳态概率,对IPMCS的实时性进行评估,得到了量化的实时性数据。以具体示例的形式来说明如何对IPMCS的实时性进行评估。这种方法能给出量化的实时性数据,可以为IPMCS的设计提供参考。

摘要：随机petri网(SPN)是一种有力的系统建模和分析工具。但SPN在应用中经常碰到状态空间爆炸问题。分解压缩技术是解决随机网状态空间指数性增长的有效方法之一。介绍了一种获得SPN可靠性模型瞬时状态的分解方法。该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围。