ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

Achievements of Space Scientific Experiments Aboard SJ-8 Satellite

As scientific experiment payloads, microgravity experiments of fluid physics, life science,combustion science, physics and accelerator measurement were conducted on board the Chinese recoverable satellite SJ-8 during 18-day orbital flight. The experimental payloads and an experiment support system constituted the microgravity experiment system of the flight mission. This article has presented the briefs of the scientific achievements of these space experiments, the composition and performance of the Microgravity Experimental System (MES) and the general picture of the overall flight mission, respectively.      

基于可观测度分析和模型预测的空间自标定方法

光纤陀螺以其优点适合空间飞行器定姿要求,但长期在轨飞行必须对光纤陀螺进行自标定。通常采用高维复杂陀螺模型计算实时性误差,而采用舍去状态量的降维模型影响系统定姿精度。针对这一问题,通过星敏感器观测,对高维陀螺模型进行可观测度分析,提出了一种基于模型预测的降维模型,将可观测度较低的状态作为模型误差进行预测估计,保证了系统精度并大大减小了计算量。半物理仿真结果表明此算法精度略高于高维模型自标定方法,计算量仅为高维模型的1/10,显著提高了系统的实时性。     

航天器内环境模拟技术

在载人航天中,航天员的辐射危险性是必须受到重视的问题。航天器的内环境是一个复杂的复合场,受外部辐射场和屏蔽材料等多种因素的影响,单一的探测技术很难探测得到内部辐射场的性质特点,而且无法对辐射危害进行评估。文章从射线与物质相互作用的角度出发,对NASA所用航天器内环境的模拟技术进行了介绍,并介绍了根据我国国情已往开展的相关研究工作,包括在Geant4软件包的基础上,将射线与物质相互作用的处理方法进行扩展,开发新的软件,编制SRP(Space Radiation Protection)程序等。     

一种基于天体观测的月球车位置姿态确定方法

针对月球车提出了一种基于天文观测的自主位置姿态确定方法.建立了利用天体敏感器测量得到的天体高度和方位作为观测信息的量测方程,并利用月球车运动的三阶常加速(CA,Constant Aceeleration)模型和姿态的欧拉角运动模型作为系统方程,给出了基于Unscented卡尔曼滤波获得月球车实时位置、速度和姿态信息的导航方法.计算机仿真表明该方法可达到较高的位置姿态确定精度.      

基于信息融合的深空探测器的自主导航方法

天文导航是深空探测器实现自主导航的重要手段之一 ,其基本原理是基于航天器轨道动力学方程和对天体的观测信息 ,利用卡尔曼滤波精确估计航天器的位置和速度。但由于天文导航只使用了相对于天体的角度信息 ,所以定位精度较低。为解决这一问题 ,文章提出了一种在天文观测信息的基础上 ,同时利用多普勒频移测量探测器与地面站的相对速度 ,并利用信息融合将两者有效的结合在一起的导航新方法。计算机仿真结果显示 ,该方法可以大大提高导航定位的精度     

防御和控制DOS/DDOS攻击新方法的研究

DOS(Denial\|of\|Service)/DDOS(Distributed Denial\|of\|Service)网络攻击不但给被攻 击目标带来麻烦,而且还严重干扰与被攻击目标共享网络的其它流量.利用主动网络将一些计算功能增加到每个中间节点(路由节点、交换机等),提出一个防御和控制DOS/DDOS攻击的机制体系,这个机制体系主要包括以下3个机制 :基于集群的自动鉴别和控制机制、基于集群的主动通告追踪机制和基于管理域的控制合作 机制.基于集群的自动鉴别和控制机制包括对DOS/DDOS网络攻击集群的鉴别策略及控制它们 的速率限制策略.基于集群的主动通告追踪机制则是把这些攻击集群特征通告给上游主动节 点并使之激活当地的速率限制策略.利用该系统,在试验中能够有效地预防和控制DOS/DDOS 攻击.      

可变桨距冲压空气涡轮混合型流场数值研究

冲压空气涡轮流场数值研究主要目的是模拟在实际高空加油工作状态下涡轮变桨距气动特性.数值风洞实验采用代数Baldwin-Lomax湍流模型,雷诺平均Navier-Stokes方程,模拟可变桨距冲压空气涡轮全三维混合型流场,并分析其流场主要气动特性,探讨桨叶载荷分布原因,然后将数值模拟结果与风洞实验数据进行了比较.改进桨叶近轮毂区域气动性能可进一步提高冲压涡轮载荷.      

一种磁悬浮飞轮用新型永磁偏置径向磁轴承

为了克服现有永磁偏置径向混合磁轴承的缺陷,提出了一种磁悬浮飞轮用新型永磁偏置径向混合磁轴承,分析了其工作原理,并分别利用等效磁路法及有限元方法对该永磁偏置径向混合磁轴承进行了电磁分析.分析结果表明:所提出的新型永磁偏置径向混合磁轴承采用永磁磁场作为偏置磁场,并且其永磁磁路与电励磁磁路在任一径向截面中共面,可使磁轴承轴向长度大为减小,与现有永磁偏置径向混合磁轴承相比具有体积更小的优点,同时该种永磁偏置径向混合磁轴承产生的偏置磁场在X,Y方向上不会产生耦合,可使控制更加容易,特别适用于高速、低功耗等场合.      

太阳帆板平面度测量系统的误差补偿方法

介绍了一种采用斜光学三角形测量结构和基于虚拟精密测量基准的太阳帆板平面度无接触测量系统及误差补偿方法.提出的虚拟精密基准的建模与误差补偿技术,解决了在非精密基准上实现精密测量这一难题,使得所研制的测量系统利用现有平台可实现对太阳帆板平面度的高精度测量.实际测量结果表明,该测量系统对面积为2581mm×1755mm太阳帆板的平面度测量精度达0.02mm(RMS).