Engineering Technology and Applications contains the contributions presented at the 2014 International Conference on Engineering Technology and Applications (ICETA 2014, Tsingtao, China, 29-30 April 2014). The book is divided into three main topics: - Civil and environmental engineering - Electrical and computer engineering - Mechanical engineering Considerable attention is also paid to big data, cloud computing, neural network algorithms and social network services. The book will be invaluable to professionals and academics in civil, environmental, electrical, computer and mechanical engineering.

1. 1. Greenhouse gas emissions and climate change . . . . . . . . . . . . . . 3 1. 1. 1. Emissions and concentrations of greenhouse gases 3 1. 1. 2. Impact of increasing greenhouse gases concentration 4 1. 2. Options to reduce carbon dioxide emissions 5 1. 2. 1. Carbon dioxide removal 8 1. 3. Scope of the thesis 10 1. 4. Outline of the thesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1. 4. 1. General evaluation method. . . . . . . . . . . . . . . . . . . . . . . 12 1. 4. 2. Some notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 II. Simulation and optimization of carbon dioxide recovery from the flue gases of a coal-fired power plant using amines 14 Abstract 19 2. 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2. 2. The chemical absorption process. . . . . . . . . . . . . . . . . . . . . . . . 22 2. 2. 1. General process description. . . . . . . . . . . . . . . . . . . . . . . 22 2. 2. 2. Types of absorbent 23 2. 2. 3. Effects of flue gas contaminants 24 2. 3. Simulation of the scrubber in ASPEN PLUS . . . . . . . . . . . . . . . . . 25 2. 3. 1. ASPEN PLUS for flow sheet simulation 26 2. 3. 2. Simulation of the performance for the base-case design . . 26 the scrubber . . . . . . . . . . . . . . . . . . . . . . 29 2. 3. 3. Optimization of 2. 3. 4. Design and results 32 2. 3. 5. Discussion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2. 4. Integration of the scrubber in the power plant 35 2. 4. 1. Power loss caused by steam extraction 36 2. 4. 2. Power saved by avoiding preheating boiler feed water . . . 38 2. 4. 3. Power consumption by the carbon dioxide scrubber . . . . . 38 2. 4. 4. Power consumption for carbon dioxide compression . . . . . 38 2. 4. 5. Calculation of plant efficiency losses " . . . . . . . . . . . . . . 39 2. 5.

The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the European Forum to learn and exchange on new trends on the application of languages and models for the design of electronic and heterogeneous systems.

The forum was structured around four workshops that are all represented in the book by outstanding articles: Analog and Mixed-Signal Systems, UML-based System Specification and Design, C/C++-Based System Design and Languages for Formal Specification and Verification.

The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computation. The UML-based System Specification and Design chapters bring insight into how to use the Model Driven Engineering to design Systems-on-Chip. The C/C++-Based System Design articles mainly explore system level design with SystemC. The Languages for Formal
Specification and Verification is represented by an invited contribution on the use of temporal assertions for symbolic model checking and simulation. And finally chapter in this book contributed by preeminent members of the automotive design industry presents the recent industry standard AutoSAR.

Overall Advances in Design and Specification Languages for SoCs is an excellent opportunity to catch up with the latest research developments in the field of languages for electronic and heterogeneous system design.

Dynamic Systems (DEDS) are almost endless: military C31 Ilogistic systems, the emergency ward of a metropolitan hospital, back offices of large insurance and brokerage fums, service and spare part operations of multinational fums . . . . the point is the pervasive nature of such systems in the daily life of human beings. Yet DEDS is a relatively new phenomenon in dynamic systems studies. From the days of Galileo to Newton to quantum mechanics and cosmology of the present, dynamic systems in nature are primarily differential equations based and time driven. A large literature and endless success stories have been built up on such Continuous Variable Dynamic Systems (CVDS). It is, however, equally clear that DEDS are fundamentally different from CVDS. They are event driven, asynchronous, mostly man-made and only became significant during the past generation. Increasingly, however, it can be argued that in the modem world our lives are being impacted by and dependent upon the efficient operations of such DEDS. Yet compared to the successful paradigm of differential equations for CVDS the mathematical modelling of DEDS is in its infancy. Nor are there as many successful and established techniques for their analysis and synthesis. The purpose of this series is to promote the study and understanding of the modelling, analysis, control, and management of DEDS. The idea of the series came from editing a special issue of the Proceedings of IEEE on DEOS during 1988.

