开放式玻璃自动切割机计算机控制系统

文章介绍一种自行研制的玻璃自动切割机开放式计算机控制系统，并针对该切割机加工范围大、惯性大、动态精度要求高等特点，研究了一种智能适应型PID控制算法。现场测试表明，该系统在功能、性能和控制精度上达到或接近国外同类产品的先进水平，在系统硬件和软件的开放性上优于国外产品。文中详细介绍了该计算机控制系统的功能、系统设计、控制算法及其调试结果。     

拖拉器在水平井生产测井中的应用

文章介绍了水平井拖拉器的基本结构及性能指标；总结了使用拖拉器进行水平井生产测井的测并工艺：介绍了在塔里木油田水平井生产测井的实际应用情况，给出了测井解释结果。     

玻璃与金属封接用杜美丝

利用ＡＥＳ、ＷＤＳ和ｘ－射线衍射等方法，研究了杜美丝表面层、铁镍芯与覆铜层界面的微观结构与特性。结果表明：良好的表面层应由Ｃｕ２Ｏ和非晶态的硼砂构成；玻璃与杜美丝的润湿性决定于表面层的净化程度和构成及加热条件。     

CO2相干激光多普勒测速的研究

叙述运用ＣＷＣＯ２相干激光雷达测量运动目标速度的原理和实验装置，并给出了实验结果，测速精度为０．０１ｍ／ｓ速度分辨率为０．０５ｍ／ｓ，外场实验表明，对于漫射目标，作用距离２００ｍ。     

反复荷载下钢筋混凝土剪力墙的非线性有限元分析

本文介绍了反复荷载下非线性有限元分析程序,该程序针对钢筋混凝土剪力墙类结构的特点,采用了钢筋与混凝土复合单元计算模型,考虑混凝土裂面接触效应的反复加载混凝土应力-应变关系。在钢筋应力-应变关系中,还同时考虑了混凝土开裂后钢筋的拉伸强化效应及反复荷载下钢筋的Bausinger效应。本文还介绍了作者利用该程序对反复荷载试验的试件及Ger-venka的剪力墙板进行的计算分析。结果表明,本文所采用的分析模型是合理、准确的;和国内外以往的分析比较,本文的方法成功地消去了力-位移滞回曲线中的拐点现象,而且计算的混凝土裂缝开闭也能和实测较好地吻合。表明本文方法能为分析反复荷载下钢筋混凝土剪力墙类结构性能提供一个准确、有力的工具。     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

放大器En-In噪声模型的完善及其与Rn-Gn噪声模型的关系

目前，微波低噪声放大器设计中采用的Ｒｎ－Ｇｎ噪声模型只适用于高频、窄带和源导纳（Ｇｓ≠０）情况，其应用范围有限，特别是不适用于低频段的低噪声放大器设计。本文对文献［１］提出的Ｅｎ－Ｉｎ噪声模型作了改进，使其不仅适用于高频、窄带，而且也适用于低频、宽带放大器的低噪声设计。进而推导出放大器Ｅｎ－Ｉｎ噪声模型与Ｒｎ－Ｇｎ噪声模型的等价关系，给出放大器Ｅｎ－Ｉｎ噪声模型的测量方法及实测结果。     

激光对望远系统损伤的研究

本文对激光光束通过望远系统后光束的变化进行了分析，并对６倍望远镜进行了激光损伤和破坏的实验研究，实验结果表明，激光对望远系统的损伤破坏主要是热效应所致，损伤破坏的情况与激光的能量，波长，脉冲宽度和望远系统的结构有关。     

钕玻璃激光放大器反转粒子数的荧光测定法

本文报道了通过测量钕玻璃激光放大器在一定泵浦功率下的荧光波形的方法,获得放大器中反转粒子数密度随时间的变化关系,进而得到反转粒子数密度达到最大值的时刻的测定方法及实验结果。     

地域通信网中基于业务量的动态路由研究

本文从地域通信网的特点出发，分析了以前所使用的路由选择方法的优缺点，提出了网控支持的基于业务量的动态中币管理方法，并描述了该路由管理方法的分层结构和在地域网网络管理系统中的具体实现。