【摘 要】
：
割序集（cut sequence set,CSS）模型是基于动态逻辑门顺序失效机制建立的动态故障树（dynamic fault tree,DFT）分析方法。为将模型中CSS初级形式转化为最小割序集（minimal cut seque
【机 构】
：
装备指挥技术学院研究生管理大队,装备指挥技术学院重点实验室,装备指挥技术学院科研部
论文部分内容阅读
割序集（cut sequence set,CSS）模型是基于动态逻辑门顺序失效机制建立的动态故障树（dynamic fault tree,DFT）分析方法。为将模型中CSS初级形式转化为最小割序集（minimal cut sequence set,MCSS）,研究了顺序失效符（se-quence failure symbol,SFS）的完备推演规则。从完备性出发,提出了SFS的12条规则,并给出了规则的完备性证明和实例应用。SFS完备推演规则解决了自动获取复杂动态系统MCSS的问题,是CSS模型定性分析的
其他文献
装备动员建设,是部队履行新使命装备建设的重要组成部分。装备动员具有“平时应急、战时应战”的功能,也是其建设的重要方向。装备动员工作是“军民融合”式装备保障的重要内
自适应产生于“活的主体”间的相互作用，是军事系统的本质属性，是信息化条件下军事系统中最为活跃的因素，是战斗力生成的关键因素。开发提高系统的自适应能力已经成为军事转型的
合同商提供保障，可及时扩大或压缩保障资源，持续获得作战所需保障，降低保障费用，提高军队后勤保障能力。将合同商技术服务系统作为一个独立决策单元，将输入、输出进行分解，建立装备
武器装备体系需求生成的质量是靠需求生成综合集成环境来保证的。从武器装备体系需求生成综合集成环境设计要求入手,构建了由分析系统、验证评估系统、管理系统、综合研讨系
从海防部队可能承担的多样化军事任务入手，分析了现役海防部队装备主要问题，设计了海防部队装备转型发展的程序，提出了海防部队进行装备转型的主要措施，即把握装备转型方向、培养
完善装备采购信息发布工作，对安全、平等、高效地传递装备采购信息，打破军工行业垄断，加快装备竞争性采购进程具有十分重要的意义。揭示了装备采购信息发布工作存在的问题及成因
介绍了知识管理的基本理论，分析了美、英等国在国防采办中推行知识管理的成功做法，提出了我军在装备采办工作中应重视知识管理，建立相应的知识管理组织机构、配套的硬件设施及运
在认真把握相关概念和内涵的基础上，科学划分装备采购干部的种类，分析我军装备采购干部任职现状，并对建立我军装备采购干部任职制度，提高装备采购人才队伍建设水平，提出了相关对策
加强新形势下航天发射任务组织指挥能力建设是满足我国当前高密度多样化发射任务要求的重要内容。分析了航天发射任务组织指挥工作的建设需求，在此基础上对航天发射任务组织指
在武器装备军事需求研究的基础上,结合"论证"的概念,提出武器装备军事需求论证的概念,分析了与其他若干相似概念的关系,从不同的视角对其进行了分类,并对装备战略需求论证、