大型强子对撞机快要收尾

欧洲核子中心大型强子对撞机上的通用探测器“ATLAS”最后一个大型部件2月29日在日内瓦郊区被吊装入地下深100米、总长约27公里的环形隧道内，这标志着该探测器的建造和安装进入最后阶段。     

修理工单重休假的单部件系统的可靠性分析

分析了修理工单重休假的单部件系统．假设系统的寿命分布、修理时间分布、休假时间分布均为一般分布．使用马尔科夫更新过程的方法，获得了可靠度、可用度和平均故障次数的重要可靠性指标．     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

基于部件的涵洞CAD系统

根据涵洞CAD系统的总体设计的功能要求,结合涵洞的结构特点、涵洞设计要求及面向对象的编程方法,提出基于部件的涵洞CAD系统开发方法和涵洞CAD系统的部件划分方法,并开发了基于部件的涵洞CAD系统。在生产实际中的应用表明,该系统具有较强的适应性、可扩展性以及易维护的特点。     

关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

直升机的全机水平测量工艺方法的应用

飞机水平测量是飞机总装时对飞机各部件相对位置准确度进行检验和调整的工序，是对飞机各主要几何尺寸或参数的误差(飞机总装质量)的最后总检测。我们采用的测量方法是常规光学仪器测量法，按飞机各部件相对位置的几何参数的测量要求，逐项测量有关测量点相对测量基准的距离和角度，通过测量数据的对比处理和计算，反应有关几何参数的误差。此方法对测量所需光学仪器安置位置没有严格的要求，只要一次测量能反映全部测量点即可。     

浅谈RTK技术在部件测量中的应用

城市数字化管理和城市部件空间数据库对城市信息化建设有着不可或缺的意义。本文利用现阶段部件测量的传统方法与先进的RTK测量技术相结合进行试验,总结了RTK技术在改善和高效完成部件测量中应用。     

数控加工中心的设备管理

数控加工中心首先是在传统装备基础上,引入了数控技术而发展起来的.随着数控技术与装备技术的日益融合,装备结构有了很大的变化.一方面使装备的传统结构不断简化,另一方面一些具有新概念的新型结构和功能部件不断涌现,使现代的数控加工中心与传统装备有了很大的区别,甚至是本质性的区别.     

纸模型大金纸艺

正未来世界的交通工具是什么样的?你一定很好奇吧。看,这就是未来的"绿色"列车——悬浮列车。它只用少量的能源,就能维持长时间的运转。如果你是环保小达人,那就赶紧动手制作它吧。