This book is devoted to describing theories for porous media where such pores have an inbuilt macro structure and a micro structure. For example, a double porosity material has pores on a macro scale, but additionally there are cracks or fissures in the solid skeleton. The actual body is allowed to deform and thus the underlying theory is one of elasticity. Various different descriptions are reviewed. Chapter 1 introduces the classical linear theory of elastodynamics together with uniqueness and continuous dependence results. Chapters 2 and 3 review developments of theories for double and triple porosity using a pressure-displacement structure and also using voids-displacement. Chapter 4 compares various aspects of the pressure-displacement and voids-displacement theories via uniqueness studies and wave motion analysis. Mathematical analyses of double and triple porosity materials are included concentrating on uniqueness and stability studies in chapters 5 to 7. In chapters 8 and 9 the emphasis is on wave motion in double porosity materials with special attention paid to nonlinear waves. The final chapter embraces a novel area where an elastic body with a double porosity structure is analyzed, but the thermodynamics allows for heat to travel as a wave rather than simply by diffusion. This book will be of value to mathematicians, theoretical engineers and other practitioners who are interested in double or triple porosity elasticity and its relevance to many diverse applications.

Algebraic Identification and Estimation Methods in Feedback Control Systems presents a model-based algebraic approach to online parameter and state estimation in uncertain dynamic feedback control systems. This approach evades the mathematical intricacies of the traditional stochastic approach, proposing a direct model-based scheme with several easy-to-implement computational advantages. The approach can be used with continuous and discrete, linear and nonlinear, mono-variable and multi-variable systems. The estimators based on this approach are not of asymptotic nature, and do not require any statistical knowledge of the corrupting noises to achieve good performance in a noisy environment. These estimators are fast, robust to structured perturbations, and easy to combine with classical or sophisticated control laws. This book uses module theory, differential algebra, and operational calculus in an easy-to-understand manner and also details how to apply these in the context of feedback control systems. A wide variety of examples, including mechanical systems, power converters, electric motors, and chaotic systems, are also included to illustrate the algebraic methodology. Key features: * Presents a radically new approach to online parameter and state estimation. * Enables the reader to master the use and understand the consequences of the highly theoretical differential algebraic viewpoint in control systems theory. * Includes examples in a variety of physical applications with experimental results. * Covers the latest developments and applications. Algebraic Identification and Estimation Methods in Feedback Control Systems is a comprehensive reference for researchers and practitioners working in the area of automatic control, and is also a useful source of information for graduate and undergraduate students.

This unique text/reference provides an overview of crossbar-based interconnection networks, offering novel perspectives on these important components of high-performance, parallel-processor systems. A particular focus is placed on solutions to the blocking and scalability problems. Topics and features: introduces the fundamental concepts in interconnection networks in multi-processor systems, including issues of blocking, scalability, and crossbar networks; presents a classification of interconnection networks, and provides information on recognizing each of the networks; examines the challenges of blocking and scalability, and analyzes the different solutions that have been proposed; reviews a variety of different approaches to improve fault tolerance in multistage interconnection networks; discusses the scalable crossbar network, which is a non-blocking interconnection network that uses small-sized crossbar switches as switching elements. This invaluable work will be of great benefit to students, researchers and practitioners interested in computer networks, parallel processing and reliability engineering. The text is also essential reading for course modules on interconnection network design and reliability.

This book presents the most recent advances in the research of machines and mechanisms. It collects 54 reviewed papers presented at the XII International Conference on the Theory of Machines and mechanisms (TMM 2016) held in Liberec, Czech Republic, September 6-8, 2016. This volume offers an international selection of the most important new results and developments, grouped in six different parts, representing a well-balanced overview, and spanning the general theory of machines and mechanisms, through analysis and synthesis of planar and spatial mechanisms, linkages and cams, robots and manipulators, dynamics of machines and mechanisms, rotor dynamics, computational mechanics, vibration and noise in machines, optimization of mechanisms and machines, mechanisms of textile machines, mechatronics to the control and monitoring systems of machines. This conference is traditionally organised every four year under the auspices of the international organisation IFToMM and the Czech Society for Mechanics.

