软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

计算有转换判定n∶k交叉贮备系统可靠度的仿真算法

给出有转换判定的ｎ∶ｋ 交叉（ｃｒｏｓｓ ｓｔｒａｐｐｉｎｇ）贮备系统可靠性仿真的通用算法。该算法能计算具有任意部件数和任意部件寿命分布类型的有转换判定的 ｎ∶ｋ 交叉贮备系统可靠度。通过完整的误差分析对该算法的结果进行解释。     

高精度高动态星模拟器研究

给出了高精度高动态星模拟器系统组成和总体结构, 提出一种基于亚像素显示技术提高动态星模拟器星点位置显示精度从而减小星点几何中心与能量中心位置偏差的新方法. 针对动态星模拟器高动态性要求, 提出一种快速精确检索全天球导航星的新方法, 将已知SAO (Smithsonian Astrophysical Observatory) 星表进行分区, 计算当前姿态四元数并分析航天器视轴所在区域, 对于距离视轴较远区域停止搜索和匹配, 很大程度上缩小了导航星搜索范围, 进而缩短了全天球恒星遍历所需时间. 软件测试结果表明, 此快速检索法可使全天球导航星的选取速度提高近10倍.     

脉冲多卜勒引信实时校准技术初步研究

脉冲多卜勒引信实时校准技术主要对引信回波模拟源的无线电引信技术指标进行准确评定,以达到校准的目的。目前对该类专用测试设备的校准仍停留在分项校准的状态,无法全面地对整个专用测试设备进行评定,本文利用"宽带数字接收+软件无线电"技术和解调算法,实现对引信回波模拟源的系统级校准的目的。     

一种改进的Manifold数据降维方法研究

Manifold学习算法已经被广泛应用到很多领域,如信息检索、模式识别、人工智能和数据挖掘等。已有的Manifold学习算法对局部临近区域选择很敏感,并且降维后的数据可分割性比较差。本文提出了一种自适应临近区域选择、具有良好信息可分割性的Manifold学习算法。这种方法在每一个数据点根据数据可估算的本质维度和局部正切方向选择临近区域。与此同时,在映射数据的时候使用聚类分析法聚集相似样本点集。这种方式能确保降维数据具有良好的可分割性,获得更好的降维效果。实验结果表明,新的方法在人工生成数据集上具有更好的嵌入效果。     

近地轨道卫星的地影预报算法

针对传统地影预报算法计算量大,不适合星载计算机进行地影时刻自主预报的问题,提出一种地影预报星上算法。通过构造降维坐标系将卫星进出地影过程转换为“星-地-日”平面内的几何问题;基于常数变易法推导出阴影条件的隐式解析公式,其方程系数可由实时轨道参数确定。为简化计算,将星上算法设计为双层结构：构造迭代算法,依据实时轨道参数可精确预报卫星在每个节点上的地影时刻;而在任意两个节点之间采用解析算法进行近似预报。仿真结果表明,星上算法的预报精度高且计算量小,适合星载计算机进行地影时刻自主预报。     

航空发动机多轴加载试验系统与装配偏差识别研究

航空发动机高压转子具有典型的螺栓连接结构。为了研究螺栓连接的装配性能与复合载荷之间的作用关系,开发了一套具有轴向拉力和横向振动同时激励的多轴加载试验系统。设计了试验系统稳定性与螺栓装配偏差的试验方案并开展测试分析。试验结果表明,多轴加载系统控制激振前后轴向载荷变化范围不大于0.003 kN时,频响特性稳定有效;当不同位置螺栓存在装配偏差时,会同时对振动响应频率和幅值产生影响。最后建立XGBoost智能算法,利用特定频响峰值与幅值有效识别了螺栓装配偏差方位角。