This monograph presents a wider spectrum of researches, developments, and case specific studies in the area of smart power systems and integration of renewable energy systems. The book will be for the benefit of a wider audience including researchers, postgraduate students, practicing engineers, academics, and regulatory policy makers. It covers a wide range of topics from fundamentals, and modelling and simulation aspects of traditional and smart power systems to grid integration of renewables; Micro Grids; challenges in planning and operation of a smart power system; risks, security, and stability in smart operation of a power system; and applied research in energy storage.

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.

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.

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 collects the latest theoretical and technological concepts in the design and control of various linear machines and drive systems. Discussing advances in the new linear machine topologies, integrated modeling, multi-objective optimization techniques, and high-performance control strategies, it focuses on emerging applications of linear machines in transportation and energy systems. The book presents both theoretical and practical/experimental results, providing a consistent compilation of fundamental theories, a compendium of current research and development activities as well as new directions to overcome critical limitations.

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.

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

In this book, first published in 1965, the authors identify the technological opportunities and costs of water recirculation and water quality adjustment in thermal plants, relating them to the possibilities for minimal expenditure and maximum efficiency in the use of water for servicing an entire region with thermal power. Water Demand for Steam Electric Generation will be of interest to students of environmental studies.

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.

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.

In response to the expanding role of personal computers in measurement and other industrial applications, this guide shows how to maximize the power of PCs in automation and system control. It demonstrates how to integrate a complete system that precisely monitors the surrounding industrial environment and helps reduce the cost of mass storage, colour displays and other functions by up to 50%.

CMOS DC-DC Converters aims to provide a comprehensive dissertation on the matter of monolithic inductive Direct-Current to Direct-Current (DC-DC) converters. For this purpose seven chapters are defined which will allow the designer to gain specific knowledge on the design and implementation of monolithic inductive DC-DC converters, starting from the very basics.

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.

The 17 chapters of this book grew out of the tutorial lectures given by leading world-class experts at the NATO Advanced Research Workshop "Effects of Space Weather on Technology Infrastructure" - ESPRIT, which was held in Rhodes on March 25-29, 2004. All manuscripts were refereed and subsequently meticulously edited by the editor to ensure the highest quality for this monograph. I owe particular thanks to the lecturers of the ESPRIT Advanced Research Workshop for producing these excellent tutorial reviews, which convey the essential knowledge and the latest advances in our field. Due to the breadth, extensive literature citations and quality of the reviews we expect this publication to serve extremely well as a reference book. Multimedia material referring to individual chapters of the book is accessible on the accompanying CD. The aim of ESPRIT was to assess existing knowledge and identify future actions regarding monitoring, forecasting and mitigation of space weather induced malfunction and damage of vital technological systems operating in space and on the ground.

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.

It is a great pleasure to be asked to write the Preface for this book on trellis decoding of error correcting block codes. The subject is extremely significant both theoretically and practically, and is very timely because of recent devel opments in the microelectronic implementation and range of application of error-control coding systems based on block codes. The authors have been notably active in signal processing and coding research and development for several years, and therefore very well placed to contribute to the state of the art on the subject of trellis decoding. In particular, the book represents a unique approach to many practical aspects of the topic. As the authors point out, there are two main classes of error control codes: block codes and convolutinal codes. Block codes came first historically and have a well-developed mathematical structure. Convolutional codes come later, and have developed heuristically, though a more formal treatment has emerged via recent developments in the theory of symbolic dynamics. Max imum likelihood (ML) decoding of powerful codes in both these classes is computationally complex in the general case; that is, ML decoding fails into the class of NP-hard computational problems. This arieses because the de coding complexity is an exponential function of key parameters of the code."