Uncertainty Quantification (UQ) is a relatively new research area which describes the methods and approaches used to supply quantitative descriptions of the effects of uncertainty, variability and errors in simulation problems and models. It is rapidly becoming a field of increasing importance, with many real-world applications within statistics, mathematics, probability and engineering, but also within the natural sciences. Literature on the topic has up until now been largely based on polynomial chaos, which raises difficulties when considering different types of approximation and does not lead to a unified presentation of the methods. Moreover, this description does not consider either deterministic problems or infinite dimensional ones. This book gives a unified, practical and comprehensive presentation of the main techniques used for the characterization of the effect of uncertainty on numerical models and on their exploitation in numerical problems. In particular, applications to linear and nonlinear systems of equations, differential equations, optimization and reliability are presented. Applications of stochastic methods to deal with deterministic numerical problems are also discussed. Matlab (R) illustrates the implementation of these methods and makes the book suitable as a textbook and for self-study.

This work is concerned with combinatorial aspects arising in the theory of exactly solvable models and representation theory. Recent developments in integrable models reveal an unexpected link between representation theory and statistical mechanics through combinatorics. For example, Young tableaux, which describe the basis of irreducible representations, appear in the Bethe Ansatz method in quantum spin chains as labels for the eigenstates for Hamiltonians.

Taking into account the various criss-crossing among mathematical subject, Physical Combinatorics presents new results and exciting ideas from three viewpoints; representation theory, integrable models, and combinatorics.

This volume will be of interest to mathematical physicists and graduate students in the the above-mentioned fields.

Contributors to the volume: T.H. Baker, O. Foda, G. Hatayama, Y. Komori, A. Kuniba, T. Nakanishi, M. Okado, A. Schilling, J. Suzuki, T. Takagi, D. Uglov, O. Warnaar, T.A. Welsh, A. Zabrodin

This book highlights the latest advances in engineering mathematics with a main focus on the mathematical models, structures, concepts, problems and computational methods and algorithms most relevant for applications in modern technologies and engineering. In particular, it features mathematical methods and models of applied analysis, probability theory, differential equations, tensor analysis and computational modelling used in applications to important problems concerning electromagnetics, antenna technologies, fluid dynamics, material and continuum physics and financial engineering. The individual chapters cover both theory and applications, and include a wealth of figures, schemes, algorithms, tables and results of data analysis and simulation. Presenting new methods and results, reviews of cutting-edge research, and open problems for future research, they equip readers to develop new mathematical methods and concepts of their own, and to further compare and analyse the methods and results discussed.The book consists of contributed chapters covering research developed as a result of a focused international seminar series on mathematics and applied mathematics and a series of three focused international research workshops on engineering mathematics organised by the Research Environment in Mathematics and Applied Mathematics at Malardalen University from autumn 2014 to autumn 2015: the International Workshop on Engineering Mathematics for Electromagnetics and Health Technology; the International Workshop on Engineering Mathematics, Algebra, Analysis and Electromagnetics; and the 1st Swedish-Estonian International Workshop on Engineering Mathematics, Algebra, Analysis and Applications.It serves as a source of inspiration for a broad spectrum of researchers and research students in applied mathematics, as well as in the areas of applications of mathematics considered in the book.

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite element approaches employs implicitly defined trial functions, which are treated locally by means of boundary integral equations. A detailed construction of high-order approximation spaces is discussed and applied to uniform, adaptive and anisotropic polytopal meshes. The main benefits of these general discretizations are the flexible handling they offer for meshes, and their natural incorporation of hanging nodes. This can especially be seen in adaptive finite element strategies and when anisotropic meshes are used. Moreover, this approach allows for problem-adapted approximation spaces as presented for convection-dominated diffusion equations. All theoretical results and considerations discussed in the book are verified and illustrated by several numerical examples and experiments. Given its scope, the book will be of interest to mathematicians in the field of boundary value problems, engineers with a (mathematical) background in finite element methods, and advanced graduate students.

This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants' ideas and views on researching mathematics using computers.

