This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system. The authors employ a transaction-based debug approach to systems at the transaction-level, asserting the correct relation of transactions. The automated debug approach for design bugs finds the potential fault candidates at RTL and gate-level of a cir…
This book sheds light on the shear behavior of Fiber Reinforced Concrete (FRC) elements, presenting a thorough analysis of the most important studies in the field and highlighting their shortcomings and issues that have been neglected to date. Instead of proposing a new formula, which would add to an already long list, it instead focuses on existing design codes. Based on a comparison of experi…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
This book presents a comprehensive mathematical approach for solving stochastic magnetic field problems. It discusses variability in material properties and geometry, with an emphasis on the preservation of structural physical and mathematical properties. It especially addresses uncertainties in the computer simulation of magnetic fields originating from the manufacturing process. Uncertainties…
This book provides a comprehensive discussion of nonlinear multi-modal structural vibration problems, and shows how vibration suppression can be applied to such systems by considering a sample set of relevant control techniques. It covers the basic principles of nonlinear vibrations that occur in flexible and/or adaptive structures, with an emphasis on engineering analysis and relevant control …
This work identifies the characteristics of racket design parameters that influence racket performance. It presents the finite element analysis of several designs of badminton rackets and compares them to experimental results for validation. Designing a racket requires a comprehensive understanding of racket performance characteristics. Essentially, racket performance is related to the sweet s…
This book will help readers gain a solid understanding of non-functional requirements inherent in systems design endeavors. It contains essential information for those who design, use and maintain complex engineered systems, including experienced designers, teachers of design, system stakeholders and practicing engineers. Coverage approaches non-functional requirements in a novel way by pres…
This book offers an essential compendium on the analysis and design of synchronous motors for variable-speed applications. Focusing on synchronous reluctance and ferrite permanent-magnet (PM) synchronous reluctance machines, it provides a broad perspective on three-phase machines for variable speed applications, a field currently dominated by asynchronous machines and rare-earth PM synchronous …
The book presents firsthand material from the authors on design of hydraulic canals. The book discusses elements of design based on principles of hydraulic flow through canals. It covers optimization of design based on usage requirements and economic constraints. The book includes explicit design equations and design procedures along with design examples for varied cases. With its comprehensive…
This book is a brief primer covering concepts central to digital imagery, digital audio and digital illustration using open source software packages such as GIMP, Audacity and Inkscape. These are used for this book because they are free for commercial use. The book builds on the foundational concepts of raster, vector and waves (audio), and gets more advanced as chapters progress, covering what…