ICI公司AMV技术发展中的中国肥料工业的基石

ＩＣＩ公司ＡＭＶ技术发展中的中国肥料工业的基石（英）ＩＣＩＫａｔａｌｃｏ公司Ｋ·Ｊ·ＥＬｋｉｎｓ，ＣＷ·Ｈｏｏｐｅｒ，ＩＲ·Ｂａｒｔｏｎ李维春（海南天然气化肥厂，海南省东方县，５７２６００）１引言为了大幅度减少合成氨生产的可变成本，ＩＣＩ公司开发了Ａ...     

中国智能网3号样机系统通过中审

由北京邮电大学程控交换与通信网国家重点实验室研制的，由国家863重大项目资助，遵照IN（智能网）CS－2标准开发出了新一代智能同样机──CIN03系统，最近通过863专家组的中期检查．专家组在听取了项目负责人的系统汇报后，经实地考察一致认为该项目按计划进展顺利，CIN03样机属国内领先，其中智能同业务生成环境子系统已达国际同期水平．为便于读者了解该系统的情况，下面简要介绍一下INCS－2及CIN03系统的主要性能。一．INCS－2简介INCS－2标准是1997年9月ITU－T正式批准的关于智能网设备开发和研制的新建议．CS－2标准除了…     

洪家渡水电站的滑坡体治理

洪家渡水电站是乌江梯级的龙头电站，是国家“西电东送”首批开工项目之一，坝址位于高山峡保岩溶地区。近坝区下游有各种型态滑坡体多处，本文就洪家渡水电站的滑坡体治理问题进行论述，并提出几点体会。     

混凝土喷锚技术在宝珠寺水电站边坡防护中的应用

混凝土喷锚支护可提高边坡岩土的结构强度和抗变形刚度,增强边坡的整体稳定性和承载能力.本文根据宝珠寺水电站左右岸边坡主要采用混凝土喷锚支护的工程实践,介绍了施工方案设计、材料要求、施工方法、技术措施,以及现场质量管理和检测等问题.     

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

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

向劳模学习 向劳模致敬

曲祥民同志简介：硕士研究生学历，现任黑龙江省水利科学研究院院长，黑龙江省中青年专家，黑龙江省工程冻土重点学科带头人，国务院特贴享受者。     

浅议建筑工程结算工程量的审核

从工程量审核的基本原则方面入手,叙述手工对量的思路,讨论软件对量的流程和思路、混合型对量的注意事项,并对未来发展前景作了展望.     

龙滩水电站500 kV高压设备耐压试验简介

介绍了龙滩水电站500kV高压设备试验过程，并结合试验中需注意的问题提出了建议，供同行在今后类似试验时参考。