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

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

国外新上市玩具

孩之宝日夜蜘蛛侠这款电动毛绒蜘蛛侠玩具,赶在《蜘蛛侠3》今年5月上映之前抢先登场。滑稽的外貌令人爱不释手。它会说话,还有多种动作音效。之所以名叫“日夜蜘蛛侠”,是因为白天它可以陪伴孩子,到     

向劳模学习 向劳模致敬

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

储量测算：石油工业所面临的挑战

油气储量测算是石油工业中最基本的任务之一。通过这一过程，可以定量地测算出一个油气田、地区或区域内的油气可采储量。2004年，某些石油公司对美国证券交易委员会（SEC）登记储量的减计引起了公众的关注。储量披露中的可靠性已成为一个社会问题，投资者和领导机构纷纷要求进行更可靠的储量测算。石油公司通过修改储量测算程序对此作出了响应，美国石油工程师学会（SPE）、     

某些含硫化合物对304不锈钢耐孔蚀性能的影响

1前言 某些不锈钢由于孔蚀而造成的事故有时被认为是一个技术问题，所以人们付出了巨大的努力试图了解并消除孔蚀。为此，人们研究了许多不锈钢和腐蚀环境的组合。大量的研究工作集中于不锈钢在以下介质中的耐局部腐蚀性能，即：氯化物、溴化物、氯化物／硫化物、溴化物／硫化物以及氯化物／硫代硫酸盐。     

用于薄重油油藏的甲烷压力循环工艺

甲烷压力循环（MPC）处理是用于重油油藏一次采油和水驱采油结束后的提高采收率（EOR）方法。该工艺的目的是恢复溶解气驱机理。这种溶解气驱机理的恢复是通过以下方式完成的，即重新注入大量的溶解气（主要是甲烷），然后通过注水重新加压把气溶解到水中，直到达到原始油藏压力。这重新创造了一次采油条件。这种采油技术把薄油层中大部分重油作为开采目标。     

国外家庭的智能化生活方式

在国外，数字革命使信息交换变的极为方便：人们可以把一个小型企业装进背包。一辆普通的出租汽车也可以变成一个完整的电信中心。司机可以在出租车内接听电话、接收传真和收发电子邮件，甚至向世界各地发送图像。更妙的是，汽车可以与一个声控卫星导航系统相连，这个系统可以随时把最佳行驶路线告诉司机。     

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

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

海外传真

全球游戏高层晚宴在美成功举办，Taito使用诺基亚移动平台发布其手机游戏，NaturalMotion Ltd．动画引擎技术令卢卡斯艺术如虎添翼戏，Velocity Micro游戏专用电脑使用AGEIA的PhysX芯片，任天堂出面澄清E3虚假展示Wii的传言，BioWare获得Emergent技术Metrics Element的使用许可     

先进的在线溜槽除气装置

诺威利斯公司的PAE Jetcleaner已经成为进行在线溜槽铝水除气和去除夹杂的有效方法。本文介绍这一装置的一些最新进展。[编者按]