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

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

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

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

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

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

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

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

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

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

线性系统测试矩阵优化

研究了工程中常见的线性系统循环指数为1(即其约当标准形不同的约当块不出现重根)的情况下测试矩阵优化的方法.通过将系统矩阵变换为约当标准型,能够简单地判定测试矩阵能否保持系统可观测.采用该方法可以在保持系统可观测的情况下,简单而直观地获取系统测试代价最小的测试策略.例子表明,该算法在工程上易于应用.     

非线性压电振动能量俘获行为建模及其不同参数影响机理研究

如何利用非线性特性来改善压电振动能量捕获性能是工程实际中需要解决的一个问题,为此建立了非线性压电振动能量捕获行为的数学模型,利用定积分法推导了该模型的数值计算方法,并针对不同参数对非线性压电振子输出电能的影响特性进行了数值仿真,结果表明:减小非线性阻尼、增大非线性压电耦合系数均有利于提高非线性压电振动能量俘获的性能;减小非线性刚度能提高低频振动能量俘获的输出,但减小了共振带宽。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于动力学建模的装备自主保障系统性能仿真

自主保障是未来装备战场保障的重要发展趋势。论文以飞机发动机为对象,通过引入技术贡献率参数,建立其自主保障体系的动力学模型,并利用Vensim软件进行仿真分析,结果表明,自主保障体系在提高战备完好率、减少维修人员、降低维修费用和缩短保障时间方面具有明显优势。论文提出的方法为定量设计和评估其它装备自主保障体系提供了一种有效途径。     

超声速气流中液体横向射流组合喷注特性实验

以液态燃料为动力的超燃冲压发动机中,液体横向射流在超声速气流中的喷注、混合和雾化特性直接影响了超燃冲压发动机燃烧室的工作效率。提出一种基于高速摄影的图像处理方法,此方法能消除图像处理过程中的人为因素干扰,得到唯一、定量的射流振荡的边界信息;提出一种基于粒子图像测速法的射流展向扩展边界获取方法,能得到射流破碎后形成液滴所能达到的最远距离;基于以上两种图像处理方法和对比实验研究了单孔喷注、展向组合和沿流向组合的喷注方式对射流穿透深度、展向扩展和激波角的影响,结果表明:相比单孔喷注方式,展向组合和沿流向组合的喷注方式均能增大射流的穿透深度,且能增大射流的展向扩展角和展向扩展范围;随着沿流向布置的喷孔间距的增大,射流的穿透深度增大。