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

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

数据库出现分水岭

随着信息技术的发展,采用两维表结构的数据库,已经无法保存大量的多媒体非结构化复杂数据,以及各类数据之间的关系。关系型数据库亟待突破。     

3种新的导航水平定向钻机

北京城建工程研究院新近开发出一种环保型新型建筑材料——SF-C型混凝土脱模养护剂(属国内首创)．其最大的特点是一剂两用，将传统混凝土施工中脱模与养护两种工艺简化合一。使用该产品．既可降低材料成本，又可降低人工成本。     

田5-斜19五段制剖面定向井钻井技术

五段制剖面定向井施工难度较大，主要介绍了田5—斜19井的井眼轨迹控制、相关安全钻井及钻井液技术，并对施工中发生的复杂情况进行了分析，总结了一些经验，对五段制剖面类型定向井施工具有一定的参考价值。     

地质条件复杂矿井找煤方法探讨

根据地质勘探和矿井生产中的找煤经验,归纳出煤层位分析对比、矿井地质构造规律研究、煤层形变特征研究、老采区复采、表外储量重新评价、坑道钻探和巷探等找煤方法,实践证明这些方法在煤层厚度薄、地质条件复杂的福建煤矿井进行地质找煤行之有效.     

标准铂铑10-铂热电偶检定结果的计算及数据修约分析

本文讨论了由标准铂铑1 0 -铂热电偶检定所得到的锌、铝、铜三个固定点的热电势值 ,计算整百度温度点的热电势值应注意的问题 ,并分析计算过程中有效位数取舍引入的偏差     

EXCEL之销售表的制作

众所周知，用微软OFFICE中的EXCEL来制作表格中最引人入胜的．莫过于它所能提供强大的函数功能，强大的函数功能可以帮助我们更有效率地制作图表。在本文中笔者就要为各位介绍几个非常实用和常用函数，它们可以帮助我们来制作销售表格。     

钻井地质环境——构造特征模拟及其应用

本文根据广义线性统计模型的理论,开发利用钻井数据库中已钻井获得的地层分层资料来模拟地层的构造特征,并导出了地层产状要素和地层与井眼轴线相交的几何位置计算公式,将钻井-计算机-地质相结合,扩充了井史数据库应用的领域,能够方便地生成钻井所需的部分地质环境,可用于指导定向井设计与施工,为定量分析地层产状、井眼几何因素对定向井实钻轨迹的影响规律提供必要的数据。用该方法对四川地区4个断块构造进行了模拟分析,且计算了部分井位的地层产状要素,并与美国斯伦贝谢公司来四川进行的地层倾角测井解释成果相比较,结果基本吻合。模拟结果已用于指导定向井的设计和施工。     

邻井距离扫描计算与绘图原理

邻井距离扫描计算与绘图,在定向井、丛式井设计与施工中具有重要的用途。本文采用三次样条函数插值法和最小曲率法(可供用户选择)拟合井眼轨迹,建立了较先进的邻井距离扫描数学模型,该模型包括法面距离扫描和最近距离扫描两种。同时研制了相应的计算机处理程序,并可在普通微机上运行,具有良好的人机界面,操作方便,灵活实用,易于在现场推广应用。