Wyniki wyszukiwania:

Featuring a multidisciplinary approach, Systems Analysis for Sustainable Engineering: Theory and Applications provides a proven framework for applying systems analysis tools to account for environmental impacts, energy efficiency, cost-effectiveness, socioeconomic implications, and ecosystem health in engineering solutions.

This pioneering work addresses the increased levels of sophistication embedded in many complex large-scale infrastructure systems and their interactions with the natural environment. After a detailed...

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

Accelerating economic development and urbanization has led to engineers becoming increasingly ambitious, carrying out excavations in more difficult soils, so that excavations are deeper and more extensive. These complex conditions require advanced analysis, design methods and construction technologies. Most books on general foundation engineering introduce basic analysis and design of excavation, but do not usually deal with analysis and design in practice. This book covers both areas, introducing methods currently used in modern engineering, which can readily be applied to analysis and...

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