Taking the Qinghai-Tibet Railway as an example, this book introduces intelligent processing for Global Positioning Data (GPS) data. Combining theory with practical applications, it provides essential insights into the Chinese Qinghai-Tibet Railway and novel methods of data processing for GPS satellite positioning, making it a valuable resource for all those working with train control systems, train positioning systems, satellite positioning, and intelligent data processing. As satellite positioning guarantees the safe and efficient operation of train control systems, it focuses on how to best process the GPS data collected, including methods for error detection, reduction and information fusion.

This volume offers an overview of the area of waves in fluids and the role they play in the mathematical analysis and numerical simulation of fluid flows. Based on lectures given at the summer school "Waves in Flows", held in Prague from August 27-31, 2018, chapters are written by renowned experts in their respective fields. Featuring an accessible and flexible presentation, readers will be motivated to broaden their perspectives on the interconnectedness of mathematics and physics. A wide range of topics are presented, working from mathematical modelling to environmental, biomedical, and industrial applications. Specific topics covered include: Equatorial wave-current interactions Water-wave problems Gravity wave propagation Flow-acoustic interactions Waves in Flows will appeal to graduate students and researchers in both mathematics and physics. Because of the applications presented, it will also be of interest to engineers working on environmental and industrial issues.

The first part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras. This volume is devoted specifically to the mathematical aspects of Clifford algebras and their applications in physics. Algebraic geometry, cohomology, non-communicative spaces, "q"-deformations and the related quantum groups, and projective geometry provide the basis for algebraic topics covered. Physical applications and extensions of physical theories such as the theory of quaternionic spin, a projective theory of hadron transformation laws, and electron scattering are also presented, showing the broad applicability of Clifford geometric algebras in solving physical problems. Treatment of the structure theory of quantum Clifford algebras, the connection to logic, group representations, and computational techniques including symbolic calculations and theorem proving rounds out the presentation.

Going far beyond the standard texts, this book extensively covers boundary integral equation (BIE) formulations and the boundary element method (BEM). The first section introduces BIE formulations for potential and elasticity problems, following the modern regularization approach - the fundamental starting point for research in this field. Secondly, a clear description of BIE formulations for wave and elastodynamics problems, in both time and frequency domains is presented. Finally, recent research in the field, related to variational integral formulations, use of geometrical symmetry, shape sensitivity and fracture mechanics is summarised. Within the text a broad range of application areas, industrial as well as research related, are examined. These include:

• elasticity and small-strain elastoplasticity
• time-domain and frequency-domain scalar and elastic waves
• fracture mechanics

This book presents a methodology based on inverse problems for use in solutions for fault diagnosis in control systems, combining tools from mathematics, physics, computational and mathematical modeling, optimization and computational intelligence. This methodology, known as fault diagnosis - inverse problem methodology or FD-IPM, unifies the results of several years of work of the authors in the fields of fault detection and isolation (FDI), inverse problems and optimization. The book clearly and systematically presents the main ideas, concepts and results obtained in recent years. By formulating fault diagnosis as an inverse problem, and by solving it using metaheuristics, the authors offer researchers and students a fresh, interdisciplinary perspective for problem solving in these fields. Graduate courses in engineering, applied mathematics and computing also benefit from this work.

This book presents in detail an alternative approach to solving problems involving both linear and nonlinear oscillations of elastic distributed parameter systems. It includes the so-called variational, projection and iterative gradient methods, which, when applied to nonlinear problems, use the procedure of linearization of the original non-linear equations. These methods are not universal and require a different solution for each problem or class of problems.However, in many cases the combination of the methods shown in this book leads to more efficient algorithms for solving important applied problems.To record these algorithms in a unified form, the first part of the book and its appendix devote considerable attention to compiling the general operator equations, which include (as particular cases) equations for vibrations in rods, plates, shells and three-dimensional bodies. They are mainly considered to be periodic or nearly periodic oscillations, which correspond to stat ionary or nearly stationary regimes of machinery operation. In turn, the second part of the book presents a number of solutions for selected applications.

