高可靠性软件的极值统计分析

提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.     

引信软件安全性仿真测试系统研究

首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析。然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构。     

遥控两栖车控制系统的软硬件设计

遥控两栖车的控制系统由控制端和受控端2部分组成.控制端负责采集各种驾驶信号,然后通过电台将控制信号传输到受控端.受控端接收到控制信号后,使相应的执行机构动作,达到车辆的遥控驾驶.本文着重进行了控制端的软硬件设计.该系统在试验中各项性能达到了使用要求.     

基于场景图形管理的三维空中态势引擎设计与实现

本文从传统空中信息指挥系统对三维显示的需求出发,以开源图形开发库OpenSceneGraph作为底层渲染引擎,结合OSG的场景图形管理技术和面向对象设计思想,给出了一副大规模空中态势场景的逻辑视图、场景树视图和类视图。以态势场景的构建和管理为核心,设计了一种适合实时显示大规模空中作战态势的三维显示引擎。该引擎实现了大规模地形建模、大规模航迹实时显示、探测器遮蔽算法、多样化视点等关键技术。利用该引擎二次开发的几种三维模块已经运用在实际工程项目中,该引擎具有高效率、跨平台、易集成、易扩展等优势。     

军品质量管理中的统计技术与SPSS软件的应用

统计技术现已成为质量管理中必备的一种工具.结合当前军品质量管理中统计技术的应用现状,分析了我国所面临的紧迫形势;在简要介绍常用统计技术的基础上,将简单、实用的SPSS软件引入了军品质量管理中,大大简化了应用统计技术的难度.     

公安消防机构办理失火案和消防责任事故案法理探讨

办理“两案”案件对公安消防机构来说是一个全新的概念,如何正确充分履行法律赋予的侦查职能,已成为各级公安消防机构面临的重要课题。从法理和实践角度对“两案”办理工作进行探讨。     

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

Static and free vibration analyses of functionally graded porous variable-thickness plates using an edge-based smoothed finite element method

The main purpose of this paper is to present numerical results of static bending and free vibration of functionally graded porous (FGP) variable-thickness plates by using an edge-based smoothed finite element method (ES-FEM) associate with the mixed interpolation of tensorial components technique for the three-node triangular element (MITC3), so-called ES-MITC3. This ES-MITC3 element is performed to eliminate the shear locking problem and to enhance the accuracy of the existing MITC3 element. In the ES-MITC3 element, the stiffness matrices are obtained by using the strain smoothing technique over the smoothing domains formed by two adjacent MITC3 triangular elements sharing an edge. Materials of the plate are FGP with a power-law index (k) and maximum porosity distributions (Ω) in the forms of cosine functions. The influences of some geometric parameters, material properties on static bending, and natural frequency of the FGP variable-thickness plates are examined in detail.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

超视距多目标攻击排序及火力分配建模与解算

针对未来超视距空战条件下的多目标攻击排序和制导武器火力分配问题,提出了一种用以评估超视距空战作战效能的综合优势指数法;当目标数多于攻击机数时,通过构造综合优势矩阵,将非平衡指派问题转化为平衡指派问题,并建立了多目标攻击排序的0-1规划模型,该模型可解决对多个目标同时攻击的排序问题;以2对8攻击排序为例,利用求解线性规划软件Lindo6.0进行解算。最后,建立了1对4攻击火力分配的非线性规划模型,并利用求解非线性规划软件Lingo5.0进行解算。计算结果验证了建模的合理性和运用Lindo、Lingo软件求解较大规模目标攻击排序和火力分配问题的实时性。