This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a sch...

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and otherwise explaining why not.Recently, abstract mathematics has proved to have more computational content than ever expected. Indeed, the axiomatic method, originally intended to do away with c...

The book focuses especially on the application of SHM technology to thin walled structural systems made from carbon fiber reinforced plastics. Here, guided elastic waves (Lamb-waves) show an excellent sensitivity to structural damages so that they are in the center of this book. It is divided into 4 sections dealing with analytical, numerical and experimental fundamentals, and subsequently with Lamb-wave propagation in fiber reinforced composites, SHM-systems and signal processing....

The Finite Element Method: Its Basis and Fundamentals offers a complete introduction to the basis of the finite element method, covering fundamental theory and worked examples in the detail required for readers to apply the knowledge to their own engineering problems and understand more advanced applications. This edition sees a significant rearrangement of the book's content to enable clearer development of the finite element method, with major new chapters and sections added to cover: - ...

This textbook explores both the theoretical foundation of the Finite Volume Method (FVM) and its applications in Computational Fluid Dynamics (CFD). Readers will discover a thorough explanation of the FVM numerics and algorithms used for the simulation of incompressible and compressible fluid flows, along with a detailed examination of the components needed for the development of a collocated unstructured pressure-based CFD solver. Two particular CFD codes are explored. The first is uFVM, ...

This extensively revised and updated second edition of a widely read classic presents the use of ultrasound in nondestructive evaluation (NDE) inspections. Retaining the first edition's use of wave propagation /scattering theory and linear system theory, this volume also adds significant new material including:the introduction of MATLAB® functions and scripts that evaluate key results involving beam propagation and scattering, flaw sizing, and the modeling of ultrasonic s...

The finite element method is often used for numerical computation in the applied sciences. It makes a major contribution to the range of numerical methods used in the simulation of systems and irregular domains, and its importance today has made it an important subject of study for all engineering students.While treatments of the method itself can be found in many traditional finite element books, Finite Element Modeling for Materials Engineers Using MATLAB® combines the f...

Intended for advanced undergraduate and graduate students, the first four chapters of this book are devoted to the introduction of the finite element concept. The focus then covers two essential areas - heat transfer and fluid mechanics: topics with different finite element formulations. Heat transfer applications begin with the classical one-dimensional thin-rod problem, followed by the two-dimensional heat transfer problem including a variety of boundary conditions. Finally, a complicate...

Using fundamentals of communication theory, thermodynamics, information theory and propagation theory, this book explains the universal principles underlying a diverse range of electro-optical systems. From fiber optics and infra-red imaging to free space communications and laser remote sensing, the authors relate key concepts in science and device engineering to practical systems issues. A broad spectrum of coherent and incoherent imaging and communications systems is considered, accompan...

This book introduces two of the most exciting heat pumping technologies, the coabsorbent and the thermal recovery (mechanical vapor) compression, characterized by a high potential in primary energy savings and environmental protection. New cycles with potential applications of nontruncated, truncated, hybrid truncated, and multi-effect coabsorbent types are introduced in this work.Thermal-to-work recovery compression (TWRC) is the first of two particular methods explored here, incl...

This book addresses the need in the field for a comprehensive review of motion planning algorithms and hybrid control methodologies for complex legged robots. Introducing a multidisciplinary systems engineering approach for tackling many challenges posed by legged locomotion, the book provides engineering detail including hybrid models for planar and 3D legged robots, as well as hybrid control schemes for asymptotically stabilizing periodic orbits in these closed-loop systems. Complete wit...

Provides the basics of spacecraft orbital dynamics plus attitude dynamics and control, using vectrix notationSpacecraft Dynamics and Control: An Introduction presents the fundamentals of classical control in the context of spacecraft attitude control. This approach is particularly beneficial for the training of students in both of the subjects of classical control as well as its application to spacecraft attitude control. By using a physic...