一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

Supercritical carbon dioxide as a new working medium for pneumatic launch: A theoretical study

Compared with the conventionally gaseous or liquid working media, the specific internal energy of supercritical carbon dioxide (SCD) is higher at the same temperature and pressure, and the critical temperature of carbon dioxide is close to room temperature, making SCD a potential new working medium for pneumatic launch. To analyze the feasibility of this conception, an analytical model of a pneumatic catapult is established on basis of the conservations of mass and energy. The model consists of a high-pressure chamber and a low-pressure chamber connected by multiple valves, and there is a movable piston in the low-pressure chamber that can push an aircraft to accelerate. The effects of the launch readiness state of SCD in the high-pressure chamber, the initial volume of the low-pressure chamber and the valve control on the movement of the aircraft are analyzed. It is found that there is a restrictive relation between the temperature and pressure of the launch readiness state of SCD, i.e., there is a maximum allowable launch readiness pressure when the launch readiness temperature is fixed. If this restrictive relation is not satisfied, the working medium in the low-pressure chamber will drop to its triple point within a few milliseconds, leading to a launch failure. Owing to this restrictive relation, there is an optimal launch readiness state of SCD with the highest working capacity for any allowable launch readiness temperature. The pressure of the low-pressure chamber will decrease significantly as the initial volume increases, leading to a decreased acceleration of the aircraft. The ac-celeration can be controlled below a critical value by a designed sequential blasting technique of multiple valves. The calculated results show that a 500 kg aircraft can be accelerated from 0 to 58 m/s in 0.9 s with 36 kg of carbon dioxide. This research provides a new technique for the controllable cold launch of an aircraft.     

反作用轮低速特性观测补偿方法

反作用轮在现代高精度卫星姿态控制中占据着重要的地位。但由于反作用轮工作于低速状态,其转速过零时摩擦力矩的非线性特征将会对姿态控制精度产生较大的影响,并影响卫星运行寿命。基于Dahl摩擦模型建立了直流电机驱动的反作用轮系统数学模型,在此基础上设计了用于改善反作用轮低速性能的补偿观测器,并将其应用于三正交结构姿态控制系统。数字仿真说明此方法可以有效地抑制反作用轮低速摩擦产生的扰动,从而大幅度改善卫星姿态控制精度及其姿态稳定性。最后探讨了该观测器方法同变结构控制方法的综合应用前景。     

支持广义多方案分析仿真的异地克隆研究

仿真克隆可以提高并行离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.给出广义多方案分析仿真概念,介绍仿真克隆的相关概念,分析当前仿真克隆方法的不足,提出提高广义多方案分析仿真整体运行效率的异地克隆概念.基于检查点与恢复方法,在动态并行仿真引擎中实现了异地克隆.利用Phold测试程序对异地克隆方法的效率进行测试,测试结果表明,异地克隆可以提高多方案分析仿真系统整体运行效率.     

电视制导系统抗干扰性能评估

提出了一种空地电视制导导弹图像传输系统抗干扰评估的总体框架,建立了电磁干扰条件下系统的抗干扰评估的空间模型。而后基于有限状态机理论,建立了电视制导导弹图像识别模态转换模型,详细讨论了典型干扰对电视图像数据链的影响。最后,应用计算机仿真技术,得到制导系统在不同信噪比条件下导弹的最大作用距离和图像干扰效果。     

动基座条件下垂直发射装置状态参数检测方法

针对在海上动基座条件下舰载垂直发射装置的安装精度和发射架导轨状态参数的检测问题,在分析其技术难点的基础上,提出了利用测距仪差分原理实现对水平误差的检测;采用数字激光自准直仪解决发射筒各架体的垂直度测量。并通过对该检测方法进行的不确定度分析与计算,验证了该检测理论的正确性。     

基于磁强计和光纤陀螺的小卫星姿态确定非线性滤波算法

提出了一种小卫星姿态确定的非线性滤波算法,该算法利用三轴磁强计和光纤陀螺作为姿态敏感器。在非线性滤波器的设计中,从两个方面对平方根sigma点卡尔曼滤波方法进行改进。第一,把姿态四元数的矢量部分、光纤陀螺的漂移和噪声组合,得到滤波器的增广状态向量;第二,分别建立向量旋转模型、最优化模型和误差四元数乘法模型来确保非线性滤波过程中四元数的归一化约束。仿真分析结果表明,本文提出的非线性滤波算法能够有效地提高小卫星的定姿性能,与扩展卡尔曼滤波相比,具有较高的精度、稳定性和较快的收敛速度;与无迹卡尔曼滤波相比,收敛性相当,但是精度略优,稳定性和计算效率较高。     

Using a birth‐and‐death process to estimate the steady‐state distribution of a periodic queue

If the number of customers in a queueing system as a function of time has a proper limiting steady‐state distribution, then that steady‐state distribution can be estimated from system data by fitting a general stationary birth‐and‐death (BD) process model to the data and solving for its steady‐state distribution using the familiar local‐balance steady‐state equation for BD processes, even if the actual process is not a BD process. We show that this indirect way to estimate the steady‐state distribution can be effective for periodic queues, because the fitted birth and death rates often have special structure allowing them to be estimated efficiently by fitting parametric functions with only a few parameters, for example, 2. We focus on the multiserver M_t/GI/s queue with a nonhomogeneous Poisson arrival process having a periodic time‐varying rate function. We establish properties of its steady‐state distribution and fitted BD rates. We also show that the fitted BD rates can be a useful diagnostic tool to see if an M_t/GI/s model is appropriate for a complex queueing system. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 664–685, 2015     

海战潜艇兵力作战任务聚合、解聚与重构实现

根据海战仿真对潜艇作战仿真的多分辨率需求,采用聚合与解聚的方法对潜艇智能兵力作战行为模型进行层次划分和结构化设计,利用J2EE/EJB组件建模技术构建了潜艇智能兵力作战行为仿真组件模型,通过行为决策模型构建和多分辨率接口设计,对兵力作战任务进行解聚和聚合,仿真不同分辨率下的作战任务行为和作战指标,并通过任务行为决策控制参数调整实现兵力作战行为重构,满足了系统对智能兵力作战行为多分辨率建模和战法战术验证的功能需求,并有效提高了模型利用效率和可重用性。     

基于无偏GM(1,1)幂模型的意图威胁建模

在态势威胁的基础上,利用无偏GM(1,1)幂模型设计了一种敌机意图威胁的模型。首先,提出了素质因子和探测概率因子,在此基础上,建立了改进的态势威胁模型。然后,将角度作为特征量对敌机机动进行预测,并建立了意图威胁模型。最后,分别对态势威胁和意图威胁模型进行仿真。结果表明,意图威胁模型行之有效。