Numerical Linear Algebra with Julia provides in-depth coverage of fundamental topics in numerical linear algebra, including how to solve dense and sparse linear systems, compute QR factorizations, compute the eigendecomposition of a matrix, and solve linear systems using iterative methods such as conjugate gradient. The style is friendly and approachable and cartoon characters guide the way. Inside this book, readers will find detailed descriptions of algorithms, implementations in Julia that illustrate concepts and allow readers to explore methods on their own, and illustrations and graphics that emphasize core concepts and demonstrate algorithms. Numerical Linear Algebra with Julia is a textbook for undergraduate and graduate students. It is appropriate for the following courses: Advanced Numerical Analysis, Special Topics on Numerical Analysis, Topics on Data Science, Topics on Numerical Optimization, and Topics on Approximation Theory. The book may also serve as a reference for researchers in various fields such as computational engineering, statistics, data-science, and machine learning, who depend on numerical solvers in linear algebra.

This book puts in one place and in accessible form Richard Berk's most recent work on forecasts of re-offending by individuals already in criminal justice custody. Using machine learning statistical procedures trained on very large datasets, an explicit introduction of the relative costs of forecasting errors as the forecasts are constructed, and an emphasis on maximizing forecasting accuracy, the author shows how his decades of research on the topic improves forecasts of risk. Criminal justice risk forecasts anticipate the future behavior of specified individuals, rather than "predictive policing" for locations in time and space, which is a very different enterprise that uses different data different data analysis tools. The audience for this book includes graduate students and researchers in the social sciences, and data analysts in criminal justice agencies. Formal mathematics is used only as necessary or in concert with more intuitive explanations.

An Introduction to Wavelets is the first volume in a new series, WAVELET ANALYSIS AND ITS APPLICATIONS. This is an introductory treatise on wavelet analysis, with an emphasis on spline wavelets and time-frequency analysis. Among the basic topics covered in this book are time-frequency localization, integral wavelet transforms, dyadic wavelets, frames, spline-wavelets, orthonormal wavelet bases, and wavelet packets. In addition, the author presents a unified treatment of nonorthogonal, semiorthogonal, and orthogonal wavelets. This monograph is self-contained, the only prerequisite being a basic knowledge of function theory and real analysis. It is suitable as a textbook for a beginning course on wavelet analysis and is directed toward both mathematicians and engineers who wish to learn about the subject. Specialists may use this volume as a valuable supplementary reading to the vast literature that has already emerged in this field.
Key Features
* This is an introductory treatise on wavelet analysis, with an emphasis on spline-wavelets and time-frequency analysis
* This monograph is self-contained, the only prerequisite being a basic knowledge of function theory and real analysis
* Suitable as a textbook for a beginning course on wavelet analysis

Markov process theory is basically an extension of ordinary calculus to accommodate functions whos time evolutions are not entirely deterministic. It is a subject that is becoming increasingly important for many fields of science. This book develops the single-variable theory of both continuous and jump Markov processes in a way that should appeal especially to physicists and chemists at the senior and graduate level.
Key Features
* A self-contained, prgamatic exposition of the needed elements of random variable theory
* Logically integrated derviations of the Chapman-Kolmogorov equation, the Kramers-Moyal equations, the Fokker-Planck equations, the Langevin equation, the master equations, and the moment equations
* Detailed exposition of Monte Carlo simulation methods, with plots of many numerical examples
* Clear treatments of first passages, first exits, and stable state fluctuations and transitions
* Carefully drawn applications to Brownian motion, molecular diffusion, and chemical kinetics

This book presents a new approach to modeling carbon structures such as graphene and carbon nanotubes using finite element methods, and addresses the latest advances in numerical studies for these materials. Based on the available findings, the book develops an effective finite element approach for modeling the structure and the deformation of grapheme-based materials. Further, modeling processing for single-walled and multi-walled carbon nanotubes is demonstrated in detail.

