运行和修复同时进行的固有可用度定时截尾试验方案

针对如何设计一个试验以完成检验系统固有可用度、平均故障间隔时间和平均修复时间等3个指标参数的问题,将试验分为同时进行的可靠性和维修性定时截尾试验2个项目,假设运行时间和修复时间均服从指数分布,且可靠性和维修性试验方案已知,提出了一种固有可用度定时截尾试验方案．该试验方案通过合理选择累积运行时间和累积修复时间,同时满足检验3个指标参数的承制方和使用方风险,可完成对3个指标参数的检验．     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

基于作战任务的多机种故障备件需求模型

通过分析战时故障备件的需求特点,对备件的工作时间进行讨论,改进了传统的单机故障备件需求模型。根据多机种协同作战任务的不同,引入备件工作运行比的概念,在考虑飞机是否战损的前提下,建立了基于作战任务的多机种故障备件需求模型。算例分析证明了模型的有效性。     

Polynomial‐time approximation schemes for two‐machine open shop scheduling with nonavailability constraints

This paper addresses a two‐machine open shop scheduling problem, in which the machines are not continuously available for processing. The processing of an operation affected by a non‐availability interval can be interrupted and resumed later. The objective is to minimize the makespan. We present two polynomial‐time approximation schemes, one of which handles the problem with one non‐availability interval on each machine and the other for the problem with several non‐availability intervals on one of the machines. Problems with a more general structure of the non‐availability intervals are not approximable in polynomial time within a constant factor, unless . © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

同时验证整装和分系统固有可用度的试验方案

针对整装和分系统可用度同时需要验证的问题,假设单系统可用度、可靠性和维修性试验方案都已知,以试验样本量确定方法为研究重点,以同时验证整装和分系统的可用度、平均故障间隔时间和平均修复时间等3个指标参数为设计要求,提出了一种定数截尾试验方案.该方案包括2种试验方式.2种试验方式都能够完成对整装和分系统3个指标参数的验证.     

不确定性作战任务形式化描述方法

针对复杂作战环境下作战任务的不可预知性特点,对不确定性任务的形式化描述方法进行了深入研究。分析不确定环境导致的任务分解和执行过程中存在的不确定性因素,从任务本身的不确定性、任务之间关系不确定性以及作战单元执行不确定性等方面,对不确定性任务进行了形式化描述,提出了不确定性任务形式化描述流程,最后通过一个实例对所提方法进行了验证。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

鱼雷贮存战备完好率模型

为了评估鱼雷综合特性参数鱼雷贮存战备完好率,分析了国军标中基本模型,对照鱼雷寿命剖面,指出基本模型在具体鱼雷装备中应用存在的不足;通过对鱼雷寿命剖面中的基层级维修的深入分析,综合考虑贮存可靠度、故障检测率、鱼雷故障修复概率与备件满足率,给出了一个LRU故障、多个相同LRU故障以及多个不同LRU故障时的战备完好率模型。并通过计算验证了该模型的有效性。     

武器装备发展战略研究中的体系能力评估分析

随着武器装备发展战略研究的科学化决策需求越来越高,对体系能力评估的要求也变得愈发迫切,但这也是目前的一个技术难点。首先分析了发展战略研究中,可能遇到的体系能力评估问题种类及其特点。然后,针对每类问题,重点分析了各自的要求,给出了在评估分析建模方法选择上的建议。     

可用性理论的导弹装备使用可用度评估模型

结合当前部队关心的导弹装备战备完好性问题,对影响导弹战备完好性的重要参数使用可用度进行了研究,给出了基于可用性理论的导弹装备使用可用度评估方法和模型,根据部队导弹装备服役的相关信息,对该模型进行了评估验证,经验证,该方法可有效地分析导弹使用可用度,且对于后续提升改进导弹战备完好性具有参考价值。