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.

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.

This book draws on the recent remarkable advances in speech and language processing: advances that have moved speech technology beyond basic applications such as medical dictation and telephone self-service to increasingly sophisticated and clinically significant applications aimed at complex speech and language disorders. The book provides an introduction to the basic elements of speech and natural language processing technology, and illustrates their clinical potential by reviewing speech technology software currently in use for disorders such as autism and aphasia. The discussion is informed by the authors' own experiences in developing and investigating speech technology applications for these populations. Topics include detailed examples of speech and language technologies in both remediative and assistive applications, overviews of a number of current applications, and a checklist of criteria for selecting the most appropriate applications for particular user needs. This book will be of benefit to four audiences: application developers who are looking to apply these technologies; clinicians who are looking for software that may be of value to their clients; students of speech-language pathology and application development; and finally, people with speech and language disorders and their friends and family members.

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs.
- First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs.
- Formal verification of high-level designs (RTL or higher).
- Verification techniques are discussed with associated system-level design methodology.

Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or smaller geometry, has allowed the semiconductor industry to keep pace with the increased performance-capacity demands from consumers. As a result, semiconductor test costs have been growing steadily and typically amount to 40% of today's overall product cost.
This book is a comprehensive guide to new VLSI Testing and Design-for-Testability techniques that will allow students, researchers, DFT practitioners, and VLSI designers to master quickly System-on-Chip Test architectures, for test debug and diagnosis of digital, memory, and analog/mixed-signal designs.
KEY FEATURES
* Emphasizes VLSI Test principles and Design for Testability architectures, with numerous illustrations/examples.
* Most up-to-date coverage available, including Fault Tolerance, Low-Power Testing, Defect and Error Tolerance, Network-on-Chip (NOC) Testing, Software-Based Self-Testing, FPGA Testing, MEMS Testing, and System-In-Package (SIP) Testing, which are not yet available in any testing book.
* Covers the entire spectrum of VLSI testing and DFT architectures, from digital and analog, to memory circuits, and fault diagnosis and self-repair from digital to memory circuits.
* Discusses future nanotechnology test trends and challenges facing the nanometer design era; promising nanotechnology test techniques, including Quantum-Dots, Cellular Automata, Carbon-Nanotubes, and Hybrid Semiconductor/Nanowire/Molecular Computing.
* Practical problems at the end of each chapter for students.

This book is the second of two volumes addressing the design challenges associated with new generations of semiconductor technology. The various chapters are compiled from tutorials presented at workshops in recent years by prominent authors from all over the world. Technology, productivity and quality are the main aspects under consideration to establish the major requirements for the design and test of upcoming systems on a chip.

The model-based investigation of motions of anthropomorphic systems is an important interdisciplinary research topic involving specialists from many fields such as Robotics, Biomechanics, Physiology, Orthopedics, Psychology, Neurosciences, Sports, Computer Graphics and Applied Mathematics. This book presents a study of basic locomotion forms such as walking and running is of particular interest due to the high demand on dynamic coordination, actuator efficiency and balance control. Mathematical models and numerical simulation and optimization techniques are explained, in combination with experimental data, which can help to better understand the basic underlying mechanisms of these motions and to improve them. Example topics treated in this book are * Modeling techniques for anthropomorphic bipedal walking systems * Optimized walking motions for different objective functions * Identification of objective functions from measurements * Simulation and optimization approaches for humanoid robots * Biologically inspired control algorithms for bipedal walking * Generation and deformation of natural walking in computer graphics * Imitation of human motions on humanoids * Emotional body language during walking * Simulation of biologically inspired actuators for bipedal walking machines * Modeling and simulation techniques for the development of prostheses * Functional electrical stimulation of walking.

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.

