国家自然科学基金(60904082)
- 作品数：20 被引量：77H指数：6
- 相关作者：刘东张春元张红林付剑邢维艳更多>>
- 相关机构：装备指挥技术学院国防科学技术大学中国人民解放军装备学院更多>>
- 发文基金：国家自然科学基金国防科技技术预先研究基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术军事自然科学总论天文地球更多>>
- 面向战略预警数据化辅助决策关键问题研究被引量：1
- 2015年
- 从美国空海一体战的产生背景和意图入手,提出战略预警信息支援的重要性。结合战略学理论,提出基于战略态势感知的预警手段,总结了战略判断方法论的具体要求和运用。由于大数据情报已经成为信息化作战时代的根本战场生态,军事领域的很多问题都与大数据密切相关。为此,提出了基于情报分析的战略预警数据化辅助决策,研究面向战略预警信息支援的数据需求体系和处理流程等关键问题。
- 王寿彪刘东崔震朱鸿乔
- 关键词：空海一体战战略预警情报分析
- 语义视角下基于大数据分析的装备体系评估研究被引量：3
- 2016年
- 针对传统装备体系评估方法在复杂体系结构建模、解析评估方法设计、大型模拟仿真计算等方面存在的问题,尝试将大数据分析应用到装备体系评估中。从语义角度研究了基于大数据分析的装备体系评估,在设计评估框架的基础上,分析装备体系评估中的语义问题,提炼其中的关键技术,分析各关键技术路线;通过数据挖掘和知识发现等相关技术分析海量多源异构的装备数据,得出装备体系能力及能力的度量,为实现基于大数据分析的装备体系评估提供理论基础和技术框架。
- 李新明李亢
- 关键词：语义
- 基于BDA的装备体系评估方法被引量：1
- 2015年
- 装备体系评估是装备体系建设的重要环节。分析了大数据分析方法的特点和优势,比较了常见装备体系评估方法的优点和不足,阐述了大数据分析方法在装备体系评估的应用思路,提出了基于BDA的装备体系评估方法。设计了基于BDA的装备体系评估模型,包括数据集成模块、仿真实验预设模块、体系能力评估模块和基于BDA的装备体系分析模块,详细描述了各模块的工作原理和功能。最后结合实例具体阐述了基于BDA的装备体系评估的工作流程和功能特点,通过实验能够挖掘出装备与体系之间、想定任务与体系之间、体系与体系能力之间的关联关系,其分析结果能为装备体系构建提供辅助决策支持。
- 李新明李亢刘东
- 基于热度分析的动态副本创建算法被引量：5
- 2014年
- 在分布式文件系统(DFS)中,副本的数量通常预先配置,不能适应文件访问需求的动态变化。针对该问题,提出了基于热度分析的动态副本创建算法(DRCA),优化副本的管理方式。动态副本创建算法通过分析文件在给定时间内的访问频率,推算文件的访问热度,并综合考虑统计周期、文件大小、工作环境等多种因素,按需动态地调整文件副本的数量,以减少文件访问的平均响应时间,提高数据服务性能。基于Hadoop的分布式文件系统(HDFS)开发了DRCA模块,并进行了性能测试,结果表明DRCA提供数据服务的性能优于HDFS自带的副本创建算法。
- 饶磊杨凡德李新明刘东
- 关键词：分布式文件系统副本热度HDFS
- 基于模块化分析的动态系统重要度测量方法
- 2010年
- 为了解决关键系统灵敏性分析中的状态空间爆炸问题,提出一种基于模块化分析、适用于动态系统的重要度测量方法。将系统故障树分解为多个层次不同的独立模块,在此基础上引入微扰法的思想,对BI(Birnbaum importance mea-sure)重要度指标进行扩展。提出相对重要度的概念,根据各独立模块的类型,分别求解相对重要度,利用相对重要度进行组合计算,求出系统级重要度。将该方法应用于一个实际高可靠计算机系统,分析结果显示该方法能够提供一个可信的重要度测量。
- 张红林张春元刘东
- 关键词：灵敏性分析
- 基于同构节点的动态故障树分析方法被引量：7
- 2011年
- 为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。
- 张红林付剑张春元王英鸿
- 关键词：动态故障树故障树分析可靠性分析状态空间爆炸
- 一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法被引量：8
- 2012年
- 为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR,该方法将故障树按照其事件之间的依赖关系转换为依赖树;基于面向对象思想,为依赖树及其节点构建对象;通过对各节点对象属性的分析,得出独立模块集并进而求出最小独立模块集.最后对IIMKDR方法进行了理论分析和实验验证,分析表明该方法适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别.与其它方法从多个角度所进行的实验对比显示,当故障树没有相互依赖基本事件和重复事件时,该方法的开销略高于其它方法;当故障树具有相互依赖基本事件和重复事件时,该方法能够正确识别其中所有的独立模块,而其它方法不具备这样的功能.
- 张红林张春元刘东
- 关键词：动态故障树可靠性分析
- 动态故障树割序集分析的模块化方法被引量：4
- 2011年
- 针对割序集模型较高的复杂度,提出静态子树模块化和动态子树模块化2种简化方法。利用模块化方法将动态故障树划分为多个静态子树和动态子树。对完全由静态门构成的静态子树采用二叉决策图计算其发生概率;对动态子树采用割序集模型进行分析,将其中包含的静态子树作为一个整体进行处理。通过实例阐述模块化方法的应用过程,算例分析结果表明,该方法能有效降低割序集模型的复杂度。
- 刘东邢维艳赵忠文王志安
- 关键词：动态故障树模块化
- 割序集模型中顺序失效符的推演规则被引量：1
- 2012年
- 在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。
- 刘东王波张红林
- 关键词：动态故障树可靠性
- 基于SysML的需求分析研究被引量：9
- 2011年
- 现在的系统一般都包括软件和硬件,需求分析在系统的生命周期中是非常重要的阶段。如果需求分析做的不好,会带来诸如项目失败、成本超出预算、延后等一系列问题。系统越复杂,需求分析活动就越发重要和困难。针对需求工程,提出了基于SysML进行需求分析的方法。该方法的主要优点是用户需求以图形化建模的方式表示,需求的关系被显示映射,系统分解在系统开发活动的早期就可以被考虑。最后,针对可信系统的用户需求,使用该方法进行了演示。
- 赵立军
- 关键词：系统建模语言
