单目视觉三维运动位姿测量方法研究

针对基于点特征的单目视觉位姿测量,研究了一种基于不共面5个编码特征点的单目视觉解算算法,利用大靶面高分辨率相机采集运动物体姿态图像,利用目标物体上编码特征点间的几何约束关系,通过正交迭代解算算法完成目标物体的位姿测量。实验结果表明：位移测量不确定度优于0.5mm,姿态测量不确定度优于0.05°,可满足航空航天领域试验测量要求。     

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

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

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

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

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

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

高精度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、怎样才能鉴定速度？本文推导出了公式，给出院 便捷的计算方法和误差传递上机计算曲线，并进行了分析。模型已成功地应用于单脉冲雷达的精度鉴定，作为误差分析的一类典型应用。     

复杂曲面零件散乱点云特征点提取

复杂曲面零件的几何特征提取对加工质量的检测及逆向重构具有重要意义。提出了一种复杂曲面零件散乱点云特征点提取方法。首先,提出了基于高斯权重的邻域主成分分析的方法,通过估计每一点邻域的局部变化程度对点云模型进行初始标记;然后,采用基于标记的自动识别法实现特征点的提取;最后,通过特征点聚类的方式去除了特征点集中的异常点,完善了提取的点云特征。该方法直接操作于散乱点云,无需任何的拓扑连接信息。试验结果表明:该方法简单、有效,不需要过多地人为调节参数,特征点提取完整。