The main theme of this book is recent progress in structure-preserving algorithms for solving initial value problems of oscillatory differential equations arising in a variety of research areas, such as astronomy, theoretical physics, electronics, quantum mechanics and engineering. It systematically describes the latest advances in the development of structure-preserving integrators for oscillatory differential equations, such as structure-preserving exponential integrators, functionally fitted energy-preserving integrators, exponential Fourier collocation methods, trigonometric collocation methods, and symmetric and arbitrarily high-order time-stepping methods. Most of the material presented here is drawn from the recent literature. Theoretical analysis of the newly developed schemes shows their advantages in the context of structure preservation. All the new methods introduced in this book are proven to be highly effective compared with the well-known codes in the scientific literature. This book also addresses challenging problems at the forefront of modern numerical analysis and presents a wide range of modern tools and techniques.

This book introduces a unique, packet-based co-design control framework for networked control systems. It begins by providing a comprehensive survey of state-of-the-art research on networked control systems, giving readers a general overview of the field. It then verifies the proposed control framework both theoretically and experimentally - the former using multiple control methodologies, and the latter using a unique online test rig for networked control systems. The framework investigates in detail the most common, communication constraints, including network-induced delays, data packet dropout, data packet disorders, and network access constraints, as well as multiple controller design and system analysis tools such as model predictive control, linear matrix inequalities and optimal control. This unique and complete co-design framework greatly benefits researchers, graduate students and engineers in the fields of control theory and engineering.

This book presents special systems derived from industrial models, including the complex saturation nonlinear functions and the delay nonlinear functions. It also presents typical methods, such as the classical Liapunov and Integral Inequalities methods. Providing constructive qualitative and stability conditions for linear systems with saturated inputs in both global and local contexts, it offers practitioners more concise model systems for modern saturation nonlinear techniques, which have the potential for future applications. This book is a valuable guide for researchers and graduate students in the fields of mathematics, control, and engineering.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

This book provides state-of-the-art results and theories in homogeneous turbulence, including anisotropy and compressibility effects with extension to quantum turbulence, magneto-hydodynamic turbulence and turbulence in non-newtonian fluids. Each chapter is devoted to a given type of interaction (strain, rotation, shear, etc.), and presents and compares experimental data, numerical results, analysis of the Reynolds stress budget equations and advanced multipoint spectral theories. The role of both linear and non-linear mechanisms is emphasized. The link between the statistical properties and the dynamics of coherent structures is also addressed. Despite its restriction to homogeneous turbulence, the book is of interest to all people working in turbulence, since the basic physical mechanisms which are present in all turbulent flows are explained. The reader will find a unified presentation of the results and a clear presentation of existing controversies. Special attention is given to bridge the results obtained in different research communities. Mathematical tools and advanced physical models are detailed in dedicated chapters.

This unique text/reference presents a fresh look at nonlinear processing through nonlinear eigenvalue analysis, highlighting how one-homogeneous convex functionals can induce nonlinear operators that can be analyzed within an eigenvalue framework. The text opens with an introduction to the mathematical background, together with a summary of classical variational algorithms for vision. This is followed by a focus on the foundations and applications of the new multi-scale representation based on non-linear eigenproblems. The book then concludes with a discussion of new numerical techniques for finding nonlinear eigenfunctions, and promising research directions beyond the convex case. Topics and features: introduces the classical Fourier transform and its associated operator and energy, and asks how these concepts can be generalized in the nonlinear case; reviews the basic mathematical notion, briefly outlining the use of variational and flow-based methods to solve image-processing and computer vision algorithms; describes the properties of the total variation (TV) functional, and how the concept of nonlinear eigenfunctions relate to convex functionals; provides a spectral framework for one-homogeneous functionals, and applies this framework for denoising, texture processing and image fusion; proposes novel ways to solve the nonlinear eigenvalue problem using special flows that converge to eigenfunctions; examines graph-based and nonlocal methods, for which a TV eigenvalue analysis gives rise to strong segmentation, clustering and classification algorithms; presents an approach to generalizing the nonlinear spectral concept beyond the convex case, based on pixel decay analysis; discusses relations to other branches of image processing, such as wavelets and dictionary based methods. This original work offers fascinating new insights into established signal processing techniques, integrating deep mathematical concepts from a range of different fields, which will be of great interest to all researchers involved with image processing and computer vision applications, as well as computations for more general scientific problems.

