陀螺经纬仪在大型航天产品精测中的应用

陀螺经纬仪通常是做某一方向与当地大地北向的方位角关系测量用。文章针对“天宫一号”目标飞行器精测中遇到的问题,即高空不同平台间两台设备需要姿态关系测量的需求,通过对陀螺经纬仪测量原理的研究,借助大地坐标系作为中间传递坐标系,解决了经纬仪测量因互瞄被遮挡无法建立基准镜坐标系间关系的问题。测量误差分析结果验证了这种新方法的可行性,该方法可用于大型航天产品设备安装精度的测量。     

一种改进的频率步进雷达信号性能分析

在分析目标运动对频率步进信号一维距离像影响的基础上,提出了一种改进的频率步进信号,即参差脉冲重复间隔频率步进信号,研究了这种信号的数学模型和处理方法。理论分析和仿真结果表明,与频率步进信号相比,参差脉冲重复间隔频率步进信号的多普勒性能有了很明显的改善,一维距离像不会随目标的运动而产生失真。另外,根据参差脉冲重复间隔频率步进信号的特点,提出了利用距离微分法实现速度粗补偿和利用脉组误差函数法实现速度精补偿的方法和步骤,仿真结果证明,这两种方法是有效、稳健、可靠的。     

MEMS陀螺旋转导航误差的分析与仿真

目前基于高精度陀螺导航的旋转调制技术研究及应用已相当成熟,为实现低成本、低精度微机电系统(MicroelectromechanicalSystems,MEMS)陀螺的高精度应用,文章引入旋转调制技术。对旋转调制前后导航误差进行了理论分析和仿真,对比了相同条件下对不同精度陀螺的调制效果,分析了影响陀螺误差调制的因素。仿真结果表明,相同条件下低精度MEMS陀螺的旋转调制效果比高精度陀螺更加明显,在100s内导航误差降低了30%以上。另外,对旋转导航误差的分析表明,研制高精度旋转调制转台是提高MEMS陀螺旋转调制精度的关键技术。     

星载大型柔性索网天线重力环境下的型面调试

大口径柔性索网天线在地面环境下重力变形较大,且变形与天线反射面的制造误差始终交织在一起从而影响天线型面精度调试。针对这一问题,文章给出了反射面各类误差的定义,提出了制造误差与天线口面向上和口面向下不同放置状态型面误差的相互关系并予以证明;通过对这些关系式的运用降低了反射面重力变形与反射面制造误差的耦合程度,为反射器在重力环境下的型面调试指明了方向;此外结合工程需求给出了索网天线型面调试的流程,在实际工作中利用该流程可以有效地减少天线翻转调整次数,提高索网天线的型面调整效率。     

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

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

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

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

基于辛几何构作一类新的带仲裁的认证码

具有仲裁的认证码既要防止敌手的欺骗,又要防止收方和发方的互相欺骗。利用有限域上辛几何构造了一类具有仲裁的认证码,计算了其容量参数。假设编码规则是按照均匀概率分布选择,给出了敌手模仿攻击、敌手替换攻击、发方模仿攻击、收方模仿攻击和收方替换攻击的成功概率。研究结论表明可用辛几何构作许多带仲裁的认证码。     

平台惯导系统飞行试验性能误差分析

针对某型平台式惯导系统试飞中存在的性能超差现象,对惯导系统误差机理和飞行数据进行了分析,提出了影响飞行性能的误差因素。根据分析结果,从提高惯性元件精度和对相关误差进行标定和补偿两方面采取措施对惯导系统进行改进。改进后的惯导系统经过试飞验证,其性能满足设计指标,表明所采取的改进措施有效可行。     

组合互感器检定方法探讨

提出了符合组合互感器运行状态的整体检定方法以及按元件分别检定计算整体误差的方法;给出了几种条件下电流、电压互感器和组合互感器的误差限值;对整体检定方法的优点和检定用标准器的选择进行了论述。     

基于阻力分解策略的翼型阻力计算方法研究

研究并应用了基于翼型阻力分解策略的中场积分计算阻力的方法。中场积分方法是近年来提出的一种新的计算阻力的方法,方法将流场分为三个不同的区域：波阻区、型阻区、数值耗散区,通过对不同区域进行积分将阻力分解为波阻、型阻、数值耗散阻力。计算结果表明中场积分方法与传统的表面积分方法和远场积分方法相比,不仅可以将阻力分解成不同部分以便于进一步分析阻力产生机理,而且在计算中对网格量的要求较低,即使在网格量较小的情况下也能得到较精确的结果。