This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects. The volumes focus on computing systems, although the methods may also be applied to other systems. The first volume covers Chapter 1 to Chapter 14, whose subtitle is ``Performance Modeling and Background". The second volume encompasses Chapter 15 to Chapter 25 and has the subtitle ``Reliability and Availability Modeling, Measuring and Workload, and Lifetime Data Analysis". This text is helpful for computer performance professionals for supporting planning, design, configuring, and tuning the performance, reliability, and availability of computing systems. Such professionals may use these volumes to get acquainted with specific subjects by looking at the particular chapters. Many examples in the textbook on computing systems will help them understand the concepts covered in each chapter. The text may also be helpful for the instructor who teaches performance, reliability, and availability evaluation subjects. Many possible threads could be configured according to the interest of the audience and the duration of the course. Chapter 1 presents a good number of possible courses programs that could be organized using this text.

Computational Methods and Experimental Measurements XIX In its 19th year the International Conference on Computational Methods and Experimental Measurements continues to provide highest quality research which forms this book. This volume examines a wide variety of topics related to new experimental and computational methods. The continuous improvement in computer efficiency, coupled with diminishing costs and the rapid development of numerical procedures have generated an ever-increasing expansion of computational simulations that permeate all fields of science and technology. As these procedures continue to grow in magnitude and complexity, it is essential to validate their results to be certain of their reliability. This can be achieved by performing dedicated and accurate experiments, which have undergone a constant and enormous development. At the same time, current experimental techniques have become more complex and sophisticated so that they require the intensive use of computers, both for running experiments as well as acquiring and processing the resulting data. Some of the subject areas covered are: Computational and experimental methods; Fluid flow; Structural and stress analysis; Electromagnetic problems; Structural integrity; Destructive and non-destructive testing; Heat transfer and thermal processes; Advances in computational methods; Automotive and Aerospace applications; Applications in industry; Ocean engineering and marine structures; Fluid structure interaction; Bio-electromagnetics; Hybrid methods; Process simulations; Validation of computer modelling; Virtual testing and verification; Simulation and forecasting; Measurements in engineering. Earthquake Resistant Engineering Structures XII Major earthquakes and associated effects continue to stress the need to carry out more research and a better understanding of these phenomena in order to design earthquake resistant buildings and to carry out risk assessments. This volume combines the latest leading research as presented on the 12th edition of the ERES conference. As the world's population has concentrated in urban areas resulting in buildings in regions of high seismic vulnerability, we have seen the consequences of natural disasters take an ever higher toll on human existence. Protecting the built environment in earthquake-prone regions involves not only the optimal design and construction of new facilities, but also the upgrading and rehabilitation of existing structures including heritage buildings. The type of highly specialized retrofitting employed to protect the built heritage is an important area of research. The research papers included in this volume cover: Seismic isolation and energy dissipation; Building performance during earthquakes; Numerical analysis; Performance based design; Experimental studies; Seismic hazards and tsunamis; Safety engineering; Liquefaction; Innovative technologies; Paraseismic devices and Lifelines and resilience.

To ensure the security and economy of future power system operation in the context of a high degree of renewable energy penetration, this thesis proposes a new distributed algorithm called generalized master-slave-splitting (G-MSS) theory and a new transmission-distribution coordinated energy management (TDCEM) method that is based on the G-MSS theory. The thesis studies the mathematical properties of the G-MSS theory in detail. Based on the G-MSS theory, a distributed TDCEM method - which involves distributed security analysis, distributed voltage stability analysis, distributed economic dispatch and distributed optimal power flow for an integrated transmission-distribution system - is then developed for the first time. The thesis demonstrates that the proposed TDCEM method significantly contributes to more reliable and optimal operation in power systems. The book will benefit researchers, scientists and engineers in the field of power system operation and optimization.

This book describes useful analytical methods by applying them to real-world problems rather than solving the usual over-simplified classroom problems. The book demonstrates the applicability of analytical methods even for complex problems and guides the reader to a more intuitive understanding of approaches and solutions. Although the solution of Partial Differential Equations by numerical methods is the standard practice in industries, analytical methods are still important for the critical assessment of results derived from advanced computer simulations and the improvement of the underlying numerical techniques. Literature devoted to analytical methods, however, often focuses on theoretical and mathematical aspects and is therefore useless to most engineers. Analytical Methods for Heat Transfer and Fluid Flow Problems addresses engineers and engineering students. The second edition has been updated, the chapters on non-linear problems and on axial heat conduction problems were extended. And worked out examples were included.

