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

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

200 MW机组制粉系统出力低的原因分析及治理

分析了河北兴泰发电有限责任公司#7炉#72制粉系统制粉单耗高、出力低的原因,并对解决这一问题的方法、过程及治理后的效果进行了详细的阐述.     

优化技术在水库群联合调度中的应用研究

基于浙江省优质水资源相对短缺的现实，提出了开展水库（群）优化调度的基本思路，在分析水库群不同联结方式特点的基础上，提出水库群联合优化调度的技术方法，实例验证表明，该方法增加供水量12％，科学可行。     

自生法制备纳米-微米颗粒增强B4C基复合材料

采用原位自生法设计并制备了一种新型纳米-微米颗粒增强B4C基复合材料:Al2O3-TiB2/B4C.理论计算和实验证明,可在相对较低的温度(1950℃)下成功实现预期的原位反应,得到完全致密化的复合材料.复合材料中生成细小均匀的微米级Al2O3和TiB2颗粒增强相,并在B4C晶粒内部形成Al2O3纳米颗粒增强相,得到晶间/晶内复合增强的组织结构.复合材料具有优异的综合力学性能,维氏硬度值达到28.8GPa,断裂韧性高达8.27 MPam1/2,耐磨性能大幅提高,K IC3/4*HV1/2达到26,是一种很有发展潜力的复合材料.还探讨了该种纳米-微米颗粒增强复合材料的韧化机制.     

石英玻璃基复合材料的研究进展

石英玻璃基复合材料属于重要国防材料，在导弹通讯、制导和防热上具有不可取代的地位。本工作介绍了几种形式的石英玻璃基复合材料的组织结构、性能和制备工艺的研究与应用情况。同时提出了石英玻璃基复合材料研究中存在的问题。     

红油的N种炼法

红油在川菜中的地位相当高，炒热菜要用，拌凉菜要用，做小吃要用，连调味碟时也少不了……很难想象，一道没有红油的夫妻肺片会是什么味道？一个不会炼红油的川菜厨师，怎么在”江湖”上混？ 入在锅边走，肯定会两手。川菜厨师炼红油，那是各有各的招数。有的很传统，有的很OUT。不过，一些外地厨师却总是觉得炼红油很难，他们的红油炼得是既不香又不红，他们困惑，炼红油咋就这么难呢？他们长叹，正宗红油该咋炼？其实，所谓的正宗也是相对而言的，一个厨师可能有几种炼红油的方法，一间厨房也可能炼出几种不同风味的红油。为此，我们特别邀请了五位擅长调红油的朋友，让他们把自己炼红油的方法或心得讲出来，希望对大家有所帮助。[编者按]