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

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

茶花女

DG公司的这款《茶花女》确有与众别不同之处，一是它出自现代版的新编《茶花女》，演出采用了简约前卫的舞台布景和服装设计，传统版本中19世纪巴黎那种堂皇华丽的服装和舞台设计，被换成了充满未来感觉的舞台布景和时尚高贵的时装，舞台道具就只有具象征意义的大钟和一张沙发。     

现代电影：思想与技术的对决

每年的过年档、情人节档都是电影市场异常活跃和火爆的时期，大部分忙碌了一年的人们，通常都会选择在这个时侯走进电影院或是在家中欣赏一年中最热的几部“大片”，但是很多朋友在看过之后总是会有或多或少的抱怨，单单电影特效的部分，就意见颇多，有人抱怨除了特效没有什么情节，有的人会觉得特效太少不够震撼。那么，我们究竟应当如何看待电影特效呢？     

控制性灌浆在土石围堰防渗中的应用

围堰防渗处理出现了许多新技术，不同的地区、不同的地质条件和不同的围堰所采用的防渗技术不同。本文对宽阔河流及峡谷河流的土石围堰防渗灌浆施工技术进行总结。     

可变弹性叶轮式多能排肥器的研究

可变弹性叶轮式多能排肥器,对于流动性差别很大的化肥,均可有效地控制及排施。它仅用一根横轴带动一个可变弹性叶轮,并配一简单的搅拌器及护轮装置,就成功地解决了排施各种化肥时所出现的架空、粘结、堵塞、研磨、自流等现象,且排肥量在满足农艺要求范围内可无级调节。文章介绍了该排肥器的结构特点、排施原理及影响排肥量的因素。还对该装置的试验结果进行了评述。     

Linux环境下Perl与MySQL数据库的连接

本文介绍了在1inuX环境下使用Perl连接MySQL数据库的操作步骤及程序范例。     

新经济增长理论对我国人力资本发展的借鉴

新经济增长理论为人力资本理论注入了新的内容,为各国如何利用人力资本发展经济提供了理论指导。分析了新经济增长理论中有关人力资本的理论,以此对我国经济和人力资本的发展提出了一些借鉴;收益递增模型。     

基于动态神经网络的柴油机建模研究

针对全柴推进系统仿真中主柴油机输出扭矩的预测问题，分析了输出扭矩的影响因素，在实验室试车台记录数据的基础上，利用小波分析方法对带噪声的原始信号进行预处理，运用Elman动态递归神经网络建立了用于柴油机输出扭矩预测的控制模型。     

双辊薄带连铸工艺中的侧封技术

介绍了双辊薄带连铸工艺中的三种侧封形式，详细分析了影响侧封效果的几个重要因素，为以后的研究指出了方向。