冗余可修系统可用度的随机Petri网建模与分析

来源 :系统工程学报 | 被引量 : 0次 | 上传用户:nj84219
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于随机Petri网,提出了一种较为简单的计算冗余可修系统稳态可用度的方法.该方法由于利用了随机Petri网作工具来分析系统状态之间的转移过程,从而使过程清晰明了,鉴于Petri网模型,利用Markov理论可方便地得到状态概率矩阵方程 Based on Stochastic Petri Net, a simple method to calculate the steady state availability of redundant repairable systems is proposed. Due to the use of stochastic Petri nets as a tool to analyze the transfer process between system states, this method makes the process clear and clear. In view of the Petri net model, Markov theory can be used to easily obtain the state probability matrix equation
其他文献
氧是一种环境刺激及发育信号,氧能调节细胞的能量产生、生长和分化过程并调控细胞的生物学表型性状。生物经过长期进化,已形成一套完整的氧感受机制及在不同氧环境下的基因表达
本文探讨了低氧对人树突状细胞迁移活性影响的机制。本研究在低氧环境下,以人外周血单核细胞来源的DCs在rhGM-CSF、rhIL-4、TNF-α等诱导下进行培养,用流式细胞仪检测不同条件
以由串行生产线抽象而成的串联水箱系统为例,讨论了一类混杂系统(HS)建模的规律,从中探讨混杂系统建模的一般原则. Taking the tandem water tank system abstracted from a serial
目的:Rh血型系统是人类最复杂的红细胞血型系统,也是输血医学最重要的血型系统之一,Rh血型抗原特别是RhD抗原(ISBT004.001;RH1)具有很强的免疫原性,是临床上引致新生儿溶血病、溶
目的:通过检测糖尿病发病过程中Nampt,NF-κBp65,Sirt1基因表达变化,探讨Nampt对NF-κBp65和Sirt1基因的调控作用,为揭示糖尿病肾病的发病机理和新的治疗方法提供理论依据。
目的:鉴于纤维介素蛋白(fgl2)与严重急性呼吸综合征(severeacuterespiratorysyndrome,SARS)患者血栓形成有密切联系,本课题旨探索SARS冠状病毒结构蛋白与人纤维介素基因(hfgl2)
前言 大气污染一直是世界各国关注的环境问题,但对于大气混合污染物导致肺损伤机制的研究在国内还很少。随着工业的快速发展和人民生活水平的不断提高,工业、生活、交通和建
该研究采用聚合酶链反应-单链DNA构象多态性(PCR-SSCP)分析方法对中国不同自然隔离区日本血吸虫的线粒体DNA中细胞色素C氧化酶亚基I(COI)和NADH脱氢酶亚基I(NDI)基因片段进行
以长春花为研究对象,分析其密码子使用偏好性,以期为相关基因的异源表达、基因的预测、物种的进化研究提供指导。该研究以长春花的30 437条蛋白质编码序列为数据来源,对长春
背景和目的 现已明确,幽门螺杆菌感染(Helicobacter pyroli,Hp)是慢性活动性胃炎和消化性溃疡的主要病因,与胃癌和粘膜相关淋巴组织(MALT)淋巴瘤的发生密切相关,1994年WHO已将Hp