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

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

数据库出现分水岭

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

让我们的图形动起来——制作数学课件

一些与运动变化有关的数学问题，只凭静态的图形和空洞的说教，学生往往很难理解。如借助Authorware强大的交互性功能，将数学问题做成Authorware画课件，就会收到意想不到的教学效果。Authorware制作数学课件其实很简单，本文仅举2个案例，供读者们参考。     

对语音通信干扰效果的数学建模分析

本文用数学建模分析方法分析了对语音通信的干扰效果．并就一标准语音源进行了干扰仿真，分析了可懂率与干信比的关系．     

从生活中培养学生的数学素养

数学素养就是用数学的思维方式考虑问题、处理问题的自觉意识或思维习惯,教师要善于从生活中培养学生的数学素养,这样既有助于提高学生学习数学的兴趣,又能使学生走出校门后能灵活地把所学的知识用之于实践。文章通过实例对如何提高学生学习数学的兴趣进行了探讨。     

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

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

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

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