基于混合加密的 移动存储文件安全系统设计与实现

针对移动存储设备数据传递过程中面临的信息泄露、内容篡改等安全问题,基于多层嵌套混合加密思想,将ECC公钥密码体制与AES高级加密标准相结合,建立操作系统服务层的移动存储文件安全体系。设计了ECC密钥对存储格式、公钥离线交换机制和基于ECDH的密钥交换协议。将密钥信息以密文身份认证文件的形式随加密文件同时存储至移动存储设备中;解密时,以身份认证文件和ECC算法为依据进行解密。设计了二层混合加密和三层混合加密2种模式,使系统在安全和便捷方面具有一定的弹性,并在提高文件分发灵活度的同时,保证了系统的安全性。经严格测试,系统具有理想的安全性,能够实现对移动存储设备文件的有效防护。     

自动转移飞行器的轨控总体方案

介绍了欧空局的自动转移飞行器（ATV）的轨道控制方案和技术。给出了ATV的飞行方案、测量敏感器和执行机构的配置,以及在空间站调相段、寻的段、接近段和最终逼近段的轨控策略。     

不同迎角下脊形前体绕流数值模拟研究

脊形前体有较强的背风涡流场,不同的前体形状对前体涡流场和气动力有很大的影响.本文针对脊形前体飞行器大迎角湍流大分离流动计算的困难,采用IDDES混合湍流模型,以及与之匹配的非定常算法,研究了不同来流迎角下脊形前体的气动特性,以及背风涡非定常演化、破裂的细致流动结构.选取了不同脊形角,以及不同上、下高宽比的脊形前体进行计...     

细长杆降低超声速客机气动噪声的数值分析

在超声速客机机头加装适当的细长杆可以降低飞行噪声。本文借助基于AUSM+格式的准三维数值模拟手段对7组13种细长杆方案做了分析比较,总结出了近场气体参数与远场气体参数之间的关系的规律。文章还从气体动力学理论和激波理论出发,对数值模拟结果作了解释,并揭示了细长杆降噪效果与细长杆外形的内在联系,以及近场、远场两者关系的经验公式。文章从各种方案中选取了降噪效果较好的细长杆方案做三维流场分析,并通过流固耦合计算对其结构强度做了校核,验证了方案的可行性。     

一种双钟型喷管液氧/甲烷发动机系统方案

根据双钟型喷管高度补偿特点及技术研究现状,提出了一种双钟型喷管液氧甲烷发动机系统方案,进行了双钟型喷管基弧段及延伸段面积比优化,并与其他系统方案进行了性能对比分析。研究表明,对于地面起动的芯级发动机,采用双钟型喷管是提高发动机综合比冲性能以及运载器有效载荷的有效途径。     

几种常用格式和湍流模型在高速流动中的适用性研究

针对高超声速飞行器中存在的强激波、激波/边界层干扰、分离、湍流等复杂流动现象,对比分析了当前计算流体力学中的主要空间离散格式及湍流模型,发现不同格式对强激波的分辨率基本相同,Roe和LDE(low diffusion E-CUSP(convective upwind split pressure))格式对摩擦因数和传热系数的模拟优于其他格式;S-A(Spalart-Allmaras)一方程湍流模型计算的摩擦因数比k-ωSST(shear stress transport)两方程湍流模型高10%左右,而后者预测的分离区约为前者的2倍,且分离点靠前.     

激光陀螺四位置寻北仪提高精度方法

为消除激光陀螺零偏和常值漂移的影响,采用四位置方案来实现高精度寻北。本文简述了单轴激光陀螺四位置寻北方案,给出了陀螺敏感轴与机体系前向偏差角标定方法,研究了寻北仪在倾斜基座下数据补偿算法。本文研究了由于在四个位置上电机转动不到位所引起的误差补偿算法。通过对寻北仪系统测试,采用电机转动不到位补偿后数据标准差降低了0.02º,激光陀螺寻北仪系统达到了高精度快速寻北的要求。     

空间核动力技术概览与发展脉络初探

在概略介绍现有技术方案基础上,初步探讨空间核动力技术的发展脉络,并分析其未来发展方向.基于固体核反应堆的空间核电源、核电推进及核热推进,是经过试验验证可行、具有一定技术基础并可预期实现空间应用的空间核动力技术.更先进的概念方案包括:基于气体核反应堆的核电源/核热推进、脉冲核爆推进、核裂变碎片推进等,它们的性能逐代跨越直至逼近理论极限.要充分利用核能的潜力,一方面需要提高单位质量核燃料的核能释放率,另一方面也需要减少核反应产物动能转换为无轨热运动的比率.核能潜力的充分利用需要以增加系统质量为代价.为满足未来宽广的空间任务需求,多物理机制驱动的大深度变工况一体化核能空间动力系统是未来必然发展趋势.     

精密复杂零件的工艺设计过程分析

针对航天控制产品精密复杂零件的工艺难点,以该类零件的工艺设计过程为主线,分别论述了材料定额编制、工艺路线设计以及工序设计过程中的注意事项和工艺方案设计方法,并以实例进行了简要说明。     

关于非扩张映像和非扩张半群的单调混杂算法

在Hilbert空间中，使用单调混杂算法，修正了由Zhao等引进的隐迭代格式，分别对一族有限个非扩张映像和非扩张半群证明了强收敛定理。同时，也使用这种算法来逼近单调算子的零点，并得到强收敛定理。