The book covers a comprehensive overview of the theory, methods, applications and tools of cognition and recognition. The book is a collection of best selected papers presented in the International Conference on Cognition and Recognition 2016 (ICCR 2016) and helpful for scientists and researchers in the field of image processing, pattern recognition and computer vision for advance studies. Nowadays, researchers are working in interdisciplinary areas and the proceedings of ICCR 2016 plays a major role to accumulate those significant works at one place. The chapters included in the proceedings inculcates both theoretical as well as practical aspects of different areas like nature inspired algorithms, fuzzy systems, data mining, signal processing, image processing, text processing, wireless sensor networks, network security and cellular automata.

Climate change, environmental impact and declining natural resources are driving scientific research and novel technical solutions. Green Energy and Technology serves as a publishing platform for scientific and technological approaches to "green" - i.e., environmentally friendly and sustainable - technologies. While the main focus lies on energy and power supply, the series also covers green solutions in industrial engineering and engineering design. Green Energy and Technology is a monograph series addressing researchers, advanced students and technical consultants, as well as decision makers in industry and politics. The level presentation ranges from instructional to highly technical.

Small Wind Turbines and its associated software provide a thorough grounding in analysing, designing, building and installing a small wind turbine.

Small turbines are introduced by emphasising their differences from large ones and nearly all the analysis and design examples refer to small turbines. The software provided with the book includes MATLAB programs for power production and starting performance, as well as programs for detailed multi-objective optimisation of blade design. An Excel spreadsheet is provided for applying the simple load model of the IEC standard for small wind turbine safety. Small Wind Turbines and its accompanying software represent the distilled outcome of over twenty years experience in fundamental research, design, installation and field testing of small wind turbines.

Besides being a suitable reference for student projects and detailed design studies, it also provides important background material for engineers and others using small wind turbines for remote power and distributed generation applications.

Developing a system that can cope with variations of system or control parameters, measurement uncertainty, and complex, multi-objective optimization criteria is a frequent problem in engineering systems design. The need for a priori knowledge and the inability to learn from past experience make the design of robust, adaptive, and stable systems a difficult task. Innovation in Power, Control, and Optimization: Emerging Energy Technologies unites research on the development of techniques and methodologies to improve the performance of power systems, energy planning and environments, controllers and robotics, operation research, and modern artificial computational intelligent techniques. Containing research on power engineering, control systems, and methods of optimization, this book is written for professionals who want to improve their understanding of strategic developments in the area of power, control, and optimization.

One of the very important parts of any digital system is the control unit, coordin- ing interplay of other system blocks. As a rule, control units have irregular str- ture, which makes process of their logic circuits design very sophisticated. In case of complex logic controllers, the problem of system design is reduced practically to the design of control units. Actually, we observe a real technical boom connected with achievements in semiconductor technology. One of these is the development of integrated circuit known as the "systems-on-a-programmable- chip" (SoPC), where the number of elements approaches one billion. Because of the extreme complexity of microchips, it is very important to develop effective design methods oriented on particular properties of logical elements. Solution of this problem permits impr- ing functional capabilities of the target digital system inside single SoPC chip. As majority of researches point out, design methods used in case of industrial packages are, in case of complex digital system design, far from optimal. Similar problems concern the design of control units with standard ?eld-programmable logic devices (FPLD), such as PLA, PAL, GAL, CPLD, and FPGA. Let us point out that modern SoPC are based on CPLD or FPGA technology. Thus, the development of eff- tive design methods oriented on FPLD implementation of logic circuits used in the control units still remains the problem of great importance.

Fundamentals of Switching Theory and Logic Design discusses the basics of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. Switching theory is a branch of applied mathematic providing mathematical foundations for logic design, which can be considered as a part of digital system design concerning realizations of systems whose inputs and outputs are described by logic functions.

