This contributed volume contains the research results of the priority programme (PP) 1480 "Modelling, Simulation and Compensation of Thermal Effects for Complex Machining Processes", funded by the German Research Society (DFG). The topical focus of this programme is the simulation-based prediction and compensation of thermally induced workpiece deviations and subsurface damage effects. The approach to the topic is genuinely interdisciplinary, covering all relevant machining operations such as turning, milling, drilling and grinding. The target audience primarily comprises research experts and practitioners in the field of production engineering, but the book may also be beneficial for graduate students.

This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The study is in line with the fundamental work by Gnedenko. Boris Vladimirovich Gnedenko (1912 - 1995) was a Soviet mathematician who made significant contributions in various scientific areas. His name is especially associated with studies of dependability, for which he is often recognized as the 'father' of reliability theory. In the last few decades, this area has expanded in new directions such as safety, security, risk analysis and other fields, yet the book 'Mathematical Methods in Reliability Theory' written by Gnedenko with Alexander Soloviev and Yuri Belyaev still towers as a pillar of the reliability sector's configuration and identity. The present book proceeds in the direction opened by the cultural project of the Russian authors; in particular it identifies different trends in the hazard rate functions by means of deductive logic and demonstrations. Further, it arrives at multiple results by means of the entropy function, an original mathematical tool in the reliability domain. As such, it will greatly benefit all specialists in the field who are interested in unconventional solutions.

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

This book reports on advanced theories and methods in three related fields of research: applied physics, system science and computers. It is organized in two main parts, the first of which covers applied physics topics, including lasers and accelerators; condensed matter, soft matter and materials science; nanoscience and quantum engineering; atomic, molecular, optical and plasma physics; as well as nuclear and high-energy particle physics. It also addresses astrophysics, gravitation, earth and environmental science, as well as medical and biological physics. The second part focuses on advances in system science and computers, exploring automatic circuit control, power systems, computer communication, fluid mechanics, simulation and modeling, software engineering, data structures and applications of artificial intelligence among other areas. Offering a collection of contributions presented at the 1st International Conference on Applied Physics, System Science and Computers (APSAC 2016), the book bridges the gap between applied physics and electrical engineering. It not only to presents new methods, but also promotes collaborations between different communities working on related topics at the interface between physics and engineering, with a special focus on communication, data modeling and visualization, quantum information, applied mechanics as well as bio and geophysics.

The book presents a state-of-art overview of numerical schemes efficiently solving the acoustic conservation equations (unknowns are acoustic pressure and particle velocity) and the acoustic wave equation (pressure of acoustic potential formulation). Thereby, the different equations model both vibrational- and flow-induced sound generation and its propagation. Latest numerical schemes as higher order finite elements, non-conforming grid techniques, discontinuous Galerkin approaches and boundary element methods are discussed. Main applications will be towards aerospace, rail and automotive industry as well as medical engineering. The team of authors are able to address these topics from the engineering as well as numerical points of view.

This monograph aims to lay the groundwork for the design of a unified mathematical approach to the modeling and analysis of large, complex systems composed of interacting living things. Drawing on twenty years of research in various scientific fields, it explores how mathematical kinetic theory and evolutionary game theory can be used to understand the complex interplay between mathematical sciences and the dynamics of living systems. The authors hope this will contribute to the development of new tools and strategies, if not a new mathematical theory. The first chapter discusses the main features of living systems and outlines a strategy for their modeling. The following chapters then explore some of the methods needed to potentially achieve this in practice. Chapter Two provides a brief introduction to the mathematical kinetic theory of classical particles, with special emphasis on the Boltzmann equation; the Enskog equation, mean field models, and Monte Carlo methods are also briefly covered. Chapter Three uses concepts from evolutionary game theory to derive mathematical structures that are able to capture the complexity features of interactions within living systems. The book then shifts to exploring the relevant applications of these methods that can potentially be used to derive specific, usable models. The modeling of social systems in various contexts is the subject of Chapter Five, and an overview of modeling crowd dynamics is given in Chapter Six, demonstrating how this approach can be used to model the dynamics of multicellular systems. The final chapter considers some additional applications before presenting an overview of open problems. The authors then offer their own speculations on the conceptual paths that may lead to a mathematical theory of living systems hoping to motivate future research activity in the field. A truly unique contribution to the existing literature, A Quest Toward a Mathematical Theory of Living Systems is an important book that will no doubt have a significant influence on the future directions of the field. It will be of interest to mathematical biologists, systems biologists, biophysicists, and other researchers working on understanding the complexities of living systems.

