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

飞机与风筝

目的 探讨飞机与风筝之间的共性和不解之缘。方法 根据升力的产生及影响、空中平衡的条件以及飞行的稳定性，阐述二者之间的内在联系。结果 论述了风筝是飞机的诞生与发展之源。结论二者之间可以相互借鉴。     

新一代便携式飞机称重系统的研制及应用

介绍了一种新研制出的便携式飞机称重系统，较详细的介绍了系统有很低的原理及应用。     

一种抗干扰修正比例导引律的研究

本文从比例导引的修正和补偿思想出发，分析了比例导引的抗干扰性，并由此推导出一类修正的比例导引律，从中设计了一种可有效克服各种干扰的新型修正比例导引律。数字仿真结果表明，改进的导引律能有效地克服诸如导弹初始干扰、目标机动及阵风干扰等等，且工程实现简单。     

转速对铁磁流体动密封能力影响的实验研究

对密封环齿面角度为３０°、４５°、６０°的六组试件进行了转速对密封耐压能力影响的实验研究，实验结果表明，对于每边轴套磁极上具有一道密封环的结构，在零转速时，可提供１６０￣１８５ｋＰａ的耐压能力；在旋转轴圆周速率为２７ｍ／ｓ时，可提供１２０￣１５０ｋＰａ的耐压能力。     

飞机地面空调车自动温度控制系统设计

本文论述了飞机地面空调车自动温度控制系统的研究与开发。介绍了空调车的设计要求、功能及其原理。阐述了空调车动力系统和空调系统、环境参数对空调车温度及其稳定性的影响。该系统包括电源部分、信号检测、单片机及控制电路四部分。该系统是以单片机AT89C55为基础、采用电压/频率转换技术、具有计算机通讯功能的智能控温系统。     

检测质量对硅微机械框架振动陀螺影响的研究

 根据陀螺的动力学方程，从陀螺设计中的重要参数——内、外框架组件的等惯量约束条件和振动灵敏度等角度，探讨了检测质量对陀螺性能的影响，为微机械框架振动陀螺的设计提供了理论依据。     

高可靠度的安全撞击强度公式

针对现有的临界落高测定方法存在的估计精度差、可信程度低的缺点, 建立了高置信度、高可靠度的安全撞击强度公式。该公式可以综合利用当前试验数据和以往积累的试验数据确定安全撞击强度, 从而既提高了估计精度又减少了试验费用。大量Ｍｏｎｔｅ Ｃａｒｌｏ 仿真分析表明,该式不仅可以在小样本条件下确定安全撞击强度, 而且置信度高。最后给出了一个具体应用的实例     

陶瓷/复合材料装甲板防弹机理分析

分析了纺织复合材料和陶瓷的低速冲击性能,并以此为理论基础,剖析陶瓷/复合材料装甲板受弹头冲击时的防弹机理,并建立此过程的动态分析模型,讨论和预测复合装甲的损伤和破坏,为复合材料在复合装甲上的应用和防弹能力预测提供理论分析依据。     

飞机大型蒙皮制造技术现状分析

大型蒙皮是大型飞机的外表主要大型薄壁零件,飞机大型蒙皮制造是大型飞机制造的关键技术之一。重点介绍了喷丸成形和蠕变时效成形两种大型蒙皮制造技术的特点、国内外发展现状以及其中的关键技术。为了提高我国大型蒙皮技术制造水平,必须加大设备和关键技术方面的投入,同时也要对激光钣金技术予以必要的关注。