浍河水库泄洪洞结构优化研究

根据有限元计算原理，结合山西临汾地区浍河水库泄洪洞，对土坝下的大型软基涵洞分层填土施工过程和蓄水对结构的影响进行了模拟计算，得到了更贴近实际的涵洞结构内力和涵洞土压力分布规律，并根据实际地基条件及现有涵洞的两种常见的结构形态对涵洞结构形式进行了优化，其成果已用于设计和施工，证明了该研究方法的科学性和结论的正确性。     

靖边气田含醇污水处理工艺优化

随着陕北靖边气田的不断开发，气井产水量逐年增加，在对气井加注甲醇过程中，气田含醇污水量增大、含醇浓度偏离设计值，同时气田污水具有很强的结垢、腐蚀倾向，影响了甲醇回收装置的稳定运行。为此,从优化含醇污水处理工艺的角度出发，通过采取对高产水井污水分排分储、预处理工艺及操作参数优化、甲醇回收装置参数优化运行试验等措施，减少了含醇污水产量，改善了预处理效果，提高了甲醇回收装置运行效率和产品甲醇质量，保证了目前的含醇污水处理能够满足气田发展的需要。     

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

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

生产尾管固井技术优化及其在渤中25-1油田中深丛式井的应用

渤中25-1油田沙河街组油藏属于中深层高温高压油藏,制约了常规尾管固井技术的应用。对生产尾管固井技术进行了优化,解决了中深丛式井生产尾管固井作业安全、质量与时效之间的矛盾,实现了非钻机时间候凝和电测固井质量,显著提高了钻井作业时效。该项技术成果对于渤海中深层油田的开发具有重要意义。     

工程结构优化设计发展综述

 着重评述了工程结构优化设计研究领域从最初的尺寸优化发展到形状优化、拓扑优化的基本历程及其相关特点，并对优化设计选用的优化算法进行了归类，提出了这一领域今后仍然有待于发展的主要方面．     

复合地基中优化设计参数的方法

本文给出了复合地基应力比置换率设计的优化方法,讨论了复合地基中应力比的基本概念和影响因素,可供工程应用时参考。     

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

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

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