The book analyses a broad range of relevant aspects as the outer space and cyber space domain do not only present analogies but are also strongly interrelated. This may occur on various levels by technologies but also in regard to juridical approaches, each nevertheless keeping its particularities. Since modern societies rely increasingly on space applications that depend on cyber space, it is important to investigate how cyberspace and outer space are connected by their common challenges. Furthermore, this book discusses not only questions around their jurisdictions, but also whether the private space industry can escape jurisdiction by dematerializing the space resource commercial processes and assets thanks to cyber technology. In addition, space and cyberspace policies are analysed especially in view of cyber threats to space communications. Even the question of an extra-terrestrial citizenship in outer space and cyberspace may raise new views. Finally, the interdependence between space and cyberspace also has an important role to play in the context of increasing militarization and emerging weaponization of outer space. Therefore, this book invites questioning the similarities and interrelations between Outer Space and Cyber Space in the same way as it intends to strengthen them.

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 presents a panoramic look at the transformation of the transmission network in the context of the energy transition. It provides readers with basic definitions as well as details on current challenges and emerging technologies. In-depth chapters cover the integration of renewables, the particularities of planning large-scale systems, efficient reduction and solution methods, the possibilities of HVDC and super grids, distributed generation, smart grids, demand response, and new regulatory schemes. The content is complemented with case studies that highlight the importance of the power transmission network as the backbone of modern energy systems. This book will be a comprehensive reference that will be useful to both academics and practitioners.

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

This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical concepts. In the second part, power flow and contingency analysis are treated. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book. Finally, these solvers are analyzed both theoretically and experimentally, clearly showing the benefits of the modern approach.

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.

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.

This book presents the peridynamic theory, which provides the capability for improved modeling of progressive failure in materials and structures, and paves the way for addressing multi-physics and multi-scale problems. The book provides students and researchers with a theoretical and practical knowledge of the peridynamic theory and the skills required to analyze engineering problems. The text may be used in courses such as Multi-physics and Multi-scale Analysis, Nonlocal Computational Mechanics, and Computational Damage Prediction. Sample algorithms for the solution of benchmark problems are available so that the reader can modify these algorithms, and develop their own solution algorithms for specific problems. Students and researchers will find this book an essential and invaluable reference on the topic.

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.

This book presents a comprehensive set of guidelines and applications of DIgSILENT PowerFactory, an advanced power system simulation software package, for different types of power systems studies. Written by specialists in the field, it combines expertise and years of experience in the use of DIgSILENT PowerFactory with a deep understanding of power systems analysis. These complementary approaches therefore provide a fresh perspective on how to model, simulate and analyse power systems. It presents methodological approaches for modelling of system components, including both classical and non-conventional devices used in generation, transmission and distribution systems, discussing relevant assumptions and implications on performance assessment. This background is complemented with several guidelines for advanced use of DSL and DPL languages as well as for interfacing with other software packages, which is of great value for creating and performing different types of steady-state and dynamic performance simulation analysis. All employed test case studies are provided as supporting material to the reader to ease recreation of all examples presented in the book as well as to facilitate their use in other cases related to planning and operation studies. Providing an invaluable resource for the formal instruction of power system undergraduate/postgraduate students, this book is also a useful reference for engineers working in power system operation and planning.

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.

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"

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

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.

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.

The field of electromagnetics has seen considerable advances in recent years, based on the wide applications of numerical methods for investigating electromagnetic fields, microwaves, and other devices. Wide-Band Slow-Wave Systems: Simulation and Applications presents new technical solutions and research results for the analysis, synthesis, and design of slow-wave structures for modern electronic devices with super-wide pass-bands. It makes available, for the first time in English, significant research from the past 20 years that was previously published only in Russian and Lithuanian. The authors examine electrodynamics, multiconductor lines, and numerical methods for the modeling, simulation, analysis, and design of various super-wide-band slow-wave structures, including helical, meander, and gutter-type systems. The book features: The electrodynamic method for analysis of helical structures containing periodical inhomogeneities The multiconductor line method for analysis of complex helical, meander, and gutter-type wide-band slow-wave structures The method of moments for modeling and analysis of multiconductor lines containing a limited number of lines and meander structures with limited length Use of powerful software systems Microwave Office (R), MICROWAVE STUDIO (R), and MATLAB (R) for modeling, analysis, and design A synergy of various methods for investigating and designing wide-band slow-wave structures Solution of specific problems related to the design of wide-band and super-wide-band electrodynamic delay and deflection systems Principles of computer-aided design of slow-wave structures Presenting the theory, principles, properties, and applications of wide-band and super-wide-band slow-wave structures, this book will be of interest to students, engineers, researchers, and designers in the fields of electronic and microwave engineering.

CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application scenarios. The congress has been held twice, in Los Angeles, USA for the first and in Changchun, China for the second time, each of which attracted a large number of researchers from all over the world. The congress turns out to develop a spirit of cooperation that leads to new friendship for addressing a wide variety of ongoing problems in this vibrant area of technology and fostering more collaboration over the world.

The congress, CSIE 2011, received 2483 full paper and abstract submissions from 27 countries and regions over the world. Through a rigorous peer review process, all submissions were refereed based on their quality of content, level of innovation, significance, originality and legibility. 688 papers have been accepted for the international congress proceedings ultimately. "