This book is devoted to studies of unsteady heat and mass exchange processes taking into account thermochemical destruction of thermal protective materials, research of transpiration cooling systems, thermal protection of composite materials exposed to low-energy disturbances, as well as the numerical solution of heat and mass transfer of the exchange. It proposes several mathematical models of passive and active thermal protection systems with regard to factors such as surface ablation, surface roughness, phase transition of a liquid in porous materials, rotation of the body around its longitudinal axis, and exposure to low-energy disturbances. The author studies the possibilities to control thermochemical destruction and heat mass exchange processes in transpiration cooling systems exposed to low-energy disturbances. The numerical analysis of the heat and mass exchange process in carbon plastics under repeated impulse action is also presented. The numerical solutions of problems are compared with the known experimental data. The book is intended for specialists in the field of thermal protection and heat mass exchange, as well as graduate and undergraduates in physics and mathematics.

The book comprehensively covers the various aspects of risk modeling and analysis in technological contexts. It pursues a systems approach to modeling risk and reliability concerns in engineering, and covers the key concepts of risk analysis and mathematical tools used to assess and account for risk in engineering problems. The relevance of incorporating risk-based structures in design and operations is also stressed, with special emphasis on the human factor and behavioral risks. The book uses the nuclear plant, an extremely complex and high-precision engineering environment, as an example to develop the concepts discussed. The core mechanical, electronic and physical aspects of such a complex system offer an excellent platform for analyzing and creating risk-based models. The book also provides real-time case studies in a separate section to demonstrate the use of this approach. There are many limitations when it comes to applications of risk-based approaches to engineering problems. The book is structured and written in a way that addresses these key gap areas to help optimize the overall methodology. This book serves as a textbook for graduate and advanced undergraduate courses on risk and reliability in engineering. It can also be used outside the classroom for professional development courses aimed at practicing engineers or as an introduction to risk-based engineering for professionals, researchers, and students interested in the field.

The book is designed for advanced graduate students as well as postdoctoral researchers across several disciplines (e.g., mathematics, physics and engineering), as it provides them with tools and techniques that are essential in performing research on the flow problems of visco-plastic fluids. The following topics are treated: analysis of classical visco-plastic fluid models mathematical modeling of flows of visco-plastic fluids computing flows of visco-plastic fluids rheology of visco-plastic fluids and visco-plastic suspensions application of visco-plastic fluids in engineering sciences complex flows of visco-plastic fluids.

This book surveys the well-known results and also presents a series of original results on the mathematical modeling of social networks, focusing on models of informational influence, control and confrontation. Online social networks are intended for communication, opinion exchange and information acquisition for their members, but recently, online social networks have been intensively used as the objects and means of informational control and an arena of informational confrontation. They have become a powerful informational influence tool, particularly for the manipulation of individuals, social groups and society as a whole, as well as a battlefield of information warfare (cyberwars). This book aimed at under- and postgraduate university students as well as experts in information technology and modeling of social systems and processes.

This book introduces selected recent findings on the analysis and control of dynamical behaviors for coupled reaction-diffusion neural networks. It presents novel research ideas and essential definitions concerning coupled reaction-diffusion neural networks, such as passivity, adaptive coupling, spatial diffusion coupling, and the relationship between synchronization and output strict passivity. Further, it gathers research results previously published in many flagship journals, presenting them in a unified form. As such, the book will be of interest to all university researchers and graduate students in Engineering and Mathematics who wish to study the dynamical behaviors of coupled reaction-diffusion neural networks.

This book provides a tutorial in the use of Altair Compose and Altair Activate, software packages that provide system modeling and simulation facilities. Advanced system modeling software provide multiple ways of creating models: models can be programmed in specialized languages, graphically constructed as block-diagrams and state machines, or expressed mathematically in equation-based languages. Compose and Activate are introduced in this text in two parts. The first part introduces the multi-language environment of Compose and its use for modeling, simulation and optimization. The second describes the graphical system modeling and optimization with Activate, an open-system environment providing signal-based modeling as well as physical system component-based modeling. Throughout both parts are applied examples from mechanical, biological, and electrical systems, as well as control and signal processing systems. This book will be an invaluable addition with many examples both for those just interested in OML and those doing industrial scale modeling, simulation, and design. All examples are worked using the free basic editions of Activate and Compose that are available.

