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

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

江西：五大河流水位继续下降121万人饮水困难

8月13日8时，江西五大河流及鄱阳湖水位继续下降，全省25座大型水库总蓄量为78．13亿m^3，较12日减少350万m^3。河湖水位下降，水库蓄水减少，使各地群众饮水困难现象加重。据统计，13日全省受旱面积1499万亩，比12日减少6万亩；其中作物受旱面积1148万亩，较12日减少3万亩；但全省仍有121万人因旱发生不同程度的饮水困难，其中乐安、东乡和上高等县城供水紧张。     

优派ViewSonic VA1716w宽屏液晶显示器

随着目前液晶显示器市场的快速发展，已经有越来越多的厂商认识到：市场是需要细分的。并非所有的用户都要去追求超大的显示面积和那些耀眼的参数规格。够用、耐用。好用的原则一直被那些理性的消费者所坚持着。优派作为显示器市场中的领导者之一，对此早有洞悉。VA1716w便是一款符合上述原则的产品。     

数据库出现分水岭

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

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

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

盐碱地水土保持工程探索与实践

1工程概况淮河入海水道海口枢纽工程地处黄海沿岸滨海县境内,土壤均为盐碱地,易受台风的影响,树木不易成活和生长。为改善管理区的生态环境,2004年3月,在枢纽工程上游1130m、下游870m堤防的迎水面、堤顶道路的两侧路肩和上游翼墙范围内实施水土保持及绿化,绿化面积约为73.3hm2。经过近两年的维护管理,长势较好,为盐碱地水土保持工程的实施积累了一定的经验。2气象水文及地质情况海口枢纽地带受海洋气候的调节,气候湿润,四季分明。多年平均降雨量973.1mm,全年降雨日102.2d,一日最大降雨量216.2mm,全年降雨量的50%集中在6月上旬至9月上旬。全…     

积极推进企业体制机制创新

南京市城市建设开发(集团)有限责任公司于2003年9月顺利完成了事转企的改制任务.一年多来,新公司着力解决了新老体制转型过程中产生的诸多问题和矛盾,克服了改革中出现的一系列阵痛和困难,实现了平稳过渡.公司在新体制下,全面实施"一体两翼"的发展战略,积极探索和建立新的内部运行机制和经营管理体系,呈现出良好的发展势头.列入市重点工程的一座桥梁和一条道路拓宽,以及首个中低价商品房建设任务按期完成;房地产开发施工面积比去年增长36.55%,纳税也将超过亿元.     

用试井资料确定双重介质油气藏面积及边界形状

本文提出了利用矿场压力恢复试井资料,确定双重介质油气藏单井控制面积大小及其边界形状的方法。文中结合现代试井和常规试井分析法,导出了有关的分析公式,给出了矿场实测资料的处理方法、分析步骤等。通过多口井实测资料的处理分析表明,该方法具有快速准确地确定双重介质油气藏单井控制面积大小及其油气藏边界形状的特点。无疑,这对估算储量及指导生产、了解油气藏具有一定的意义。     

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

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