With increased environmental awareness and rising costs, manufacturers are investing in real time monitoring and control of dyeing to increase its efficiency and quality. This book reviews ways of automating the dyeing process as well as ways of understanding key processes in dyeing, including dye transport in fluid systems. This understanding is then used to create models to simulate the dyeing process which can then be used to develop appropriate measurement and control systems. Control of variables such as temperature, pH, conductivity and dye concentration can then be used to ensure a more consistent and cost-effective dyeing process.
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
Simulation Methods for ESD Protection Development looks at the integration of new techniques into a comprehensive development flow, which is now available due advances made in the field during the recent years. These findings allow for an early, stable ESD concept at a very early stage of the technology development, which is essential now development cycles have been reduced. The book also offers ways of increasing the optimization and control of the technology concerning performance, thus making the process more cost effective and increasingly efficient. This title provides a guide through the latest research and technology presenting the ESD protection development methodology. This is based on a combination of process, device and circuit stimulation, and addresses the optimization of the industry critical issue, reduced development cycles.Written to address the needs of the ESD engineer, this text is required reading by all industry practitioners and researchers and students within this field.
Computer simulation is the key to comprehending and controlling the full-scale industrial plant used in the chemical, oil, gas and electrical power industries. Simulation of Industrial Processes for Control Engineers shows how to use the laws of physics and chemistry to produce the equations to simulate dynamically all the most important unit operations found in process and power plant.The book explains how to model chemical reactors, nuclear reactors, distillation columns, boilers, deaerators, refrigeration vessels, storage vessels for liquids and gases, liquid and gas flow through pipes and pipe networks, liquid and gas flow through installed control valves, control valve dynamics (including nonlinear effects such as static friction), oil and gas pipelines, heat exchangers, steam and gas turbines, compressors and pumps, as well as process controllers (including three methods of integral desaturation). The phenomenon of markedly different time responses ("stiffness") is considered and various ways are presented to get around the potential problem of slow execution time. The book demonstrates how linearization may be used to give a diverse check on the correctness of the as-programmed model and explains how formal techniques of model validation may be used to produce a quantitative check on the simulation model's overall validity.The material is based on many years' experience of modelling and simulation in the chemical and power industries, supplemented in recent years by university teaching at the undergraduate and postgraduate level. Several important new results are presented. The depth is sufficient to allow real industrial problems to be solved, thus making the book attractive to engineers working in industry. But the book's step-by-step approach makes the text appropriate also for post-graduate students of control engineering and for undergraduate students in electrical, mechanical and chemical engineering who are studying process control in their second year or later.
The objective of this publication is to comprehensively discuss the possibilities of producing steels with pre-determined attributes, demanded by the customer to fit exacting specifications. The information presented in the book has been designed to indicate the reasons for the expenses and to aid in the process of overcoming the difficulties and reducing the costs.In nine detailed chapters, the authors cover topics including:• steel as a major contributor to the economic wealth of a country in terms of its capabilities and production• current concerns of major steel producers• phenomena contributing to the quality of the product• information concerning the boundary conditions of the rolling process and initial conditions, put to use by mathematical models• the solid state incremental approach and flow formulation• parameters and variables - most of which make use of the exponential nature of phenomena that are activated by thermal energy• the application of three dimensional analysis to shape rolling• the evaluation of parameters by a form of inverse analysis to the flat rolling process• knowledge based modeling, using artificial intelligence, expert systems and neural networksThey conclude that when either mathematical or physical modeling of the rolling process is considered and the aim is to satisfy the demands for customers, it is possible to produce what the customer wants, exactly.