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

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

向劳模学习 向劳模致敬

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

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

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

露天矿汽车运输生产能力的确定

在贝辰加镍矿冶公司日丹诺夫矿、白俄罗斯汽车制造厂和列宁格勒矿业学院(矿山运输机械教研室)的专家们,已研究出载重量75～110t 的БелАЗ型自卸汽车生产能力与露天矿联合运输各作业环节及司机工作队各种     

先露锋芒傲视蓝光次世代先锋蓝光播放机BDP-LX70发表

2007年7月24日先锋电子（中国）投资有限公司终于在上海金茂音乐厅推出期待已久的先锋蓝光播放机：BDP—LX70，为中国数码高清新时代揭开序幕。     

透明氧化物中形成电流的原因在于电子云架桥

具有导电性的透明氧化物是氧化物中较为特殊的一类.这是因为,透明和有电流流动这两种性质多少有些矛盾.     

Cit-CSP及其应用

介绍了Cit-CSP--Cit/E-commerce信息安全保障平台子系统，并阐述了它所提供的消息摘要、块加密、加密(公钥)、签名和MAC等功能和服务。     

织构对铟凸点剪切强度的影响

制作了2种形式的铟凸点：即直接蒸发沉积的铟柱和将铟柱回流得到的铟球。同时对比了铟柱和铟球2种凸点的剪切强度，测试结果表明铟球剪切强度为5.6MPa，铟柱的剪切强度为1.9MPa，前者约为后者的2.9倍。对铟凸点微观结构的X光衍射分析发现：铟柱剪切强度低是织构弱化所致；铟球剪切强度高是由于回流破坏了铟柱的理想（101）丝织构模式，从而提高了铟球的剪切强度。