形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

压水堆核燃料循环的经济分析程序介绍

所开发的压水堆核燃料循环分析计算机经济程序包括12个子程序,代表着压水堆整个核燃料循环各种不同的工艺过程。本程序能算出压水堆核电站核燃料循环中燃料费用对发电成本的影响,给出各工艺过程对燃料成本的敏感度分析,并尽可能给出燃料循环中燃料材料及服务的价格数据.     

步进式加热炉汽化冷却节电初探

介绍了在首钢第一线材厂步进式加热炉汽化冷却设计中，以优化设计改进现有设备和技术，实现了高效节电的效果。     

加氢联合装置压缩机组的防喘振控制

阐述了喘振的发生、危害及其控制。介绍了加氢联合装置Triconex的TS-3000控制系统防喘振控制器的特性和各种控制线、防喘振控制的算法和操作。采用该系统后可以有效地实现防喘振控制，提高机组的控制灵敏度、稳定性及工艺生产过程的安全性和可靠性。     

以外供液氮替代膨胀机的深度冷冻循环

介绍空分制氮装置采用膨胀机循环与液氮循环的两种工艺流程及能量平衡 ,示出了两种循环的实例比较。指出外供液氮可以作为冷源替代膨胀机 ,且单耗低、操作更方便 ,设备维护量更小、氮气提取率更高     

燃气联合循环的新发展

根据国内外能源结构的调整变化，就我国和世界上其他国家采用燃气联合循环发电的情况以及能电共生新趋势作一些介绍，供规划建设联合循环发电决策参考。     

测井曲线拐点在测井层序地层分析中的应用研究

在层序地层学研究中，层序界面的划分是基础和重要的环节，而利用测井资料分析可以进行层序界面划分和进行较长期基准面旋回识别。测井曲线的值是深度的函数，测井曲线的一阶导数表示了曲线变化的趋势和变化的快慢，在某一范围内，当一阶导数呈现符号转换时，相对应的深度点的测井值即为该范围内极大（极小）值；测井曲线的二阶导数则表示曲线的凹凸性，在某一范围内，当二阶导数呈现符号转换时，相对应的深度点代表了测井曲线的拐点，即反映曲线凹凸性变化的转折点，亦即地层的分界面。基于以上特点，提出利用测井曲线拐点进行层序界面划分的原理和方法，并结合岩心和录井资料，对白音查干凹陷达28井腾格尔组不同级次沉积旋回、地层垒积、旋回特征随沉积厚度变化特点和不同级次基准面旋回进行研究，最后得到该地层单井测井层序地层分析结果。     

埋地管道三层PE外覆盖层及其检测方法研究

文章介绍了埋地管道三层PE外覆盖层系统的构造参数和性能特点,论述了两种用于埋地钢质管道外覆盖层状况检测的方法,一种是多频管中电流法,另一种是DCVG/CIPS组合检测技术。分别介绍了两种方法的工作原理、操作方法和设备,并结合工程实例进行了说明。这些方法和设备可分别或同时用于管道不开挖检测防腐层破损点的位置以及漏点大小。     

超动型长寿命铅蓄电池池的几点建议

报导了国内外起动用长寿命铅酸蓄电池的概况，根据笔多年积累的经验并针对这类电池的应用特点，具体介绍了起动型铅酸蓄电池在原辅材料，零部件，生产设备和制造工艺等方面如何采取有效措施以提高这类电池的使用寿命。