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

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

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

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

燃气联合循环的新发展

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

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

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

某难选铅锌矿石浮选分离新工艺试验研究

针对某难选铅锌矿的矿石性质，进行了较为系统的小型试验研究。结果表明：在铅循环中采用Bx SN—9^#组合捕收剂、石灰 ZL—01组合抑制剂，在锌循环中采用捕收剂磁处理浮选技术等措施，可以较好地解决该难选矿的浮选分离问题。     

用欢喜岭油田低凝稠油生产AH-90重交通道路沥青

针对欢喜岭油田低微稠油的特点，采用常压蒸馏—氧化沥青联合装五的工艺流程，生产出AH-90重交通道路沥青。经测试表明，各项性能均达到我国现行重主通道路沥青技术指标。在高温稳定性、低温抗裂性等方面都优于新加坡壳牌沥青。是一种优质的道路沥青。     

Biogas and biomass technology: Energy generation from biomass and waste in the Netherlands

Within the European Community, the interest in energy generation from biomass and waste is increasing. A brief overview is given of several thermal conversion technologies, of biomass production and waste availability in the Netherlands. Based on this, the possibilities for energy generation from biomass and waste in the Netherlands are evaluated.     

高压注水在综放工作面的应用

介绍了综采煤层注水软化工艺的原理 ,钻孔布置方法以及生产实际中的应用情况