In this book the dynamics of the non-ideal oscillatory system, in which the excitation is influenced by the response of the oscillator, is presented. Linear and nonlinear oscillators with one or more degrees of freedom interacting with one or more energy sources are treated. This concerns for example oscillating systems excited by a deformed elastic connection, systems excited by an unbalanced rotating mass, systems of parametrically excited oscillator and an energy source, frictionally self-excited oscillator and an energy source, energy harvesting system, portal frame - non-ideal source system, non-ideal rotor system, planar mechanism - non-ideal source interaction. For the systems the regular and irregular motions are tested. The effect of self-synchronization, chaos and methods for suppressing chaos in non-ideal systems are considered. In the book various types of motion control are suggested. The most important property of the non-ideal system connected with the jump-like transition from a resonant state to a non-resonant one is discussed. The so called 'Sommerfeld effect', resonant unstable state and jumping of the system into a new stable state of motion above the resonant region is explained. A mathematical model of the system is solved analytically and numerically. Approximate analytical solving procedures are developed. Besides, simulation of the motion of the non-ideal system is presented. The obtained results are compared with those for the ideal case. A significant difference is evident. The book aims to present the established results and to expand the literature in non-ideal vibrating systems. A further intention of the book is to give predictions of the effects for a system where the interaction between an oscillator and the energy source exist. The book is targeted at engineers and technicians dealing with the problem of source-machine system, but is also written for PhD students and researchers interested in non-linear and non-ideal problems.

This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schroedinger equation, subsequent chapters focus on isotropic vectors, used to construct spinors, and on conceptual problems associated with measurement, superposition, and decoherence in quantum systems. Here, due attention is paid to Bell's inequality and the possible existence of hidden variables. Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable, enormous enhancements in computing power, artificial intelligence, and secure communication will result. This book will be of interest to a wide readership seeking to understand modern quantum mechanics and its potential applications.

The latest of five multidisciplinary volumes, this book spans the STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health) disciplines with the intent to generate meaningful interdisciplinary interaction and student interest. Emphasis is placed on important methods and applications within and beyond each field. Topics include geometric triple systems, image segmentation, pattern recognition in medicine, pricing barrier options, p-adic numbers distribution in geophysics data pattern, adelic physics, and evolutionary game theory. Contributions were by invitation only and peer-reviewed. Each chapter is reasonably self-contained and pedagogically presented for a multidisciplinary readership.

This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologies, and software tools. It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning in intelligent multimedia applications, and presents both theoretical discussions and best practices in multimedia ontology engineering. Readers already familiar with mathematical logic, Internet, and multimedia fundamentals will learn to develop formally grounded multimedia ontologies, and map concept definitions to high-level descriptors. The core reasoning tasks, reasoning algorithms, and industry-leading reasoners are presented, while scene interpretation via reasoning is also demonstrated. Overall, this book offers readers an essential introduction to the formal grounding of web ontologies, as well as a comprehensive collection and review of description logics (DLs) from the perspectives of expressivity and reasoning complexity. It covers best practices for developing multimedia ontologies with formal grounding to guarantee decidability and obtain the desired level of expressivity while maximizing the reasoning potential. The capabilities of such multimedia ontologies are demonstrated by DL implementations with an emphasis on multimedia reasoning applications.

This valuable source for graduate students and researchers provides a comprehensive introduction to current theories and applications in optimization methods and network models. Contributions to this book are focused on new efficient algorithms and rigorous mathematical theories, which can be used to optimize and analyze mathematical graph structures with massive size and high density induced by natural or artificial complex networks. Applications to social networks, power transmission grids, telecommunication networks, stock market networks, and human brain networks are presented. Chapters in this book cover the following topics: Linear max min fairness Heuristic approaches for high-quality solutions Efficient approaches for complex multi-criteria optimization problems Comparison of heuristic algorithms New heuristic iterative local search Power in network structures Clustering nodes in random graphs Power transmission grid structure Network decomposition problems Homogeneity hypothesis testing Network analysis of international migration Social networks with node attributes Testing hypothesis on degree distribution in the market graphs Machine learning applications to human brain network studies This proceeding is a result of The 6th International Conference on Network Analysis held at the Higher School of Economics, Nizhny Novgorod in May 2016. The conference brought together scientists and engineers from industry, government, and academia to discuss the links between network analysis and a variety of fields.

