过虚拟交班点的能量最优制导律

针对固定目标的导弹过虚拟交班点制导问题，在希尔伯特空间下，基于最优化理论设计了有无终端落角约束两种情况下的全局能量最优制导律。通过对模型进行线性化，将提出的最优制导模型转化为线性二次型最优控制问题，在此基础上利用零控脱靶量（ZEM）概念对系统模型进行降阶，并推导出解析解。设计的制导律可以使导弹准确经过虚拟交班点，并实现期望终端落角。仿真结果表明，与经典制导律对比，该制导律可以显著减少全局控制能量消耗。     

装备激励约束定价模式机理对比分析与设计

激励约束定价模式能够极大调动承包商积极性，是控制装备成本的一种重要方法。通过深入分析美军激励约束定价模式和我军激励约束定价模式的设计机理，提出了承包商的期望利润和军方期望价格的计算方法，并通过对比不同定价模式的特点，在借鉴2种激励约束定价模式优点基础上，设计了一种新的激励约束定价策略，提出了指导装备激励约束定价模式改革的对策建议。最后，通过算例对本文方法进行了解释，同时验证了本文方法的有效性。     

关于约束大涡模拟方法的一些思考

高雷诺数壁湍流是工程设计和应用中非常重要的问题之一,其高效高精度的模拟方法一直是湍流研究的重要研究方向。约束大涡模拟方法(CLES)是近些年提出的新模拟方法之一,和传统的RANS/LES混合方法不同,CLES在全场做LES计算:在靠近壁面的内区,它采用带约束的亚网格模型,而在外区,它使用传统的亚网格模型。经过近10年的努力,CLES方法已经在不可压/可压缩附着流、不可压缩/可压缩分离流等经典算例中得到了验证,并成功应用于航空气动中复杂流动的模拟。本文在介绍CLES方法基本原理的基础上,对CLES方法应用中的一些问题进行了讨论,最后对CLES方法的未来研究方向也做了一些概括。     

弹道可调的落角约束分数阶滑模制导律设计

针对制导弹道带落角约束的末制导问题,提出了一种基于分数阶微积分理论的时变滑模制导律。可通过提前设置参数调整制导弹道,分数阶的引入增加了制导弹道的可变性和多样性。利用李雅普诺夫稳定性理论证明了制导律的稳定性。采用分数阶积分中值定理,将分数阶微分方程转化为一阶线性微分方程,并求解出状态误差的解析式,最后利用夹逼定理证明了制导律的收敛性。数值仿真结果表明,该制导律在保证高制导精度的同时,可大范围改变弹道形式,使制导弹道复杂多变难以预测。     

实现交互式三维参数化造型的研究

参数化设计方法是当今计算机辅助设计领域的一个热点课题,交互式三维参数化造型可以在原有模型的基础上,快速而方便地生成新的设计方案,大大提高了设计效率。本文所讨论的是通过引入特征的约束关系,利用现有的实体几何造型系统来实现交互式的三维参数化造型的方法。     

变几何涡扇发动机数学模型及加速控制规律优化设计

首先建立了一种变几何通道涡扇发动机数学模型,该模型中,风扇及压气机在不同进口导流叶片角度下的特性是通过基准特性的修正获得的,然后根据几何涡扇的特点,利用非线性归划中的约束尺度法（ＣＶＭ）设计出了最优加速规律,研究结果表明,用这种方法建立的变几何涡扇数学模型是可行的,用约束变尺度法对发动机加速控制规律进行优化可以明显地改善发动机的加速性。     

CDAS 自动化监控管理系统

指令与数据获取站监控管理系统吸取了国内外先进的集散控制系统的优点,综合运用了现代计算机管理先进技术。文章介绍了该监控管理系统的方案、系统功能模块、系统结构和应用软件的设计,实现了系统管理的高效自动化,确保系统运行的可靠、安全。     

三点测距副站技术

设计和研制的两个副站（乌鲁木齐站和广州站）和北京的主站相互配合形成三点测距系统,可以完成对风云二号卫星的测距定轨任务。文章着重介绍了副站的组成、作用和功能技术指标等。它的设计方法与国外同类技术相比颇具特色。经过对日本气象卫星进行的几年跟踪测试,及最后通过对风云二号卫星执行任务的验证,确认了副站方案的可行性,设计的合理性。     

风云二号气象卫星指令与数据获取站

风云二号气象卫星指令与数据获取站是中国第一套集遥感图像接收与实时处理,多种云图广播与数据通信,以及对卫星跟踪、三点测距、确定卫星姿态、遥测、遥控等多种功能于一体,多载波体制工作的具有国际先进水平的大型综合站。文章对其任务、系统组成与功能进行介绍,给出了系统框图和主要参数。对研制全过程的重要技术问题,特别是对原始云图实时处理为展宽云图,三点测距等关键技术难点进行了较详细的分析。     

深空探测器动态约束规划中的外延约束过滤方法研究

随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设计了基于动态约束表的外延约束快速过滤算法,根据领域信息中活动间的冲突性特征来对新加入的活动进行分类和一致性检查。仿真结果表明:提出的算法能够有效地降低约束处理中无效的约束检查次数,降低问题处理过程中的算法回溯,提高规划效率和成功率。