This book concerns the most up-to-date advances in computational transport phenomena (CTP), an emerging tool for the design of gas-solid processes such as fluidized bed systems. The authors examine recent work in kinetic theory and CTP and illustrate gas-solid processes' many applications in the energy, chemical, pharmaceutical, and food industries. They also discuss the kinetic theory approach in developing constitutive equations for gas-solid flow systems and how it has advanced over the last decade as well as the possibility of obtaining innovative designs for multiphase reactors, such as those needed to capture CO2 from flue gases. Suitable as a concise reference and a textbook supplement for graduate courses, Computational Transport Phenomena of Gas-Solid Systems is ideal for practitioners in industries involved with the design and operation of processes based on fluid/particle mixtures, such as the energy, chemicals, pharmaceuticals, and food processing.

This book presents new efficient methods for optimization in realistic large-scale, multi-agent systems. These methods do not require the agents to have the full information about the system, but instead allow them to make their local decisions based only on the local information, possibly obtained during communication with their local neighbors. The book, primarily aimed at researchers in optimization and control, considers three different information settings in multi-agent systems: oracle-based, communication-based, and payoff-based. For each of these information types, an efficient optimization algorithm is developed, which leads the system to an optimal state. The optimization problems are set without such restrictive assumptions as convexity of the objective functions, complicated communication topologies, closed-form expressions for costs and utilities, and finiteness of the system's state space.

Heat equation asymptotics of a generalized Ahlfors Laplacian on a manifold with boundary.- Recurrent versus diffusive quantum behavior for time-dependent Hamiltonians.- Perturbations of spectral measures for Feller operators.- A global approach to the location of quantum resonances.- On estimates for the eigen-values in some elliptic problems.- Quantum scattering with long-range magnetic fields.- Spectral invariance and submultiplicativity for Frechet algebras with applications to pseudo-differential operators and ?* -quantization.- Decroissance exponentielle des fonctions propres pour l'operateur de Kac: le cas de la dimension > 1.- Second order perturbations of divergence type operators with a spectral gap.- On the Weyl quantized relativistic Hamiltonian.- Spectral asymptotics for the family of commuting operators.- Pseudo differential operators with negative definite functions as symbol: Applications in probability theory and mathematical physics.- One-dimensional Schroedinger operators with high potential barriers.- General boundary value problems in regions with corners.- Some results for nonlinear equations in cylindrical domains.- Global representation of Langrangian distributions.- Stable asymptotics of the solution to the Dirichlet problem for elliptic equations of second order in domains with angular points or edges.- Maslov operator calculus and non-commutative analysis.- Relative time delay and trace formula for long range perturbations of Laplace operators.- Functional calculus and Fredholm criteria for boundary value problems on noncompact manifolds.- The variable discrete asymptotics of solutions of singular boundary value problems.- Schroedinger operators with arbitrary non-negative potentials.- Abel summability of the series of eigen- and associated functions of the integral and differential operators.- The relativistic oscillator.- On the ratio of odd and even spectral counting functions.- A trace class property of singularly perturbed generalized Schroedinger semi-groups.- Radiation conditions and scattering theory for N-particle Hamiltonians (main ideas of the approach).

This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode. The authors propose a definition of discrete-time higher order sliding mode and a control law is designed by means of a concept for an uncertain linear-time invariant system, as well as the behavior of the closed-loop system is analyzed. Moreover, the book includes a thorough treatment of the probabilistic and non-deterministic case, i.e. stochastic discrete-time higher order sliding mode. The target audience primarily comprises research experts in control theory but the book may also be beneficial for graduate students alike.

The topics covered in this book, written by researchers at the forefront of their field, represent some of the most relevant research areas in modern coding theory: codes and combinatorial structures, algebraic geometric codes, group codes, quantum codes, convolutional codes, network coding and cryptography. The book includes a survey paper on the interconnections of coding theory with constrained systems, written by an invited speaker, as well as 37 cutting-edge research communications presented at the 4th International Castle Meeting on Coding Theory and Applications (4ICMCTA), held at the Castle of Palmela in September 2014. The event's scientific program consisted of four invited talks and 39 regular talks by authors from 24 different countries. This conference provided an ideal opportunity for communicating new results, exchanging ideas, strengthening international cooperation, and introducing young researchers into the coding theory community.