This book describes the computational challenges posed by the progression toward nanoscale electronic devices and increasingly short design cycles in the microelectronics industry, and proposes methods of model reduction which facilitate circuit and device simulation for specific tasks in the design cycle. The goal is to develop and compare methods for system reduction in the design of high dimensional nanoelectronic ICs, and to test these methods in the practice of semiconductor development. Six chapters describe the challenges for numerical simulation of nanoelectronic circuits and suggest model reduction methods for constituting equations. These include linear and nonlinear differential equations tailored to circuit equations and drift diffusion equations for semiconductor devices. The performance of these methods is illustrated with numerical experiments using real-world data. Readers will benefit from an up-to-date overview of the latest model reduction methods in computational nanoelectronics.

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 acts as a manual for the ancient methods of navigating by the stars, which continue to provide the sailor or pilot with a timeless means of determining location. Despite the prevalence of GPS, a comprehensive set of formulae that can be evaluated on any inexpensive scientific calculator in the event of a catastrophic software or systems failure is a vital failsafe. It also serves as a living link to centuries of explorers from centuries past. Beginning with the basics of positional astronomy, this guide moves on to the more complex math necessary to understand the ephemerides, tables showing the future positions of the stars and planets. These astronomical almanacs were the satellite navigation of their day. The objective of this book is twofold: to provide the reader with a concise, comprehensible manual on positional astronomy as it applies to astro-navigation and to furnish the concise algorithms for finding the position of the Sun and various navigational stars at any given instant. In a world where too many mariners and aeronauts rely solely on technology and are vulnerable to solar flares, electrical issues, and the like, this knowledge can be a life-saving backup, not to mention a fascinating study in its own rights. Included is an exact mathematical way to determine your position in the air or on the sea far more quickly and accurately than by using the old celestial navigational method, without even needing to know or understand the underlying mathematics. There is even a section that teaches how to measure the azimuth of a star using an analog wrist watch so if a sextant gets damaged, locating position is still possible. This book offers mathematicians and adventurers a way to determine position when the skies go dark. The U.S. Navy has recently realized that their electronic navigation systems are vulnerable to cyberattack, and as a result has instructed the Naval Academy to begin teaching celestial navigation again.

This textbook presents the motion of pure nonlinear oscillatory systems and various solution procedures which give the approximate solutions of the strong nonlinear oscillator equations. It presents the author's original method for the analytical solution procedure of the pure nonlinear oscillator system. After an introduction, the physical explanation of the pure nonlinearity and of the pure nonlinear oscillator is given. The analytical solution for free and forced vibrations of the one-degree-of-freedom strong nonlinear system with constant and time variable parameters is considered. In this second edition of the book, the number of approximate solving procedures for strong nonlinear oscillators is enlarged and a variety of procedures for solving free strong nonlinear oscillators is suggested. A method for error estimation is also given which is suitable to compare the exact and approximate solutions. Besides the oscillators with one degree-of-freedom, the one and two mass oscillatory systems with two-degrees-of-freedom and continuous oscillators are considered. The chaos and chaos suppression in ideal and non-ideal mechanical systems is explained. In this second edition more attention is given to the application of the suggested methodologies and obtained results to some practical problems in physics, mechanics, electronics and biomechanics. Thus, for the oscillator with two degrees-of-freedom, a generalization of the solving procedure is performed. Based on the obtained results, vibrations of the vocal cord are analyzed. In the book the vibration of the axially purely nonlinear rod as a continuous system is investigated. The developed solving procedure and the solutions are applied to discuss the muscle vibration. Vibrations of an optomechanical system are analyzed using the oscillations of an oscillator with odd or even quadratic nonlinearities. The extension of the forced vibrations of the system is realized by introducing the Ateb periodic excitation force which is the series of a trigonometric function. The book is self-consistent and suitable for researchers and as a textbook for students and also professionals and engineers who apply these techniques to the field of nonlinear oscillations.

This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient. It also presents applications to database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big data structure. In Turing machines, input and output states form a system - when the system is in one state, the input is transformed into output. This computation is always deterministic and without any possible contradiction or defects. In natural computation there are defects and contradictions that have to be solved to give a coherent and effective computation. The new computation generates the morphology of the system that assumes different forms in time. Genetic process is the prototype of the morphogenetic computing. At the Boolean logic truth value, we substitute a set of truth (active sets) values with possible contradictions. The value of a proposition is a set of true and false values. The aim of morphogenetic computing is to use and solve the contradictions in order to transform systems to allow classical computation.

This contributed volume comprises research articles and reviews on topics connected to the mathematical modeling of cellular systems. These contributions cover signaling pathways, stochastic effects, cell motility and mechanics, pattern formation processes, as well as multi-scale approaches. All authors attended the workshop on "Modeling Cellular Systems" which took place in Heidelberg in October 2014. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.

