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

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

在Linux下用iptables构建防火墙

简要介绍了Linux中防火墙的发展概况,着重讲述了基于Linux2.4内核版本的netfilter结构框架及iptalbes的使用方法,并给出相应的例子。     

改性聚丙烯酰胺水溶液的疏水缔合性质

合成了一种疏水缔合水溶性聚丙烯酰胺共聚物，使用荧光光谱法并结合紫外及流变性实验，对制备的疏水缔合水溶性聚丙烯酰胺共聚物在水溶液中形成疏水微区、超分子聚集体及空间网络结构进行了研究，并用扫描电子显微镜证实了溶液中网络结构的存在．     

荧光法测定N-（α-烷苯氧基）十四酰基牛磺酸钠的临界胶束浓度

研究了一类以苯氧基作疏水支链的新型阴离子表面活性剂——N-（α-烷苯氧基）十四酰基牛磺酸钠（SAPTT）水溶液的紫外吸收光谱、探针（芘）稳态荧光发射光谱及自身稳态荧光发射光谱性质．研究结果表明，荧光探针（芘）法和自身稳态荧光法可用来测定这类表面活性剂的临界胶束浓度（CMC），且测定结果与表面张力法（吊片法）接近；与荧光探针（芘）法相比，对于所研究体系，自身稳态荧光法的灵敏度和准确性均较高，所测得CMC结果与表面张力法（吊片法）能较好地吻合．     

用低碳钢焊条冷焊焊补铸件

我用低碳钢焊条冷焊焊补铸件,在实践中摸索了一些经验,近半年来,在太原市的技术协作活动中,解决了本市和本公司的不少焊补关键,取得了较好的效果。具体焊接方法是将焊补处开成 V 形坡口,用低碳钢焊条先在坡口二侧堆焊三层,此时堆焊金属已由高碳钢过渡到低碳钢组织,然后在此基体上继续用低碳钢     

螺旋滚筒分选机选煤的方法和原理

介绍一种利用粉煤和水混合形成的悬浮液作为滚筒分选机的介质进行选煤的新技术及其分选机理和该项技术在我国的使用效果。     

脱硫系统运行总结

简要介绍脱硫系统的工艺、设备及操作数据,针对存在的问题,采取优化系统配置、改进工艺条件等措施,避免了栲胶法脱硫系统存在的堵塞现象。     

高可用性集群系统及其状态机研究

网络通信维护的高代价不是一般企业能够承担得起的,因此发展了高可用集群技术.介绍了最常见的双节点高可用集群系统的原理及其双机热备份系统的状态机.目前在电信网管、计费、智能网、短消息的系统应用中,无一例外都使用了双机热备份的系统.     

UMo/Zr单片式燃料板起泡行为数值模拟

燃料板的鼓泡临界温度是制定研究试验堆安全系数的标准之一,通常由鼓泡退火实验确定。针对鼓泡退火实验,本研究发展了一种对UMo/Zr单片式燃料板宏观起泡行为进行计算模拟的方法,并计算分析了气腔内裂变气体原子数对鼓泡高度的影响,获得了包壳内的Mises应力和等效塑性应变随温度升高而演化的规律。研究发现,气腔周围包壳产生塑性变形是起泡的一个关键原因。此研究为燃料板起泡机理和关键影响因素分析打下了基础。     

自生介质旋流器结构参数的正交优化试验

采用正交试验方法，优化了自生介质旋流器的结构参数，用该参数制造的旋流器对甘肃及山西等地的煤炭进行分选，获得了满意的效果，洗精煤灰分在９．０％￣１１．０％时，不完善度Ｉ值为０．１５￣０．１６，数量效率ｎ为９０．０％￣９３．０％。