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

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

油管接头的弹塑性有限元分析

1.前言深入研究油管的受力状态,特别是接头处的受力状态,掌握其内应力分布情况,对于控制管断和其它形式的失效具有重要作用。油管接头的弹塑性有限元分析因图形直观、便于掌握,被广大理论工作者所采用。在进行分析时应考虑如下三个问题:一是边界条件非线性。油管接头通过锥扣过     

关于粉体成球机盘体几何形状的研究

通过对粉体小球在粉体成球机盘底上运动轨线的研究,利用Euler定理,结合其参数特点,得到了不同几何形状的盘底在成球过程中对粉体小球运动的影响,球面盘底较平面盘底更有利于成球的结论。     

具有三种上料模式的刮刀涂布上料系统

本研究显示新的上料器技术和不同的上料方式在较宽车速范围内运行性能良好。 相对喷射式的缺点来说，与辊结合的喷射方式几乎不受此缺点的影响，因为上料辊在它到达刮刀之前已将涂料重新分布。 另一结论就是涂布纸的表面质量主要受刮刀末端几何形状影响，涂料的上料方式对其影响很小．     

沙袋充填度与稳定性的试验研究

沙袋筑坝在工程中愈来愈广泛的应用，需要解决的问题也很多，笔者对不同尺寸沙袋的充填度进行了讨论，提出了极限充填度和最佳充填度的概念；通过对不同尺寸充沙沙袋在水泥抹面和沙袋布为底面的水槽中所得的试验资料的分析，得出了充沙沙袋的失稳流速。     

尺度目标识别中的若干技术问题

从工程应用的角度阐述了现代鱼雷常用的尺度目标识别原理，讨论了影响识别距离的若干因素和措施，提出了小尺度模拟靶通过亮点延时算法以弥补尺度不足及其试验技术，试验结果表明，该方法可以获得良好效果。     

人体必需的金属元素

实际上，我们体内含有多种金属离子及其化合物。此外，我们食人口中的食物和饮料也含有多种金属离子及其化合物。我们每日摄人金属离子及其化合物，并借助尿液和汗液将它们排泄掉。表1和表2表示人体所含元素的种类和数量。人体内的主要元素分为两大类，一类是在人体内的数量几乎保持不变的元素，另一类是随年龄增加数量随之增加的元素。