This volume comprises the latest developments in both fundamental science and patient-specific applications, discussing topics such as: cellular mechanics; injury biomechanics; biomechanics of heart and vascular system; medical image analysis; and both patient-specific fluid dynamics and solid mechanics simulations. With contributions from researchers world-wide, the Computational Biomechanics for Medicine series of titles provides an opportunity for specialists in computational biomechanics to present their latest methodologies and advancements.

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others. The workshop discussed the state of the art and the further evolution of numerical techniques for simulation in engineering and science. We focus on current trends in numerical simulation in science and engineering, new requirements arising from rapidly increasing parallelism in computer architectures, and novel mathematical approaches. Accordingly, the chapters of the book particularly focus on parallel algorithms and performance optimization, coupled systems, and complex applications and optimization.

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.

This book provides an accessible introduction to the basic theory of fluid mechanics and computational fluid dynamics (CFD) from a modern perspective that unifies theory and numerical computation. Methods of scientific computing are introduced alongside with theoretical analysis and MATLAB (R) codes are presented and discussed for a broad range of topics: from interfacial shapes in hydrostatics, to vortex dynamics, to viscous flow, to turbulent flow, to panel methods for flow past airfoils. The third edition includes new topics, additional examples, solved and unsolved problems, and revised images. It adds more computational algorithms and MATLAB programs. It also incorporates discussion of the latest version of the fluid dynamics software library FDLIB, which is freely available online. FDLIB offers an extensive range of computer codes that demonstrate the implementation of elementary and advanced algorithms and provide an invaluable resource for research, teaching, classroom instruction, and self-study. This book is a must for students in all fields of engineering, computational physics, scientific computing, and applied mathematics. It can be used in both undergraduate and graduate courses in fluid mechanics, aerodynamics, and computational fluid dynamics. The audience includes not only advanced undergraduate and entry-level graduate students, but also a broad class of scientists and engineers with a general interest in scientific computing.

Computational modeling allows to reduce, refine and replace animal experimentation as well as to translate findings obtained in these experiments to the human background. However these biomedical problems are inherently complex with a myriad of influencing factors, which strongly complicates the model building and validation process. This book wants to address four main issues related to the building and validation of computational models of biomedical processes: 1. Modeling establishment under uncertainty 2. Model selection and parameter fitting 3. Sensitivity analysis and model adaptation 4. Model predictions under uncertainty In each of the abovementioned areas, the book discusses a number of key-techniques by means of a general theoretical description followed by one or more practical examples. This book is intended for graduate students and researchers active in the field of computational modeling of biomedical processes who seek to acquaint themselves with the different ways in which to study the parameter space of their model as well as its overall behavior.

This book represents a collection of papers presented at the 2nd World Congress on Integrated Computational Materials Engineering (ICME), a specialty conference organized by The Minerals, Metals & Materials Society (TMS).

This volume presents the proceedings of the 11th Conference on Problems and Methods in Mathematical Physics (11th TMP), held in Chemnitz, March 25-28, 1999. The conference was dedicated to the memory of Siegfried PrAssdorf, who made important contributions to the theory and numerical analysis of operator equations and their applications in mathematical physics and mechanics. The main part of the book comprises original research papers. The topics are ranging from integral and pseudodifferential equations, boundary value problems, operator theory, boundary element and wavelet methods, approximation theory and inverse problems to various concrete problems and applications in physics and engineering, and reflect PrAssdorf's broad spectrum of research activities. The volume also contains articles describing the life and mathematical achievements of Siegfried PrAssdorf and includes a list of his publications. The book is addressed to a wide audience in the mathematical and engineering sciences.

Modern optimization approaches have attracted many research scientists, decision makers and practicing researchers in recent years as powerful intelligent computational techniques for solving several complex real-world problems. The Handbook of Research on Modern Optimization Algorithms and Applications in Engineering and Economics highlights the latest research innovations and applications of algorithms designed for optimization applications within the fields of engineering, IT, and economics. Focusing on a variety of methods and systems as well as practical examples, this book is a significant resource for graduate-level students, decision makers, and researchers in both public and private sectors who are seeking research-based methods for modeling uncertain real-world problems.

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.