航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

高精度石英半球裸振子微应力制造

半球谐振子是半球谐振陀螺的核心元件,其质量直接决定了陀螺的性能精度,以高纯石英材料制成的半球谐振子已得到业界的广泛认可,但加工难度较高。半球裸振子是半球谐振子的未完全加工态,其加工表面残余应力的大小决定了谐振Q值、频差Δf等参数,进而影响谐振性能。文章就石英半球裸振子的微应力制造技术方法和技术特点进行了分析和讨论,以及采用飞秒激光加工设备实现石英半球裸振子微应力制造,飞秒激光加工具有速度快、热变形小、非接触、微应力等优势,用于半球谐振子加工能够明显改善加工效率、成本和表面应力状态,采用飞秒激光加工为高精度石英半球裸振子的加工提供新实现途径。     

基于粒子群优化算法的不完全数据的处理

不完全信息下的数据挖掘是一个困难的问题,但它在实际决策中是不可避免的。在介绍几种处理方法的基础上,提出了基于粒子群优化算法的处理方法。对适应函数进行了讨论,实例表明该方法比较有效。     

靶场光电外测数据修正及弹道精确复现方法

在导弹实验靶场采用多套光电外测设备测量弹道时,一方面不同设备在交接工作时会引起位置偏差;另一方面,利用位置参数中心微分平滑方法解算速度和加速度时,存在跳变和噪声过大的现象。二者都会导致测量的弹道与实际飞行轨迹不符,不利于与内测参数进行精度比对。本文针对光电外测设备交接引起的外测偏差,分析了误差主要是由常值误差、时间不对齐误差和随机误差组成,提出了多站交接点位置偏差分段修正方法,并且利用多项式拟合的算法对速度噪声平滑。最后,采用导弹试验的光电外测数据进行方法验证,修正了交接设备带来的位置偏差,较好地复现了飞行器的飞行弹道,既保证了弹道曲线的连续性,又满足了弹道的平滑性。     

一种基于微分代数的任意阶空间目标轨道传播方法及其分析

微分代数方法可以在不改变当前算法计算过程的基础上给出函数对自变量任意阶导数的精确值。本文给出了一种基于微分代数的任意阶空间目标轨道传播方法。本方法首先将初始微分代数代入轨道传播方程,然后用获得的高阶导数构造新的高阶微分代数。用新的高阶微分代数迭代前述过程可求解空间目标状态对时间的任意阶导数。最后,将任意阶导数代入泰勒展开公式求解空间目标轨道单步传播。本方法要求轨道传播方程采用的摄动力模型在轨道传播积分区间上是解析的。本文通过仿真分析验证了所提方法的有效性。     

高精度GPS定位的精密电离层模型

在长距离GPS实时动态定位(RTK)过程中,电离层延迟误差是影响定位精度的主要误差源.目前,由于采用全空间电离层模型精度不够,对长距离RTK定位主要采用双差电离层残差内插方式.本文提出一种新的电离层模型.该模型仅对每个卫星轨迹通过的电离层部分进行建模,可适用于高精度GPS定位.采用香港数据,结果表明,该模型可较好地模拟低纬度电离层变化,并可支持GPS厘米级定位精度.     

带背鳍细长平板三角翼脱体涡的实验研究

对后掠角为82.5°具有尖削前缘的细长平板三角翼以及加上背鳍高度分别为hL/s=0.3和hL/s=0.6的机翼组合体在低速风洞进行了大迎角六分力天平测力实验.实验迎角范围为12°~32°,来流速度为25m/s和35m/s.实验结果表明:对单独三角翼,在翼面产生的脱体涡破裂前,其涡流场随着迎角的增大始终是对称且稳定的;增加不同高度的背鳍后,当迎角大到一定程度后,涡流场开始变得不对称和不稳定.背鳍高度不同,流场开始出现不对称时的迎角也不同,在所研究的背鳍高度范围内,背鳍越高,测量得到流场出现不对称时的迎角越小,表明增加低高度的背鳍对细长平板三角翼的背涡流场的稳定有着扰动和破坏作用.实验结果部分证明了文献[1]中的稳定性理论的有效性,同时初步研究了涡失稳后的发展情况.     

“微风”(Zephyr7)无人机机翼力学性能分析

利用ABAQUS有限元软件对英国的"微风"(Zephyr7)无人机机翼结构进行了静力学分析,重点分析了主梁直径和蒙皮张力对机翼结构抗弯性能的影响。分析结果表明,主梁的抗弯与抗扭性能随着其直径的增大呈几何级数提升,机翼抗弯性能随着其蒙皮张力的增加近似线性增加。     

火箭飞行鉴定模拟器基准误差传递分析

根据单脉冲雷达及其它火箭飞行地面测控设备精度鉴定的需要，推导出单台和两台激光电影经纬仪基准在火箭飞行鉴定模拟器航路上的设备固有误差传递变化关系式，从而决定：1、基准是否可用？2、在两台经纬仪都有数据的情况下，何时用交汇基准，何时用单台基准才能使鉴定更准确？3、怎样才能鉴定速度？本文推导出了公式，给出院 便捷的计算方法和误差传递上机计算曲线，并进行了分析。模型已成功地应用于单脉冲雷达的精度鉴定，作为误差分析的一类典型应用。