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

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

HTR-10燃料元件装卸系统冷态调试

10MW高温气冷实验堆（HTR－10）是一座球床堆，由燃料元件装卸系统实现燃料元件的装卸和循环，且不需要停堆，为保证HTR－10的正常运行，燃料元件装卸系统必须安全，可靠，为此，必须对燃料元件装卸系统进行周密，细致的调试试验和验证，本文介绍了燃料元件装卸系统冷调试的主要调试项目，调试方法和调试结果。     

学校图书馆随书光盘的有效管理

本文介绍了随书光盘的类型和特点，总结了我校图书馆随书光盘管理的几种方法，并针对随书光盘在管理方面易出现的问题．提出了应对措施。     

个性飞扬 情境使然

相IT和数码领域对而言,打印机市场已经发展得比较成熟,一个成熟的市场在一定程度上辐射出其竞争的激烈,打印机市场便是如此.     

一种新型特级防火卷帘的研究与开发——3J特级防火卷帘

介绍3J特级防火卷帘的各种重要功能特点,讨论其实用性与易用性以及推广该产品的必要性与可行性。     

Residual Stress Simulation of Injection Molding

In this study, distribution and history of residual stresses in plaque-like geometries are simulated based on linear thermoviscoelastic model, which helps to understand the mechanics and evolution of the residual stresses in the injection molding process. The numerical calculation of direction, combined with the specified boundary conditions. Results show that the stress variation across the thickness exhibits a high surface tensile value changing to a compressive peak value close to the surface, with the core region experiencing a parabolic tensile peak. Residual stress distribution throughout the thickness is almost same along the flowpath and the final residual stresses value near the gate is lower than the value near the end of flowpath.     

缺血性糖尿病下肢病变的膝下动脉成形术

目的探讨膝下动脉的球囊成形术在治疗糖尿病缺血性下肢病变中的价值。方法对５３例糖尿病合并缺血性下肢病变患者６４侧缺血性下肢进行膝下动脉Deep球囊扩张成形术。对比患者手术前后临床症状的改变及足部溃疡的变化。结果５３例患者共１１９支动脉分支接受PTA治疗，５０例患者的１０１个分支成功地开通，技术成功率为８４．９％，所有５０例患者的临床症状均明显缓解，足部溃疡均变小，无需截肢。结论膝下动脉的球囊成形术是治疗缺血性糖尿病下肢病变安全有效的微创手段     

取水泵站调速运行的节能效果比较

对取水泵站水泵部分调速运行和全部调速运行在水源枯水位、常水位及洪水位时的节能效果进行了分析比较 ,并给出了结论     

（Ba1-xSrx）（Zn1/3Nb2/3）O3微波介质陶瓷温度系数的异常

研究了（Ba1-xSrx）（Zn1/3Nb2/3）O3微波介质陶瓷温度系数的非线性变化以及异常的原因。根据CM公式，随着系统中Sr（Zn1/3Nb2/3）O3的增多，τc的异常是由于氧八面体的畸变导致的相转变（对称性降低）所造成的（晶体结构由无序立方相向有序赝立方相的连续变化）。相转变的发生相应影响了极化以及极化模式，这是造成τc异常的根本原因。     

Squeeze-film effects in MEMS devices with perforated plates for small amplitude vibration

Squeeze-film effects of perforated plates for small amplitude vibration are analyzed through modified Reynolds equation (MRE). The analytical analysis reckons in most important influential factors: compressibility of the air, border effects, and the resistance caused by vertical air flow passing through perforated holes. It is found that consideration of air compressibility is necessary for high operating frequency and small ratio of the plate width to the attenuation length. The analytical results presented in this paper agree with ANSYS simulation results better than that under the air incompressibility assumption. The analytical analysis can be used to estimate the squeeze-film effects causing damping and stiffness added to the system. Since the value of Reynolds number involved in this paper is low (< 1), inertial effects are neglected.