【摘 要】
：
为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法.定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的
【机 构】
：
国防科技大学信息系统与管理学院,装备学院装备试验系
【基金项目】
：
国家自然科学基金资助项目(71071159,71401172)
论文部分内容阅读
为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法.定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和表决门向二元决策图模型的自动转化算法.给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤：基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型.卫星姿态调整任务的可靠性分析表明：该方法可以有效应用于多阶段任务系统的可靠性分析.
其他文献
目的 :探讨荨麻疹患者的细胞免疫功能。方法 :对 60例荨麻疹患者用流式细胞仪检测外周血T淋巴细胞及其亚群并与 40例健康志愿者作对照。结果 :荨麻疹患者CD3 + 及CD4+ 细胞明
通过列举思维导图在课程设计和复习课中的应用实例,展现了思维导图在物理教学中的魅力。思维导图可以不断完善教师的教学设计,可以充分发挥学生的学习自主性,可以促进师生关
进入21世纪,人类面临能源危机、生态环境恶化等的严峻挑战,如何解决上述问题是社会各界尤其是科技界的历史使命。当前人们迫切需要开发出资源节约型和环境友好型的新型功能材
<正>在全球化时代,中国推动的"一带一路"建设与俄罗斯、美国、印度具有诸多共同利益,积极寻求利益切合点的合作,将分歧控制在秩序的范围内,将会推动"一带一路"建设的健康发展
目的观察调神益智针刺法治疗血管性痴呆的临床疗效。方法将52例血管性痴呆患者随机分为治疗组和对照组,每组26例。治疗组采用调神益智针法治疗,取头针(额三针、顶三针、颞三
作文是学生学习水平和语言文字表达能力的综合体现,是小学语文教学的重、难点,在语文教学中占有突出地位。现今新课程改革的逐渐深入对作文教学提出了新的要求,要求我们教师
目的:探讨骨科病房人文关怀护理模式的构建与成效。方法:选取医院骨科2014年8月~2015年8月收治的258例住院患者,采用随机数字法将其分为观察组和对照组,每组各129例,对照组患
绿色发展是生态文明建设的重要组成部分,构建绿色发展模式的关键在于调整投资、出口和消费的重点和方向,促进发展方式转变,推进绿色技术和产业,破解日益突出的资源能源环境难
目的:比较长托宁和阿托品全麻前给药对气管插管和拔管反应的影响。方法:选择全麻下行择期胆囊切除术患者48例,分为两组,Ⅰ组和Ⅱ组于麻醉前30min分别肌注长托宁和阿托品0.5mg
目的评价多索茶碱对全麻机械通气下慢性阻塞性肺疾病（COPD）患者呼吸动力学的影响。方法选择全麻下行下腹部手术的COPD患者120例,随机为三组:对照组（A组,氯化钠注射液）、多索茶碱