一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

落塔微重力水平激光干涉测量方法中的干扰因素分析

落塔是获得微重力环境的重要设施,落塔微重力水平的测量对微重力科学实验的研究至关重要. 激光干涉是测量落塔微重力水平的一种新方法,这种方法的基本原理是让一个参考落体在落舱中自由下落,落舱由于受到服外空气阻力的作用将与自由落体运动略有差异,1 11. 肫内的参考落体则更接近理想的自由落体运动,这就使得落舱与参考落体之间存在着加速度差,这种加速度差便反映了落服的微重力水平,其所导致的相对运动则可通过激光干涉的方法测量出来. 本文对落塔微重力水平的激光干涉测量方法中将会遇到的一些主要干扰因素进行了分析,计算结果表明,这些干扰网素所造成的总误差约为 1.2 x 10-7g,低于微重力水平的预测值 10-4~lO-6 g,因此该方法是一种比较可行的测量方法.      

一种基于随机集的模糊观测的多目标跟踪算法

为解决目标数未知或随时间变化时模糊观测的多目标跟踪问题,将多目标状态和模糊 观测数据表示为随机集形式,利用模糊观测的似然函数融合模糊数据,建立了模糊观测的概 率假设密度(probability hypothesis density,PHD)粒子滤波方法。这种方法首先利用 粒子滤波预测和更新随机集的PHD,然后估计目标数N,最后找出N个PHD最大的点就 是多目标的状态估计。在相同的仿真环境中,用这种方法与用重心去模糊器进行去模糊处理 后的观测数据同时跟踪目标数变化情况下的多目标,并进行了比较,结果表明,模糊观测多 目标跟踪的PHD粒子滤波能稳健跟踪目标数未知或随时间变化时的目标状态和目标数,性能 好于去模糊情况。     

基于时空结构的卫星智能诊断模型研究

针对卫星这类复杂系统的故障诊断,提出了基于时空结构的智能故障诊断系统模型(iFDS),从系统结构,结构模型,推理机制、流程模型等方面进行论述,通过对各种故障诊断方法进行融合,实现了卫星系统网络化、个性化、远程并行诊断的智能故障诊断.在故障推理机制研究中,将故障分为系统故障、多发故障和单元故障3类,分别对每一类故障提出相应的智能故障推理方法.     

Bioinspired polarized light compass in moonlit sky for heading determination based on probability density estimation

Bioinspired polarized skylight navigation, which can be used in unfamiliar territories, is an important alternative autonomous navigation technique in the absence of Global Navigation Satellite System(GNSS). However, the polarization pattern in night environment with noise effects and model uncertainties is a less explored area. Although several decades have passed since the first publication about the polarization of the moonlit night sky, the usefulness of nocturnal polarization navigation is ...     

基于选星预处理的改进随机抽样一致性RAIM方法

多星座导航能够增加可视卫星数量,改善卫星几何构型,已成为卫星导航定位领域发展的重要方向之一。多星座导航接收机自主完好性监测（RAIM）技术对提高导航系统的完好性具有重要作用。面向多星座导航的完好性监测需求,分析了传统随机抽样一致性（RANSAC）故障检测方法的不足,提出了一种基于最小样本集选星预处理的改进RANSAC RAIM算法。该算法基于最大四面体积法和GDOP值贡献度的选星方法选取具有较好构型的卫星构成卫星子集,取代了传统RANSAC RAIM方法通过遍历构成卫星子集,可有效避免卫星子集中存在较差卫星几何构型的情况,减少子集数量,提升故障检测的准确率。静态和动态仿真实验表明,改进的RANSAC RAIM算法在检测效率和检测准确率等方面明显优于传统方法。     

大型自由曲面光学器件的超精密抛光方法

旨在提高大尺寸自由曲面光学器件精密抛光技术的精度与效率.通过构建一个机器人抛光中心作为抛光平台,并在包括单位圆域、单位正方形域及自由边界域在内的平面映射域内求解旅行商问题,通过投影计算圆形度数值,进行映射区域的分类,并将所获得的平面轨迹映射到曲面上获得用于大尺寸自由度超精密光学器件的抛光路径.本文算法综合考虑到计算效率...     

Micro-mechanical model for predicting the elasto-plastic behavior of composites based on secant formulation method

To predict the Elasto-Plastic Behaviors (EPBs) of aligned inclusions reinforced composites, this paper develops an interpolative Mori-Tanaka/Double-Inclusion (MT-DI) homogenization model with the secant formulation, and gives the numerical implementation algorithms of the developed MT-DI model with the secant formulation. The Finite Element (FE) homogenization method is implemented to provide the “exact” EPBs of the composites and thus validate the MT-DI model with the secant formulation. The MT-DI model with the 2nd-order secant formulation is validated to provide the more accurate predictions, while the MT-DI model with the 1st-order secant formulation always gives the stiffer predictions. The results show that using the macro-stress and macro-strain as the inputs, the MT-DI model with the secant formulation gives the identical predictions. The predictions of the MT-DI model with the secant formulation vary between those of the MT and DI models with the secant formulation. Meanwhile, the MT-DI model with the secant formulation does not predict the accurate EPBs for the phases of the composites.     

水冲压发动机热力计算

简述了水冲压发动机化学平衡与非化学平衡热力计算方法及相应的适用条件,计算了试验发动机补燃室温度,并与试验数据进行了对比分析。分析结果表明,该热力计算方法适用于水冲压发动机。用热力计算方法可确定水冲压发动机最佳水燃比,进而指导水冲压发动机的设计和试验。     

基于落角约束的最优导引律

在对地精确制导武器的实际使用中,不仅要求脱靶量最小,而且希望能以一定的落角命中目标,从而可以充分发挥战斗部效能,取得最佳毁伤效果。传统的比例导引律不能满足该要求,为此本文建立了含有落角约束的最优控制模型,并依据施瓦兹不等式原理进行了推导,最终得到了含有落角约束的最优导引律的表达形式。仿真结果表明:该导引律可以使导弹以期望的落角命中目标,且具有实现简单、结果最优等特点。