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

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

人工神经元网络测井解释软件系统

王大力，何清源．人工神经元网络测井解释软件系统．测井技术，１９９４，１８（４）：２５７～２６４在复杂岩性地层的测井解释中，常规的方法常把岩石的矿物成分设想得比较简单，评价地层岩性时需要大量的人工分析。本文提出运用人工神经元网络理论的测井解释软件系统。系统用自然伽玛能谱测井，结合实验室资料可准确确定粘土类型和求出粘土含量。选用了一种稳定性好、快速的优化算法，使用孔隙度测井资料求出孔隙度值，整个系统算法上力求快准、解释上力求尽可能减少人工干预，该软件系统经试用效果较好。     

解Job－Shop调度问题的一个遗传算法

本文首先介绍了遗传算法的基本概念和流程，然后叙述了如何把Ｊｏｂ－Ｓｈｏｐ调度问题编码成为遗传算法的形式，并解释了对于实现这一算法中一些问题的考虑．最后给出了算法运行结果并对结果与算法做了总结。     

清平磷矿客货两用架空索道设计

系统介绍了四川清平磷矿客货两用架空索道工艺系统方案的确定及线路、上下站等主要构成部分的设备配置、方案优化与主要设备的性能、技术参数，还对系统中的安全设施、事故救护作了说明。     

能量"三环节"理论在原油蒸馏装置扩能改造中的应用

中国石化扬子石化股份有限公司炼油厂在第一套常减压蒸馏装置扩能改造中，使用了多项节能技术以实现能量的优化利用。本文以标定数据为基础，运用能量“三环节”理论对该装置的用能状况进行了计算和分析，从能量利用角度对装置的扩能改造效果进行了评价，并为装置的进一步优化能量利用提出了相应措施。     

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.     

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

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

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