基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

基于优化理论的“惯性/卫星”制导炸弹纵向复合制导律

针对炸弹的弹体特性和"惯性/卫星"制导的特点,提出了中制导与最优末制导相结合的串联复合制导律。中制导通过程序实时解算最优攻角使炸弹升阻比最大以增加炸弹射程,末制导利用最优控制理论以最小的控制能量来保证足够大的弹着角,从而使得制导炸弹射程和杀伤威力都取得满意效果。并以某型"惯性/卫星"制导炸弹为例进行了仿真计算,仿真结果表明该方法有效可行,为"惯性/卫星"制导炸弹制导和控制系统设计提供了参考。     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。     

惯性效应对电主轴动态性能的影响

为分析高速电主轴轴承-转子系统的动态特性,利用有限元分析方法和Timoshenko梁理论,建立考虑离心力和陀螺力矩等高速惯性效应和系统阻尼的电主轴转子系统动力学模型;并以120MD60Y6型号高速电主轴为研究对象开展模态试验,获取系统不同工况下的固有频率。研究结果表明:离心力除了造成轴承支承软化外,还会造成转轴软化,且转轴软化是造成主轴系统固有频率下降的主要原因;陀螺力矩会将主轴系统每阶固有频率分为前后两个模态,且前后模态随转速变化的规律不同。仿真结果和试验结果吻合较好,这表明所建模型能够准确预测高速电主轴动态性能。     

卫星固态存储器数据容错设计与机制

卫星数据传输系统的可靠性面临着空间粒子效应、信道干扰等多重威胁。在介绍数据传输系统关键设备星载大容量固态存储器设计与实现的基础上,从管理信息、数据位流、星地链路、文件传输四个方面构建容错机制,综合应用汉明编译码、RS编译码、低密度奇偶校验码编码等数据检纠错技术,增强存储器管理信息、存储数据、信道传输的容错性能。在实际型号任务固态存储器的基础上,结合CCSDS文件传输协议提出基于自动重传机制的文件可靠传输设计,提高数据传输全流程的容错性能。固态存储器使用多级流水写入、总线并行扩展等技术,吞吐率理论上接近900Mbps,容量达到256Gb。     

一种改进的数字GPS接收机基带环路设计

针对GPS接收机设计中,接收机信号跟踪精度同信号处理的实时性不能兼顾的特点,设计了一种基于DSP+FPGA的数字GPS接收机实时高精度基带环路.阐述了基带信号处理原理及原有方法的不足,提出了一种改进的GPS信号快速、高精度捕获、跟踪方法.利用信号粗捕后先进行精捕,在提高了信号的捕获精度后再结合二阶锁频环路辅助,最终利用三阶载波科斯塔斯锁相环完成GPS载波信号的高精度稳定闭环跟踪,同时使用载波来实时的辅助码环跟踪,从而完成整个GPS信号的实时高精度跟踪.实验结果表明该基带环路能够实现对GPS信号的快速捕获、实时稳定的高精度跟踪,并具有良好的动态性能.     

星箭分离相对位姿摄影测量方法

提出一种基于视觉的星箭分离相对位姿测量方法。在相机内参数已知的情况下,将相机安装于运载火箭,并在卫星上固连不少于6个合作标志,利用相机对合作标志实时成像;基于单目位姿估计的基本原理,采用高效n点渗透与正交迭代结合的方式解算卫星与火箭之间的相对位姿关系。仿真实验结果、半实物仿真实验结果证明了所提测量方法的可行性和准确性。     

高超声速滑翔飞行器变轨段自适应跟踪制导方法

针对高超声速滑翔飞行器变轨段大偏差条件下的标准轨迹跟踪问题,提出一种基于权值矩阵自适应修正的变轨段跟踪制导方法。分析了变轨段主要控制方式和标准轨迹特性;将简化的纵向运动方程在标准轨迹附近线性化;采用将误差项引进线性二次型性能指标加权矩阵的方式,设计了改进的权值自适应修正跟踪制导方法。CAV-H飞行器仿真分析表明,该方法能够实现高超声速滑翔飞行器变轨段高精度自适应跟踪制导,对初始及过程偏差具有良好的鲁棒性。     

基于模型参考的SINS/GPS制导炸弹俯仰偏航控制

由于SINS/GPS制导炸弹俯仰偏航要进行大空域的机动飞行,导致了其作为被控对象的状态方程参数变化剧烈,就要求飞控系统具有更强的适应能力和鲁棒性.因此.设计了基于模型参考变结构控制方法的鲁棒自动驾驶仪,具有良好的瞬态性能和抗参数大范围变化能力强等优点.以某型SlNS/GPS制导炸弹为例.选取典型的气动恶劣条件,进行了按给定制导指令飞行的六自由度全弹道飞行控制仿真,仿真结果表明,该自动驾驶仪能对制导炸弹实现鲁棒自适应控制,为飞控系统设计提供了重要参考.     

空间站零燃料大角度姿态机动路径存在性分析

零燃料大角度姿态机动技术是新近应用在国际空间站的新概念姿态控制技术。构造了以控制力矩陀螺为执行机构的空间站姿态控制动力学模型,在此基础上,建立了空间站本体与控制力矩陀螺之间的角动量守恒关系。针对各类大角度姿态机动任务,通过分析空间站惯量参数与控制力矩陀螺性能参数之间的解析关系,得到了零燃料大角度姿态机动路径的存在性条件。通过规划算例验证了存在性分析的正确性。所提出的零燃料大角度姿态机动存在性条件,为姿态机动路径的存在性判断提供了便捷可行的方法,为零燃料大角度姿态机动技术未来在我国空间站实施的可行性论证提供重要的理论依据。