This work presents the Clifford-Cauchy-Dirac (CCD) technique for solving problems involving the scattering of electromagnetic radiation from materials of all kinds. It allows anyone who is interested to master techniques that lead to simpler and more efficient solutions to problems of electromagnetic scattering than are currently in use. The technique is formulated in terms of the Cauchy kernel, single integrals, Clifford algebra and a whole-field approach. This is in contrast to many conventional techniques that are formulated in terms of Green's functions, double integrals, vector calculus and the combined field integral equation (CFIE). Whereas these conventional techniques lead to an implementation using the method of moments (MoM), the CCD technique is implemented as alternating projections onto convex sets in a Banach space. The ultimate outcome is an integral formulation that lends itself to a more direct and efficient solution than conventionally is the case, and applies without exception to all types of materials. On any particular machine, it results in either a faster solution for a given problem or the ability to solve problems of greater complexity. The Clifford-Cauchy-Dirac technique offers very real and significant advantages in uniformity, complexity, speed, storage, stability, consistency and accuracy.

The topic of special functions, normally presented as a mere collection of functions exhibiting particular properties, is treated from a fresh and unusual perspective in this book. The authors have based the special functions on the theory of second-order ordinary differential equations in the complex domain. Several physical applications are presented. Numerous tables and figures will help the reader find his way through the subject.

The application of mathematical concepts has proven to be beneficial within a number of different industries. In particular, these concepts have created significant developments in the engineering field. Mathematical Concepts and Applications in Mechanical Engineering and Mechatronics is an authoritative reference source for the latest scholarly research on the use of applied mathematics to enhance the current trends and productivity in mechanical engineering. Highlighting theoretical foundations, real-world cases, and future directions, this book is ideally designed for researchers, practitioners, professionals, and students of mechatronics and mechanical engineering.

This book provides a clear picture of the use of applied mathematics as a tool for improving the accuracy of agricultural research. For decades, statistics has been regarded as the fundamental tool of the scientific method. With new breakthroughs in computers and computer software, it has become feasible and necessary to improve the traditional approach in agricultural research by including additional mathematical modeling procedures.

The difficulty with the use of mathematics for agricultural scientists is that most courses in applied mathematics have been designed for engineering students. This publication is written by a professional in animal science targeting professionals in the biological, namely agricultural and animal scientists and graduate students in agricultural and animal sciences. The only prerequisite for the reader to understand the topics of this book is an introduction to college algebra, calculus and statistics. This is a manual of procedures for the mathematical modeling of agricultural systems and for the design and analyses of experimental data and experimental tests. It is a step-by-step guide for mathematical modeling of agricultural systems, starting with the statement of the research problem and up to implementing the project and running system experiments.

The principle aim of the book is to present a self-contained, modern account of similarity and symmetry methods, which are important mathematical tools for both physicists, engineers and applied mathematicians. The idea is to provide a balanced presentation of the mathematical techniques and applications of symmetry methods in mathematics, physics and engineering. That is why it includes recent developments and many examples in finding systematically conservation laws, local and nonlocal symmetries for ordinary and partial differential equations. The role of continuous symmetries in classical and quantum field theories is exposed at a technical level accessible even for non specialists. The importance of symmetries in continuum mechanics and mechanics of materials is highlighted through recent developments, such as the construction of constitutive models for various materials combining Lie symmetries with experimental data. As a whole this book is a unique collection of contributions from experts in the field, including specialists in the mathematical treatment of symmetries, researchers using symmetries from a fundamental, applied or numerical viewpoint. The book is a fascinating overview of symmetry methods aimed for graduate students in physics, mathematics and engineering, as well as researchers either willing to enter in the field or to capture recent developments and applications of symmetry methods in different scientific fields.

This important textbook provides an introduction to the concepts of the newly developed extended finite element method (XFEM) for fracture analysis of structures, as well as for other related engineering applications.
One of the main advantages of the method is that it avoids any need for remeshing or geometric crack modelling in numerical simulation, while generating discontinuous fields along a crack and around its tip. The second major advantage of the method is that by a small increase in number of degrees of freedom, far more accurate solutions can be obtained. The method has recently been extended to nonlinear materials and other disciplines such as modelling contact and interface, simulation of inclusions and holes, moving and changing phase problems, and even to multiscale analyses.
The book is self contained, with summaries of both classical and modern computational techniques. The main chapters include a comprehensive range of numerical examples describing various features of XFEM.

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

