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

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

等效模拟压制下雷达探测区域计算与调整

压制干扰下的雷达探测区域能够形象反映雷达在压制干扰下的作战能力。理论计算出的雷达探测区域可能与实际情况相差很大,为了获得较为精确的探测区域,提出通过等效模拟压制干扰下的外场飞行试验获得雷达探测区域调整因子,并依据调整因子对理论探测区域进行调整。通过数字仿真初步验证了等效模拟压制技术的可行性,并通过数字仿真飞行试验初步验证了雷达探测区域调整方法的可行性,为日后依据外场飞行试验调整雷达探测区域提供支持。     

遗传算法处理导弹一体化优化中隐式约束问题探讨

在详细分析模式定理及典型遗传算法运行机理基础上,针对"隐式约束"问题,创造性地对其进行了适应性改造,并证明了其收敛性。仿真算例及工程实践问题表明,该方法有极强的全局寻优及高速收敛能力,是值得推荐使用的有效方法之一。     

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

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

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进行了数值模拟。对应不同的主轴转角,计算出气缸内工质的质量值、压力值和温度值。基于算得的压力值,求取了该发动机的平均指示压力和功重比等参数,与传统发动机相比较,双转子活塞发动机气缸工作容积的利用程度更大,整体结构更加紧凑。     

采用局域像素匹配的随机抽样一致改进算法

为提高图像拼接的配准精度和稳健性,提出基于局域像素匹配的随机抽样一致改进算法。在完成尺度不变特征变换算子或其他算子图像特征提取、特征匹配之后,利用独立于特征匹配点的局域像素,通过参考图像局域像素与映射的待拼接图像局域像素匹配,优选4对最佳特征匹配点,确定最佳单应矩阵。实验结果表明:与随机抽样一致经典算法相比,该方法未明显增加计算耗时,单应矩阵更准确,图像拼接稳健性更好。     

MPSTD算法在波导分析中的应用

研究了多域伪谱时域(MPSTD)算法应用于波导问题分析时的激励源设置,并在此基础上,采用MPSTD算法计算了波导截止频率和典型三维波导结构的S参数,计算结果与HFSS或FDTD的计算结果做了比较,数值仿真表明,将MPSTD算法应用于波导问题的分析,可实现对波导问题的精确建模,具有较高的计算效率和计算精度,波导问题的MPSTD分析拓展了MPSTD算法的应用领域,为复杂波导问题的精确求解提供了一种思路。     

Stability in a general oligopoly model

We analyze a general but parsimonious price competition model for an oligopoly in which each firm offers any number of products. The demand volumes are general piecewise affine functions of the full price vector, generated as the “regular” extension of a base set of affine functions. The model specifies a product assortment, along with their prices and demand volumes, in contrast to most commonly used demand models. We identify a fully best response operator which is monotonically increasing so that the market converges to a Nash equilibrium, when firms dynamically adjust their prices, as best responses to their competitors' prices, at least when starting in one of two price regions. Moreover, geometrically fast convergence to a common equilibrium can be guaranteed for an arbitrary starting point, under an additional condition for the price sensitivity matrix.