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.     

建安工程扣件式钢管脚手架作业中安全技术的应用

扣件式钢管脚手架应用代表着建筑工业化的一个重要发展方向 ,如何安全、规范地使用扣件式钢管脚手架将是我们标准化施工的新课题     

商业创新模式下的建筑设计服务

购物中心作为一种现代的零售商业模式,从上世纪90年代进入中国后,已为一般民众厂为接受。文章首先简要地介绍了美国购物中心的开发历史和类型,尤其是近年来出现的生活方式中心的特点和发展趋势。对于购物中心在中国的开发、规划设计中经常遇到的一些内容,如融资方式,主力商店和专卖店等进行了讨论。最后对于建筑师在这新的商业模式下如何与设计团队一起提供专业服务方面根据自身的经验提出了自己的看法。     

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

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

Tree-shaped flow structures designed by minimizing path lengths

This paper outlines a direct route to the construction of effective tree-shaped flow structures. Dendritic flow structures dominate the design of natural and engineered flow systems, especially in thermal and fluid systems. The starting point is the optimization of the shape of each elemental area or volume, such that the length of the flow path housed by the element is minimized. Proceeding toward larger and more complex structures - from elements, to first constructs, second constructs, etc. - the paper develops tree-shaped flow structures between one point and a straight line, one point and a plane, a circle and its center, and a point and many points distributed uniformly over an area. In the latter, the construction method is applied to a fluid flow configuration with laminar fully developed flow. The constructions reveal several features that are supported by empirical observations of natural tree-shaped flows: asymmetry, flow rate imbalance, pairing or bifurcation, angles between branches, and Y-shaped constructs that lie in a plane. It is shown that these basic features are necessary because of “packing”, i.e., assembling optimized elements into a fixed space, and filling the space completely. For the flow between an area and one point, the best elemental shape is the regular hexagon. It is shown that the emergence of string-shaped links that connect two or more elements are necessary features, which are also required by packing. Strings cover some of the inner zones of the tree network, particularly the inner zones of large and complex trees. Dichotomous Y-shaped constructs dominate the tree structure, especially the peripheral zones of the tree canopy. The practical importance of the simplified design method is discussed.     

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

高精度视觉贴片机拾放程序设计编程

探讨了SMT高精度视觉贴片机难点之一拾放程序设计编程 ,重点介绍示教编程和CAD输入编程设计方法。     

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

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

多目标模糊优选理论在水资源系统中的应用

开放的水资源系统分析理论应是水资源学与系统科学等多种学科的结合 ,介绍一种新兴而实用的水资源系统分析技术———半结构性决策系统模糊优选理论的基本原理及其应用。