State multiplicity in CSTR-separator-recycle polymerisation systems

This article continues earlier work (Comput. Chem. Eng. 24 (2000) 209) concerning the design and control of isothermal reactor-separator-recycle systems. The multiplicity behaviour of six reaction systems of increasing complexity, from one-reactant, first-order reaction to chain-growth polymerisation, is investigated. Below a critical value of the plant Damkohler number, Da<Da^cr, the only steady state involves infinite flow rates. Feasible steady states become possible if the critical value is exceeded, Da>Da^cr. For one-reaction systems, one stable steady state is born at a transcritical bifurcation. For consecutive-reaction systems, including polymerisation, a fold bifurcation can lead to two feasible steady states. Moreover, the transcritical bifurcation is destroyed when two reactants are involved. If the gel-effect is included, a maximum of four steady states are possible. When multiple steady states exist, the achievable conversion is constrained by the instability of the low-conversion branch. This has practical importance for polymerisation systems when the radicals’ quasi-steady state assumption is not valid or the gel effect is significant.     

Automated model generation for performance engineering of building automation networks

Large technical systems need to be designed both reliable and efficient. Specialized design tools offer therefore a simplified, abstract design and extend details autonomously in the background. Analytic and simulation based models could improve the quality by testing and dimensioning the design before implementation, but setting up the necessary models is time-consuming and expensive. Therefore many developers ask for analysis tools which are able to create their models from the available information in the design tools. This paper presents such an automated modeling approach basing on an existing design database at the example of a network analysis for building automation fieldbuses. The process of automated modeling is unfolded, and the potentials and limitations are discussed.     

电子辐照加速器大功率工频高压电源

文章介绍目前两种用于烟气脱硫加速器的不同形式直流高压电源，分析了它们各自的特点。针对它们存在的不足之处，提出了一种全新的倍压型桥式整流线路，并对此线路进行了理论推导和计算机模拟仿真。     

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

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

疏浚吹填工程推行项目经理责任承包制管理模式的探讨

阐述了传统管理模式的生存条件及其弊端,对疏浚吹填工程推行项目经理责任承包制管理模式进行了探讨.     

Mechanical properties of poly(ether-ether-ketone) for engineering applications

An outline of the characteristics of PEEK and the versatility of its compositional forms (micro and macro composites) are given to illustrate its wide potential for success in engineering applications. Although it is necessary to have particular tabulations of mechanical properties for engineering design, these are seldom available and consequently it is argued that an understanding of stiffness, toughness and strength properties are required to fully exploit available manufacturer's data and thus develop the full potential of PEEK and its composites. Stiffness characteristics are considered in terms of a modulus function which is dependent on time under load and temperature. In its composite forms, whether reinforced with short or continuous fibres, stiffness anistropy can be both considerable and complex, but some empirical ground-rules are apparent. For continuous fibre composites even in the form of complex lay-ups, it is also possible to attempt some stiffness prediction from certain pseudo-elastic constants. Toughness of PEEK and its composites is described in terms of both comparative and intrinsic properties. Instrumented falling weight impact data, particularly as a function of temperature enable some insight into ductile-brittle transitions for the unreinforced material, but crack initiation and crack propagation processes for the various fibre reinforced forms. Intrinsic toughness is described in terms of linear elastic fracture mechanics theory. Strength properties are described for static and dynamic loading configurations. In particular, PEEK and its composites are evaluated for increasing test severities for strength characteristics; stress concentration, loading form and test temperature are considered.     

Algorithm for finding all k nearest neighbors

A very simple algorithm for computing all k nearest neighbors in 2-D is presented. The method does not rely on complicated forms of tessellation, it only requires simple data binning for fast range searching. Its applications range from scattered data interpolation to reverse engineering.     

岩石工程力学特性参数测定装置设计

岩石工程力学特性参数测定装置实现了对试验载荷的恒速率加载 ,可对压模的吃深和试验载荷进行连续记录 ,记录的数据可实时显示及处理 ,且动态显示试验岩石的特性曲线 (试验载荷—轴向应变 )。该装置体积小、可移动性强 ,且能一机多用。文章详细阐述该装置机械结构、电路和系统软件的设计等     

堤身的数据采集及断面设计的几点建议

针对堤防设计的基础资料采集和设计优化，提出了一些合理性建议。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.