FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL'07 was the tenth of a series of successful events held all around Europe. FDL'07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages' includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information.

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Thermo-fluid Dynamics of Two-Phase Flow, Second Edition is focused on the fundamental physics of two-phase flow. The authors present the detailed theoretical foundation of multi-phase flow thermo-fluid dynamics as they apply to: Nuclear reactor transient and accident analysis; Energy systems; Power generation systems; Chemical reactors and process systems; Space propulsion; Transport processes. This edition features updates on two-phase flow formulation and constitutive equations and CFD simulation codes such as FLUENT and CFX, new coverage of the lift force model, which is of particular significance for those working in the field of computational fluid dynamics, new equations and coverage of 1 dimensional drift flux models and a new chapter on porous media formulation.

This book describes the wave characteristics of contact lines taking wind into consideration and discusses new methods for detecting catenary geometry, pantograph slide fault, and catenary support system faults. It also introduces wire-irregularity detection methods for catenary estimation, and discusses modern spectrum estimation tools for catenary. It is organized in three parts: the first discusses statistical characteristics of pantograph-catenary data, such as stationarity, periodicity, correlation, high-order statistical properties and wave characteristics of contact lines, which are the basis of pantograph-catenary relationship analysis. The second part includes geometry parameter detection and support-system fault detection in catenary, as well as slide-fault detection in pantographs, and presents some new detection algorithms and plans. The final part addresses catenary estimation, including detection of contact-line wire irregularities and estimation of catenary based on spectrum, and presents detection methods for contact-line irregularity and modern spectrum estimation tools for catenary.

The book explores technological advances in the fourth industrial revolution (4IR), which is based on a variety of technologies such as artificial intelligence, Internet of Things, machine learning, big data, additive printing, cloud computing, and virtual and augmented reality. Critically analyzing the impacts and effects of these disruptive technologies on various areas, including economics, society, business, government, labor, law, and environment, the book also provides a broad overview of 4IR, with a focus on technologies, to allow readers to gain a deeper understanding of the recent advances and future trajectories. It is intended for researchers, practitioners, policy-makers and industry leaders.

The development of a direct, inexpensive, and efficient method for converting solar energy into a portable, clean fuel would allow elimination of the growing problems associated with the ever increasing use of fossil fuels and the reality of their rapid depletion. As the title suggests, Light, Water, Hydrogen: The Solar Generation of Hydrogen by Water Photoelectrolysis, considers the combination of water and light with a suitable semiconductor to achieve a safe, renewable and therefore inexhaustable means for hydrogen generation via the splitting of the water molecule, or photoelectrolysis.

The authors consider the impact of recent advances in nanotechnology on the water photoelectrolysis field, providing specific examples as well as the theories and methods necessary for achieving useful water photoelectrolysis systems. Written for users in a wide range of disciplines, including materials scientists, chemists, electrical engineers, and physicists, Light, Water, Hydrogen: The Solar Generation of Hydrogen by Water Photoelectrolysis is an up-to-date, invaluable resource for graduate students and researchers.

Electric power systems are experiencing significant changes at the worldwide scale in order to become cleaner, smarter, and more reliable. This edited book examines a wide range of topics related to these changes, which are primarily caused by the introduction of information technologies, renewable energy penetration, digitalized equipment, new operational strategies, and so forth. The emphasis will be put on the modeling and control of smart grid systems. The book addresses research topics such as high efficiency transforrmers, wind turbines and generators, fuel cells, or high speed turbines and generators.

This book presents intuitive explanations of the principles and applications of power system resiliency, as well as a number of straightforward and practical methods for the impact analysis of risk events on power system operations. It also describes the challenges of modelling, distribution networks, optimal scheduling, multi-stage planning, deliberate attacks, cyber-physical systems and SCADA-based smart grids, and how to overcome these challenges. Further, it highlights the resiliency issues using various methods, including strengthening the system against high impact events with low frequency and the fast recovery of the system properties. A large number of specialists have collaborated to provide innovative solutions and research in power systems resiliency. They discuss the fundamentals and contemporary materials of power systems resiliency, theoretical and practical issues, as well as current issues and methods for controlling the risk attacks and other threats to AC power systems. The book includes theoretical research, significant results, case studies, and practical implementation processes to offer insights into electric power and engineering and energy systems. Showing how systems should respond in case of malicious attacks, and helping readers to decide on the best approaches, this book is essential reading for electrical engineers, researchers and specialists. The book is also useful as a reference for undergraduate and graduate students studying the resiliency and reliability of power systems.

