Shipboard Power Systems Design and Verification Fundamentals

An all-encompassing text that focuses on the fundamentals of power integrity Power integrity is the study of power distribution from the source to the load and the system level issues that can occur across it. For computer systems, these issues can range from inside the silicon to across the board and may egress into other parts of the platform, including thermal, EMI, and mechanical. With a focus on computer systems and silicon level power delivery, this book sheds light on the fundamentals of power integrity, utilizing the author’s extensive background in the power integrity industry and unique experience in silicon power architecture, design, and development. Aimed at engineers interested in learning the essential and advanced topics of the field, this book offers important chapter coverage of fundamentals in power distribution, power integrity analysis basics, system-level power integrity considerations, power conversion in computer systems, chip-level power, and more. Fundamentals of Power Integrity for Computer Platforms and Systems: Introduces readers to both the field of power integrity and to platform power conversion Provides a unique focus on computer systems and silicon level power delivery unavailable elsewhere Offers detailed analysis of common problems in the industry Reviews electromagnetic field and circuit representation Includes a detailed bibliography of references at the end of each chapter Works out multiple example problems within each chapter Including additional appendixes of tables and formulas, Fundamentals of Power Integrity for Computer Platforms and Systems is an ideal introductory text for engineers of power integrity as well as those in the chip design industry, specifically physical design and packaging.

Power Electronics and Energy Conversion Systems is a definitive five-volume reference spanning classical theory through practical applications and consolidating the latest advancements in energy conversion technology. Comprehensive yet highly accessible, each volume is organised in a basic-to-sophisticated crescendo, providing a single-source reference for undergraduate and graduate students, researchers and designers. Volume 1 Fundamentals and Hard-switching Converters introduces the key challenges in power electronics from basic components to operation principles and presents classical hard- and soft-switching DC to DC converters, rectifiers and inverters. At a more advanced level, it provides comprehensive analysis of DC and AC models comparing the available approaches for their derivation and results. A full treatment of DC to DC hard-switching converters is given, from fundamentals to modern industrial solutions and practical engineering insight. The author elucidates various contradictions and misunderstandings in the literature, for example, in the treatment of the discontinuous conduction operation or in deriving AC small-signal models of converters. Other key features: • Consolidates the latest advancements in hard-switching converters including discontinuous capacitor voltage mode, and their use in power-factor-correction applications • Includes fully worked design examples, exercises, and case studies, with discussion of the practical consequences of each choice made during the design • Explains all topics in detail with step-by-step derivation of formulas appropriate for energy conversion courses • End-of-section review of the learned material • Includes topics treated in recent journal, conference and industry application coverage on solutions, theory and practical concerns With emphasis on clear explanation, the text offers both a thorough understanding of DC to DC converters for undergraduate and graduate students in power electronics, and more detailed material suitable for researchers, designers and practising engineers working on the development and design of power electronics. This is an accessible reference for engineering and procurement managers from industries such as consumer electronics, integrated circuits, aerospace and renewable energy.

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems provides a comprehensive compendium of VVT activities and corresponding VVT methods for implementation throughout the entire lifecycle of an engineered system. In addition, the book strives to alleviate the fundamental testing conundrum, namely: What should be tested? How should one test? When should one test? And, when should one stop testing? In other words, how should one select a VVT strategy and how it be optimized? The book is organized in three parts: The first part provides introductory material about systems and VVT concepts. This part presents a comprehensive explanation of the role of VVT in the process of engineered systems (Chapter-1). The second part describes 40 systems' development VVT activities (Chapter-2) and 27 systems' post-development activities (Chapter-3). Corresponding to these activities, this part also describes 17 non-testing systems' VVT methods (Chapter-4) and 33 testing systems' methods (Chapter-5). The third part of the book describes ways to model systems’ quality cost, time and risk (Chapter-6), as well as ways to acquire quality data and optimize the VVT strategy in the face of funding, time and other resource limitations as well as different business objectives (Chapter-7). Finally, this part describes the methodology used to validate the quality model along with a case study describing a system’s quality improvements (Chapter-8). Fundamentally, this book is written with two categories of audience in mind. The first category is composed of VVT practitioners, including Systems, Test, Production and Maintenance engineers as well as first and second line managers. The second category is composed of students and faculties of Systems, Electrical, Aerospace, Mechanical and Industrial Engineering schools. This book may be fully covered in two to three graduate level semesters; although parts of the book may be covered in one semester. University instructors will most likely use the book to provide engineering students with knowledge about VVT, as well as to give students an introduction to formal modeling and optimization of VVT strategy.

A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples. Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.

This book describes the fundamentals and details of MPEG-2 Systems technology Written by an expert in the field, this book examines the MPEG-2 system specification as developed in the early 1990’s, as well as its evolution into the fourth edition of the MPEG-2 systems standard, published in 2013. While MPEG-2 systems will continue to evolve further, this book describes the MPEG-2 system functionality as of October 2013. Furthermore, relevant background information is provided. The discussion of MPEG-2 system functionality requires knowledge of various fundamental issues, such as timing, and supported content formats. Therefore also some basic information on video and audio coding is provided, including their evolution. Also other content formats supported in MPEG-2 systems are described, as far as needed to understand MPEG-2 systems. Ordered logically working from the basics and background through to the details and fundamentals of MPEG-2 transport streams and program streams Explores important issues within the standardization process itself Puts the developments on MPEG-2 systems into historic perspective Includes support of 3D Video and transport of AVC, SVC and MVC Concludes with additional issues such as real-time interface, delivery over IP networks and usage by application standardization bodies Predicts a continuing promising future for MPEG-2 transport streams

