反舰导弹大空域变轨的三维扩展比例导引律

为了使大空域变轨弹道的理论研究更符合反舰导弹的实际运动状态,建立了反舰导弹追踪虚拟目标的三维空间相对运动模型。同时,为了保证反舰导弹大空域变轨弹道的四段弹道平滑过渡,在导引律设计时同时考虑了脱靶量要求和末端落角要求。应用Lyapunov稳定性理论求解出满足要求的三维扩展比例导引律,对大空域变轨弹道的四段弹道设计了相应的过载控制指令,并进行了仿真研究。仿真结果表明:所提出的三维扩展比例导引律可以使反舰导弹顺利完成大空域飞行任务,而且保证了反舰导弹的所有性能指标均满足要求。     

基于Camlp5的泛型编程“缺省情况”研究

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。     

某直升机综合航电显控仿真系统的开发与实现

根据某直升机改装大型综合航电显控系统的需求,依据其拓扑结构,进行了仿真系统的硬件和软件设计,重点论述了基于模块化的显示、控制及通讯软件设计,按照实时性要求,仿真POP操作逻辑及MIL-STD-1553和ARINC429航空总线通讯,实现了仿真直升机上雷达、惯导、大气机通过综合处理计算机与综合显示器之间的交联,结果表明该仿真系统结构合理,功能及性能满足直升机改装验证的要求。     

基于FPGA的通用PCM测试仪的设计

设计的多功能PCM测试仪采用FPGA可编程逻辑器件作为遥测PCM解调器,在其内部逻辑时序的控制下实现对PCM信号的解码。解调后的数据通过USB总线传输至计算机进行实时数据监测与分析。上位机软件有自动测试和单机测试两种模式,发送与接收均设计有3种不同形式的接口电路,适用于运放和差分两种形式的低速以及高速PCM信号。     

基于相位估计的湍流降质图像盲复原

地基望远镜观测的空间目标图像受大气湍流的影响,其分辨率受到很大的限制。为了提高湍流降质图像的复原效果,提出一种改进的盲解卷积方法。首先,考虑观测图像受到高斯噪声和泊松噪声的干扰,推导出基于混合噪声模型的盲解卷积代价函数;然后,根据傅里叶光学原理,利用波前相位表示点扩展函数,将点扩展函数从像素值估计转换为参数估计;最后,通过参数化表示方式,将代价函数寻优从约束最优化问题转换为无约束最优化问题。模拟实验结果验证了本文模型与数值算法的有效性。     

基于MEKF的航天器姿态确定算法

乘性扩展卡尔曼滤波(multiplicative extended Kalman filter, MEKF)方法被广泛应用于各种航天器姿态确定任务。针对任意参考坐标系,推导了姿态四元数的线性运动学方程和三分量姿态误差矢量的动力学模型,并分别设计了有陀螺和无陀螺两种姿态确定方案。系统研究了姿态敏感器常用的矢量观测模型,四元数观测模型以及欧拉角观测模型,设计了更具有一般性的MEKF滤波器,为航天任务中快速应用MEKF姿态确定算法提供理论参考和技术支撑。     

基于网络演算理论计算车电系统总线的最大时延

以车电系统总线为研究对象,以网络演算理论为数学工具,提出一种基于网络演算理论的车电系统总线的最大时延计算模型.通过仿真实验得到了车电系统总线中各个信息帧的到达曲线、高优先级的信息帧集合的到达曲线、服务曲线和最大时延的数值结果.与相关研究相比,所建模型输入参数少,计算量小,可以快速求解车电系统总线的最大时延,具有良好的适应性和通用性,可以作为车电系统总线分析、设计与优化的理论支持工具.     

混合总线网络化ATS硬件结构与组网方案设计

混合总线网络化ATS可整合多种总线测试仪器/设备功能,发挥不同总线测试平台优势,增强系统灵活性,节约新系统的构建成本.针对靶场测试设备现状,研究了基于网络化测试技术的混合总线ATS构建方法.提出了混合总线网络化ATS硬件结构并设计了利用接口适配器和利用网关设备2种组网方案.     

基于现场总线的设备自动化监控系统

从设备信息管理系统的升级和业务功能扩展的角度,阐述了采用现场总线技术构成的设备监控系统的必要性和作用,并结合某工程背景,介绍了基于现场总线设备自动化监控系统的体系结构、网络拓扑结构及应用软件设计等关键技术。     

Banach空间中拟非扩展映象的不动点的迭代逼近

研究了严格凸Banach空间中非空间凸子集上拟非扩展映象的不动点的迭代逼近问题,主要证明了:设E是严格凸Banach空间,K为E的闭凸子集,T:K→K为连续拟非扩展映象。进一步假设T(K)包含于K的一个紧子集之中,迭代地定义序列{xn}∞n=1如下:(IS)yn=(1-βn)xn+βnTxn,n≥1,xn+1=(1-αn)xn+αnTyn,n≥1,其中{αn}和{βn}满足一定的条件,则{xn}强收敛于T的某个不动点。