软件内建自测试中测试点的研究

“软件内建自测试”是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(Build-In-Self-Test),即模拟硬件BIST中的附加电路。在软件中也插入这样的一些“附加电路”,即测试点(CheckPoint),这样就大大减少了测试时的复杂度,其中测试点设置是软件内建自测试系统的核心模块之一。具体讨论了测试点设置策略、测试点个数,最后给出了一个具体的实现。     

【专题】基于装备试验数据的信息管理平台建设研究

装备试验数据作为装备制造产业的重要生产要素,对其管理的能力已成为企业应对创新发展机遇的重要竞争力。本文对装备试验数据进行概要介绍,并对试验数据结构及特点进行分析。同时,按照装备试验数据的保密管理原则,结合装备试验活动各阶段产生的数据类型,以及试验数据量大、种类多、处理速度快等特点,提出试验数据分级管理模型。在此基础上,从试验数据在装备履约、鉴定评估以及实际应用等管理需求出发,分析当前数据管理要求规范化、多源数据管理系统化以及分析工具综合化等数据管理中需要关注的问题,提出装备试验数据信息管理平台建设框架,深入分析管理平台的基础运行环境、数据采集与预处理、分布式存储、数据分析挖掘与应用等信息管理功能模块,旨在为进一步加强装备试验数据管理提供借鉴与参考。     

An optimum group maintenance policy

In this article we present an optimum maintenance policy for a group of machines subject to stochastic failures where the repair cost and production loss due to the breakdown of machines are minimized. A nomograph was developed for machines with exponential failure time distributions. The optimal schedule time for repair as well as the total repair cost per cycle can be obtained easily from the nomograph. Conditions for the existence of a unique solution for the optimum schedule and the bounds for the schedule are discussed.     

虚拟物流信息平台构建中的CORBA技术应用

在建立虚拟物流信息平台逻辑模型基础上,提出虚拟物流信息平台的CORBA技术应用方案,包括新系统与遗留系统的集成方案、合作伙伴企业系统间的集成方案以及跨越异构软硬件环境的实施模型等.上述方案表明,CORBA技术在虚拟物流信息平台构建中具有重要作用.     

地面防空火力单元抗饱和攻击能力分析与应用

在分析影响防空火力单元抗饱和攻击能力的基础上,建立了基于排队论求解防空作战能力的数学模型,对防空火力单元的抗饱和攻击能力进行了仿真计算。通过对火力单元对目标射击的毁歼概率和服务时间相对于抗击率的相互关系的分析,研究了集火射击对于防空兵群抗饱和攻击能力的影响,并在兵力资源需求分析和防空火力配系优化等方面进行了运用。     

通用油料装备质量分级研究

通用油料装备的质量分级是依据油料装备的不同技术状况划分质量等级,以便于装备的使用、维护、退役和报废。介绍了通用油料装备的质量分级应遵循的原则和质量等级划分的主要依据,将通用油料装备质量等级分为四等六级,每一级对应一个级值,给出了质量分级的数学模型,并提出了分级依据对应级值的条件或计算方法。     

Bounds on optimal cost for a replacement problem with partial observations

This paper characterizes the structure of optimal strategies for a replacement problem for two special cases of observation quality. It is shown that when the state of the system is either completely observed or completely unobserved at every decision epoch by the controller, reasonable assumptions are sufficient for the existence of optimal replacement strategies composed of policies having a generalized, control-limit form. These structural results are of particular interest since the optimal cost functions for the two special cases represent bounds on the optimal cost function for the general partially observed case, significant computational simplification can result for the two special cases due to their optimal strategy structure, and optimal strategies possessing a control-limit structure do not necessarily exist for the general partially observed case.     

浅析《孙子兵法》中的战机思想

《孙子兵法》中蕴含着丰富而深刻的战机思想。不战全胜的“胜机”思想、立足不败的“待机”思想、变中求胜的“创机”思想、兵贵神速的“夺机”思想和因情用势的“握机”思想等内容,是《孙子兵法》战机思想的核心与精华。     

面向装备论证的多方案分析框架

多方案分析是实现军事需求向装备建设发展与作战使用前瞻性映射的重要手段。分析了面向装备论证的多方案分析内涵，并从需求分析、可行性分析阶段和方案分析及优选三个阶段构建了面向装备论证的多方案分析基本框架，最后对多方案分析三个阶段的主要研究内容进行了详细阐述与分析。研究成果可为装备发展建设决策提供基础理论、方法和手段支撑。     

Optimal renewal policies for complex systems

Most maintenance and replacement models for industrial equipment have been developed for independent single-component machines. Most equipment, however, consists of multiple components. Also, when the maintenance crew services several machines, the maintenance policy for each machine is not independent of the states of the other machines. In this paper, two dynamic programming replacement models are presented. The first is used to determine the optimal replacement policy for multi-component equipment. The second is used to determine the optimal replacement policy for a multi-machine system which uses one replacement crew to service several machines. In addition, an approach is suggested for developing an efficient replacement policy for a multi-component, multi-machine system.     