1. 1 Motivation and Scope of Research Container terminals in seaports constitute interfaces between sea and land tra- port of goods in global transport chains. These logistics facilities face an increasing demandof service capacity, as is re ected by a tremendousgrowthin the worldwide container transshipments per year. For example, the top 20 terminals in the world showed an average relative increase of 14% with respect to the number of handled container units from 2006 to 2007, see Port of Hamburg Marketing (2008). In spite of this development, competition is high among container terminals within the same region. A terminal's customers, rst and foremost the vessel op- ators, expect a high level of service quality where reliability is one of the most importantdimensions, seeWiegmansetal. (2001). Regardingtheserviceofavessel, reliability means to realize all transshipment operations within its projected service time interval. The reliability of terminal operations impacts the reliability of v- sels in meeting their liner schedules. According to Notteboom (2006) unexpected waiting times of vessels before berthing and unexpected low transshipment prod- tivity at terminals are responsible for about 86% of liner schedule disturbances, see Fig. 1. 1. Currently, many terminal operators counteract this situation by extending their transshipment capacities. They build new terminals or enlarge existing ter- nals and purchase new or upgrade existing equipment. Ilmer (2005) provides an overview of current projects for building terminal capacity in northern Europe.

This book presents numerical and experimental research in the field of wind energy exploitation in urban environments. It comprises a selection of the best papers from the international colloquium "Research and Innovation on Wind Energy Exploitation in Urban Environment" (TUrbWind), held in Riva del Garda, Italy in June 2017. The book includes contributions from different research fields in urban wind resources, wind energy conversion systems, and urban integration, mainly focusing on the following topics: * concepts for urban and open landscape micro wind turbines, * integration of micro wind turbines in existing structures, * built-environment and high-turbulence sites' impacts on urban wind turbines, * measuring and modeling wind resource in built environments, * rotor performance and wake features of micro wind turbines. It is a valuable resource for researchers and practitioners interested in the integration of wind energy systems and turbines in urban areas.

This second edition is a comprehensive introduction to all aspects of thermoelectric energy conversion. It covers both theory and practice. The book is timely as it refers to the many improvements that have come about in the last few years through the use of nanostructures. The concept of semiconductor thermoelements led to major advances during the second half of the twentieth century, making Peltier refrigeration a widely used technique. The latest materials herald thermoelectric generation as the preferred technique for exploiting low-grade heat. The book shows how progress has been made by increasing the thermal resistivity of the lattice until it is almost as large as it is for glass. It points the way towards the attainment of similar improvements in the electronic parameters. It does not neglect practical considerations, such as the desirability of making thermocouples from inexpensive and environmentally acceptable materials. The second edition was extended to also include recent advances in thermoelectric energy conversion, particularly the production of bulk nanostructures, new materials with higher thermoelectric figures to use the possibility of large scale thermoelectric generation, as part of the worldwide strategy for making better use of energy resources. This book guides the newcomer towards the state of the art and shows the principles for further advancement to those who are already familiar with the subject. The author has been able to draw on his long experience to cover the science and technology in a balanced way while drawing on the expertise of others who have made major contributions to the field.

This book explains the engineering required to bring geothermal resources into use. The book covers specifically engineering aspects that are unique to geothermal engineering, such as measurements in wells and their interpretation, transport of near-boiling water through long pipelines, turbines driven by fluids other than steam, and project economics. The explanations are reinforced by drawing comparisons with other energy industries.

A four year Electrical and Electronic engineering curriculum normally contains two modules of electromagnetic field theories during the first two years. However, some curricula do not have enough slots to accommodate the two modules. This book, Electromagnetic Field Theories, is designed for Electrical and Electronic engineering undergraduate students to provide fundamental knowledge of electromagnetic fields and waves in a structured manner. A comprehensive fundamental knowledge of electric and magnetic fields is required to understand the working principles of generators, motors and transformers. This knowledge is also necessary to analyze transmission lines, substations, insulator flashover mechanism, transient phenomena, etc. Recently, academics and researches are working for sending electrical power to a remote area by designing a suitable antenna. In this case, the knowledge of electromagnetic fields is considered as important tool.

Over the past decades, fault diagnosis (FDI) and fault tolerant control strategies (FTC) have been proposed based on different techniques for linear and nonlinear systems. Indeed a considerable attention is deployed in order to cope with diverse damages resulting in faults occurrence.

This book provides important insights into the combustion behavior of novel energy crops and agricultural fuels. It describes a new experimental approach to combustion evaluation, involving fundamental, bench-scale and commercial-scale studies. The studies presented were conducted on two representative biomass energy crops: a woody biomass poplar (Populus sp. or poplar) and an herbaceous biomass brassica (Brassica carinata or brassica). Moreover, agricultural residues of Manihot esculenta or cassava were also analyzed. The main accomplishments of this work are threefold. Firstly, it offers an extensive characterization of the above-mentioned fuels, their ash chemistry and their emissions of both solid particles and gaseous compounds that form at typical grate combustion conditions. Secondly, it presents an in-depth analysis of ash fractionation processes for major ash species. Thirdly, it describes the role of some critical and volatile key elements (K, Cl, S and P) in grate-fired combustion systems and elucidates the main differences in the ash chemistry during combustion of Si-rich and P-rich fuels. All in all, this work provides novel insights on the basic and fundamental mechanisms of biomass grate combustion with a special focus on ash transformation and highlights important issues and recommendations that need to be considered for an appropriate conversion of ash-rich fuels and for the development of future technology in the context of both small- and medium-scale biomass-based heat and power production.

