共查询到20条相似文献,搜索用时 93 毫秒
1.
马淑萍 《北京工商大学学报(自然科学版)》2000,18(2):46-52
以往研究人员可靠性基本采用静态方法 ,提出一种动态方法—— Petri网来研究人员可靠性 .在介绍 Petri网基本概念的基础上 ,以碱回收炉操作中出现的人员可靠性问题为例 ,说明在人员可靠性研究中 ,Petri网是一种更为有效的工具 相似文献
2.
井下煤仓堵塞原因分析及对策探讨 总被引:1,自引:0,他引:1
柴银亮 《科技情报开发与经济》2004,14(11):235-236
分析了煤矿井下煤仓堵塞发生的原因,提出了煤仓堵塞的处理办法及防止煤仓堵塞的施工建议。 相似文献
3.
许多工程系统的重要特征是具有动态行为,因而不能用故障树模型进行这类系统的可靠性分析.本文讨论用Petri网方法作为建模工具来描述单调关联故障树,并且考虑配置维修设备.可修系统的动态行为可以借助Petri网模型和等价的马尔可夫链进行研究. 相似文献
4.
基于Petri网的城市轨道交通系统运营可靠性模型 总被引:2,自引:0,他引:2
提出了一种可用于城市轨道交通系统(UMT)可靠性分析的Petri网模型(hierarchical object—oriented petri net,HOPN).该模型将UMT分为多个对象类,各对象类的Petri网采用库所替换方法逐层嵌套细化,拼装后组成UMT可靠性分析模型. 相似文献
5.
以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法. 相似文献
6.
由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径. 相似文献
7.
8.
9.
本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进,分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。 相似文献
10.
给出了对偶Petri网的加法,笛卡尔积,并运算及有关性质,得到了对偶Petri网运算具有结构性质的条件 相似文献
11.
基于随机Petri网可修控制系统的可用度计算 总被引:4,自引:1,他引:4
提出了一种基于随机Petri网的可修控制系统的稳态可用度的计算方法。该方法利用随机Petri网作工具来分析系统的状态变化关系,从而得出相应的Markov链状态转移图,再利用由此得来的状态概率矩阵方程求解,计算较为简单。 相似文献
12.
研究了一种基于Petri网的协议辅助设计工具Peton的实现细节。该研究是对计算机辅助协议工程(CAPE)方法学的一种有益的尝试. 相似文献
13.
文章通过分析 Petri网和 OMT建模工具的特点 ,提出一种 Petri网与 OMT相结合的建模方法 ,并用该法对具有计算机视觉的 FMS建模 ,使模型不仅能充分体现系统的动态属性 ,而且具有良好的可重用性 相似文献
14.
通过引入数字位置,数字变迁和采样周期等概念,提出一种新型Petri网——数字Petri网(DPN),分析该网的特点及其运行规则,并用该网对数字控制系统进行建模. 相似文献
15.
哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型,并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。 相似文献
16.
电子电路故障诊断的模糊Petri网模型 总被引:1,自引:0,他引:1
侯俊勇 《聊城大学学报(自然科学版)》2001,14(2):44-46
提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机. 相似文献
17.
针对计算机网络可靠性难以评估的问题,提出采用广义随机Petri网(generalized stochastic petri net,GSPN)分析计算机网络可靠性。研究了GSPN模型要素的用法,建立了典型计算机网络逻辑系统GSPN模型,有效地描述了计算机网络的动态行为。以某计算机网络为例,仿真验证了所提方法的有效性。 相似文献
18.
对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。 相似文献
19.
基于Petri网的ECA规则集终止性分析 总被引:2,自引:0,他引:2
对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好. 相似文献
20.
二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解. 相似文献