The death of Professor Arthur Wright in the summer of 1996 deprived me of a friend and a colleague whose judgement and experience shaped this book. I pay tribute to his contributions to protection and electrical engineering education. In the five years since the first edition appeared, many developments have taken place and it is now necessary to update the book. The use of digital communications and advanced signal processing techniques is now widespread and several fully numeric relays are available from manu facturers. Two new Chapters 13 and 14 have been added to introduce readers to these concepts and associated techniques. Artificial intelligence is making its impact in all engineering applications and power system protection is no exception. Expert systems, fuzzy logic, artificial neural networks, adaptive and integrated protection, synchronized measurements using the global positioning system, genetic algorithms, flexible a.c. transmission systems, are some of the techniques considered in connection with protection. Although many of these techniques have not yet found major application in protection, it is nevertheless essential for the educated protection engineer to have a basic understanding of the underlying principles and methodology so that he, or she, can evaluate their suitability for new relaying problems and applications. Chapter 15 was therefore added to guide readers through this developing area. I have also added some new material in other chapters to reflect changes over the past years."

The Prague Conferences on Information Theory, Statistical Decision Functions, and Random Processes have been organized every three years since 1956. During the eighteen years of their existence the Prague Conferences developed from a platform for presenting results obtained by a small group of researchers into a probabilistic congress, this being documented by the increasing number of participants as well as of presented papers. The importance of the Seventh Prague Conference has been emphasized by the fact that this Conference was held jointly with the eighth European Meeting of Statisticians. This joint meeting was held from August 18 to 23, 1974 at the Technical University of Prague. The Conference was organized by the Institute of Information Theory and Automation of the Czechoslovak Academy of Sciences and was sponsored by the Czechoslovak Academy of Sciences, by the Committee for the European Region of the Institute of Mathematical Statistics, and by the International As sociation for Statistics in Physical Sciences. More than 300 specialists from 25 countries participated in the Conference. In 57 sessions 164 papers (including 17 invited papers) were read, 128 of which are published in the present two volumes of the Transactions of the Conference. Volume A includes papers related mainly to probability theory and stochastic processes, whereas the papers of Volume B concern mainly statistics and information theory."

This book discusses innovations in the field of hybrid energy storage systems (HESS) and covers the durability, practicality, cost-effectiveness, and utility of a HESS. It demonstrates how the coupling of two or more energy storage technologies can interact with and support renewable energy power systems. Different structures of stand-alone renewable energy power systems with hybrid energy storage systems such as passive, semi-active, and active hybrid energy storage systems are examined. A detailed review of the state-of-the-art control strategies, such as classical control strategies and intelligent control strategies for renewable energy power systems with hybrid energy storage systems are highlighted. The future trends for combination and control of the two systems are also discussed.

The series Topics in Organometallic Chemistry presents critical overviews of research results in organometallic chemistry. As our understanding of organometallic structure, properties and mechanisms increases, new ways are opened for the design of organometallic compounds and reactions tailored to the needs of such diverse areas as organic synthesis, medical research, biology and materials science. Thus the scope of coverage includes a broad range of topics in pure and applied organometallic chemistry, where new breakthroughs are being achieved that are of significance to a larger scientific audience. The individual volumes of Topics in Organometallic Chemistry are thematic. Review articles are generally invited by the volume editors.

Digital Transformations for Lighting in the Workplace: A Systematic Approach Used in Ergonomics offers a practical concept for the implementation of digital transformation in ergonomics in work settings. It specifically focuses on providing information about illumination in production and non-production fields, and the described design solutions are applicable in practice. The concepts can be used in a typical manufacturing workplace or an academic setting. The methods in the book complement the modern trend to digitalise the workplace, making the research and practical outcomes of this book compatible with the concept of Industry 4.0 - Digital Manufacturing. This title offers a systematic approach to the field of digital transformation for ergonomics. It presents an opportunity for the reader to learn to create a digital model for lighting by analysing mathematical models for calculation through formulas and simulation algorithms. To put learning into context, this book provides two case studies from the production and non-production sectors, including an example of a classroom. The reader will then be able to utilise the methods to create their own digitized illumination system. This monograph is an ideal read for academics and researchers working at universities in the field of Ergonomics and professionals in industrial management including those in manufacturing plants, ergonomists, designers from the industry sector, or people who are interested in ergonomics, digitization, and simulation of a working environment.

