合成基础油的性能与应用

综述了聚醚、合成烃、酯类油、磷酸酯、硅油及氟油等合成基础油的性能及其应用情况。     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

高精度节能型电力稳压器

分析了现有交流稳压器的特点和不足,提出了新一代数控稳压器的理论和实际无均差系统的方法,给出了超高精度无均差稳压系统的实现方法.经全乐科技公司模拟试验,获得了很好的结果.市电220.4 V和220.5 V,试验样机采用3 V、9 V和27 V这3个变压器,已达到优于±1%的精度,符合大部分负载的实际需要,经用户单位试用半年,效果非常满意.     

试制STM-R80钻探用无缝钢管

采用42MnMo7、41MnV5钢锻坯,经热轧穿孔、冷拔加工,试制出STM-R80地质钻探管。该地质管经检验和使用,质量符合要求。介绍了钢的化学成分、试制的主要工艺过程及其参数。     

TD-SCDMA标准化进展

依据演进次序，从3GPP R99、3GPP R4、3GPP R5、3GPP R6和3GPP R7五个方面对TD-SCDMA系列标准进行了概括的介绍，并对各标准的主要特点和新增功能进行了概述。     

倒虹吸管管径计算的迭代法

本文先将倒虹吸管的管径计算公式整理成等式左边只含管径的一次方法，右边含有管径高阶非线性的迭代函数，然后证明该迭代函数收敛，最后利用数学迭代原理给迭代函数右边赋初值，计算左边的管径。继续迭代下去，就能求出倒虹吸管的管径。     

小剂量辐照小鼠胸腺细胞膜流动性的变化

报道了以茈为荧光探针,探讨小剂量~(60)Co γ射线照射后小鼠胸腺细胞膜流动性的变化。结果表明,剂量在0.25-1.00Gy范围,胸腺细胞膜流动性降低与剂量之间呈明显线性关系。从0.50Gy起,辐照组荧光强度比值I_1/I_2与I_3/I_2与对照组的比较存有显著差异(P<0.05)。提示淋巴细胞膜流动性的变化可作为小剂量辐照早期效应的敏感指标。     

岩性圈闭储层描述技术及应用

本文以高分辨率地震资料为基础，应用测井、钻井等资料，从沉积微相分析入手，建立了以河道砂体、河口坝砂体为主的地质及地震响应模型，并根据地震反射波组特征、地震反演的阻抗值及其他地震属性参数，确定了研究区的砂体变化及其分布规律，总结出一套针对薄互层特点的岩性圈闭识别技术。本文方法在大庆长垣以西古龙和他拉哈西地区的实际应用中取得了明显的效果。     

石墨电极高温抗氧化技术研究现状

概述石墨电极抗氧化技术的研究现状，重点介绍选择抗氧化涂层体系的要求及涂层制备方法，包括包埋浸渗法、化学气相沉积法、等离子喷涂法及溶胶--凝胶法．展望了石墨电极材料高温抗氧化涂层研究的方向．