This book presents the genetic connections of metamorphism and geodynamics. It discusses the tectonic and magmatic processes as the reason of metamorphism, and the geological types of metamorphism, which define the features of - parameters and - -t paths. Three categories of metamorphism are distinguished depending on the heat flow rate: 1) at a geothermal gradient near to an average terrestrial ("normal") value; 2) at a heightened thermal gradient as the result of additional heat supply in the earth's crust by magmatic intrusions and diapirism of magma; 3) at a reduced thermal gradient during the collision of lithosphere plates and blocks of the earth's crust. The quantitative methods of description of metamorphism have been widely used in this book. The mathematical models of metamorphism have been studied in connection with magmatic intrusions, rifting process and magmatic diapirism. Mineral changes in the rocks controlled by variations of - of parameters, mass transfer and chemical reactions have also been characterized. The book proposes a quasi-stationary model of diffusion metasomatism with respect to the formation of zonal structures of minerals. The method of mineral thermobarometry for the conditions of unsteady equilibrium has been worked out; the quantitative analysis of mass transfer during metamorphic reactions in the rock matrix has been carried out, and the mobility of chemical elements at metamorphism has been estimated as well. The book is intended for specialists in the fields of petrology, mineralogy and geochemistry, and for students at the senior and graduate level.

This book provides a detailed introduction to maintenance policies and the current and future research in these fields, highlighting mathematical formulation and optimization techniques. It comprehensively describes the state of art in maintenance modelling and optimization for single- and multi-unit technical systems, and also investigates the problem of the estimation process of delay-time parameters and how this affects system performance. The book discusses delay-time modelling for multi-unit technical systems in various reliability structures, examining the optimum maintenance policies both analytically and practically, focusing on a delay-time modelling technique that has been employed by researchers in the field of maintenance engineering to model inspection intervals. It organizes the existing work into several fields, based mainly on the classification of single- and multi-unit models and assesses the applicability of the reviewed works and maintenance models. Lastly, it identifies potential future research directions and suggests research agendas. This book is a valuable resource for maintenance engineers, reliability specialists, and researchers, as it demonstrates the latest developments in maintenance, inspection and delay-time-based maintenance modelling issues. It is also of interest to graduate and senior undergraduate students, as it introduces current theory and practice in maintenance modelling issues, especially in the field of delay-time modelling.

This book provides a practical guide to applying soft-computing methods to interpret geophysical data. It discusses the design of neural networks with Matlab for geophysical data, as well as fuzzy logic and neuro-fuzzy concepts and their applications. In addition, it describes genetic algorithms for the automatic and/or intelligent processing and interpretation of geophysical data.

This book addresses the experimental calibration of best-estimate numerical simulation models. The results of measurements and computations are never exact. Therefore, knowing only the nominal values of experimentally measured or computed quantities is insufficient for applications, particularly since the respective experimental and computed nominal values seldom coincide. In the author's view, the objective of predictive modeling is to extract "best estimate" values for model parameters and predicted results, together with "best estimate" uncertainties for these parameters and results. To achieve this goal, predictive modeling combines imprecisely known experimental and computational data, which calls for reasoning on the basis of incomplete, error-rich, and occasionally discrepant information. The customary methods used for data assimilation combine experimental and computational information by minimizing an a priori, user-chosen, "cost functional" (usually a quadratic functional that represents the weighted errors between measured and computed responses). In contrast to these user-influenced methods, the BERRU (Best Estimate Results with Reduced Uncertainties) Predictive Modeling methodology developed by the author relies on the thermodynamics-based maximum entropy principle to eliminate the need for relying on minimizing user-chosen functionals, thus generalizing the "data adjustment" and/or the "4D-VAR" data assimilation procedures used in the geophysical sciences. The BERRU predictive modeling methodology also provides a "model validation metric" which quantifies the consistency (agreement/disagreement) between measurements and computations. This "model validation metric" (or "consistency indicator") is constructed from parameter covariance matrices, response covariance matrices (measured and computed), and response sensitivities to model parameters. Traditional methods for computing response sensitivities are hampered by the "curse of dimensionality," which makes them impractical for applications to large-scale systems that involve many imprecisely known parameters. Reducing the computational effort required for precisely calculating the response sensitivities is paramount, and the comprehensive adjoint sensitivity analysis methodology developed by the author shows great promise in this regard, as shown in this book. After discarding inconsistent data (if any) using the consistency indicator, the BERRU predictive modeling methodology provides best-estimate values for predicted parameters and responses along with best-estimate reduced uncertainties (i.e., smaller predicted standard deviations) for the predicted quantities. Applying the BERRU methodology yields optimal, experimentally validated, "best estimate" predictive modeling tools for designing new technologies and facilities, while also improving on existing ones.

Multiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational techniques utilizing Python. Existing methods are presented in detail with a step by step learning approach. Theoretical background is given for TOPSIS, VIKOR, PROMETHEE, SIR, AHP, goal programming, and their variations. Comprehensive numerical examples are also discussed for each method in conjunction with easy to follow Python code. Extensions to multiple criteria decision making algorithms such as fuzzy number theory and group decision making are introduced and implemented through Python as well. Readers will learn how to implement and use each method based on the problem, the available data, the stakeholders involved, and the various requirements needed. Focusing on the practical aspects of the multiple criteria decision making methodologies, this book is designed for researchers, practitioners and advanced graduate students in the applied mathematics, information systems, operations research and business administration disciplines, as well as other engineers and scientists oriented in interdisciplinary research. Readers will greatly benefit from this book by learning and applying various MCDM/A methods. (Adiel Teixeira de Almeida, CDSID-Center for Decision System and Information Development, Universidade Federal de Pernambuco, Recife, Brazil) Promoting the development and application of multicriteria decision aid is essential to ensure more ethical and sustainable decisions. This book is a great contribution to this objective. It is a perfect blend of theory and practice, providing potential users and researchers with the theoretical bases of some of the best-known methods as well as with the computing tools needed to practice, to compare and to put these methods to use. (Jean-Pierre Brans, Vrije Universiteit Brussel, Brussels, Belgium) This book is intended for researchers, practitioners and students alike in decision support who wish to familiarize themselves quickly and efficiently with multicriteria decision aiding algorithms. The proposed approach is original, as it presents a selection of methods from the theory to the practical implementation in Python, including a detailed example. This will certainly facilitate the learning of these techniques, and contribute to their effective dissemination in applications. (Patrick Meyer, IMT Atlantique, Lab-STICC, Univ. Bretagne Loire, Brest, France)

This book presents an introduction to the analysis of general movements in 3D space, especially for movements of the human body. It is based on the lecture notes of a class on 3D Kinematics, which the author has been holding in the Master Degree Program of his home institution, the University of Applied Sciences Upper Austria. The lecture introduces the mathematics underlying the measurement and analysis of 3D movements. The target audience primarily comprises research experts in the field, but the book may also be beneficial for graduate students alike.

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. The authors devise axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally.

This volume covers selected topics addressed and discussed during the workshop "PDE models for multi-agent phenomena," which was held in Rome, Italy, from November 28th to December 2nd, 2016. The content mainly focuses on kinetic equations and mean field games, which provide a solid framework for the description of multi-agent phenomena. The book includes original contributions on the theoretical and numerical study of the MFG system: the uniqueness issue and finite difference methods for the MFG system, MFG with state constraints, and application of MFG to market competition. The book also presents new contributions on the analysis and numerical approximation of the Fokker-Planck-Kolmogorov equations, the isotropic Landau model, the dynamical approach to the quantization problem and the asymptotic methods for fully nonlinear elliptic equations. Chiefly intended for researchers interested in the mathematical modeling of collective phenomena, the book provides an essential overview of recent advances in the field and outlines future research directions.

This is a monograph on the emerging branch of mathematical biophysics combining asymptotic analysis with numerical and stochastic methods to analyze partial differential equations arising in biological and physical sciences. In more detail, the book presents the analytic methods and tools for approximating solutions of mixed boundary value problems, with particular emphasis on the narrow escape problem. Informed throughout by real-world applications, the book includes topics such as the Fokker-Planck equation, boundary layer analysis, WKB approximation, applications of spectral theory, as well as recent results in narrow escape theory. Numerical and stochastic aspects, including mean first passage time and extreme statistics, are discussed in detail and relevant applications are presented in parallel with the theory. Including background on the classical asymptotic theory of differential equations, this book is written for scientists of various backgrounds interested in deriving solutions to real-world problems from first principles.