A methodology for estimating expected usage of repair parts with application to parts with no usage history

In this paper a model is presented which focuses on the difficult problem of predicting demands for items with extremely low usage rates. These form the bulk of repair parts in military systems. The basic notion underlying the model is the pooling of usage data for common design items with movement for the purpose of estimating usage rates for similar items which have shown no movement. A unique feature of the model is that it also makes possible the estimation of usage rates for items newly introduced into a system for which no previous usage history is available.     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

关于军事物流系统优化的研究

根据现代战争对军事物流保障提出的客观需求,以及我国军事物流的发展现状,分析了进行军事物流系统优化的必要性,探讨了军事物流系统优化的基本思路,着重阐述了军事物流系统优化的几点措施.     

潜艇纯方位解算质量评估方法研究

针对潜艇目标运动要素解算算法特点,依据武器使用效果探索要素解算质量评估方法。根据潜艇指控系统目标定位跟踪的战术技术指标和鱼雷武器的使用效果对目标运动要素的精度要求,采用统计模拟方法计算鱼雷命中(发现)目标概率以及对应的要素精度要求,并提出在线统计解算要素均方差的研究思路。给出了要素解算质量评估标准、评估依据的实现方法和表现形式。使用概率衡量使用效果,评估要素解算质量较为科学,容易为部队指挥员接受。     

运输装备保障效能评估模型研究

运输装备保障效能评估是军交运输系统优化的基础。构建了运输装备效能评估指标体系，提出了指标标准化和定性指标定量化的思路和方法，建立了不同条件下设计保障效能和瞬时保障效能评估模型。这些模型不仅具有很强的适用性，而且为成系统成建制装备的整体保障效能评估奠定了基础。     

直升机装备子母弹对坦克群作战的效能分析

分析了几个影响坦克威胁程度的主要因素,采用新的归一化效用函数法,对各目标的威胁程度进行评估,确定智能子母弹的攻击瞄准点.然后建立智能子母弹对目标攻击过程的数学模型及毁伤概率的计算模型,通过蒙特卡洛方法计算各目标命中的子弹数目.综合目标的特性进行多次仿真,得出了子母弹对整个坦克群目标的作战效能.最后模拟实现了整个攻击过程...     

When are observed failures more informative than observed survivals?

A framework involving independent competing risks permits observing failures due to a specific cause and failures due to a competing cause, which constitute survival times from the cause of primary interest. Is observing more failures more informative than observing survivals? Intuitively, due to the definitiveness of failures, the answer seems to be the former. However, it has been shown before that this intuition holds when estimating the mean but not the failure rate of the exponential model with a gamma prior distribution for the failure rate. In this article, we address this question at a more general level. We show that for a certain class of distributions failures can be more informative than survivals for prediction of life length and vice versa for some others. We also show that for a large class of lifetime models, failure is less informative than survival for estimating the proportional hazards parameter with gamma, Jeffreys, and uniform priors. We further show that, for this class of lifetime models, on average, failure is more informative than survival for parameter estimation and for prediction. These results imply that the inferential purpose and properties of the lifetime distribution are germane for conducting life tests. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

老年建筑防火设计

针对老年建筑在消防方面给我们提出的新课题,介绍人口老龄化和老年建筑的基本情况,分析老年建筑的消防特点,并着重对老年建筑防火设计的若干问题进行探讨.     

【专题】装备大数据安全保护研究

本文通过梳理大数据技术发展及数据资源建设现状,可视化呈现了数据资源建设使用中出现的数据泄露现状及趋势,剖析了数据泄露的根本原因。在分析军队装备大数据建设及规划情况的基础上,建立了装备大数据安全问题分析方法,即在数据采集阶段、数据传输阶段、数据存储阶段和数据使用阶段,分别构建装备大数据不同维度安全要素,包括安全威胁、安全主体和安全保障,并应用于分析装备大数据安全问题。此外,本研究还深入分析了装备大数据建设应用过程中四个阶段存在的安全风险,构建了装备大数据全周期、立体化、协同化的安全防护体系,研究了装备大数据安全保护技术框架,包括以大数据访问控制技术、安全检索技术和安全计算技术为支撑的大数据安全技术和以匿名隐私保护技术和差分隐私保护技术为支撑的大数据保护技术。希翼研究结果能够为装备大数据全寿命周期内的安全防护提供一定借鉴。     

弹药库防静电方法研究

根据弹药库静电危险场所的分类等级,以形成静电危害的3个基本条件为依据,讨论了弹药库防静电危害常用措施:设施设备静电接地、防静电工作台、人体静电防护、铺设导电(或防静电)地面以及各自防静电要求.这些措施为防止和消除弹药库的静电危害提供了根本保障.