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

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

尾喷口机构的伺服力加载系统研究

对飞机尾喷口鱼鳞片伺服机构的地面伺服力加载系统作了分析，给出了以压力伺服间组成系统的实用工程设计方法，提出了带有余度性质的技术措施。在压力问实测参数的基础上进行仿真研究，取得了满意的结果。     

应用于磁悬挂系统的200V─6OA晶体管斩波器

在大功率磁悬挂系统中，电磁铁电流必须采用开关频率较高的大功率斩波器来调节。本文介绍一个用于磁悬挂系统的大功率晶体管斩波器，它的工作电源电压为２００Ｖ，输出电流为６０Ａ，斩波频率为２ｋＨｚ，试验负载从阻性到感性，电感量达２．５Ｈ。该斩波器在一个单自由度大功率磁悬浮试验装置中完成了磁悬挂控制试验。该斩波器由不对称半桥、开关辅助网络、最优基极驱动电路ＵＡＡ４００２、一次脉冲源ＭＣ３４０６０及电流反馈环等部分构成，具有多种保护功能和良好的传输特性线性度。     

氢氧爆轰直接起始的射流点火方法研究

为探讨氢氧爆轰驱动激波风洞中的高氢混合比氢氧混合气直接爆轰的点火方法，对射流点火管的点火能力进行实验研究发现，点火管长度是决定射流点火能力的关键因素，射流点火能力随点火管长度的增加而增强。点火管与爆轰管之间无隔膜，结构简单，操作方便。同时观察了点火管中增添孔板对射流点火能力的影响，发现障碍物对射流点火能力具有减弱作用。     

核磁共振陀螺高精度磁场驱动技术

核磁共振陀螺（NMRG）是利用激光与核磁共振气室中的碱金属原子和惰性气体原子的相互作用使核子以拉莫尔频率进动,并通过磁场驱动技术对气室磁场实现闭环控制和对剩磁进行补偿来维持核子的共振状态,进而能够检测载体的角速度信息。磁场驱动技术作为磁场闭环控制的重要部分,直接影响核磁共振陀螺的磁场控制精度和稳定性。为了解决核磁共振陀螺磁场控制精度和稳定性不足的关键问题,采用交直流分离设计的压控电流源方案改善磁场驱动问题,基于噪声分析理论对电路进行建模和噪声分析,并通过实验验证对三轴线圈的横向磁场控制精度达±0.046 2 nT,纵向磁场控制精度为±0.003 1 nT,实验证明该技术方案具有较强的工程应用价值。      

CCD器件用机械泵驱动两相流体回路仿真与试验

电荷耦合元件（CCD）作为航天光学遥感器的核心部件之一,其工作性能受温度影响很大,传统的热控产品难以满足大功率CCD的精密控温需求。通过仿真与试验系统研究了机械泵驱动两相流体回路（MPTL）用于CCD控温时的启动特性、运行状态、内部工质的流动及传热特性。结果表明:MPTL可以通过干度的调节来吸收冷凝器外热流和CCD工作模式的影响;MPTL的控温精度可以达到±1℃,蒸发器并联支路、蒸发器负载和冷凝器温度在一定范围内变化等均不会对系统运行稳定性产生影响,其仍可将CCD器件控制在所需温度;通过仿真与试验对比,发现仿真模型的误差在±1℃以内,验证了模型的有效性和准确度。MPTL可以很好地满足航天光学遥感器CCD的控温要求,能够保证CCD始终具有较好的温度稳定性和均匀性,且系统具有良好的运行特性和鲁棒性,其在CCD精密控温方面具有很好的应用前景。      

几何不确定性区间分析及鲁棒气动优化设计

不确定性因素会导致飞行器偏离预先设计的气动性能,造成气动性能下降甚至产生严重的后果。针对工程中无法给出准确的几何不确定性概率分布以及跨声速条件下非线性气动问题,对几何不确定性的非概率参数化建模进行了研究,并结合Kriging模型及最优化方法建立了快速非线性区间分析方法。采用该方法对对称翼型进行不确定性分析,获得了气动性能参数的定量变化区间。在区间不确定性分析基础上建立了鲁棒优化设计流程。基于区间序关系及区间可能度转换模型将单目标区间不确定性优化问题转化为多目标确定性优化问题,并采用基于Pareto熵的自适应多目标粒子群算法对优化问题进行寻优。考虑几何不确定性以及升力、力矩、面积约束,以阻力性能为目标对超临界翼型进行了鲁棒优化设计。与确定性优化设计结果对比表明,确定性优化设计在不确定性因素的影响下易失效,而鲁棒设计可得到更安全可靠的结果。      

液压减震器动力特性的影响因素研究

介绍了摩托车液压减震器的结构及原理,建立了其动力特性的理论模型。通过数字仿真计算研究了液压油的容性、感性等对减震器动力特性的影响情况,得出了两者影响刚好相反的结论,并与实际测量结果对比,验证了模型的正确性。这对减震器性能优化及结构改进具有指导价值,为建立基于几何尺寸参数的减震器动力特性模型奠定了基础。     

软体弯曲驱动器设计与建模

与传统的"刚性"机器人相比,基于仿生学启发的软体机器人由于其与生俱来的柔顺性和安全性受到广泛关注。然而,此类软体机器人驱动器的设计与控制目前仍缺少理论指导。针对这些问题,设计了一种由气压驱动的可实现弯曲运动的新型软体驱动器,在系统分析其结构和弯曲原理的基础上,利用几何方法和虚功原理建立了其数学模型,并且通过有限元模型和原理样机实验验证了数学模型的有效性,为软体机器人驱动器的优化设计和控制提供了依据。     

基于改进积分视线导引策略的欠驱动无人水面艇路径跟踪

路径跟踪控制是无人水面艇（USV）自主完成各项任务使命的关键技术之一,受到国内外运动控制领域的普遍关注。为提高风浪流等外界环境干扰下,无人水面艇（USV）路径跟踪控制的准确性和鲁棒性,研究海流等外界扰动环境下一类非对称欠驱动无人水面艇的路径跟踪问题,提出了2种改进积分视线（ILOS）导引策略,并基于改进导引策略和反馈控制思想实现了无人水面艇水平面的路径跟踪。与传统ILOS导引策略相比,第1种改进策略具有变积分增益能够避免积分饱和及超调现象;第2种改进策略在前者的基础上将前视距离设计为时变量,使得无人水面艇操纵更加灵活,其中积分增益和前视距离均为垂直距离误差的不同函数,引导无人水面艇灵活快速地跟踪期望路径。基于级联系统理论证明了当所有控制目标实现时,控制系统为全局k-指数稳定（GKES）的,理论分析和仿真实验证明了算法的有效性和先进性。