The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover, most of the speakers at the workshop were willing to contribute to the book that is now in front of you. The goal of this book, as de?ned during the discussion sessions at the workshop, is three-fold: ?rst, it should describe the basics of model order reduction. Second, both general and more specialized model order reduction techniques for linear and nonlinear systems should be covered, including the use of several related numerical techniques. Third, the use of model order reduction techniques in practical appli- tions and current research aspects should be discussed. We have organized the book according to these goals. In Part I, the rationale behind model order reduction is explained, and an overview of the most common methods is described.

The book provides a comprehensive investigation of the performance and problems of the TCP/IP protocol stack, when data is transmitted over GSM, GPRS and UMTS. It gives an introduction to the protocols used for Internet access today, and also the Wireless Application Protocol (WAP). The basics of GSM, GPRS and UMTS are given, which are necessary for understanding the main topic, TCP performance over GSM, GPRS and UMTS. We describe at length the problems that TCP has when operating over a mobile radio link, and what has been proposed to remedy these problems. We derive the optimum TCP packet length for maximum data throughput on wireless networks, analytically and by simulation. Results on the throughput and various other parameters of TCP over mobile networks are given. This book gives valuable advice to network operators and application programmers to maximize data throughput, and which protocols, transmission modes, and coding schemes to use and which to avoid.

This book thoroughly examines the technical parameters of photovoltaic systems, and appraises their net energy balance from production, operation and maintenance, to recycling. Similar performance and yield analysis is applied to optical, thermal, and electrical parameters and interfaces. Professor Krauter demonstrates how accurate yield calculations, optimal system performance, and new prototypes aid in cost reduction. Examples, tables and figures are included.

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.

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.

This book introduces the reader to the state of the art in nanostructured anode and cathode electrocatalysts for low-temperature acid and alkaline fuel cells. It explores the electrocatalysis of anode (oxidation of organic molecules) and cathode (oxygen reduction) reactions. It also offers insights into metal-carbon interactions, correlating them with the catalytic activity of the electrochemical reactions. The book explores the electrocatalytic behaviour of materials based on noble metals and their alloys, as well as metal-metal oxides and metal-free nanostructures. It also discusses the surface and structural modification of carbon supports to enhance the catalytic activity of electrocatalysts for fuel-cell reactions.

Recently a new sphere in materials science. has formed which subject is structure and properties of electret materials used in engineering, medicine, biotechnology and other branches. It is characterized by specific methods of experimental investigations based on recording charge transfer, polarization and depolarization of dielectrics and involves original techniques and physico-mathematical aids where notions that exist at the interface of several natural and technical sciences are concentrated. It embraces a vast area of applications mainly in engineering, instrument making, electronics, medical technique, biotechnology, and etc., has a specialized technological base for electric polarization of dielectrics composed of uncommon technological methods, equipment and instrumentation. Apparently, future fundamental investigations in the domain of electret materials science are to be developed at the interface of computer of dielectrics. Elaboration of a simulation, physics and physical chemistry model for electric polarization of solid media with uneven charge density distribution, complicated by surface phenomena, outer electromagnetic, heat, chemical and other effects, presents a grave methodological problem. The simulation of structures in which polarization follows diffusion mechanism of chemically active molecules or their fragments, and the development of calculation methods for polarized charge relaxation and regularities of dielectric nonlinear properties, are the most urgent objectives of current research. Success in bioelectret effect studies is anticipated to result in profound widening of natural science knowledge."

Limited availability of grid-based electricity is a major challenge faced by many developing countries, particularly the rural population. Fuel-based lighting, such as the kerosene lantern, is widespread in these areas, but it is a poor alternative, contributing to global warming and causing serious health problems. Several developing countries are therefore now encouraging the use of sustainable lighting. Solar Lighting gives an in-depth analysis of energy-efficient light production through the use of solar-powered LED systems. The authors pay particular attention to the interplay between energy transformation and device efficiency. They also discuss diverse aspects of renewable energy, including how an improvement in the efficiency of appliances can reduce the cost of energy. Solar Lighting is written for physicists, environmental experts and lighting engineers. It is also suitable for undergraduate students in the fields of environmental science, electrical engineering and renewable energy.