Discover cutting-edge developments in electric power systems Stemming from cutting-edge research and education activities in the field of electric power systems, this book brings together the knowledge of a panel of experts in economics, the social sciences, and electric power systems. In ten concise and comprehensible chapters, the book provides unprecedented coverage of the operation, control, planning, and design of electric power systems. It also discusses: A framework for interdisciplinary research and education Modeling electricity markets Alternative economic criteria and proactive planning for transmission investment in deregulated power systems Payment cost minimization with demand bids and partial capacity cost compensations for day-ahead electricity auctions Dynamic oligopolistic competition in an electric power network and impacts of infrastructure disruptions Reliability in monopolies and duopolies Building an efficient, reliable, and sustainable power system Risk-based power system planning integrating social and economic direct and indirect costs Models for transmission expansion planning based on reconfiguration capacitor switching Next-generation optimization for electric power systems Most chapters end with a bibliography, closing remarks, conclusions, or future work. Economic Market Design and Planning for Electric Power Systems is an indispensable reference for policy-makers, executives and engineers of electric utilities, university faculty members, and graduate students and researchers in control theory, electric power systems, economics, and the social sciences.

The only singular, all-encompassing textbook on state-of-the-art technical performance evaluation Fundamentals of Performance Evaluation of Computer and Telecommunication Systems uniquely presents all techniques of performance evaluation of computers systems, communication networks, and telecommunications in a balanced manner. Written by the renowned Professor Mohammad S. Obaidat and his coauthor Professor Noureddine Boudriga, it is also the only resource to treat computer and telecommunication systems as inseparable issues. The authors explain the basic concepts of performance evaluation, applications, performance evaluation metrics, workload types, benchmarking, and characterization of workload. This is followed by a review of the basics of probability theory, and then, the main techniques for performance evaluation—namely measurement, simulation, and analytic modeling—with case studies and examples. Contains the practical and applicable knowledge necessary for a successful performance evaluation in a balanced approach Reviews measurement tools, benchmark programs, design of experiments, traffic models, basics of queueing theory, and operational and mean value analysis Covers the techniques for validation and verification of simulation as well as random number generation, random variate generation, and testing with examples Features numerous examples and case studies, as well as exercises and problems for use as homework or programming assignments Fundamentals of Performance Evaluation of Computer and Telecommunication Systems is an ideal textbook for graduate students in computer science, electrical engineering, computer engineering, and information sciences, technology, and systems. It is also an excellent reference for practicing engineers and scientists.

Explore this indispensable guide covering the fundamentals of IOT and wearable devices from a leading voice in the field Fundamentals of IoT and Wearable Technology Design delivers a comprehensive exploration of the foundations of the Internet of Things (IoT) and wearable technology. Throughout the textbook, the focus is on IoT and wearable technology and their applications, including mobile health, environment, home automation, and smart living. Readers will learn about the most recent developments in the design and prototyping of these devices. This interdisciplinary work combines technical concepts from electrical, mechanical, biomedical, computer, and industrial engineering, all of which are used in the design and manufacture of IoT and wearable devices. Fundamentals of IoT and Wearable Technology Design thoroughly investigates the foundational characteristics, architectural aspects, and practical considerations, while offering readers detailed and systematic design and prototyping processes of typical use cases representing IoT and wearable technology. Later chapters discuss crucial issues, including PCB design, cloud and edge topologies, privacy and health concerns, and regulatory policies. Readers will also benefit from the inclusion of: A thorough introduction to the applications of IoT and wearable technology, including biomedicine and healthcare, fitness and wellbeing, sports, home automation, and more Discussions of wearable components and technologies, including microcontrollers and microprocessors, sensors, actuators and communication modules An exploration of the characteristics and basics of the communication protocols and technologies used in IoT and wearable devices An overview of the most important security challenges, threats, attacks and vulnerabilities faced by IoT and wearable devices along with potential solutions Perfect for research and development scientists working in the wearable technology and Internet of Things spaces, Fundamentals of IoT and Wearable Technology Design will also earn a place in the libraries of undergraduate and graduate students studying wearable technology and IoT, as well as professors and practicing technologists in the area.

Professionals in all areas – business; government; the physical, life, and social sciences; engineering; medicine, etc. – benefit from using statistical experimental design to better understand their worlds and then use that understanding to improve the products, processes, and programs they are responsible for. This book aims to provide the practitioners of tomorrow with a memorable, easy to read, engaging guide to statistics and experimental design. This book uses examples, drawn from a variety of established texts, and embeds them in a business or scientific context, seasoned with a dash of humor, to emphasize the issues and ideas that led to the experiment and the what-do-we-do-next? steps after the experiment. Graphical data displays are emphasized as means of discovery and communication and formulas are minimized, with a focus on interpreting the results that software produce. The role of subject-matter knowledge, and passion, is also illustrated. The examples do not require specialized knowledge, and the lessons they contain are transferrable to other contexts. Fundamentals of Statistical Experimental Design and Analysis introduces the basic elements of an experimental design, and the basic concepts underlying statistical analyses. Subsequent chapters address the following families of experimental designs: Completely Randomized designs, with single or multiple treatment factors, quantitative or qualitative Randomized Block designs Latin Square designs Split-Unit designs Repeated Measures designs Robust designs Optimal designs Written in an accessible, student-friendly style, this book is suitable for a general audience and particularly for those professionals seeking to improve and apply their understanding of experimental design.