Kategoria BISAC: Computers >> Design, Graphics & Media - CAD-CAM

Power electronics can be a difficult course for students to understand and for professors to teach. Simplifying the process for both, SPICE for Power Electronics and Electric Power, Third Edition illustrates methods of integrating industry standard SPICE software for design verification and as a theoretical laboratory bench.

Helpful PSpice Software and Program Files Available for Download

Based on the author Muhammad H. Rashid s considerable experience merging design content and SPICE into a power electronics course, this vastly improved and...

"Solid Modelling and CAD Systems" gives users an insight into the methods and problems associated with CAD systems. It acts as a bridge between users who learn interfaces without understanding how they work and developers who create systems without understanding the needs of the users.

The main feature of "Solid Modelling and CAD Systems" is a logical analysis of the techniques and basic solid modelling methods used in modern CAD systems. The book goes on to describe, among other subjects: two-dimensional shape definition methods, the command interface and graphics, databases and data...

Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing...

Designing Inclusive Futures reflects the need to explore, in a coherent way, the issues and practicalities that lie behind design that is intended to extend our active future lives. This encompasses design for inclusion in daily life at home but also extends to the workplace and for products within these contexts. For example, given trends in employment sector growth, skills requirements, labour supply and demographic change, there is a need to predict the critical areas where individual capabilities are mismatched with the physical, social and organisational demands of work. This...

The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management of complex systems; concentrating specifically on modern modelling tools (deterministic and empirical) for maintenance planning and scheduling. It presents a new perspective of maintenance management by:

• focusing on the course of maintenance actions;
• presenting a structure that ensures proper support for current maintenance managers;
• clarifying the functionality that is required from information...

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification...

SystemVerilog for Verification, Second Edition provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. It also reviews SystemVerilog 3.0 topics such as interfaces and data types.

This second edition contains a new chapter that covers programs and...

This book will help engineers write better Verilog/SystemVerilog design and verification code as well as deliver digital designs to market more quickly. It shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Each example explains in detail the symptoms of the error, the languages rules that cover the error, and the correct coding style to avoid the error. The book helps digital design and verification engineers to recognize, and avoid, these common coding mistakes. Many of these errors are very subtle, and can potentially cost hours or days...

This book is the result of a special session on constraint-handling techniques used in evolutionary algorithms within the Congress on Evolutionary Computation (CEC) in 2007. It presents recent research in constraint-handling in evolutionary optimization.

Part 1 of this book deals with theoretical contributions of rough set theory, and parts 2 and 3 focus on several real world data mining applications. The book thoroughly explores recent results in rough set research.

Motivated learning is an emerging research field in artificial intelligence and cognitive modelling. Computational models of motivation extend reinforcement learning to adaptive, multitask learning in complex, dynamic environments the goal being to understand how machines can develop new skills and achieve goals that were not predefined by human engineers. In particular, this book describes how motivated reinforcement learning agents can be used in computer games for the design of non-player characters that can adapt their behaviour in response to unexpected changes in their...

Since their first appearance in 1974, subdivision algorithms for generating surfaces of arbitrary topology have gained widespread popularity in computer graphics and are being evaluated in engineering applications. This development was complemented by ongoing efforts to develop appropriate mathematical tools for a thorough analysis, and today, many of the fascinating properties of subdivision are well understood.

This book summarizes the current knowledge on the subject. It contains both meanwhile classical results as well as brand-new, unpublished material, such as a new framework...

In 1965 Lotfi Zadeh, a professor of electrical engineering at the University of California in Berkeley, published the first of his papers on his new Fuzzy Set Theory. Since the 1980s this mathematical theory of "unsharp amounts" has been applied in many different fields with great success. The word "fuzzy" has also become very well-known among non-scientists thanks to extensive advertising campaigns for fuzzy-controlled household appliances and to their prominent presence in the media, first in Japan and then in other countries. On the other hand, the story of how Fuzzy Set Theory and its...