并行调试环境中的追踪和重演

通过传递消息进行通信的并行程序，由于受进程调度和消息等待时间变化的影响，其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障，为此，在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。     

基于级库存的维修器材整合供应策略研究

针对传统器材供应模式效率低的问题,借助供应链管理的思想提出了多需求点整合供应模式,并建立了基于级库存策略的整合优化模型,对成本各组成部分分析求解,得到了最优总成本对应的策略参数,其中总成本考虑了供应中心补货成本、库存持有成本、供应成本和供应延迟成本．最后通过算例与直接供应策略进行了比较,证明了整合供应策略的有效性．     

基于事件的系统可靠性参数仿真算法

介绍了可以用扩展可靠性框图表示的系统的可靠性参数的仿真算法。首先,对扩展可靠性框图进行了介绍,提出了利用树状结构来描述扩展可靠性框图的结构。其次,对基于扩展可靠性框图的系统行为进行了分析。然后,依据离散事件系统仿真思想,分别给出了计算可修系统可靠性参数的仿真算法与不可修系统可靠性参数的仿真算法。最后,给出了计算实例。该仿真算法不仅可以对状态独立系统进行可靠性参数计算,而且可以对具有冷储备关系以及冷储备嵌套关系的状态相关系统进行可靠性参数计算,具有很强的通用性与实用性。     

装备保障系统信息化评价指标体系研究

在分析装备保障系统信息化特点的基础上,确定了建立评价指标体系的原则,建立了从信息化组织建设、信息基础设施和系统应用信息化程度三个方面分析,包含30个评价指标的装备保障系统信息化评价指标体系。     

基于定周期策略的多品种维修器材联合订购模型

针对维修器材需求的随机性特点,在考虑维修器材保障度约束的条件下,基于定周期策略建立多品种维修器材的联合订购模型并给出了优化算法.该算法采用蒙特卡罗随机模拟技术求解随机变量的期望值,结合遗传算法求出使库存费用最小的基本订购周期、各种器材的订购周期和最大库存量,并能满足预定的保障度要求.与传统单品种补充策略比较发现,联合补充策略对经费节省作用显著.     

多阶段任务系统任务持续能力数学评价模型研究

分析了多阶段任务系统(PMS)及任务可靠度、可信度和任务效能等任务持续能力评价参数。结合实际装备系统大部分属于可用马尔可夫过程进行描述的可修复系统的特点,为简化模型复杂程度提出了一些合理的假设条件。针对两状态PMS,通过分析其状态转移关系,从阶段任务成功概率和阶段任务间转换概率的概念出发,分析给出其计算方法。结合对可信度和任务效能等参数的分析结果,建立其计算模型,从而建立了多阶段任务系统任务持续能力数学评价模型。最后结合常见的“靶场打靶”任务,通过对比仿真结果进行了模型的实例验证。     

装备作战单元任务可信度评估方法

首先简要分析了任务可信度的影响因素，并对最小任务单元的任务进行了分类；然后借助马尔可夫过程建立了k／N系统的任务可信度模型，该模型考虑了维修保障和备件补给对任务可信性的影响，在此基础之上分别建立了单台装备、最小任务单元、装备作战单元任务可信度的模型；最后通过实例分析和计算，结果表明该装备作战单元任务可信度评估方法有效可行。     

基于Petri网的维修资源运用策略

维修资源运用策略研究对于提高维修性能具有重要意义。分析了装备维修过程中的资源冲突和任务优先顺序、资源分配策略、并行任务共享资源及交叉维修等资源运用策略。采用Petri网建立了系统模型,运用变迁使能优先级、抑制弧、可实施谓词等Petri网冲突解决方法实现不同资源运用策略建模。应用模型进行了典型案例的资源运用策略研究,实例体现了资源运用策略对装备停机时间等指标的影响。模型为提高维修资源运用效率提供了可行的技术途径。     

基于排队论的维修资源需求分析方法

以装备维修过程为基础,应用排队论分析维修过程中各维修活动的基本关系,考虑多维修活动对维修资源需求的冲突问题,建立了维修过程的排队模型。以损伤装备平均修复时间不大于给定值为约束条件,以投入的维修资源总成本最少为目标,求解出维修资源需求。     

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。