磷石膏空腔模无梁楼盖中柱节点位移分析

采用实体单元solid65的有限元模型对磷石膏空腔模无梁楼盖中板柱节点和一般实心厚板板柱节点进行理论分析，对比得到了磷石膏空腔模无梁楼盖板柱节点的位移。     

某型指挥控制组合的设计

指挥控制组合属于某型火控计算机系统中的一部分，用来接受火控计算机主机以及雷达送来的工作状态信号（有／无诸元，跟踪／搜索，最佳射击）和飞行状态信息（ D、V；H、tf；D、DK；）。接受的同时，实时显示并报读，供指挥员观察和决策，以选择最佳时机发出击发命令。     

浅谈煤矿井下电气设备的管理

该文结合作者在义马煤业集团孟津煤矿有限责任公司机电科及机电区的工作经验,分析了如何从健全管理组织、抓好防爆性能、加强现场管理、提高安全保护性能等方面,切实搞好井下电气设备的管理工作。     

气井清水防盐技术的优化应用

气田进入开发后期,对结盐井清水防盐在精细化管理方面提出了更高要求,本文结合中原油田实际,从影响气井结盐的因素入手介绍了清水防盐技术的优化应用与效益分析,通过计算结盐井需要的打水量,优化打水周期和打水方式,可以提高气井清水防盐效果,减少结盐对气井产气量的影响,从而提高气井生产效率。     

On a new formal proof model for RFID location privacy

We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model.Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.     

新型纸管胶的研制

本文介绍了一种以聚乙烯醇缩甲醛为基材的新型纸管胶，在不加入防冻剂的情况下，具有耐水和抗冻性能，在摄氏零度以下也不凝胶。生产的纸管径向受压强度高，它的工艺操作简单，造价低于聚醋酸乙烯乳液，用途较为广泛。     

Entwicklung und Anwendung von mathematischen Optimierungsmethoden zur Ableitung von vereinfachten Prüfungen für Fahrwerksbauteile

Testing the fatigue life time of chassis components is necessary during the development process and for quality supervision during the period of series production. In many cases a simplified test is done to reduce the complexity of the test. The development engineer has to develop the specification of those simplified tests. According to the task different approaches are possible: Looking for an adaquate test load or for a simplified mounting ore both. This paper deals with several numerical methods for test specification development. Especially a numerical optimization routine is presented for detection of a signifcant load case. Also the iterative searching for a simplified mounting in combination with damage based selection of load channel is shown. Exemplary the application of the routines is demonstrated by Porsche PANAMERA wheel carrier and a suspension‐strut receiving. The actual stage of development of the numerical routines is presented. In addition intended upgrades of the software are shown.     

从标准的更新看我国矿用电缆的发展

通过分析矿用电缆新老标准的异同 ,介绍了矿用电缆的发展及其新的要求。     

考虑主系统阻尼的减振镗杆设计与实践

用直径φ130mm的镗杆镗削油缸孔,在较小的切削深度切削时仍产生颤振,这严重地限制了产品质量和生产率的提高。针对这一情况,作者测量了有关参数,设计出具有阻尼动力减振器的大直径镗杆,设计时考虑了以往人们为简化问题而忽略的主系统阻尼,并以动柔度负实部为目标。由SD—375动态分析仪等设备对切削试验测信号进行分析、处理,其结果验证了理论的正确性,并反映出明显的减振效果     

正确软件开发的集成式设计支持环境

本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织体系。