Information theory is an exceptional field in many ways. Technically, it is one of the rare fields in which mathematical results and insights have led directly to significant engineering payoffs. Professionally, it is a field that has sustained a remarkable degree of community, collegiality and high standards. James L. Massey, whose work in the field is honored here, embodies the highest standards of the profession in his own career. The book covers the latest work on: block coding, convolutional coding, cryptography, and information theory. The 44 contributions represent a cross-section of the world's leading scholars, scientists and researchers in information theory and communication. The book is rounded off with an index and a bibliography of publications by James Massey.

Robust Control in Power Systems deals with the applications of new techniques in linear system theory to control low frequency oscillations in power systems. The book specifically focuses on the analysis and damping of inter-area oscillations in the systems which are in the range of 0.2-1 Hz. The damping control action is injected through high power electronic devices known as flexible AC transmission system (FACTS) controllers. Three commonly used FACTS controllers: controllable series capacitors (CSCs) controllable phase shifters (CPSs) and static var compensators (SVCs) have been used in this book to control the inter-area oscillations.

The overview of linear system theory from the perspective of power system control is explained through examples. The damping control design is formulated as norm optimization problem. The H_infinity, H2 norm of properly defined transfer functions are minimized in linear matrix inequalities (LMI) framework to obtain desired performance and stability robustness. Both centralized and decentralized control structures are used.

Usually the transmission of feedback signal from a remote location encounters delays making it difficult to control the system. Smith predictor based approach has been successfully explored in this book as a solution to such a problem.

Robust Control in Power Systems will be valuable to academicians in the areas of power, control and system theory, as well as professionals in the power industry.

This book reports on the latest findings in the application of the wide area measurement systems (WAMS) in the analysis and control of power systems. The book collects new research ideas and achievements including a delay-dependent robust design method, a wide area robust coordination strategy, a hybrid assessment and choice method for wide area signals, a free-weighting matrices method and its application, as well as the online identification methods for low-frequency oscillations. The main original research results of this book are a comprehensive summary of the authors' latest six-year study. The book will be of interest to academic researchers, R&D engineers and graduate students in power systems who wish to learn the core principles, methods, algorithms, and applications of the WAMS.

Electrical Power Transmission System Engineering: Analysis and Design is devoted to the exploration and explanation of modern power transmission engineering theory and practice. Designed for senior-level undergraduate and beginning-level graduate students, the book serves as a text for a two-semester course or, by judicious selection, the material may be condensed into one semester. Written to promote hands-on self-study, it also makes an ideal reference for practicing engineers in the electric power utility industry. Basic material is explained carefully, clearly, and in detail, with multiple examples. Each new term is defined as it is introduced. Ample equations and homework problems reinforce the information presented in each chapter. A special effort is made to familiarize the reader with the vocabulary and symbols used by the industry. Plus, the addition of numerous impedance tables for overhead lines, transformers, and underground cables makes the text self-contained. The Third Edition is not only up to date with the latest advancements in electrical power transmission system engineering, but also: Provides a detailed discussion of flexible alternating current (AC) transmission systems Offers expanded coverage of the structures, equipment, and environmental impacts of transmission lines Features additional examples of shunt fault analysis using MATLAB (R) Also included is a review of the methods for allocating transmission line fixed charges among joint users, new trends and regulations in transmission line construction, a guide to the Federal Energy Regulatory Commission (FERC) electric transmission facilities permit process and Order No. 1000, and an extensive glossary of transmission system engineering terminology. Covering the electrical and mechanical aspects of the field with equal detail, Electrical Power Transmission System Engineering: Analysis and Design, Third Edition supplies a solid understanding of transmission system engineering today.

