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

奥地利哈尔斯塔特小记

时光倒流约两个世纪,德国著名科学家和探险家亚历山夫.冯.洪堡,来到这个峰峦环抱的湖区,面对旖旎的湖光山色,留下也这是"世界上最美丽的湖泊"的赞叹,引发了后人飞越的神思和向往。     

公司工艺装备技术发展探讨

针对公司工艺装备现状、存在的问题，提出精益生产是工艺装备技术发展的方向；优化产品工艺、采用新技术、提高人员素质、制定正确政策和配备必要的计算机软、硬件是工艺装备技术发展的途径。     

娶个美女做老婆

前段时间,“娶个美女的十大郁闷”、“不娶美女的十大理由”大行其道。让许多男人看了后，长叹一声，美女呀，不娶也罢。     

最新消息

美科研卫星发射失败　据新华社华盛顿消息，１０月２３日美国“大篷车”（Ｃｏｎｅｓｔｏ－ｇａ）火箭在弗吉尼亚州瓦洛普斯岛发射基地点火升空４５秒钟后爆炸，箭毁星亡，星箭碎片溅落大西洋。大篷车火箭重２００吨，为５级火箭。此次由它发射的科学研究卫星名为“往返式多项实验转运机”，重１吨，使用寿命为２年。在此卫星上，美航宇局和一些大学与公司原计划进行１４项试验。目前事故原因尚未公布。德国航空航天公司因亏损裁员　据新华社消息，属于奔驰集团的德国航空航天公司目前决定大量裁减人员、关闭部分工厂，以减少日益严重的亏损…     

面向海洋机动目标跟踪监视的卫星重构组网优化与仿真

摘要： 针对海洋机动目标跟踪监视问题，提出通过卫星相位重构调整进行机动目标搜索跟踪的监视策略，构建地理坐标系下机动目标航位预测模型及基于霍曼转移的卫星调相组网方式，并采用NSGA II算法进行优化求解，对比分析卫星重构组网前后的机动目标发现概率.仿真结果表明：在卫星能量消耗允许范围内进行重构组网，能够有效提升对机动目标的发现概率，为海洋机动目标的搜索跟踪问题提供了一定的方法支持.     

航空装备修理核心技术及创新发展路径

在充分调研的基础上,系统分析了空军航空修理企业核心技术现状,对核心技术的培植与评判机制问题进行了讨论,有针对性地提出依托装备技术成熟度,建立聚焦航空装备核心技术,构建科学、全面、完整的维修保障技术体系,增强航空装备修理核心技术建设,探索装备修理技术创新发展路径。     

安第斯山上空平流层山地波统计特征的AIRS观测研究

利用AIRS红外探测仪在2013—2018年的辐射测量数据,对安第斯山20km,27km,35km及41km高度的山地波进行个例研究和统计分析.观测结果表明安第斯山上空山地波主要发生在5—10月,月平均水平波长、垂直波长及动量通量均没有明显的年际变化.水平波长在5月和10月相比6—9月较小,垂直波长和动量通量5—7月逐渐升高,达到峰值后在8—10月逐渐下降.在20～41km范围内,水平波长从43.5～53.9km缓慢升高至89.3～176.8km,垂直波长从7.4～14.7km上升至7.4～29.7km,动量通量由376.0～801.3mPa显著下降至10.4～239.3mPa.总体而言,山地波在向上传播的过程中,水平波长缓慢增加,在逆风传播的情况下,受到背景风场影响垂直波长随高度升高而增大.动量通量随高度升高显著下降,说明安第斯山山地波向上传播的同时伴有强烈耗散,耗散的能量将储存在背景大气中,对高平流层甚至中间层产生重要影响.