基于GIS的战术级地面防空群指控系统

结合战术级地面防空群指挥控制系统的需求背景,提出了基于GIS软件平台指挥控制系统设计方案。该方案可以充分实现地理信息指控决策的有效结合,在旅级指控系统中已获得成功应用。可大大提高参谋与指挥人员制定作战方案能力和效率,实现对瞬间战情作出动态响应,有效掌握战场的主动权。     

战术情报系统模型化分析方法

针对未来联合作战活动中陆军作战部队的战术应用需求,提炼出陆军战术情报系统建设的组织体系模型和情报生产区域模型,同时,以某一陆军战术作战单位为例,提出并深入分析对应情报系统节点的功能参考模型,建立了基于组织体系模型和功能参考模型的陆军战术情报系统模型化分析方法,详细描述了该模型化分析方法涉及的陆军战术情报系统的6个主要功能单元;最后简要分析了该模型化分析方法的军事应用前景.     

新课程模式下英语教师信念体系的构建

通过分析英语教学改革中新课程模式的特点和CALL（计算机辅助语言学习）的发展阶段,并结合国内外有关教师信念研究的现状,提出从社会建构主义视角构建新课程模式下的教师信念体系的理念。新构建的教师信念体系包含四个方面的内容：新技术、语言教学观、学习者和教师。该信念体系处于开放、变化的状态,它在与外界进行交互的过程中,将不断地进行自我丰富和完善。     

The NBUL class of life distribution and replacement policy comparisons

Let X and X_τ denote the lifetime and the residual life at age τ of a system, respectively. X is said to be a NBUL random variable if X_τ is smaller than X in Laplace order, i.e., X_τ ≤_L X. We obtain some characterizations for this class of life distribution by means of the lifetime of a series system and the residual life at random time. We also discuss preservation properties for this class of life distribution under shock models. Finally, under the assumption that the lifetimes have the NBUL property, we make stochastic comparisons between some basic replacement policies. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 578–591, 2001.     

无人攻击机生存力评估方法

首先介绍了无人攻击机的国内外发展现状和趋势,然后阐述了无人攻击机的特点,分析了与生存力密切相关的各分项能力之间的关系,提出了一种建立无人攻击机生存力评估的综合指数模型;同时确定了模型中各分项能力的评估模型。最后以6种无人攻击机的生存力评估为例计算并检验了模型的可用性。     

Bivariate models from univariate life distributions: A characterization cum modeling approach

Bivariate life distribution models are of importance for studying interdependent components. We present a generic approach by introducing a new concept of characterized model in stead of a characterized distribution. It strikes a balance between characterization and modeling approaches to eliminate their individual limitations and incorporate their respective strengths. The proposed model, being a characterized one, admits many important properties irrespective of the choice of marginal distributions. The retention of univariate IFR, DFR, IFRA, DFRA, NBU, and NWU class properties in the bivariate setup has been ensured along with some results on series combinations and convolution. No other models, available in the literature, can ensure simultaneous retention of these fundamental and extremely important class properties. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

需求开发的WRSPM参考模型研究

针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。     

光电坐标传感器在光幕靶中的应用

针对光电报靶系统的标校问题,以及可见光光幕靶光电接收器检测灵敏度的一致性和与海量数据的高速采集问题,采用大发射角的LED发光管,设计了光电开关电路和高速采样保持电路,实现了基于光电开关和取样电阻网络的光电坐标传感器,提高了系统的检测灵敏度和一致性,降低了系统设计的难度和成本。试验证明：该方法精度较高,具有良好的应用前景。     

军队工程招标激励模型研究

运用激励理论研究了军队工程招标采购过程中军方与承包商之间的关系,建立了军队工程招标激励模型。在不完全信息和竞争性招标中,投标人的行为是追求最大的效用,军方则需要建立一种机制诱使投标人按真实成本信息报价,以达到预期支付最小的目的。这种招标博弈的结果是军方与投标人之间达成贝叶斯纳什均衡(Bayesian Nash equilib- rium),即军方利用激励合同诱使投标人报出其真实成本,而投标人为达到中标目的则必须采取讲真话的占优策略,最终在双方均可接受的条件下达成协议。在此基础上,结合实际研究提出了改进的综合评标模型。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.