Klaus von Klitzing Max-Planck-Institut fur ] Festk] orperforschung, Heisenbergstrasse 1, 70569 Stuttgart, Germany Already many Cassandras have prematurely announced the end of the silicon roadmap and yet, conventional semiconductor-based transistors have been continuously shrinking at a pace which has brought us to nowadays cheap and powerful microelectronics. However it is clear that the traditional scaling laws cannot be applied if unwanted tunnel phenomena or ballistic transport dominate the device properties. It is generally expected, that a combination of silicon CMOS devices with molecular structure will dominate the ?eld of nanoelectronics in 20 years. The visionary ideas of atomic- or molecular-scale electronics already date back thirty years but only recently advanced nanotechnology, including e.g. scanning tunneling methods and mechanically controllable break junctions, have enabled to make distinct progress in this direction. On the level of f- damentalresearch, stateofthearttechniquesallowtomanipulate, imageand probechargetransportthroughuni-molecularsystemsinanincreasinglyc- trolled way. Hence, molecular electronics is reaching a stage of trustable and reproducible experiments. This has lead to a variety of physical and chemical phenomena recently observed for charge currents owing through molecular junctions, posing new challenges to theory. As a result a still increasing n- ber of open questions determines the future agenda in this ?eld."

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice.
. A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically)
. Includes an unclassified case study example from the U.S. Missile Defense project
.Accompanying Companion website includes source code and re-useable statechart templates"

Complex Orthogonal Space-Time Processing in Wireless Communications incorporates orthogonal space-time processing using STBCs in MIMO wireless communication systems. Complex Orthogonal STBCs (CO STBCs) are given emphasis because they can be used for PSK/QAM modulation schemes and are more practical than real STBCs.

The overall coverage provides general knowledge about space-time processing and its applications for broad audiences. It also includes the most up-to-date review of the literature on space-time processing in general, and space-time block processing in particular. The authors also examine open issues and problems for future research in this area.

This book provides an up-to-date introduction to information theory. In addition to the classical topics discussed, it provides the first comprehensive treatment of the theory of I-Measure, network coding theory, Shannon and non-Shannon type information inequalities, and a relation between entropy and group theory. ITIP, a software package for proving information inequalities, is also included. With a large number of examples, illustrations, and original problems, this book is excellent as a textbook or reference book for a senior or graduate level course on the subject, as well as a reference for researchers in related fields.

