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

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

黄骅坳陷北塘凹陷新生代沉降史分析

在对黄骅坳陷北塘凹陷区域构造特征的解释的基础上,分析了盆地的沉降史.研究表明,北塘凹陷沉降曲线的基本型式为5段式;其中沙河街组三段(Es3)、沙河街组一段(Es2)、东营组(Ed)为曲线下降段,代表盆地的数次幅度不等的沉降,具有"幕武"渐进的沉降特点;沙河街组二段(Es2)为曲线上升段,反映该凹陷的抬升和遭受剥蚀.通过对各洼陷沉降史的对比分析表明,北塘凹陷地区新生代沉降作用具有明显的自西向东迁移迁移规律.     

利用综放技术开采复杂条件下表外储量煤层的研究与实践

利用综采放顶煤技术对在断层构造影响带内、煤体松软、穿越空巷、瓦斯影响大的复杂条件表外储量煤层进行开采,将会提高资源回采率,延长矿井服务年限,可为同类条件矿井煤炭开采提供借鉴。     

利用Rabbit2000实现抄表数据在Internet网络的传输

介绍了Rabbit2000微处理器功能特性以及Dynamic C的软件开发环境，研究了基于Rabbit2000的嵌入式系统对网络和串口的编程技术；实现了抄表数据通过Internet网络的传输，介绍了PPP连接的建立以及利用UDP报文传输抄表数据的方法。     

数据库出现分水岭

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

数据恢复大进阶 轻松找回失落的数据

电脑中什么最昂贵？CPU？内存？或是硬盘？都不是，这里面任何一个部件都可以更换的，只有数据是最关键的，数据的丢失才是最大的损失。误删了数据，被病毒或软件破坏一硬盘分区表，这一切的一切对于一只菜鸟来说代价都是非常惨重的……     

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

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

求S盒布尔函数表达式的一种新算法

求分组密码S盒布尔函数表达式就是要确定表达式的各个系数。本文给出布尔函数表达式中通项的取值与输入值之间的关系，证明了表达式通项的系数可由已知系数来确定，从而设计出求S盒布尔函数表达式一种新的递归算法。算法只进行异或和内积运算，运算次数少，具有简洁、易于编程实现、准确而快速的特点。应用于DES获得与公开文献相符的结果，应用于AES首次求出其S盒的布尔函数表达式。     

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

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

EXCEL之销售表的制作

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