基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

钨丝网隔热栅在大型固体发动机接头上的应用

航天飞机固体助推器壳体接头改进设计期间,进行了多种方案比较,其中一种设计允许燃气直接加压于主密封圈,理想情况是燃气在密封圈前滞止,对密封圈加热较小,然而燃气的质量守恒和能量守恒分析表明,这使燃气在接头间隙内会形成环流,对密封圈有极大的热破坏。为改进这种方案,增加了隔热栅装置,以降低接头内燃气的流动和传热。实验表明,钨丝网隔热栅不仅可降低燃气的流速和温度,而且可阻挡一部分推进剂燃烧产生的灰渣。     

以色列的新型"德比"空空导弹

经过２０多年的秘密研制，以色列的最新型超视距空空导弹“德比”（DERBY）终于撩开了神秘的面纱。“德比”导弹的研制成功，标志着以色列成为继法国（“米卡”）、俄罗斯（R７７）和美国（“先进中程空空导弹”）之后第四个设计、研制和生产出主动雷达寻的制导空空导弹的国家。与俄罗斯和西方国家的类似导弹相比，“德比”导弹有其许多独到之处。“德比”导弹主要是在以色列的“巨蟒”４红外制导格斗导弹的基础上研制而来的。它保持了“巨蟒”４导弹的全动式鸭式翼面（俯仰和偏航控制）和滚动稳定后翼（弹翼）的弹体布局，并采用了“巨…     

复合材料胶接连接工艺

文中叙述了胶接工艺应具备的条件,复合材料胶接连接工艺特点和质量控制等内容。     

新疆空管局通信总站今年技术培训出新招

伴随着春天的脚步，新疆空管局通信导航总站新一年的技术培训工作也步入正轨。与以往不同的是，今年的技术培训一改往年将参培人员主送疆外的方式，而是将员工的培训与其所在相应岗位紧密结合起来，并以各导航站，通信站工作人员为主要培训对象，采取内部岗位轮换这一新的培训形式。     

润滑因素对螺栓连接预紧力的影响

针对润滑因素对螺纹连接预紧力影响状况的实际需求,进行了30CrMnSiA高强结构钢螺栓与TA15钛合金基体之间在多种润滑条件下螺纹连接预紧力变化的分析和试验,为TA15钛合金螺纹连接构件在润滑条件下的设计、使用提供参考.     

Bi_(1.9)Pb_(0.3)Sr_(2.0)Ca_(1.7)Mg_(0.3)Cu_(3.1)O_x 超导块材弱连接区的低磁场性

通过对在不同外磁场下Ｂｉ１．９Ｐｂ０．３Ｓｒ２．０Ｃａ１．７Ｍｇ０．３Ｃｕ３．１Ｏｘ超导块材的交流磁化率的测量，获得了样品内晶粒间和晶粒内对外场的不问响应范围．通过与粉状样品实验结果的比较和Ｘ光分析，认为块状样品在温度为１００Ｋ左右出现的抗磁台阶是样品内晶粒间超导弱连接的一种抗磁效应．对弱连接区有效钉扎力Ｆｐ和临界电流密度Ｊｃ与外场Ｈ的关系进行了讨论．     

转子分区循环对称接触应力分析

 通过光弹实验表明了端齿连接转子受力的分区循环对称性。针对这~特性建立了各循环对称分区的循环对称接触有限元应力分析方法,并利用叠加原理将各循环对称分区间过渡区化为几个小规模的循环对称问题。     

先进复合材料格栅结构制造工艺技术的研究进展

介绍了复合材料格栅结构的特点及发展现状,并回顾了传统复合材料成型工艺方法和格栅结构的早期制造方法。另外,介绍2种新型的格栅结构加工方法,即混合加工法、膨胀模块加工法以及改进的格栅结构:互锁复合材料格栅结构、加套管的槽形连接格栅结构和TR IG结构;并分别说明了每种结构的优点。其中重点介绍了混合加工法并从理论上推导其可行性。最后总结了复合材料格栅结构制造工艺的发展趋势。     

扩散焊接及其在航空航天领域的应用

扩散焊接是制造航空航天构件非常重要的连接技术。本文简略地介绍了它人特点，分类，连接机理，焊接设备以及它们在航空航天领域的应用。