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

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

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

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

基于搜索意图交互的无人机集群协同搜索算法

针对无先验信息条件下无人机集群的协同搜索问题,提出一种以覆盖率为引导,以机间安全距离、通信距离、偏航角调整及搜索边界等为约束的无人机集群协同搜索算法。通过建立环境地图矩阵对任务区域进行描述,进一步定义环境地图更新算子实现搜索过程中环境地图的快速更新。设计了集群协同搜索任务的回报函数,采用粒子群算法进行求解,得到每架无人机在已知环境地图下的最优决策,即决策意图。每架无人机在获取其他成员决策意图的基础上重新进行决策,实现协同决策。针对不同规模集群提出了集中式和分布式2种协同决策方案。仿真结果表明,所提算法能够对存在未知威胁的不规则任务区域进行有效覆盖搜索,覆盖率远高于不进行协同决策的个体决策方法。      

弹道导弹关机点偏导数自检方法研究

提出了一种对弹道导弹关机点偏导数进行检验的方法,通过建立关机点偏导数和关机点绝对运动参数之间的关系方程,推导出利用关机点参数进行偏导数校验的闭合公式。算例结果表明,利用此方法可以有效提高弹道导弹关机点偏导数校验的可靠性。     

月面冯·卡门撞击坑的着陆选址和科学探测目标浅析

冯·卡门（Von Kármán）撞击坑位于月球背面南极—艾肯（South Pole-Aitken,SPA）盆地中部,是中国“嫦娥4号”计划的优先级较高的探测目标。对该撞击坑的着陆和探测,有助于揭示月球形成和演化的一些关键问题,在月球科学研究中具有重大的意义。论文概要总结了冯·卡门撞击坑的研究意义和科学价值;结合LRO卫星LOLA数据、Clementine UV-VIS数据、GRAIL数据、“嫦娥2号”卫星CELMS等数据,简要分析了冯·卡门撞击坑的地形、成分、深部结构和亮?%rater are analyzed with LRO satellite LOLA data,Clementine UV-VIS data,GRAIL data,and Chang''E-2 CELMS data and their scientific meanings are also presented. Finally,combined with our results and the previous prospects about theVon Kármán crater,three candidate landing sites and the possible scientific discoveries are proposed.     

“嫦娥4号”中继星任务轨道确定问题初探

"嫦娥4号"任务将采用着陆器、巡视器和绕飞地月拉格朗日L2点中继星进行月球背面的探测,中继星已先期发射,进入环绕地月L2点的晕(Halo)轨道。在中继星使命轨道动力学模型的基础上,通过相关仿真工作,开展了中继星在Halo轨道上的摄动源量级及影响定轨预报的主要因素分析,结果表明:太阳光压摄动是其主要影响因素。为降低其相关影响,提高定轨精度,在太阳光压球模型的基础上,结合中继星在轨运行特点及其星体结构特点,提出了一种求解光压等效面积的方法。经仿真分析,使用修正后的太阳光压球模型进行定轨求解,速度精度可提升约一个量级。     

基于航路点布局的多目标网络结构优化方法

为了提高区域航路网络结构的科学性、减轻飞行流量增长对网络运行带来的压力,提出了基于航路点布局的多目标网络结构优化方法。首先,考虑区域航路网络的组成要素,设计了反映网络综合性能的优化目标和约束条件以形成优化模型。然后,建立基于节点移动、融合、分解的航路点布局策略,进而给出优化模型的求解步骤,并利用NSGA-Ⅲ算法完成模型求解。最后,对北京飞行情报区部分区域航路网络进行仿真分析,结果表明,使用NSGA-Ⅲ算法得出的区域航路网络具有良好的综合性能。最优网络在满足约束条件的同时,保证了运行费用和非直线系数基本不变,并使得飞行冲突系数减少了10.8%。可见,所提优化方法能有效提升区域航路网络的经济性、安全性和可行性,符合中国现行空域环境和管理体制。      

阻拦着舰过程中飞行员颈部的损伤分析与预测

针对舰载机飞行员在阻拦着舰过程中因受到较大的阻拦载荷而导致颈部疼痛发病率较高问题,采用有限元方法开展了持续过载条件下飞行员颈部的生物力学响应研究。基于CT扫描图像,运用Mimics对头部及C1-T1椎体进行三维重建,利用Geomagic Studio进行曲面构型,运用Hypermesh和ABAQUS建立有限元模型,并在ABAQUS中计算各椎体及软组织的应力应变情况,结合损伤评价判定准则——NIC和N_ij对飞行员颈部损伤情况进行分析和预测。结果表明:有限元模型动力学响应与静态和动态实验结果基本吻合,验证了模型的准确性和建模方法的可行性;关节囊韧带拉伸较其他韧带更长,易造成拉伤或松弛,长期训练会造成韧带受损、椎间盘突出和颈椎失稳等疾病;C4-C5椎间盘的应力均值大于C5-C6椎间盘,因此,该部位更容易造成损伤,应强化保护;颈部危重及以上损伤的概率仅为6.07%,即造成椎骨和脊髓损伤的可能性很小。研究结果可为飞行员颈部保护装置、对抗措施和飞行训练方法的设计与改进提供理论支撑。      

高超声速飞行器预设性能反演控制方法设计

为解决吸气式高超声速飞行器的飞行控制问题,提出了一种新型预设性能神经反演控制器设计方法。通过构造预设性能函数,保证速度跟踪误差和高度跟踪误差能够按照预设的收敛速度、超调量及稳态误差收敛至期望的区域,同时满足系统预设的瞬态性能和稳态精度。在反演控制设计结构下,引入径向基函数（RBF）神经网络对模型未知函数及不确定项进行逼近,提高了控制系统的鲁棒性。引入的RBF神经网络中仅有一个参数需要在线更新,有效提高了控制准确性,避免了通常反演控制方法中经常出现的"微分膨胀问题",并降低了计算量。通过仿真实验验证了所设计控制系统的有效性和可行性。      

金属材料微裂纹取向与超声波和频非线性效应

针对非线性超声无损检测金属材料微裂纹取向角度的问题,开展了微裂纹取向与超声波的和频非线性效应研究,建立了超声和频非线性特征系数与微裂纹取向角度的关系模型。理论和有限元仿真实验结果表明,随着微裂纹取向角度的逐渐增大,超声和频非线性特征系数与微裂纹取向角度之间呈现明显的正相关趋势,而且相比二次非线性特征系数,和频非线性特征系数对微裂纹取向检测更为敏感。同时,从超声波平均能流密度（即声强）的角度出发,计算可知和频分量声强会随着微裂纹取向角度的增大而增大,而二次谐波声强基本不会发生变化,同时和频分量声强占比相比于二次谐波声强占比也得到了明显提高。超声波声强计算结果与仿真计算结果趋势基本一致,证明了理论模型的正确性。通过实验验证了模型的有效性,为金属材料微裂纹取向的检测提供了一种有效的手段。