军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

采用弱攻角补偿与脱敏设计的火星进入段制导

为提升火星进入段存在多种扰动时的制导末端精度,在现有三自由度脱敏设计的基础上,提出针对大气密度及升阻力系数波动的弱攻角补偿方法。通过攻角调整,协调升、阻力加速度测量值相对理论计算值的偏离程度,使加权形式的偏离程度指标趋近于1,从而降低气动参数波动对制导精度的影响。相平面分析和反证法证明了攻角调整过程的稳定性。蒙特卡洛仿真结果表明,该方法可达到较高的纵向末端状态精度。     

第二类无奇点根数的北斗历书参数设计

为统一北斗三类卫星的历书拟合算法,提出基于第二类无奇点根数进行历书参数设计的方法,设计了以倾角向量变率作为摄动参数的历书参数模型,并给出新的历书模型的用户使用算法。利用覆盖2013年全年的实际在轨卫星的数值轨道进行了历书拟合试验。结果表明,地球静止轨道（GEO）和倾斜地球同步轨道（IGSO)卫星的拟合位置误差为2~4km,拟合用户距离误差（URE）约为1km,中圆地球轨道（MEO）卫星的拟合位置误差为1~2km,拟合URE约为500m。通过分析6个轨道根数和2个摄动参数全年的变化范围,对新历书模型进行量化单位和占用比特位的通信接口设计,定量分析量化单位对历书表达精度的影响。结果表明,参数截断后对位置误差的影响小于50m,对URE误差的影响小于5m。因此,历书量化误差对信号捕获以及首次定位时间带来的影响可以忽略不计。     

基于正反问题耦合的压气机特性快速预测方法

提出一种基于正反问题耦合的压气机特性快速预测方法,根据压气机一维设计理论,通过对满足流量及压比设计指标的反问题求解快速得出压气机的气动布局方案,在此基础上结合非设计点损失和落后角模型通过正问题求解得出全工况压气机特性,再根据预测特性与目标的偏差调整气动布局方案,以此通过对正反问题的耦合求解实现对压气机特性的合理快速预测...     

反TBM拦截弹杀伤增强器综合设计模型及其应用

针对反战术弹道式导弹(TBM)拦截弹杀伤增强器设计方法中存在的不足,提出了拦截平面内最优合成迎角数学模型,在此基础上建立了拦截弹杀伤增强器综合设计模型.该模型以杀伤增强器参数为输入量,可在设计拦截弹时对其进行可用过载估计与制导精度限制,并通过最优合成迎角控制来近一步增强拦截弹对TBM的杀伤性能.以PAC-3拦截弹及某典型TBM弹头为例进行仿真验证,结果表明采用综合设计模型后PAC-3杀伤概率平均高于原弹约7％,使用该模型对PAC-3杀伤增强器进行优化,优化结果明显提高了PAC-3拦截弹的作战性能.     

单相机迎角测量中振动影响研究

从描述像空间坐标与物理空间坐标关系的共线方程出发,推导出单相机迎角测量中模型迎角关于相机外方位元素的计算公式。在单相机迎角测量中模型表面标记点展向坐标Y不变的假设下,研究了2m量级风洞中,相机位于5个不同位置时,3个角外方位元素(φ,ω,κ)和模型侧滑角β在-2°～2°之间振动对迎角测量结果的影响。模拟结果表明:φ和κ的振动对迎角测量结果影响较大,且该影响对相机位置和模型迎角的变化不敏感;在相机位于法向投影位置(相机光轴与Y轴平行)时,ω与β的振动对迎角测量结果影响非常小,可以忽略,但影响量随相机位置偏离法向投影位置迅速增加。     

航空发动机导流叶片角度调节参数变化故障分析

某型发动机低压压气机进口导流叶片角度α1,其电子调节部分执行机构电磁活门的占空比(Sα),在整个调节过程中是起关键作用的重要参数,但在台架试车过程中曾多台次出现在不同次检查时Sα数值变化的故障。通过对α1主调节系统工作原理的深入分析,确定试车中Sα变化故障是由于燃油调节机构掺混入空气所致,并得到试车验证。本研究对发动机试车中类似故障的排除具有重要的参考意义。     

一种转台角位置定位精度检测方法

角位置定位精度和速率精度是转台产品的最主要两项技术指标,转台产品均需检测。其中角位置精度检测方法的操作步骤多,影响因素多。本文从角位置精度的检测方法,检测步骤和检测技巧等方面进行初步的剖析,重点阐述用24面体进行位置精度检定中的过程与方法。     

飞行器航迹倾角的自适应动态面控制

针对飞行器纵向模型具有参数不确定性和外界干扰的特点,提出一种飞行器航迹倾角的自适应动态面控制方法.动态面控制方法通过引入一阶低通滤波器避免了传统反演设计存在的"微分爆炸"现象,采用自适应律对模型未知参数进行在线估计,并利用非线性阻尼项克服外界干扰.通过Lyapunov方法证明得出闭环系统半全局一致稳定,跟踪误差可通过调节控制器参数达到任意小.仿真结果表明:该方法能在简化控制设计过程的同时保证航迹倾角跟踪上预定轨迹,控制系统具有较强的自适应能力且对外界干扰具有一定的鲁棒性.     

大攻角侧向喷流流场特性及喷流干扰效应

采用HLLC近似黎曼解格式求解N-S方程,对大攻角条件下超音速尖拱细长旋成体导弹的单侧向喷流干扰流场进行了数值模拟.并对喷流流场压力分布、喷口附近流动及流场旋涡结构进行了研究,分析了大攻角对细长旋成体侧向喷流干扰压力分布及干扰因子的影响.研究结果表明,HLLC格式计算复杂流场具有较好的数值稳定性;侧向喷流与来流的干扰总...