Due to their high stiffness and strength and their good processing properties short fibre reinforced thermoplastics are well-established construction materials. Up to now, simulation of engineering parts consisting of short fibre reinforced thermoplastics has often been based on macroscopic phenomenological models, but deformations, damage and failure of composite materials strongly depend on their microstructure. The typical modes of failure of short fibre thermoplastics enriched with glass fibres are matrix failure, rupture of fibres and delamination, and pure macroscopic consideration is not sufficient to predict those effects. The typical predictive phenomenological models are complex and only available for very special failures. A quantitative prediction on how failure will change depending on the content and orientation of the fibres is generally not possible, and the direct involvement of the above effects in a numerical simulation requires multi-scale modelling. One the one hand, this makes it possible to take into account the properties of the matrix material and the fibre material, the microstructure of the composite in terms of fibre content, fibre orientation and shape as well as the properties of the interface between fibres and matrix. On the other hand, the multi-scale approach links these local properties to the global behaviour and forms the basis for the dimensioning and design of engineering components. Furthermore, multi-scale numerical simulations are required to allow efficient solution of the models when investigating three-dimensional problems of dimensioning engineering parts. Bringing together mathematical modelling, materials mechanics, numerical methods and experimental engineering, this book provides a unique overview of multi-scale modelling approaches, multi-scale simulations and experimental investigations of short fibre reinforced thermoplastics. The first chapters focus on two principal subjects: the mathematical and mechanical models governing composite properties and damage description. The subsequent chapters present numerical algorithms based on the Finite Element Method and the Boundary Element Method, both of which make explicit use of the composite's microstructure. Further, the results of the numerical simulations are shown and compared to experimental results. Lastly, the book investigates deformation and failure of composite materials experimentally, explaining the applied methods and presenting the results for different volume fractions of fibres. This book is a valuable resource for applied mathematics, theoretical and experimental mechanical engineers as well as engineers in industry dealing with modelling and simulation of short fibre reinforced composites.

This book discusses recent developments in semigroup theory and its applications in areas such as operator algebras, operator approximations and category theory. All contributing authors are eminent researchers in their respective fields, from across the world. Their papers, presented at the 2014 International Conference on Semigroups, Algebras and Operator Theory in Cochin, India, focus on recent developments in semigroup theory and operator algebras. They highlight current research activities on the structure theory of semigroups as well as the role of semigroup theoretic approaches to other areas such as rings and algebras. The deliberations and discussions at the conference point to future research directions in these areas. This book presents 16 unpublished, high-quality and peer-reviewed research papers on areas such as structure theory of semigroups, decidability vs. undecidability of word problems, regular von Neumann algebras, operator theory and operator approximations. Interested researchers will find several avenues for exploring the connections between semigroup theory and the theory of operator algebras.

This book presents original studies describing the latest research and developments in the area of reliability and systems engineering. It helps the reader identifying gaps in the current knowledge and presents fruitful areas for further research in the field. Among others, this book covers reliability measures, reliability assessment of multi-state systems, optimization of multi-state systems, continuous multi-state systems, new computational techniques applied to multi-state systems and probabilistic and non-probabilistic safety assessment.

The papers in this volume start with a description of the construction of reduced models through a review of Proper Orthogonal Decomposition (POD) and reduced basis models, including their mathematical foundations and some challenging applications, then followed by a description of a new generation of simulation strategies based on the use of separated representations (space-parameters, space-time, space-time-parameters, space-space,...), which have led to what is known as Proper Generalized Decomposition (PGD) techniques. The models can be enriched by treating parameters as additional coordinates, leading to fast and inexpensive online calculations based on richer offline parametric solutions. Separated representations are analyzed in detail in the course, from their mathematical foundations to their most spectacular applications. It is also shown how such an approximation could evolve into a new paradigm in computational science, enabling one to circumvent various computational issues in a vast array of applications in engineering science.