FEFLOW is an acronym of Finite Element subsurface FLOW simulation system and solves the governing flow, mass and heat transport equations in porous and fractured media by a multidimensional finite element method for complex geometric and parametric situations including variable fluid density, variable saturation, free surface(s), multispecies reaction kinetics, non-isothermal flow and multidiffusive effects. FEFLOW comprises theoretical work, modeling experiences and simulation practice from a period of about 40 years. In this light, the main objective of the present book is to share this achieved level of modeling with all required details of the physical and numerical background with the reader. The book is intended to put advanced theoretical and numerical methods into the hands of modeling practitioners and scientists. It starts with a more general theory for all relevant flow and transport phenomena on the basis of the continuum approach, systematically develops the basic framework for important classes of problems (e.g., multiphase/multispecies non-isothermal flow and transport phenomena, discrete features, aquifer-averaged equations, geothermal processes), introduces finite-element techniques for solving the basic balance equations, in detail discusses advanced numerical algorithms for the resulting nonlinear and linear problems and completes with a number of benchmarks, applications and exercises to illustrate the different types of problems and ways to tackle them successfully (e.g., flow and seepage problems, unsaturated-saturated flow, advective-diffusion transport, saltwater intrusion, geothermal and thermohaline flow).
Thứ Hai, 23 tháng 2, 2015
Thứ Năm, 12 tháng 2, 2015
Analysis on Graphs and Its Applications
This book addresses a new interdisciplinary area emerging on the border between various areas of mathematics, physics, chemistry, nanotechnology, and computer science. The focus here is on problems and techniques related to graphs, quantum graphs, and fractals that parallel those from differential equations, differential geometry, or geometric analysis. Also included are such diverse topics as number theory, geometric group theory, waveguide theory, quantum chaos, quantum wiresystems, carbon nano-structures, metal-insulator transition, computer vision, and communication networks.This volume contains a unique collection of expert reviews on the main directions in analysis on graphs (e.g., on discrete geometric analysis, zeta-functions on graphs, recently emerging connections between the geometric group theory and fractals, quantum graphs, quantum chaos on graphs, modeling waveguide systems and modeling quantum graph systems with waveguides, control theory on graphs), as well as research articles.
Thứ Hai, 9 tháng 2, 2015
Discrete Mathematics Using aComputer
This volume offers a new, ‘hands-on’ approach to teaching Discrete Mathematics. A simple functional language is used to allow students to experiment with mathematical notations which are traditionally difficult to pick up. This practical approach provides students with instant feedback and also allows lecturers to monitor progress easily. All the material needed to use the book will be available via ftp (the software is freely available and runs on Mac, PC and Unix platforms), including a special module which implements the concepts to be learned. No prior knowledge of Functional Programming is required: apart from List Comprehension (which is comprehensively covered in the text) everything the students need is either provided for them or can be picked up easily as they go along. An Instructors Guide will also be available on the WWW to help lecturers adapt existing courses.
Thứ Năm, 5 tháng 2, 2015
Numerical Analysis of Vibrations of Structures under Moving Inertial Load
Moving inertial loads are applied to structures in civil engineering, robotics, and mechanical engineering. Some fundamental books exist, as well as thousands of research papers. Well known is the book by L. Frba, Vibrations of Solids and Structures Under Moving Loads, which describes almost all problems concerning non-inertial loads. This book presents broad description of numerical tools successfully applied to structural dynamic analysis. Physically we deal with non-conservative systems. The discrete approach formulated with the use of the classical finite element method results in elemental matrices, which can be directly added to global structure matrices. A more general approach is carried out with the space-time finite element method. In such a case, a trajectory of the moving concentrated parameter in space and time can be simply defined. We consider structures described by pure hyperbolic differential equations such as strings and structures described by hyperbolic-parabolic differential equations such as beams and plates. More complex structures such as frames, grids, shells, and three-dimensional objects, can be treated with the use of the solutions given in this book.
Thứ Hai, 2 tháng 2, 2015
A First Course in Fourier Analysis
This unique book provides a meaningful resource for applied mathematics through Fourier analysis. It develops a unified theory of discrete and continuous (univariate) Fourier analysis, the fast Fourier transform, and a powerful elementary theory of generalized functions and shows how these mathematical ideas can be used to study sampling theory, PDEs, probability, diffraction, musical tones, and wavelets. The book contains an unusually complete presentation of the Fourier transform calculus. It uses concepts from calculus to present an elementary theory of generalized functions. FT calculus and generalized functions are then used to study the wave equation, diffusion equation, and diffraction equation. Real-world applications of Fourier analysis are described in the chapter on musical tones. A valuable reference on Fourier analysis for a variety of students and scientific professionals, including mathematicians, physicists, chemists, geologists, electrical engineers, mechanical engineers, and others.
Thứ Năm, 29 tháng 1, 2015
Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems
This book presents selected fault diagnosis and fault-tolerant control strategies for non-linear systems in a unified framework. In particular, starting from advanced state estimation strategies up to modern soft computing, the discrete-time description of the system is employed Part I of the book presents original research results regarding state estimation and neural networks for robust fault diagnosis. Part II is devoted to the presentation of integrated fault diagnosis and fault-tolerant systems. It starts with a general fault-tolerant control framework, which is then extended by introducing robustness with respect to various uncertainties. Finally, it is shown how to implement the proposed framework for fuzzy systems described by the well-known TakagiSugeno models.
Thứ Ba, 20 tháng 1, 2015
Thứ Bảy, 17 tháng 1, 2015
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.
Thứ Sáu, 16 tháng 1, 2015
Empirical Techniques in Finance
The rapid advances in financial technology in the past decade have led to a commensurate increase in sophistication for modelling techniques needed by the researchers for the understanding of financial markets. The book aims at equipping graduate students, market analysts and others with a wide range of empirical techniques. It not only discusses the analytical structures behind such modelling approaches, but also explains how they are applied to actual data. Besides traditional elements of financial econometrics and statistical techniques commonly used in quantitative finance, the book covers: estimation of parametric and non-parametric models; advanced tools to deal with unobserved components; discrete time models of asset prices and of interest rates. Illustrations include speculative equity prices, equity and currency risk premium as well as real investment opportunity analysis and interest rate contingent claim valuation.
Chủ Nhật, 11 tháng 1, 2015
Foundations of Hyperbolic Manifolds - Second Edition
This book is an exposition of the theoretical foundations of hyperbolic manifolds. It is intended to be used both as a textbook and as a reference. The reader is assumed to have a basic knowledge of algebra and topology at the first year graduate level of an American university. The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The second part is devoted to the theory of hyperbolic manifolds. The third part integrates the first two parts in a development of the theory of hyperbolic orbifolds. The second edition contains hundreds of changes and corrections, and new additions include: A more thorough discussion of polytopes; Discussion of Simplex Reflection groups has been expanded to give a complete classification of the Gram matrices of spherical, Euclidean and hyperbolic n-simplices; A new section on the volume of a simplex, in which a derivation of Schlaflis differential formula is presented; A new section with a proof of the n-dimensional Gauss-Bonnet theorem. The exercises have been thoroughly reworked, pruned, and upgraded, and over 100 new exercises have been added. The author has also prepared a solutions manual which is available to professors who choose to adopt this text for their course.
Thứ Bảy, 10 tháng 1, 2015
Educating Professionals
Educating Professionals offers a comprehensively written account of the recent organizational and conceptual changes in UK practice education. Using case examples, the authors focus on student learning in practice settings: how this is organized, what methods are used and how their abilities are assessed. Covering nine professions in the field, the authors explore the overlap in these roles, their discrete areas of expertise and introduce the general concepts that translate between professions.
Chủ Nhật, 28 tháng 12, 2014
Numerical particle-in-cell Methods
Algorithms known as ‘particle’ methods, whose characteristic feature is the discretization technique when the set of discrete objects is introduced, which are model ‘particles’ considered as some mesh of moving nodes, are becoming more and more widespread in mathematical modelling. Until recently, particle methods have mainly been developed as an alternative to classical numerical methods for solving problems in some applied domains of physics and mathematics. As a result, no specialized monographs on this subject have been available.
A Natural Introduction to Probability Theory
‘The book [is] an excellent new introductory text on probability. The classical way of teaching probability is based on measure theory. In this book discrete and continuous probability are studied with mathematical precision, within the realm of Riemann integration and not using notions from measure theory. Numerous topics are discussed, such as: random walks, weak laws of large numbers, infinitely many repetitions, strong laws of large numbers, branching processes, weak convergence and [the] central limit theorem. The theory is illustrated with many original and surprising examples and problems.’ Zentralblatt Math ‘Most textbooks designed for a one-year course in mathematical statistics cover probability in the first few chapters as preparation for the statistics to come. This book in some ways resembles the first part of such textbooks: it’s all probability, no statistics. But it does the probability more fully than usual, spending lots of time on motivation, explanation, and rigorous development of the mathematics. The exposition is usually clear and eloquent. Overall, this is a five-star book on probability that could be used as a textbook or as a supplement.’ MAA online