一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

民用飞机IRS冗余配置下融合算法研究

为了确保民用飞行的安全,大型民用飞机一般配备冗余的导航系统,如A320一般装有三套IRS。如何利用冗余的传感器信息提供最重的位置信息,成为民用飞机飞行管理系统亟待解决的关键技术。本文对冗余配置下如何进行三套IRS的融合进行了研究,提出了基于历史信息获取最佳混合位置的方法,并通过仿真分析验证了算法的有效性,为FMS导航功能关键技术的实现提供了理论基础和技术支持。     

带机械臂的月面巡视探测器的路径规划方法研究

针对巡视探测器路径规划和机械臂路径规划的不同和两者需要依次执行的连接需求,文章将月面巡视探测器的路径规划过程分为三个阶段：巡视探测器的路径规划、机械臂的路径规划、器臂动态联合的路径规划,针对不同的规划分别提出了不同的规划方法,并进行了仿真验证。研究结果表明,巡视探测器的整个路径规划是一个复杂的运算规划过程,在非结构化月面环境下,基于月面三维数字高程图采用改进的启发式搜索（A＊）算法,可以比较高效地完成巡视探测器的路径规划;在采用蒙特卡罗法建立机械臂可达工作空间的基础上,可以比较简单、准确地获取机械臂的规划路径;巡视探测器整个就位探测过程的实现需要两种规划的动态联合。     

基于CNS定位误差的平行航路间隔安全评估

主要对平行航路中基于CNS定位误差的飞行间隔安全评估问题进行了研究。首先分析了CNS定位误差对飞机碰撞风险的影响。其次运用概率论方法得到了CNS定位误差下飞机纵向、侧向和垂直三个方向上的碰撞风险计算模型,并根据模型利用牛顿迭代算法,通过给定某一方向安全目标水平计算CNS定位误差下相应的安全间隔。最后对平行航路三个方向的飞行间隔进行了评估计算,将结果与实际相比较,表明该模型可行。     

双锥Bump压缩面设计及气动特性

采用反设计方法研究双锥Bump压缩面设计技术,该方法实质是融合运动间断边界在运动网格条件下对轴对称欧拉方程组求解.为避免激波捕获法对激波型面位置求解误差,应用计算域分块的方法预估第2道激波,在此基础上采用流线追踪法生成Bump压缩面;结合平面机身设计一双锥Bump实例,运用计算流体力学仿真手段对其进行黏性数值模拟.研究结果表明:①该模型流场结构仍保持较强的附面层扫掠能力;②在来流马赫数为2.0条件下,相比传统的正圆锥乘波体Bump压缩面设计,新型设计方法可使Bump外压缩系统总压恢复系数提高0.04左右,为Bump进气道性能提高奠定基础.      

多格式载荷数据处理与管理平台的设计和实现

为了解决现有航天器载荷数据处理软件灵活度差、处理效率低的问题,设计了一种基于多级解包预处理策略以及并行处理调度算法的多格式载荷数据处理与管理平台。通过在某卫星的载荷试验数据处理与存储管理任务中的应用,验证了该平台设计的可行性和有效性。研究结果可为航天器多种格式的载荷数据并行处理与统一管理提供参考。     

一种用于机载导弹动基座传递对准精度分析的工程方法

提出了一种在不具备精确标定设备的试验条件下,分析动基座传递对准精度的工程方法。基于传递对准的安装误差角滤波估计结果,修正子惯导的初始姿态,并重新进行子惯导的导航解算。通过比较初始姿态修正前后子惯导的导航误差,分析对传递对准的精度。对试验数据的处理结果表明:用该法进行子惯导的导航解算,所得速度和位置精度大幅提高。     

航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

可控翼伞导航控制系统的设计

文章详细介绍了翼伞自动导航控制系统采用的导航算法、系统构成、硬件电路及导航控制软件的设计。并且结合空投试验的数据及对比国外类似系统的设计,对系统存在的不足及改进方法提出了自己的意见。     

基于FPGA的M位并行分布式算法的FIR滤波器设计

介绍基于查找表结构的分布式算法的基本原理,提出M位并行分布式算法的实现方法。以2位并行分布式算法结构的FIR滤波器设计为例,在Altera Cyclone系列芯片上实现32阶12位FIR滤波器,并对其性能和资源占用进行分析。