累托石粘土在电瓷工业中的应用研究

根据累托石粘土具有可塑性、泥浆性能好、高温不开裂等特点,对湖北钟祥县所产的累托石粘土矿进行了研究。经选矿后除去硫铁矿的精矿含累托石在60～70％,TFe_2O_3低于1.5％,即可用做优质电瓷结合粘土。配方试验证明:累托石粘土具有结合性好、干燥烧成收缩小,其铝质高强度电瓷坯料烧成抗弯曲强度大于147 MPa,坯料塑性指标大于49 N·cm(5 kgf/cm~2),此指标完全可满足电瓷要求。研究结果表明累托石粘土是一种新型的优质电瓷结合粘土。     

提高大直径井眼机械钻速的几项措施

随着我国西部地区石油勘探开发的进展，5000－7000m的深探井所钻数量不断增多，套管程序增加，特别是大尺寸井眼所钻深度明显加大。由于国产大尺寸钻头结构单一、型号少，破岩机械能量和水力能量不足，在易斜井段目前尚无可靠的防斜保直措施，以及钻井液性能不适宜等原因，大尺寸井眼的钻这远远低于215．9mm井眼的钻速。据此，提出了几项可以提高大尺寸井眼钻速的措施：增加大尺寸钻头的种类，采用阶梯式扩眼钻头，强化钻井参数和水力参数，选用中速动力钻具，改善钻井液性能以及采用冲击旋转钻具等。     

几何位相非线性变化的实验研究

本文报道了Pancharatnam位相非线性变化的实验研究，实验结果与理论预言符合得很好。Pancharatnam位相的这种非线性可能在光开关中得到应用。     

一种独立于被管系统的网络性能管理系统

本文提出了一种在广播信道上基于倾听机制的独立网络性能管理系统。这种系统适用于用物理广播信道连接，但存在多种协议体系结构的网络系统，例如ＣＩＭＳ网络。     

建筑业企业税赋负担存在的问题和建议

本文针对我省建筑业企业发展现状,分析了企业税赋负担存在的主要问题,提出了解决问题的建议措施。     

埕东凸起地层超覆油藏勘探关键技术探讨

为了准确确定埕东凸起古近系东营组3^1砂组地层超覆油藏的超覆线，以测井、地震和地质统计资料为基础，建立正演模型，提出了以地层夹角定量外推确定地层超覆线的方法。同时针对薄储层不易识别的特点，应用神经网络算法，以正演模型为基础，提出4种岩性组合的波形分类，其中Ⅱ类波形反映的储盖组合最有利，含油性较高。     

常用激光介质膜的斜入射性能

本文给出了多层介质膜反射率与入射角的关系的计算机程序，并列出了部份常用激光膜片反射率-角度曲线。     

宣钢1260 m3高炉扩容大修改造设计

宣钢l260m^3高炉大修改造时将炉容扩大到l350m^3，对高炉本体系统设备及冷却系统、自动控制及检测系统进行了全面的改造更新，在炉腹、炉腰及炉身下部高热负荷区域采用铜冷却壁，取消炉身中上部铸铁冷却壁凸台，并采用薄内衬等先进、适用、可靠、成熟的技术。     

用离散复镜像方法计算任意形状微带贴片的散射

采用离散复镜像方法(DCIM)计算微带结构的空间域格林函数，提高了计算阻抗矩阵的速度。采用三角矢量面元(RWG)基函数，模拟电流分布。由于三角形可以模拟任意形状的贴片，本文的方法可以准确地计算任意形状贴片的散射。数值结果证实了本文方法的有效性。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.