面空导弹武器系统软件的健壮性设计

面空导弹武器系统软件的健壮性设计是软件开发工作的核心问题之一。首先介绍了面空导弹武器系统软件的特点并阐述了软件健壮性的内涵 ,表明它是软件可靠性、安全性和协调性均要满足的一种软件质量特性。在此基础上 ,提出了一种软件健壮性设计的概念 ,重点论述了软件可靠性设计、安全性设计和协调性设计的方法。     

大气层内复合控制拦截弹切换时间的探讨

大气层内拦截弹采用空气动力与燃气动力的复合控制方式是当今世界防空导弹的发展方向之一。复合控制技术的分析研究是当前急需解决的重要问题。在考虑目标机动加速度大小、目标机动时刻以及目标角闪烁的条件下 ,确定了拦截弹的控制方式由空气动力切换到复合控制时的切换时间。     

基于振动信号提取柴油机低频排气噪声特征研究

针对柴油机低频排气噪声的频率与强度很难准确地用理论计算等困难 ,试验研究了柴油机排气管内低频排气噪声信号与排气管壁上振动信号的相互关系 .结果表明 ,低频范围内 ,振动信号与噪声信号几乎呈现周期性的完全相干 ,在相干频率处振动信号能反映排气噪声的类周期性 .     

不同加载方法对甲板大开口分段有限元计算的误差分析

利用ＭＳＣ－ＮＡＳＴＲＡＮ有限元程序模拟计算甲板大开口的应力．建立简单的总体和分段力学模型,采用不同的加载方法进行甲板应力计算,将局部应力计算结果与整体应力计算结果比较,得出各种加载方法有限元计算的误差,从而给出误差小、建模简单的局部分段模型加载的最佳方法．     

基于运行安全分析的核动力仿真软件的研究与应用

对基于运行安全分析的核动力仿真软件的基本功能及其数学物理模型进行研究.运用工具软件对设备冷却水系统的正常与异常运行工况进行了仿真计算及结果的分析.与RELAP5/MOD3计算结果的比较表明,该软件可广泛用于核动力一回路辅助系统及二回路系统的仿真分析.     

自蔓延高温合成基础理论研究进展

通过对自蔓延高温合成技术的发展及应用领域的介绍 ,重点阐述了自蔓延高温合成中燃烧理论及热力学与动力学核心内容 ,并介绍了该技术领域中不同的基础理论研究方法。     

一种调节阀式气体炮建模与分析

为研究气体炮各调整参数对其模拟性能的影响 ,笔者利用气体动力学相似理论的有关知识对双活塞调节阀式气体炮进行了数学建模与分析 ,采用四阶龙格—库塔法的思想进行计算 ,并利用MATLAB语言对其进行编程 ,通过在计算机上运行计算程序 ,得出模拟弹丸的加速度—时间模拟曲线。在对模拟曲线特征进行分析的基础上 ,指出了气体炮各调整参数对弹丸加速度—时间曲线的影响。     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.