1 Grundlagen der Dynamik regelungstechnischer Systeme.- 1.1 Allgemeine Zielsetzung der Regelungstechnik.- 1.2 Regelkreis.- 1.3 Voraussetzungen fur Blockorientierung und Regelkreisbildung.- 1.4 Aufgaben der Regelungstechnik.- 1.5 UEbertragungsfunktion und Regelungssystemtheorie.- 1.6 Anfangsbedingungen und Nullstellen der UEbertragungsfunktion.- 1.7 Ausgangssignal Xa(s) bei x a(k)(0?)=0.- 1.8 Nichtverschwindende Vorgeschichte xa(k)(0?)?0.- 1.9 Analyse im Spektralbereich. Verknupfung mehrerer Elemente.- 1.10 Regelstrecke und Stoergroessen.- 1.11 Einschleifiger Standardregelkreis.- 1.12 Sensitivitat.- 1.13 Differentielle Sensitivitat fur den Standardregelkreis.- 1.14 Linearisierung.- 1.15 Regelkreis im Signalflussdiagramm.- 1.16 Spezielle Elemente regelungstechnischer Systeme.- 1.16.1 Rationale UEbertragungselemente.- 1.16.2 Totzeit-Elemente.- 1.16.3 Allpass-Elemente.- 1.16.4 Laufzeitelemente.- 2 Regelkreisanalyse im Zeitbereich.- 2.1 Regelkreis-Reaktion auf einfache Signale.- 2.2 Mehrfache Polstellen von Xa(s).- 2.3 Naherung fur kleine Zeitwerte.- 2.4 Naherung fur grosse Zeitwerte.- 2.5 Faltungsintegral und Naherung durch Faltungssumme.- 2.6 Regelungen mit Totzeitelementen.- 3 Formulierung kontinuierlicher Regelungssysteme im Zustandsraum.- 3.1 Grundlagen.- 3.2 Transitionsmatrix (Fundamentalmatrix).- 3.3 Potenzreihenentwicklung der Transitionsmatrix.- 3.4 Zustandsregler. Fuhrungs- und Stoerungsverhalten.- 3.5 Vorfilterbemessung.- 4 Analyseverfahren im Frequenzbereich.- 4.1 Frequenzgang.- 4.2 Ortskurven des Frequenzgangs.- 4.3 Ortskurven von typischen stabilen Regelkreis-Element en.- 4.4 Ortskurven instabiler Regelkreiselemente.- 4.5 Frequenzgangsortskurve des Regelkreises.- 4.6 Ermittlung von Zeitbereichssignalen aus dem Frequenzbereich.- 4.7 Ermittlung des Frequenzganges aus der gemessenen Systemantwort.- 4.8 Bode-Diagramm.- 4.9 Phasenminimum-Beziehungen.- 4.10 Knickstellen der Regelschleife und des Regelkreises.- 4.11 H?-Norm einer UEbertragungsfunktion.- 5 Regelstrecken im Regelkreis.- 5.1 Antriebe. Allgemeines.- 5.2 Stromrichtergespeiste Gleichstromantriebe.- 5.3 Stromleitverfahren.- 5.4 Begrenzungsregelung.- 5.5 Kupplungselastizitat.- 5.6 Umrichtergespeiste Asynchronmaschine.- 5.7 Thermische Regelstrecken.- 5.7.1 Durchlauferhitzer, Warmetauscher.- 5.7.2 Kessel und Turbine.- 5.8 Hydraulische Regelstrecken.- 5.9 Pneumatische Regelstrecke.- 5.10 Mechanische Positionsregelstrecken.- 5.10.1 Einfache Fahrzeuglenkung.- 5.10.2 Balancierung.- 5.10.3 Passagierflugzeug.- 5.10.4 Raketenantrieb.- 5.11 Verfahrenstechnische Regelstrecken.- 5.12 Elektronische und nachrichtentechnische Regelstrecken.- 5.12.1 Verstarkungsausgleich.- 5.12.2 Scharfabstimmung.- 5.12.3 Zeilensynchronisierung.- 5.12.4 Rauschunterdruckung.- 5.13 Phase-Locked Loops (PLL).- 5.13.1 Phase-Locked Loop in analoger Ersatzrechnung.- 5.13.2 Regelungen an einem CD-Player.- 5.14 Schaltzeichen (Sinnbilder) fur technische Regelstrecken.- 5.15 Volkswirtschaftliche Regelungen.- 5.16 Physiologische und psychische Regelkreise.- 5.17 Soziologische Regelungen.- 6 Stellglieder und Verstarker.- 6.1 Stromrichterstellglieder.- 6.2 Umrichter fur Drehfeldmaschinen.- 6.3 Stellmotoren fur mechanische Positionierung.- 6.4 Stellglieder fur Flussigkeits-, Gasstroeme u. koernige Stoffe.- 6.5 Schaltzeichen fur Stellglieder und Verstarker.- 7 Regelungstechnischer Einsatz von Sensoren und Messumformern.- 7.1 Anforderungen.- 7.2 Messrauschen.- 7.3 Leistung eines Rauschsignales.- 8 Identifikationsverfahren.- 8.1 Auswertung der Sprungantwort von PDT1-Elementen.- 8.2 Auswertung der Sprungantwort von PT2-Elementen.- 8.3 Wendetangentenmethode bei PT2-Elementen.- 8.4 Auswertung der Sprungantwort von IT1-Elementen.- 8.5 Momentenmethode an der Gewichtsfunktion.- 8.6 Identifikation mit Hilfsregler.- 8.7 Identifikation mit fiktivem Serienelement.- 8.8 Regressionsanalyse. Quadratische Ausgleichsrechnung.- 9 Regler. Ausfuhrung und Dimensionierung.- 9.1 Operationsverstarker.- 9.2 Elektr