对Otway-Rees协议的一个改进方法

在使用串空间理论对Otway—Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题，提出了一种改进方法，改进后的方法不仅保证了会话密钥的一致性，而且使双方的认证性得到了改善。     

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

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

喷墨是新游牧民族？——商用机猛扩大地盘 一体机稳定增长

老买记忆里，中国古籍中谈到北方游牧民族，总有“逐水草而居”的描述，那种被阻隔于长城之外的迁徙感和稳定耕种的巾原阡陌形成强烈对比。     

Palogue油田复合油藏动态响应及特征描述

以简单的复合油藏模型理论和方法为基础,以Palogue油田的实际测试井为例,介绍了复合油藏模型的试井动态识别与模型拟合,及与地质静态资料相结合的油藏综合描述过程.该描述方法将会对实际试井解释和油藏综合描述工作有所借鉴和帮助.     

论MPEG—7及其应用

随着“信息黑洞”这一名词的出现，人们从遍布全球的信源处查询所需要的多媒体信息变得异常复杂和困难。亟需一种解决方案，来完成这类信息的“描述”和“搜索”／“过滤”，以便应用于各种场合。MPEG－7就是为提供这一解决方案而诞生的。     

碳酸盐岩气藏描述技术在渡口河气田飞仙关组鲕滩气藏中的推广应用

渡口河气田飞仙关组鲕滩气藏是西南油气田分公司近几年来的重大发现之一。充分利用现有的地质、地震、钻井、测井、测试等资料，运用世行贷款引进的Schlumberger和Landmark油气藏描述软件首次在工作站上一体化完成了渡口河飞仙关组鲕滩气藏描述，建立了本区的数据库，从而对本区三叠系下统飞仙关组鲕滩气藏的构造、沉积环境和储集层特征进行了系统研究后，又建立了三维地质模型。利用Schlumberger公司成像新技术对储集层气水分布规律和储层特征进行了详细研究，在合理确定各种储量参数的基础上，对渡口河气田飞仙关组鲕滩气藏估算了地质储量。     

3G虚热后的思考

为节省篇幅,本文没有描述3G虚热的各种表现,因为它已为移动通信界众多人士认同,产业界也正不屈不挠地努力,使3G产业走出低谷。本文着重于结合3G产生虚热的原因,提出我们的业内人士应该引发一些深刻的思考。原因一:用户市场远低于预期3G体制从1990年着手制定标准开始,已近十五年,至今全球用户也就1亿多,在欧洲已建设好的3G基站1万多个,实际运营3G业务的并不多,许多是用3G基站设备运行2G的业务。2G的两个头号大国美国和中国均未发放牌照,这些都说明投资如此巨大(仅英国、法国、意大利的牌照费就超过900亿美元),花了那么长的时间,至今3G还…