基于XML的数据采集交换系统

从技术需求、系统结构等方面全面介绍了一种基于XML的数据采集交换系统的设计与实现。该系统基于XML技术, 结合迅速发展的信息采集需求, 实现了大范围的数据资源的采集、交换与共享。该系统已成功应用于国家“863”计划项目: 智能化农业信息处理系统———河北示范区建设。     

基于Gauss伪谱法和直接打靶法结合的月球定点着陆轨道优化

将一种求解最优控制问题的新方法—高斯伪谱法( Gauss Pseudospectral Method-GPM)和传统的直接打靶法有效结合,对月球着陆器定点软着陆轨道快速优化问题做出了研究.推导了高精度模型下着陆动力学方程.针对优化方法各自的特点和多约束条件下最优月球软着陆轨道设计的难点,提出了问题求解的串行优化策略:将控制变量和终端时间一同作为优化变量,同时离散控制变量与状态变量,取较少的Gauss节点,利用GPM求解初值,初值的求解采用从可行解到最优解的串行优化策略;在Gauss节点上离散控制变量,利用直接打靶法求解精确最优解.仿真结果表明,本文提出的轨道优化方法具有较强的鲁棒性和快速收敛性.     

超声速欠膨胀冲击射流数值模拟

超声速欠膨胀冲击射流有着重要的实际应用价值,如S/TOVL飞行器、火箭发射、除尘等。其流场结构复杂,包含间断激波、反射激波、马赫盘、滞止泡以及冲击平面传热不同于亚声速冲击射流的特点。为了分析超声速欠膨胀冲击射流流场和传热,采用有限体积法,结合k-l湍流模型以及二阶精度的TVD格式进行数值模拟:对比实验和k-ε湍流模型的努赛尔数,得出k-l湍流模型在传热问题中更具优势;对比阴影图和计算密度云图以及对比冲击平面压力系数的实验值和计算值,验证了k-l湍流模型模拟超声速欠膨胀冲击射流流场的合理性;采用k-l湍流模型研究3种冲击高度(3D,6D,10D),3种压比(2.0,3.4,4.4),3种喷管总温(493 K,591 K,580 K)下,冲击平面温度分布。数值研究结果对分析超声速欠膨胀冲击平面的烧蚀有一定的指导意义。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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