一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

谈火灾证据的搜集利用

提出在火灾调查过程中 ,为查清火灾原因、明确责任 ,应该充分考虑证据的客观性、关联性和合法性 ,及时、全面、细致、合法的搜集证据 ,并对搜集到的证据进行审查、验证 ,确保其真实、完备并能证明案情。为此必须坚持充分运用燃烧原理、规律于证据搜集、利用的每个环节。     

磁浮列车悬浮控制器的电流环分析与优化设计

电流环是磁浮列车悬浮控制器的重要子系统。在分析PI型电流环及最速电流环的控制特点的基础上,设计了一种次速电流环控制器,它具有调节速度快、抗信号扰动能力强、对对象参数不敏感等优点。仿真表明次速电流环的调节速度和最速电流环相当,但在系统中存在干扰信号时,抖动会明显减小。实验表明,次速电流环调试方便,能结合悬浮控制子系统很好地完成悬浮任务。     

X波段矩形波导宽边复合缝隙耦合器的MPSTD算法分析

针对MPSTD算法在波导宽边复合缝隙问题中的应用,重点研究了X波段标准波导宽边复合缝隙耦合器的缝隙谐振长度和散射参量特性。仿真结果表明,将MPSTD算法应用于波导耦合缝隙问题的分析,可实现对该问题的精确建模,具有较高的计算精度和效率。     

Recent progress on transition metal oxides and carbon-supported transition metal oxides as catalysts for thermal decomposition of ammonium perchlorate

As a main oxidizer in solid composite propellants, ammonium perchlorate (AP) plays an important role because its thermal decomposition behavior has a direct influence on the characteristic of solid com-posite propellants. To improve the performance of solid composite propellant, it is necessary to take measures to modify the thermal decomposition behavior of AP. In recent years, transition metal oxides and carbon-supported transition metal oxides have drawn considerable attention due to their extraor-dinary catalytic activity. In this review, we highlight strategies to enhance the thermal decomposition of AP by tuning morphology, varying the types of metal ion, and coupling with carbon analogue. The enhanced catalytic performance can be ascribed to synergistic effect, increased surface area, more exposed active sites, and accelerated electron transportation and so on. The mechanism of AP decom-position mixed with catalyst has also been briefly summarized. Finally, a conclusive outlook and possible research directions are suggested to address challenges such as lacking practical application in actual formulation of solid composite propellant and batch manufacturing.     

Survivability assessment of spacecraft impacted by orbit debris

To help optimize the spacecraft design and reduce the risk of spacecraft mission failure, a new approach to assess the survivability of spacecraft in orbit is presented here, including the following three steps:1) Sensitivity Analysis of spacecraft. A new sensitivity analysis method, a ray method based on virtual outer wall, is presented here. Using rays to simulate the debris cloud can effectively address the component shadowing issues. 2) Component Vulnerability analysis of spacecraft. A function"Component functional reduction degree — Component physical damage degree"is provided here to clearly describe the component functional reduction. 3) System-level Survivability Assessment of spacecraft. A new method based on expert knowledge reasoning, instead of traditional artificial failure tree method, is presented here to greatly improve the efficiency and accuracy of calculation.     

双转子活塞发动机工作过程的数值模拟

双转子活塞发动机是一种新型的差速式转子发动机,与传统发动机相比较具有很多优点,如不需要复杂的阀门装置,而且功率密度更高等。为了分析和研究双转子活塞发动机的运行特性,针对该发动机工作循环的热力学过程建立了其零维模型,确定了主要的边界条件,运用Matlab/simulink进行了数值模拟。对应不同的主轴转角,计算出气缸内工质的质量值、压力值和温度值。基于算得的压力值,求取了该发动机的平均指示压力和功重比等参数,与传统发动机相比较,双转子活塞发动机气缸工作容积的利用程度更大,整体结构更加紧凑。     

车载光学测量设备任务调度问题建模与求解

为提高观测方案效费比、改进探测能力,探索了一类车载光学测量设备的观测任务调度问题,并给出了解决方案。将观测任务调度问题建模为一个寻找最优观测方案的数学问题,结合设备的性能特点,给出了观测方案的数学描述,梳理了观测方案应满足的约束,提出了评价观测方案质量的指标,进而利用多属性决策方法来计算不同方案的总体效能,并排序获得最优方案。仿真算例验证了方法的有效性,相关研究成果对车载光学测量设备的运用实践具有一定的参考价值。     

等离子体技术在核化生洗消中的应用研究

等离子体技术是一种高效、快速的污染消除技术,在核化生洗消领域表现出良好的应用前景,国内外都在对其进行广泛而深入的研究。综述了近年来国内外等离子体技术在核化生洗消领域的研究情况,并提出了该技术应用于洗消领域尚需解决的问题和发展趋势。     

A branch‐and‐price algorithm for a targeting problem

In this paper, we consider a new weapon‐target allocation problem with the objective of minimizing the overall firing cost. The problem is formulated as a nonlinear integer programming model, but it can be transformed into a linear integer programming model. We present a branch‐and‐price algorithm for the problem employing the disaggregated formulation, which has exponentially many columns denoting the feasible allocations of weapon systems to each target. A greedy‐style heuristic is used to get some initial columns to start the column generation. A branching strategy compatible with the pricing problem is also proposed. Computational results using randomly generated data show this approach is promising for the targeting problem. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007