This book fills the need for a practical reference for all scientists and graduate students who are seeking to define a mathematical model for Solid Oxide Fuel Cell (SOFC) simulation. Structured in two parts, part one presents the basic theory, and the general equations describing SOFC operation phenomena. Part two deals with the application of the theory to practical examples, where different SOFC geometries, configurations, and different phenomena are analyzed in detail.

This book provides the most important steps and concerns in the design of estimation and control algorithms for induction motors. A single notation and modern nonlinear control terminology is used to make the book accessible, although a more theoretical control viewpoint is also given. Focusing on the induction motor with, the concepts of stability and nonlinear control theory given in appendices, this book covers: speed sensorless control; design of adaptive observers and parameter estimators; a discussion of nonlinear adaptive controls containing parameter estimation algorithms; and comparative simulations of different control algorithms. The book sets out basic assumptions, structural properties, modelling, state feedback control and estimation algorithms, then moves to more complex output feedback control algorithms, based on stator current measurements, and modelling for speed sensorless control. The induction motor exhibits many typical and unavoidable nonlinear features.

This work addresses the topic of optical networks cross-layer design with a focus on physical-layer-impairment-aware design. Contributors captures both the physical-layer-aware network design as well as the latest advances in service-layer-aware network design. Treatment of topics such as, optical transmissions which are prone to signal impairments, dense packing of wavelengths, dispersion, crosstalk, etc., as well as how to design the network to mitigate such impairments, are all covered.

During the last decade, many new concepts have been proposed for improving the performance of power rectifiers and transistors. The results of this research are dispersed in the technical literature among journal articles and abstracts of conferences. Consequently, the information is not readily available to researchers and practicing engineers in the power device community. There is no cohesive treatment of the ideas to provide an assessment of the relative merits of the ideas.

Advanced Power Rectifier Concepts provides an in-depth treatment of the physics of operation of advanced power rectifiers. Analytical models for explaining the operation of all the advanced power rectifier devices will be developed. The results off numerical simulations will be provided to provide additional insight into the device physics and validate the analytical models. The results of two-dimensional simulations will be provided to corroborate the analytical models and provide greater insight into the device operation.

Introduces the concept of combined cycles for next generation nuclear power plants, explaining how recent advances in gas turbines have made these systems increasingly desirable for efficiency gains and cost-of-ownership reduction. Promulgates modelling and analysis techniques to identify opportunities for increased thermodynamic efficiency and decreased water usage over current Light Water Reactor (LWR) systems. Examines all power conversion aspects, from the fluid exiting the reactor to energy releases into the environment, with special focus on heat exchangers and turbo-machinery. Provides examples of small projects to facilitate nuanced understanding of the theories and implementation of combined-cycle nuclear plants. This book explores combined cycle driven efficiency of new nuclear power plants and describes how to model and analyze a nuclear heated multi-turbine power conversion system operating with atmospheric air as the working fluid. The included studies are intended to identify paths for future work on next generation nuclear power plants (GEN-IV), leveraging advances in natural-gas-fired turbines that enable coupling salt-cooled, helium-cooled, and sodium-cooled reactors to a Nuclear Air-Brayton Combined Cycle (NACC). These reactors provide the option of operating base-load nuclear plants with variable electricity output to the grid using natural gas or stored heat to produce peak power. The author describes overall system architecture, components and detailed modelling results of Brayton-Rankine Combined Cycle power conversion systems and Recuperated Brayton Cycle systems, since they offer the highest overall energy conversion efficiencies. With ever-higher temperatures predicted in GEN-IV plants, this book's investigation of potential avenues for thermodynamic efficiency gains will be of great interest to nuclear engineers and researchers, as well as power plant operators and students.

This book presents essential methods and tools for research into the reliability of energy systems. It describes in detail the content setting, formalisation, and use of algorithms for assessing the reliability of modern, large, and complex electric power systems. The book uses a wealth of tables and illustrations to represent results and source information in a clear manner. It discusses the main operating conditions which affect the reliability of electric power systems, and describes corresponding computing tools which can help solve issues as they arise. Further, all methodologies presented here are demonstrated in numerical examples. Though primarily intended for researchers and practitioners in the field of electric power systems, the book will also benefit general readers interested in this area.

Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantages over their conventional counterparts. This timeless and revised second edition deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others. A CD with all numerical examples solved in Mathcad is attached and will be especially useful.