This book describes an effective method for modeling advanced materials like polymers, composite materials and biomaterials, which are, as a rule, inhomogeneous. The thermoelastic theory with internal variables presented here provides a general framework for predicting a material's reaction to external loading. The basic physical principles provide the primary theoretical information, including the evolution equations of the internal variables. The cornerstones of this framework are the material representation of continuum mechanics, a weak nonlocality, a non-zero extra entropy flux, and a consecutive employment of the dissipation inequality. Examples of thermoelastic phenomena are provided, accompanied by detailed procedures demonstrating how to simulate them.

This text seeks to generate interest in abstract algebra by introducing each new structure and topic via a real-world application. The down-to-earth presentation is accessible to a readership with no prior knowledge of abstract algebra. Students are led to algebraic concepts and questions in a natural way through their everyday experiences. Applications include: Identification numbers and modular arithmetic (linear) error-correcting codes, including cyclic codes ruler and compass constructions cryptography symmetry of patterns in the real plane Abstract Algebra: Structure and Application is suitable as a text for a first course on abstract algebra whose main purpose is to generate interest in the subject or as a supplementary text for more advanced courses. The material paves the way to subsequent courses that further develop the theory of abstract algebra and will appeal to students of mathematics, mathematics education, computer science, and engineering interested in applications of algebraic concepts.

This authored monograph provides a detailed discussion of the boundary layer flow due to a moving plate. The topical focus lies on the 2- and 3-dimensional case, considering axially symmetric and unsteady flows. The author derives a criterion for the self-similar and non-similar flow, and the turbulent flow due to a stretching or shrinking sheet is also discussed. The target audience primarily comprises research experts in the field of boundary layer flow, but the book will also be beneficial for graduate students.

This book on constrained optimization is novel in that it fuses these themes: * use examples to introduce general ideas; * engage the student in spreadsheet computation; * survey the uses of constrained optimization;. * investigate game theory and nonlinear optimization, * link the subject to economic reasoning, and * present the requisite mathematics. Blending these themes makes constrained optimization more accessible and more valuable. It stimulates the student's interest, quickens the learning process, reveals connections to several academic and professional fields, and deepens the student's grasp of the relevant mathematics. The book is designed for use in courses that focus on the applications of constrained optimization, in courses that emphasize the theory, and in courses that link the subject to economics.

This work is motivated by the ongoing open question of how information in the outside world is represented and processed by the brain. Consequently, several novel methods are developed. A new mathematical formulation is proposed for the encoding and decoding of analog signals using integrate-and-fire neuron models. Based on this formulation, a novel algorithm, significantly faster than the state-of-the-art method, is proposed for reconstructing the input of the neuron. Two new identification methods are proposed for neural circuits comprising a filter in series with a spiking neuron model. These methods reduce the number of assumptions made by the state-of-the-art identification framework, allowing for a wider range of models of sensory processing circuits to be inferred directly from input-output observations. A third contribution is an algorithm that computes the spike time sequence generated by an integrate-and-fire neuron model in response to the output of a linear filter, given the input of the filter encoded with the same neuron model.

This monograph presents a graduate-level treatment of partial differential equations (PDEs) for engineers. The book begins with a review of the geometrical interpretation of systems of ODEs, the appearance of PDEs in engineering is motivated by the general form of balance laws in continuum physics. Four chapters are devoted to a detailed treatment of the single first-order PDE, including shock waves and genuinely non-linear models, with applications to traffic design and gas dynamics. The rest of the book deals with second-order equations. In the treatment of hyperbolic equations, geometric arguments are used whenever possible and the analogy with discrete vibrating systems is emphasized. The diffusion and potential equations afford the opportunity of dealing with questions of uniqueness and continuous dependence on the data, the Fourier integral, generalized functions (distributions), Duhamel's principle, Green's functions and Dirichlet and Neumann problems. The target audience primarily comprises graduate students in engineering, but the book may also be beneficial for lecturers, and research experts both in academia in industry.

It is widely recognized that the degree of development of a science is given by the transition from a mainly descriptive stage to a more quantitative stage. In this transition, qualitative interpretations (conceptual models) are complemented with quantification (numerical models, both, deterministic and stochastic). This has been the main task of mathematical geoscientists during the last forty years - to establish new frontiers and new challenges in the study and understanding of the natural world. Mathematics of Planet Earth comprises the proceedings of the International Association for Mathematical Geosciences Conference (IAMG2013), held in Madrid from September 2-6, 2013. The Conference addresses researchers, professionals and students. The proceedings contain more than 150 original contributions and give a multidisciplinary vision of mathematical geosciences.