Modelling topology optimization problems as linear mixed 0–1 programs

This paper deals with topology optimization of discretized continuum structures. It is shown that a large class of non‐linear 0–1 topology optimization problems, including stress‐ and displacement‐constrained minimum weight problems, can equivalently be modelled as linear mixed 0–1 programs. The modelling approach is applied to some test problems which are solved to global optimality. Copyright © 2003 John Wiley & Sons, Ltd.     

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

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

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/.     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

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.     

螺旋管簧的可靠性优化设计

讨论了螺旋管簧的可靠性优化设计问题。在基本随机变量的概率特性已知的情况下，采用二阶矩法和可靠性优化设计方法对螺旋管簧进行了可靠性优化设计。通过计算机程序可以直接实现螺旋管簧的可靠性优化设计，迅速准确地得到螺旋管簧的可靠性优化设计信息。     

后桥壳的可靠性优化设计

该文讨论了后桥壳的可靠性优化设计问题.在基本随机变量的概率特性已知的情况下,应用随机摄动法和约束随机方向法对后桥壳进行可靠性优化设计,并编制了实用的计算机程序,可以迅速准确地得到后桥壳的可靠性设计参数.     

空间桁架结构拓扑优化设计的线性规划方法

本文以杆件内力为设计变量,构造了多工况作用下空间桁架结构拓扑优化的线性规划模型,考虑了应力和位移约束,能够避免奇异最优拓扑和不稳定结构的产生。