Electric Vehicle Integration into Modern Power Networks provides coverage of the challenges and opportunities posed by the progressive integration of electric drive vehicles. Starting with a thorough overview of the current electric vehicle and battery state-of-the-art, this work describes dynamic software tools to assess the impacts resulting from the electric vehicles deployment on the steady state and dynamic operation of electricity grids, identifies strategies to mitigate them and the possibility to support simultaneously large-scale integration of renewable energy sources. New business models and control management architectures, as well as the communication infrastructure required to integrate electric vehicles as active demand are presented. Finally, regulatory issues of integrating electric vehicles into modern power systems are addressed. Inspired by two courses held under the EES-UETP umbrella in 2010 and 2011, this contributed volume consists of nine chapters written by leading researchers and professionals from the industry as well as academia.

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very difficult, while the verification becomes easy when the outputs are grouped to build a bit-string. Recently, several approaches for formal circuit verification have been proposed that make use of these regularities. These approaches are based on Word-Level Decision Diagrams (WLDDs) which are graph-based representations of functions (similar to BDDs) that allow for the representation of functions with a Boolean range and an integer domain. Formal Verification of Circuits is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Firstly, different types of decision diagrams (including WLDDs) are introduced and theoretical properties are discussed that give further insight into the data structure. Secondly, implementation and minimization concepts are presented. Applications to arithmetic circuit verification and verification of designs specified by hardware description languages are described to show how WLDDs work in practice. Formal Verification of Circuits is intended for CAD developers and researchers as well as designers using modern verification tools. It will help people working with formal verification (in industry or academia) to keep informed about recent developments in this area.

More and more researchers engage into investigation of electromagnetic applications, especially these connected with mechatronics, information technologies, medicine, biology and material sciences. It is readily seen when looking at the content of the book that computational techniques, which were under development during the last three decades and are still being developed, serve as good tools for discovering new electromagnetic phenomena. It means that the field of computational electromagnetics belongs to an application area rather than to a research area. This publication aims at joining theory and practice, thus the majority of papers are deeply rooted in engineering problems, being simultaneously of high theoretical level. The editors hope to touch the heart of the matter in electromagnetism. The book focuses on the following issues: Computational Electromagnetics; Electromagnetic Engineering; Coupled Field and Special Applications; Micro- and Special Devices; Bioelectromagnetics and Electromagnetic Hazard; and Magnetic Material Modelling. Abstracted in Inspec

1) Power electronics dominated power systems 2) Controlling of Power electronics converters 3) Understanding the control and stability of power converters 4) To Increase the hosting capacity of renewable generations in modern power systems 5) To familiar with applications of emerging technologies in the power electronics dominated power systems.

The sequential analysis of data and information gathered from past to present is called time series analysis. Time series data are of high dimension, large size and updated continuously. A time series depends on various factors like trend, seasonality, cycle and irregular data set, and is basically a series of data points well-organized in time. Time series forecasting is a significant area of machine learning. There are various prediction problems that are time-dependent and these problems can be handled through time series analysis. Computational intelligence (CI) is a developing computing approach for the forthcoming several years. CI gives the litheness to model the problem according to given requirements. It helps to find swift solutions to the problems arising in numerous disciplines. These methods mimic human behavior. The main objective of CI is to develop intelligent machines to provide solutions to real world problems, which are not modelled or too difficult to model mathematically. This book aims to cover the recent advances in time series and applications of CI for time series analysis.

This book focuses on the issues of integrating large-scale renewable power generation into existing grids. The issues covered in this book include different types of renewable power generation along with their transmission and distribution, storage and protection. It also contains the development of medium voltage converters for step-up-transformer-less direct grid integration of renewable generation units, grid codes and resiliency analysis for large-scale renewable power generation, active power and frequency control and HVDC transmission. The emerging SMES technology for controlling and integrating large-scale renewable power systems is also discussed.Since the protection issues with large-scale distributed renewable power systems are different compared to the existing protection system for one way power flow, this book includes a new protection technique for renewable generators along with the inclusion of current status of smart grid. This book is a good reference for the researchers who are working the area of renewable power generation and smart grids."

This book provides a thorough overview of cutting-edge research on electronics applications relevant to industry, the environment, and society at large. A wide spectrum of application domains are covered, from automotive to space and from health to security and special attention is devoted to the use of embedded devices and sensors for imaging, communication and control. The book is based on the 2014 APPLEPIES Conference, held in Rome, which brought together researchers and stakeholders to consider the most significant current trends in the field of applied electronics and to debate visions for the future. Areas covered by the conference included information communication technology; biotechnology and biomedical imaging; space; secure, clean and efficient energy; the environment; and smart, green and integrated transport. As electronics technology continues to develop apace, constantly meeting previously unthinkable targets, further attention needs to be directed toward the electronics applications and the development of systems that facilitate human activities. This book, written by industrial and academic professionals, will hopefully contribute in this endeavor.

