应用在地下工程施工中的新技术（Ⅱ）

为有效保护地面上的生态环境，开发利用地下空间资源并营建新世纪的地下水城，在新的21世纪里将会建造更多的地下工程以满足人们生产生活的各种需要。文中介绍了地下工程施工中采用的逆作法、盾构法、新奥法、沉管隧道、顶管工程和大型沉井施工新技术，供同行们参考应用。     

步进式加热炉炉温优化设定模型及软件开发

针对线材厂步进式加热炉实际工况，提出了基于经验规则的炉温优化设定模型和在线自学习获取知识的思想，并以炉温优化设定模型为核心，开发出加热炉计算机控制系统的优化运行软件。     

变压器的经济运行与节电

基于变压器的节电与变压器的运行有着密切的关系，阐述了实现变压器经济运行的方法与措施。     

提高20t电弧炉炉衬寿命工艺实践

炉渣碱度、泡沫渣高度、吹氧角度、补炉方式等是影响20t电弧炉炉衬寿命的主要因素。为了提高炉衬寿命,莱钢炼钢厂采取了控制炉渣组成、泡沫渣全程埋弧操作、吹氧、喷补炉衬等多项措施,使炉衬寿命稳定在600炉次以上。     

水库发电运行的计算机仿真

介绍了用VB语言编写的一个简便、实用的适合洞坪水库发电运行的计算机仿真程序.     

火电机组运行优化系统的现状与展望

简单回顾了国内外在火电机组运行优化领域的研究历程，列举了目前国内外市场上针对火电机组的各种主流运行优化产品的功能特点和应用情况，分析了国外引进产品和国内自主研发产品在中国当前市场环境下各自的优势和劣势。介绍了当前运行优化系统在国内电站机组的应用现状，阐述了国内外运行优化系统在实际应用中存在的问题，并提出了相应的改进意见。对机组运行优化系统的未来发展进行了展望，指出机组运行优化系统将利用先进技术设备和信息平台，与电站管理紧密结合，在日益规范的市场中不断发展完善，为提高电站经济性发挥更大的作用。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Combined shape and sizing optimization of truss structures

 In this paper, an evolutionary optimization method is presented for weight minimum problem of a 3-dimensional truss structure in terms of nodal coordinates and element cross-sectional areas. The structure is subject to stress, local buckling and displacement constraints. Two types of design variables with different natures are optimized separately: (1) a fully stressed design (FSD) and scaling techniques are applied to sizing variables and (2) the evolutionary node shift method is applied to shape variables. Alternating procedure is utilized to couple the two types of variables and to combine the results. The optimum solution is achieved gradually from the initial configuration design. Two typical truss structures are examined to illustrate the validity of the method. Received: 22 October 2001 / Accepted: 04 June 2002 This research work is supported by the National Natural Science Foundation of China under the guarantees no. 10072050 and 10172072, respectively.