基于设备状态管理的制造系统可靠性仿真

该文利用仿真方法研究制造系统的可靠性。首先,讨论了仿真方法的优点;接着,给出了仿真系统的总体框架,利用面向对象的方法建立了制造系统的通用仿真模型,分析了以往仿真系统的局限性提出了基于设备状态管理的仿真方法。为减少由于生产计划变动过于频繁而造成的损失,该文提出了一种以生产计划稳定性为目标的故障问题处理方法。最后,给出了仿真的总流程及实现算法并通过一个实例演示了系统的功能。实践证明该仿真系统可以比较真实地模拟实际生产过程。     

信息安全风险过程的规划渗透图模型

提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Pla-nning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图.     

小子样装备可靠性试验中专家信息描述性综述

专家信息是在小样本条件下，装备试验评定中验前信息的重要来源。在对国内外文献研究的基础上，将专家信息划分为定性和定量两种形式，分别对两种形式下专家信息的表述形式作进一步的划分，并给出了各种专家信息形式转化为验前分布的方法。     

基于Binomial-Poisson模型的导弹系统生存性分析

针对导弹系统生存能力分析的特点,建立导弹系统生存能力的Binomial-Poisson模型,并基于该模型对系统的生存寿命进行估计。在理论分析的基础上,结合某导弹系统的实例,对系统的冷备份模型进行研究,说明了该模型的有效性。     

装备可靠性指标验证方法综述

综述了装备可靠性指标的验证方法，包括传统试验方法和基于Bayes理论的小子样试验方法等；然后就基于Bayes理论的验证方法的关键问题，即验前信息的获取和验前分布的确定等相关研究进行了分析讨论。     

一种求解多星测控调度问题的启发式算法

一种基于优先级排序的启发式调度算法,首先构造问题的数学模型,对各种类型的卫星及航天器测控需求进行描述。再针对各影响因素分别定义优先级并根据工程实际确定权重,将各优先级加权得到需求的综合优先级。以综合优先级为排序标准,采用优先度最高的需求最先占用的策略,最后将以被占用的需求作为进一步调度的约束完成算法。     

基于本体的多星测控调度问题模型研究

针对多星测控调度问题中存在的模型众多、交互困难的不足,引入本体工具分析了多星测控调度问题中各种对象及对象之间的关系,给出了多星测控调度问题中概念本体的构建方法,建立了多星测控调度问题模型框架,为准确表述领域知识、实现模型及数据的重用和交互打下基础。最后利用示例描述说明了模型框架的兼容性。     

Petri网在系统可靠性分析中的应用

简单介绍了各种Petri网模型的定义和性质，对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述，对进一步的研究方向进行了展望。     

基于增强型扩展的，面向对象Petri网模型的装备保障能力评估建模

提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型，给出了该模型形式化描述，引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念，更好地体现了面向对象的思想，具有很好的模块性、继承性、重用性和可维护性，能够反映复杂系统的动态柔性特点，最后给出实例。