加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

新疆少数民族儿童数学应用题解题调查研究

应用题解题对于提升民族儿童分析问题、解决问题的能力、培养思维品质、锤炼道德品质等方面有着重要作用.调研发现,南疆少数民族儿童的应用题解题障碍包括教学语言(常规语言、数学语言)、问题情境不熟悉、数学知识掌握不扎实、解题思维过程欠缺规范等多个方面.针对上述问题,从加强国语教育、渗透数学文化教育、开发课程资源、培养规范、严谨的解题习惯等多个方面提出了有针对性的对策.     

靴形喷油速率耦合预喷射对超高压共轨柴油机性能的影响

在介绍超高压共轨系统工作原理的基础上,基于GT-Power软件建立单缸超高压共轨柴油机的仿真模型,并利用试验验证模型的准确性,而后通过模型分析不同喷油速率、靴形喷油速率耦合不同预喷油量和靴形喷油速率耦合不同预喷提前角对超高压共轨柴油机动力性、经济性以及燃烧排放特性的影响。结果表明:通过调整超高压共轨系统中电控增压器电磁阀和喷油器电磁阀的开启时间,能够实现喷油速率的柔性可调。随着喷油速率从矩形变化到靴形,柴油机缸内压力、温度以及NO_x排放量均逐渐降低,而soot排放量逐渐升高,且靴形喷油速率可使柴油机获得最大的功率(扭矩)和最低的油耗率。靴形喷油速率耦合较小的预喷油量可以使柴油机获得更好的动力性、经济性和燃烧特性,但同时也会导致NO_x排放量的升高。靴形喷油速率耦合较大的预喷提前角有助于改善柴油机排放特性,但受到预喷油量的限制,效果并不明显。     

满足大动压模拟要求的试验弹道优化设计

为了解决弹道导弹在高海拔发射场进行飞行试验时的大动压检验问题,提出一种模拟大动压条件的试验弹道设计方法。针对发射场的实际特点,建立残骸再入的动力学模型与落区边界模型;将大动压模拟条件转化为过程约束,提出一种主动段联合优化策略。基于自适应模拟退火算法,分别设计了三组满足不同大动压模拟条件和各项约束的试验弹道,并给出了对应的落区调整方案,验证了该方法的可行性。设计结果表明,最大动压主要出现在一级,一级最大负攻角增加,则最大动压也明显提高;同时调整发射方位角和二、三级程序角可以保证试验弹道满足弹头落点约束条件。     

变质心再入飞行器的质心移动方式研究

变质心控制是一种利用质量块的主动移动来改变飞行器质量特性的控制方式,该控制方式对于克服各种高速飞行器执行机构的气动烧蚀问题有着重要的意义.通过建立变质心再入飞行器的线性化方程,研究了质量块在飞行器内部不同方向上移动与可建立配平攻角之间的关系,并通过仿真计算可知再入飞行器再入的不同阶段质量块沿不同方向移动时的控制效率是有所差别的.研究结论对于提高变质心再入飞行器的控制效率有着重要的意义.     

密集杂波环境下用于多目标跟踪的改进PDA算法

概率数据关联(PDA)算法在密集波环境下跟踪单目标时具有良好的效果,但当跟踪多目标时,由于未能考虑相邻目标间的相互影响,因此效果不佳,针对PDA算法的不足,基于多目标跟踪中相邻目标间相互影响的特点,提出了一种新的改进概率数据关联(NIPDA)算法.新算法引入量测J属于目标t的概率Bjtk,并用其对关联概率进行修正,从而在计算互联概率时考虑了相邻目标间的影响.仿真结果表明,新算法在计算量与PDA算法相近的情况,提高了目标跟踪成功率.     

新一代GPS卫星信号的研究

随着GPS现代化建设进程的不断推进,改善导航与定位精度、扩大服务覆盖面和改善服务持续性,提高系统安全性和抗干扰性、注重兼容与扩充等技术相继得到了应用与实施.为此,在分析新一代GPS卫星信号改进与变化的基础上,从包含新的信号调制体制、新的军用伪码信号及其增强型应用,考虑兼容和新需求的民用伪码及新频段增设等方面进行了较为系统的归纳与深入地研究,进一步通过仿真分析验证了新一代GPS卫星信号的先进性和拓展性,从而为发展我国天基导航系统提供依据.     

分布式标图系统关键技术研究

针对分布式标图系统的面临的主要问题,提出运用发布/订阅和消息中间件的技术,实现分布式标图系统的松散耦合,有效地降低了系统中的数据流量.介绍了基于消息中间件和发布/订阅机制实现的分布式标图系统的主要数据结构和功能模块的实现方法,指出这些技术对通用综合态势图的生成也具有重要意义.     

空中机动目标刚体运动建模方法

传统目标跟踪和识别算法通常建立在目标质点运动模型的基础上,其实现过程相对简单,但也存在精度不高的缺点.随着现代雷达、目标跟踪/识别技术的发展,以及各种高精度目标测量传感器的运用,建立更精确的刚体运动模型已成为一种必然需要.概述了国内外在空中机动目标刚体运动建模这一领域的研究现状,并详细介绍了当前常用的几种空中机动目标刚体运动建模方法,最后,根据分析总结了当前这些建模方法存在的缺陷,并指出了其可能的研究方向.     

卫星活动部件的干扰辨识与抑制

采用干扰辨识的方法实现带活动部件三轴稳定卫星的高精度姿态控制问题.首先以扫描镜为例进行,分析扫描镜运动对卫星产生的等效干扰力矩;然后根据卫星控制系统的稳态输出数据,采用特征系统实现算法对扫描运动产生的干扰频率进行闭环辨识;最后在所辨识干扰频率的基础上,采用偶极子干扰抑制滤波器消除扫描镜运动干扰对卫星姿态的影响.仿真结果表明,所提出的方法能有效地克服活动部件运动产生的未知干扰对卫星姿态稳定度的影响,提高在轨运行卫星的姿态控制精度.