针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

嫦娥三号“玉兔号”巡视器遥操作中的关键技术

2013年12月14日,"嫦娥三号"成功地将月面着陆器和"玉兔号"巡视器送抵月球,这标志着我国已完成了探月工程中"落"月的重要阶段.嫦娥三号任务的一个关键组成部分是由地面遥操作中心控制"玉兔号"巡视器在月面非结构化环境中进行巡视和科学探测,而遥操作技术正是该组成部分成功实施的关键."玉兔号"巡视器遥操作技术主要包括巡视器的导航定位、月面地形重构、行驶路径规划和机械臂探测等关键步骤,这些步骤相互支撑与融合,保证了嫦娥三号任务的顺利实施.本文在对上述4个方面关键技术的发展和应用现状进行总结的基础上,阐述了相关的主要技术途径及其应用特点,分析了各种技术在"玉兔号"月面巡视与科学探测任务实施中的发挥的重要作用,并评述了它们的发展潜力和应用前景,对中国探月工程以及后续火星探测工程中的遥操作具有一定的指导意义.     

天宫一号与载人飞船组合体能源管理设计与验证

天宫一号和载人飞船构成组合体期间,载人飞船处于停靠状态,由天宫一号负责组合体能源管理.基于供电安全性和传输功率的要求,组合体进行了近端采样反馈电压控制的并网供电架构设计.经过仿真、地面测试和在轨飞行试验验证,表明天宫一号与载人飞船组合体供电并网设计正确,为载人空间站工程各组合体间供电并网设计提供了有力保证.     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.     

原花青素对模拟失重条件下大鼠体内铁过载的影响

研究了在模拟失重的条件下原花青素对大鼠体内过量铁的影响。通过对大鼠进行尾部悬吊使后肢去负荷,身体倾斜-30°建立模拟失重模型,大鼠能自由取食取水。通过对大鼠进行右旋糖酐铁腹腔注射建立铁过载模型(每两天一剂100 mg/(kg·体重),共5剂),对照组注射等体积的生理盐水。通过灌胃原花青素给予大鼠原花青素处理(40 mg/(d·(kg·体重)-1),原花青素溶解于饮用水中。通过检测大鼠体重、血红蛋白、血清铁蛋白判定模型建立是否成功,通过检测大鼠体重、血红蛋白、红细胞和血清铁蛋白、肝脏切片、股骨等指标综合评价原花青素对模拟失重条件下铁过载大鼠的影响。结果表明,原花青素处理未能够缓解模拟失重条件下过量铁造成的大鼠体重增长幅度的下降、血红蛋白和血清铁蛋白的增加、肝脏内铁的沉积、骨体积分数的降低以及血清铁调素含量的变化。铁过载和模拟失重对大鼠的健康有危害作用,并且在部分器官上表现为协同作用。原花青素并未缓解模拟失重条件下大鼠体内铁过载产生的不良影响。     

三维成像载荷地面快速融合处理方法研究

三维成像载荷是一种能够同时采集激光雷达数据以及CCD影像,并快速融合生成三维立体影像的新型载荷。在分析载荷工作原理的基础上,面向载荷的地面检校及成像试验,提出了一种针对该新型三维成像载荷的地面快速数据融合处理方法;并利用地面实测数据对方法进行了验证。结果表明,该方法能快速生成实验区的三维影像,同时也验证了该类型载荷对激光雷达数据与影像数据快速融合的能力。     

基于hp自适应Radau伪谱法的再入飞行器轨迹优化

全局伪谱方法在解决平滑最优控制问题时具有指数级收敛速度,但对于状态变量震荡的最优控制问题往往难以在短时间内取得满意解。飞行器机动再入轨迹通常为震荡形式,因此设计了hp自适应Radau伪谱算法(hp-RPM)求解再入最优轨迹。hp-RPM以相对曲率作为判据,将震荡轨迹划分为多个平滑子区间,在每个子区间内采用低阶插值多项式逼近最优轨迹,以提高算法效率、估计精度和解的最优性。仿真结果表明,hp-RPM方法在算法效率、估计精度、解的最优性上,较全局Radau伪谱方法均有较大程度的提高。     

基于802.15.6的分组检测算法设计与仿真

针对BAN(body area network)系统传输数据分组具有突发性的特点,设计了一种基于数字匹配滤波器和自适应门限判决的分组检测方法.根据数字匹配滤波器的原理和BAN调制信号的特点分析获得了相关峰值的计算方法,采用自适应门限判决的方法对相关峰值进行判决实现分组检测,并利用Matlab对算法性能进行了仿真.仿真结果表明,采用的分组检测算法在一定频偏范围内均具有较高的检测概率.     

火焰雷管装药恶劣温度下安定性分析

为分析火焰雷管用N-LTNR(中性斯蒂芬酸铅)和Pb(N₃)₂(叠氮化铅)装药在-70℃~+130℃恶劣环境温度下的安定性,采用相机观测了N-LTNR在DSC(示差扫瞄量热仪)中连续升温中(≥110℃)药剂变色、颗粒变碎、变疏松,以及降温过程中(≤-40℃)颗粒破碎、蹦跳等结晶水带来的物理不安定性;为检验N-LTNR失去结晶水对Pb(N₃)₂水解反应的影响程度,对N-LTNR和Pb(N₃)₂混合装药采用纯度分析鉴定化学安定性,结果表明Pb(N₃)₂的水解反应使纯度由98.6%降到95.26%,所以该雷管装药应限制在110℃以下使用.     

基于FPGA的频率远距离稳定传输方案设计及实现

研究了通过电学补偿且基于FPGA (field programmable gate array)设计实现的频率远距离稳定传输问题.根据共轭相位补偿法原理,设计了基于FPGA的数字锁相环频率远距离稳定传输方案.该方案通过4次变频及滤波来提取远端信号和本地信号的相位差,利用锁相环使远端的信号相位变化与本地点的基准信号相位变化相同,从而实现频率远距离稳定传输.在基于FPGA的数字信号处理板上对该方案进行了实现,并给出了具体的实现方案和FPGA实现结果.由于变频、滤波及锁相环均在FPGA内部通过编程实现,该实现方案具有很强的参数选择灵活性及工程易实现性.最后,设计了链路时延测量回路,对不同条件下频率传输的稳定性进行测量,测量结果表明,设计的频率传输方案有效地减小了环境温度变化对信号在光纤中传输时延的影响.