孟礼
- 作品数：4 被引量：11H指数：1
- 供职机构：国防科学技术大学信息系统与管理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自然科学总论航空宇航科学技术理学一般工业技术更多>>
- 多阶段任务系统可靠性分析的二元决策图模型被引量：9
- 2017年
- 为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。
- 孟礼
- 关键词：多阶段任务系统二元决策图数据结构
- 基于OBDD的可修航天测控系统任务可靠性分析被引量：1
- 2016年
- 基于顺序二元决策图(OBDD)理论,针对航天测控系统(TT&C系统)特点定义了新的OBDD数据结构,提出了一种考虑设备可修的TT&C系统任务可靠性分析方法.通过将各测控站的时间窗口划分为不同阶段,分析各阶段内设备逻辑关系并构建阶段OBDD模型,然后将所有阶段OBDD模型合并为最终的任务OBDD模型.采用连续时间Markov链(CTMC)分析可修设备的状态转移行为,基于新的OBDD数据结构给出了任务可靠性计算算法.与Markov方法和仿真方法的对比分析结果表明:所提出的方法能够精确计算设备可修的TT&C系统任务可靠性,设备数量多于30个时算法效率高于Markov方法.
- 孟礼武小悦
- 关键词：航天测控系统
- 带有互补边的共享OBDDs及数据结构
- 2013年
- 顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难,提出了一种带有互补边的共享OBDDs的数据结构,并定义了一组OBDDs节点的关键属性,该数据结构融合了共享OBDDs和带有互补边的OBDDs的特点。最后通过存储空间实例对比分析,证明了该数据结构能够有效描述和存储大规模OBDDs数据。
- 孟礼武小悦
- 关键词：数据结构
- 基于BDD算法的航天测控系统任务可靠性建模与分析被引量：1
- 2015年
- 提出了一种航天测控系统的层次化建模方法,以及测控任务可靠性二元决策图(BDD)分析算法。在模型底层描述了测控系统的结构和任务需求信息,模型顶层将测控资源与任务进行统一,将测控单元任务弧段切割成不同阶段,建立了任务可靠性的故障树模型。采用ITE算法将故障树模型转换为BDD模型,并给出了BDD模型的计算方法。最后,运用实例说明了方法的有效性,进行了测控任务可靠性的灵敏度分析,找出了系统的薄弱环节。
- 孟礼武小悦
- 关键词：测控系统二元决策图
