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））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

地球静止轨道卫星碰撞碎片短期演化风险分析

地球静止轨道(GEO)卫星与空间碎片发生碰撞后短期内会出现无地面观测数据的情况。为解决该问题,筛选了所有运行或穿越GEO区域的空间目标,分析了数值法和解析法在进行接近分析时的优劣势,给出了基于弦截法的接近分析数值求解方法,运用SDP4模型进行轨道预报。运用质量守恒和动量守恒对NASA标准解体模型进行修正,生成空间碎片信息。针对短期演化风险,在无连锁碰撞研究需求时进行假设,进而简化碰撞概率计算方法。对GEO区域内碎片的碰撞和穿越GEO区域碎片的碰撞2类事件进行分析,在碰撞完全解体和非完全解体2种条件下,分析3 d内碰撞产生的碎片对GEO区域的威胁程度。仿真实验结果表明:在完全解体的情形下,新产生的空间碎片3 d内与原有空间目标会发生100多次小于20 km的接近,最近距离降低到214.4 m。在无地面对新生成空间碎片观测数据的条件下,该研究为航天器规避机动提供参考,为下一步的长期演化分析提供理论借鉴。     

基于改进MOPSO算法的区域侦察弹性星座重构方法

针对区域侦察弹性星座重构问题,提出了基于改进多目标粒子群优化算法(multi-obj ective particle swarm optimization,MOPSO)的区域侦察弹性星座重构方法.该方法采用一箭多星发射和在轨卫星相位机动相结合的方式对受损星座重构.首先选取了星座覆盖、重构成本、重构时间和星座弹性四方面的...     

最新消息

月球形成时曾撞击地球据新华社华盛顿５月３１日电，根据克莱门汀－１月球探测器发回的数据，美国夏威夷大学科学家保罗·卢西认为，月球曾是火星大小的天体岩石，撞击地球后被反弹到空间，形成地球唯一的天然卫星。美专家拍摄到雪茄形小行星图像美国航宇局的科学家借助于新型深空跟踪雷达系统，拍摄到了太阳系中一颗长约４．８千米的雪茄形状小行星的图像。即使在观测能力极强的天文望远镜上，小行星通常也只以遥远光点的形式出现，然而在１９９４年８月间，雷达对在小行星中排名第１６２０号的“地理星”进行为期一周的探测后，揭示了这一…     

河南省新型农村社区建设研究

结合河南省基层大量实践与创新,在已有研究的基础上,明确提出了在中原经济区建设背景下作为新型城镇化组成部分的河南省新型农村社区建设的基本概念、基本定位、基本方法、基本模式、基本成效、基本问题和基本结论,系统回答了新型农村社区建设过程中遇到的一系列问题.得出结论认为,新型农村社区建设对节约集约土地资源作用显著,对改善农民生产生活方式作用显著,对城镇体系管理创新作用显著,对中国城乡统筹发展作用显著.     

航空数字视频切换矩阵设计

提出了一种适用于新一代航空数字视频传输总线的视频切换矩阵设计,它有效扩展了当前航空数字视频只能点对点传输的局限。与普通光纤交换系统不同,这种简单、高效、适用于航空数字视频的切换矩阵可支持多路航空数字视频的切换与复制功能,为航空数字视频总线作为机载统一视频传输网络的实现提供了依据。     

脉冲电解加工技术及其在模具加工中的应用

简述了大电流矩形波脉冲电源的基本特点;介绍了脉冲电解机床及加工工艺概况;列举了脉冲电解加工工艺在模具加工中的应用实例.     

高速铰套的精化

某机起落架的许多零件材料是结构钢30CrMnSiNi2A和30CrMnSiA,这些材料热处理后,硬度已达HRC 38～43,而所要加工的孔多是二、三级精度,光洁度▽7。用一般高速钢刀具进行铰孔,则难以胜任。为达到精度和光洁度的要求,在工艺上大多采用了YT15硬质合金铰刀铰孔,铰孔时转速较高,这时如在钻模设计上用一般钻套,则钻套及铰刀引导部分会因铰刀高速旋转产生摩擦而急剧磨损,这样就无法保证工艺要求。部标准HB1870-71《高速铰孔用旋转导套(滚珠式)》即为解决此间题而采用的结构,见图1。     

基于动力学分析的发动机测振截面选取

研究了发动机测振截面选择的建模方法和优化算法。确定测振截面选择思路,建立转子-支承-机匣整机模型,计算正常和故障条件下转子动力学特性,并依据总体方案规定的传感器数目,确定测振物理量较大的转子截面或支承位置,完成振动传感器布置方案的初步确定。进一步提出测振方案优化方法,通过对实测数据进行分析,考虑实测信号的信噪比和信息冗余性,确定各测点振动数据有效信息量,判定测振方案是否合理,并选择机载测点。以某型发动机为例,设计监测点布置方案。结果表明:机载测点与该型发动机实际机载传感器测点位置相同,验证了测振方案的建立方法、优化方法和机载传感器选择方法正确可靠。单元敏感度越高,反映转子振动越明显。振动相似度越低,反映发动机整机振动特性越全面。研究结果为航空发动机测振截面布置提供重要依据。      

钛及Ti—6Al—4V合金的离子注入

离子注入是极有前途的材料表面处理新技术,能有效地改善了材料的表面性能,对于抗磨性能较低的工程材料尤为显著。现介绍钛及Ti-4A1-4V合金的离子注入技术,氮或碳离子注入后,表面结构、硬度、摩擦、磨损和疲劳抗力的改善状况。某些元素注入钛及Ti-6Al-4V合金后,还能提高它抗氧化和耐腐蚀能力而不改变基质材料的原有特性。因此离子注入技术应用于钛及其合金是极有潜力和实际价值的。