This book starts with the proposition that digital media invite play and indeed need to be played by their everyday users. Play is probably one of the most visible and powerful ways to appropriate the digital world. The diverse, emerging practices of digital media appear to be essentially playful: Users are involved and active, produce form and content, spread, exchange and consume it, take risks, are conscious of their own goals and the possibilities of achieving them, are skilled and know how to acquire more skills. They share a perspective of can-do, a curiosity of what happens next? Play can be observed in social, economic, political, artistic, educational and criminal contexts and endeavours. It is employed as a (counter) strategy, for tacit or open resistance, as a method and productive practice, and something people do for fun. The book aims to define a particular contemporary attitude, a playful approach to media. It identifies some common ground and key principles in this novel terrain. Instead of looking at play and how it branches into different disciplines like business and education, the phenomenon of play in digital media is approached unconstrained by disciplinary boundaries. The contributions in this book provide a glimpse of a playful technological revolution that is a joyful celebration of possibilities that new media afford. This book is not a practical guide on how to hack a system or to pirate music, but provides critical insights into the unintended, artistic, fun, subversive, and sometimes dodgy applications of digital media. Contributions from Chris Crawford, Mathias Fuchs, Rilla Khaled, Sybille Lammes, Eva and Franco Mattes, Florian 'Floyd' Mueller, Michael Nitsche, Julian Oliver, and others cover and address topics such as reflective game design, identity and people's engagement in online media, conflicts and challenging opportunities for play, playing with cartographical interfaces, player-emergent production practices, the re-purposing of data, game creation as an educational approach, the ludification of society, the creation of meaning within and without play, the internalisation and subversion of roles through play, and the boundaries of play.

This book presents an in-depth treatment of various mathematical aspects of electromagnetism and Maxwell's equations: from modeling issues to well-posedness results and the coupled models of plasma physics (Vlasov-Maxwell and Vlasov-Poisson systems) and magnetohydrodynamics (MHD). These equations and boundary conditions are discussed, including a brief review of absorbing boundary conditions. The focus then moves to well-posedness results. The relevant function spaces are introduced, with an emphasis on boundary and topological conditions. General variational frameworks are defined for static and quasi-static problems, time-harmonic problems (including fixed frequency or Helmholtz-like problems and unknown frequency or eigenvalue problems), and time-dependent problems, with or without constraints. They are then applied to prove the well-posedness of Maxwell's equations and their simplified models, in the various settings described above. The book is completed with a discussion of dimensionally reduced models in prismatic and axisymmetric geometries, and a survey of existence and uniqueness results for the Vlasov-Poisson, Vlasov-Maxwell and MHD equations. The book addresses mainly researchers in applied mathematics who work on Maxwell's equations. However, it can be used for master or doctorate-level courses on mathematical electromagnetism as it requires only a bachelor-level knowledge of analysis.

As the sequel to the proceedings of the International Conference of Continuum Mechanics Focusing on Singularities (CoMFoS15), the proceedings of CoMFoS16 present further advances and new topics in mathematical theory and numerical simulations related to various aspects of continuum mechanics. These include fracture mechanics, shape optimization, modeling of earthquakes, material structure, interface dynamics and complex systems.. The authors are leading researchers with a profound knowledge of mathematical analysis from the fields of applied mathematics, physics, seismology, engineering, and industry. The book helps readers to understand how mathematical theory can be applied to various industrial problems, and conversely, how industrial problems lead to new mathematical challenges.

This book is part of a two volume set which presents the analysis of nonlinear phenomena as a long-standing challenge for research in basic and applied science as well as engineering. It discusses nonlinear differential and differential equations, bifurcation theory for periodic orbits and global connections. The integrability and reversibility of planar vector fields and theoretical analysis of classic physical models are sketched. This first volume concentrates on the mathematical theory and computational techniques that are essential for the study of nonlinear science, a second volume deals with real-world nonlinear phenomena in condensed matter, biology and optics.