Constrained Coding and Soft Iterative Decoding is the first work to combine the issues of constrained coding and soft iterative decoding (e.g., turbo and LDPC codes) from a unified point of view. Since constrained coding is widely used in magnetic and optical storage, it is necessary to use some special techniques (modified concatenation scheme or bit insertion) in order to apply soft iterative decoding. Recent breakthroughs in the design and decoding of error-control codes (ECCs) show significant potential for improving the performance of many communications systems. ECCs such as turbo codes and low-density parity check (LDPC) codes can be represented by graphs and decoded by passing probabilistic (a.k.a. soft') messages along the edges of the graph. This message-passing algorithm yields powerful decoders whose performance can approach the theoretical limits on capacity. This exposition uses normal graphs, ' introduced by Forney, which extend in a natural manner to block diagram representations of the system and provide a simple unified framework for the decoding of ECCs, constrained codes, and channels with memory. Soft iterative decoding is illustrated by the application of turbo codes and LDPC codes to magnetic recording channels. For magnetic and optical storage, an issue arises in the use of constrained coding, which places restrictions on the sequences that can be transmitted through the channel; the use of constrained coding in combination with soft ECC decoders is addressed by the modified concatenation scheme also known as reverse concatenation.' Moreover, a soft constraint decoder yields additional coding gain from the redundancy in the constraint, which may be of practical interest in the case of optical storage. In addition, this monograph presents several other research results (including the design of sliding-block lossless compression codes, and the decoding of array codes as LDPC codes). Constrained Coding and Soft Iterative Decoding will prove useful to students, researchers and professional engineers who are interested in understanding this new soft iterative decoding paradigm and applying it in communications and storage systems.

This practical resource offers a thorough examination of RF transceiver design for MIMO communications. Offering a practical view on MIMO wireless systems, this book extends fundamental concepts on classic wireless transceiver design techniques to MIMO transceivers. This helps reader gain a very comprehensive understanding of the subject. This in-depth volume describes many theoretical and implementation challenges on MIMO transceivers and provides the practical solutions for these issues. This comprehensive book provides thorough descriptions of MIMO theoretical concepts, MIMO single carrier and OFDM modulation, RF transceiver design concepts, power amplifier, MIMO transmitter design techniques and their RF impairments, MIMO receiver design methods, RF impairments study including nonlinearity, DC-offset, I/Q imbalance and phase noise and their compensation in OFDM and MIMO techniques. In addition, it provides the most practical techniques to realize RF front-ends in MIMO systems. This book is supported with many design equations and illustrations. The first book dedicated to RF Transceiver design for MIMO systems, this volume serves as a current, one-stop guide offering you cost-effective solutions for your challenging projects in the field.

This book examines a number of topics, mainly in connection with advances in semiconductor devices and magnetic materials and developments in medium and large-scale renewable power plant technologies, grid integration techniques and new converter topologies, including advanced digital control systems for medium-voltage networks. The book's individual chapters provide an extensive compilation of fundamental theories and in-depth information on current research and development trends, while also exploring new approaches to overcoming some critical limitations of conventional grid integration technologies. Its main objective is to present the design and implementation processes for medium-voltage converters, allowing the direct grid integration of renewable power plants without the need for step-up transformers.

Elliptic curves have been intensively studied in algebraic geometry and number theory. In recent years they have been used in devising efficient algorithms for factoring integers and primality proving, and in the construction of public key cryptosystems. Elliptic Curve Public Key Cryptosystems provides an up-to-date and self-contained treatment of elliptic curve-based public key cryptology. Elliptic curve cryptosystems potentially provide equivalent security to the existing public key schemes, but with shorter key lengths. Having short key lengths means smaller bandwidth and memory requirements and can be a crucial factor in some applications, for example the design of smart card systems. The book examines various issues which arise in the secure and efficient implementation of elliptic curve systems. Elliptic Curve Public Key Cryptosystems is a valuable reference resource for researchers in academia, government and industry who are concerned with issues of data security. Because of the comprehensive treatment, the book is also suitable for use as a text for advanced courses on the subject.

This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids. The aim of this book is to help the reader gain insights into working of CPSs and understand their potential in transforming the power grids of tomorrow. This book will be useful for all those who are interested in design of cyber-physical systems, be they students or researchers in power systems, CPS modeling software developers, technical marketing professionals and business policy-makers.