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

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

可变弹性叶轮式多能排肥器的研究

可变弹性叶轮式多能排肥器,对于流动性差别很大的化肥,均可有效地控制及排施。它仅用一根横轴带动一个可变弹性叶轮,并配一简单的搅拌器及护轮装置,就成功地解决了排施各种化肥时所出现的架空、粘结、堵塞、研磨、自流等现象,且排肥量在满足农艺要求范围内可无级调节。文章介绍了该排肥器的结构特点、排施原理及影响排肥量的因素。还对该装置的试验结果进行了评述。     

Linux环境下Perl与MySQL数据库的连接

本文介绍了在1inuX环境下使用Perl连接MySQL数据库的操作步骤及程序范例。     

新经济增长理论对我国人力资本发展的借鉴

新经济增长理论为人力资本理论注入了新的内容,为各国如何利用人力资本发展经济提供了理论指导。分析了新经济增长理论中有关人力资本的理论,以此对我国经济和人力资本的发展提出了一些借鉴;收益递增模型。     

双辊薄带连铸工艺中的侧封技术

介绍了双辊薄带连铸工艺中的三种侧封形式，详细分析了影响侧封效果的几个重要因素，为以后的研究指出了方向。     

热洗对抽油井产量影响程度研究

通过对抽油井热洗时产量影响程度的分析与调查 ,揭示了压力系数与热洗对产量的影响两者之间呈反相关关系 ,明确了压力系数对热洗时产量影响的一般时间 ,指出了今后热洗应遵循的一般原则。     

GATT／TBT与标准信息工作

我国的复关谈判已进入最后阶段,为适应复关的需要,各行各业对关税和贸易总协定(GATT)及其附件进行更深入的研究就显得更加紧迫和必要。作为标准化部门,就需要更深入的研究GATT技术壁垒协议(即GATT/TBT),并作出更积极的反应。 随着世界经济的发展和科学技术的进步,GATT活动的重心已越来越转向技术壁垒,因为GATT的宗旨是反对贸易保护主义,而贸易保护主义通常有关税壁垒和非关税壁垒两种,对     

移动式采矿设备在卸载点的事故分析(二)

与司机有关的因素年龄发生卸载点事故的司机年龄为19～62岁不等。图5所示为卸载点事故按年龄区分的百分比。带星号的曲线表示卸载点事故的司机年龄。卸载点事故的司机年龄分布与矿山汽车司机的年龄的正态分布非常一致。因此,运输汽图6运输汽车卸载点事故按司机工作年限区分的次数车司机年龄与发生卸载点事故可能性之间似乎没有什么关系。工作经验大部分卸载点事故与司机缺乏或没有操作运输汽车经验有关。图6所示为运输汽车卸载点事故按司机工作年龄限区分的次数。发生卸载点事故的运输汽车司机的平均工作年限为3.81年。但工龄不到1年的司机发生的事故占41%,其中工作年限不到1个月的占41%,不到6个月的占82%。显然,缺乏经验是造成卸载点事故的重要