多阶段任务系统可靠性分析的ROBDD算法

来源 :国防科技大学学报 | 被引量 : 0次 | 上传用户:chongyou2026
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(BinaryDecisionDiagram,BDD)模型和底层部件Mako模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节
其他文献
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议
党的建设新的伟大工程在“四个伟大”中起决定性作用,全面从严治党是协调推进“四个全面”战略布局的重大战略举措。制度建设贯穿全面从严治党的各方面和全过程,是新时代加强
目的了解癌症患者对终末期治疗和死亡的态度,为临终关怀的开展提供实证依据。方法采用自行设计的问卷对302例癌症患者进行调查。结果大部分患者既赞同无痛苦、有尊严的安乐死
目的观察经鼻气管插管改良固定方法的临床效果。方法将84例经鼻气管插管患者随机分为观察组和对照组,观察组69例,对照组66例,观察组采用改良方法固定气管插管,对照组采用传统
母题,是指能衍生出一系列新问题的初始问题原型;子题,是指由母题所衍生出的一系列与之有关的新问题.母题到子题是知识发散的过程,子题到母题是知识归纳的过程.通过极值点偏移
习近平总书记党的作风建设思想包含一系列关于党的作风建设的新观点、新论断、新要求,主要包括:在作风问题上起决定作用的是党性,作风建设要突出问题导向,发挥领导机关、领导干部
目的测定归及乳膏中植物蛋白的含量,明确该乳膏中活性物质成分。方法应用无水乙醇溶解基质、考马斯亮蓝溶液对样品进行染色,使用紫外分光光度仪在595 nm波长处测定吸收度,计
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的:探讨多层螺旋CT在泌尿系肿瘤诊断中的应用价值.材料与方法:2010年7月~2013年7月间,我院收治的泌尿系肿瘤患者40例均行多层螺旋CT检查,与手术病理结果进行比较.结果:40例患者