This thesis presents an accurate and advanced numerical methodology to remedy difficulties such as direct numerical simulation of magnetohydrodynamic (MHD) flow in computational fluid dynamics (CFD), grid generation processes in tokamak fusion facilities, and the coupling between the surface tension force and Lorentz force in the metallurgical industry. In addition, on the basis of the numerical platform it establishes, it also investigates selected interesting topics, e.g. single bubble motion under the influence of either vertical or horizontal magnetic fields. Furthermore, it confirms the relation between the bubble's path instability and wake instability, and observes the anisotropic (isotropic) effect of the vertical (horizontal) magnetic field on the vortex structures, which determines the dynamic behavior of the rising bubble. The direct numerical simulation of magnetohydrodynamic (MHD) flows has proven difficult in the field of computational fluid dynamic (CFD) research, because it not only concerns the coupling of the equations governing the electromagnetic field and the fluid motion, but also calls for suitable numerical methods for computing the electromagnetic field. In tokamak fusion facilities, where the MHD effect is significant and the flow domain is complex, the process of grid generation requires considerable time and effort. Moreover, in the metallurgical industry, where multiphase MHD flows are usually encountered, the coupling between the surface tension force and Lorentz force adds to the difficulty of deriving direct numerical simulations.

Reliability theory is of fundamental importance for engineers and managers involved in the manufacture of high-quality products and the design of reliable systems. In order to make sense of the theory, however, and to apply it to real systems, an understanding of the basic stochastic processes is indispensable. As well as providing readers with useful reliability studies and applications, Stochastic Processes also gives a basic treatment of such stochastic processes as: the Poisson process, the renewal process, the Markov chain, the Markov process, and the Markov renewal process. Many examples are cited from reliability models to show the reader how to apply stochastic processes. Furthermore, Stochastic Processes gives a simple introduction to other stochastic processes such as the cumulative process, the Wiener process, the Brownian motion and reliability applications. Stochastic Processes is suitable for use as a reliability textbook by advanced undergraduate and graduate students. It is also of interest to researchers, engineers and managers who study or practise reliability and maintenance.

This volume comprises selected extended papers written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists 2015, Hong Kong, 18-20 March 2015. The conference served as a platform for discussion of frontier topics in theoretical and applied engineering and computer science, and subjects covered include communications systems, control theory and automation, bioinformatics, artificial intelligence, data mining, engineering mathematics, scientific computing, engineering physics, electrical engineering, and industrial applications. The book describes the state-of-the-art in engineering technologies and computer science and its applications, and will serve as an excellent reference for industrial and academic researchers and graduate students working in these fields.

Here, the authors present modern mathematical methods to solve problems of differential-operator inclusions and evolution variation inequalities which may occur in fields such as geophysics, aerohydrodynamics, or fluid dynamics. For the first time, they describe the detailed generalization of various approaches to the analysis of fundamentally nonlinear models and provide a toolbox of mathematical equations. These new mathematical methods can be applied to a broad spectrum of problems. Examples of these are phase changes, diffusion of electromagnetic, acoustic, vibro-, hydro- and seismoacoustic waves, or quantum mechanical effects. This is the second of two volumes dealing with the subject.

Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within a computer science framework. Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques - properly specialized to solve geometric problems - to seriously improve accuracy, robustness and efficiency of CAD-systems. It provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures and to improve control of NC machines. This book further introduces a noteworthy representation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numerical algebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the one hand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geometric modelling such as students, researchers and doctorates.

In the field of Dynamical Systems, nonlinear iterative processes play an important role. Nonlinear mappings can be found as immediate models for many systems from different scientific areas, such as engineering, economics, biology, or can also be obtained via numerical methods permitting to solve non-linear differential equations. In both cases, the understanding of specific dynamical behaviors and phenomena is of the greatest interest for scientists. This volume contains papers that were presented at the International Workshop on Nonlinear Maps and their Applications (NOMA 2011) held in Evora, Portugal, on September 15-16, 2011. This kind of collaborative effort is of paramount importance in promoting communication among the various groups that work in dynamical systems and networks in their research theoretical studies as well as for applications. This volume is suitable for graduate students as well as researchers in the field.

These proceedings from the 2012 symposium on "Chaos, complexity and leadership" reflect current research results from all branches of Chaos, Complex Systems and their applications in Management. Included are the diverse results in the fields of applied nonlinear methods, modeling of data and simulations, as well as theoretical achievements of Chaos and Complex Systems. Also highlighted are Leadership and Management applications of Chaos and Complexity Theory.

The bookopens with a derivation of kinematically nonlinear 3-D continuum mechanics for solids.
Then the principle of virtual work is utilizedto derive thesimpler, kinematically linear 3-D theory and to provide the foundation for developing consistent theories of kinematic nonlinearity and linearity for specialized continua, such as beams and plates, and finite element methods for these structures.
A formulation in terms of the versatile Budiansky-Hutchinson notation is used as basis for the theories for these structures and structural elements, as well as for an in-depth treatment of structural instability.

This volume collects a selection of refereed papers of the more than one hundred presented at the InternationalConference MAF 2008 - Mathematicaland Statistical Methods for Actuarial Sciences and Finance. The conference was organised by the Department of Applied Mathematics and theDepartment ofStatisticsoftheUniversityCa'Foscari Venice(Italy), withthec- laborationofthe Department ofEconomics and StatisticalSciences ofthe University ofSalerno(Italy).Itwas heldinVenice, fromMarch 26to28,2008, attheprestigious CavalliFranchettipalace, alongGrand Canal, oftheIstitutoVenetodiScienze, Lettere ed Arti. This conference was the ?rst international edition of a biennial national series begunin2004, whichwas bornof thebrilliantbeliefofthe colleagues -and friends- oftheDepartmentofEconomicsandStatisticalSciences oftheUniversityofSalerno: the idea following which the cooperation between mathematicians and statisticians in working in actuarial sciences, in insurance and in ?nance can improve research on these topics. The proof of this consists in the wide participation in these events. In particular, with reference to the 2008 internationaledition: - More than 150 attendants, both academicians and practitioners; - More than 100 accepted communications, organised in 26 parallel sessions, from authors coming from about twenty countries (namely: Canada, Colombia, Czech Republic, France, Germany, Great Britain, Greece, Hungary, Ireland, Israel, Italy, Japan, Poland, Spain, Sweden, Switzerland, Taiwan, USA); - two plenary guest-organised sessions; and - aprestigiouskeynotelecturedeliveredbyProfessorWolfgangHa ]rdleoftheH- boldt Universityof Berlin (Germany)

This book describes models of the neuron and multilayer neural structures, with a particular focus on mathematical models. It also discusses electronic circuits used as models of the neuron and the synapse, and analyses the relations between the circuits and mathematical models in detail. The first part describes the biological foundations and provides a comprehensive overview of the artificial neural networks. The second part then presents mathematical foundations, reviewing elementary topics, as well as lesser-known problems such as topological conjugacy of dynamical systems and the shadowing property. The final two parts describe the models of the neuron, and the mathematical analysis of the properties of artificial multilayer neural networks. Combining biological, mathematical and electronic approaches, this multidisciplinary book it useful for the mathematicians interested in artificial neural networks and models of the neuron, for computer scientists interested in formal foundations of artificial neural networks, and for the biologists interested in mathematical and electronic models of neural structures and processes.

Vehicular communication is a key technology in intelligent transportation systems. For many years now, the academic and industrial research communities have been investigating these communications in order to improve efficiency and safety of future transportation. Vehicular networking offers a wide variety of applications, including safety applications as well as infotainment applications. This book highlights the recent developments in vehicular networking technologies and their interaction with future smart cities in order to promote further research activities and challenges. SAADI BOUDJIT, University of Paris 13, France HAKIMA CHAOUCHI, Telecom SudParis, France YACINE GHAMRI, University La Rochelle, France HALABI HASBULLAH, Universiti Teknologi Petronas, Malaysia ANIS LAOUITI, Telecom SudParis, France SAOUCENE MAHFOUDH, Jeddah, Saudi Arabia PAUL MUHLETHALER, INRIA, France AMIR QAYYUM, Mohamad Ali Jinnah University, Pakistan NAUFAL SAAD, Universiti Teknologi Petronas, Malaysia AHMED SOUA, NIST, USA HAJIME TAZAKI, University of Tokyo, Japan APINUN TUNPAN, Aintec, Thailand WEI WEI, Xi'an University, China RACHID ZAGROUBA, ENSI, Tunisia.

This volume, dedicated to Carl Pearcy on the occasion of his 60th birthday, presents recent results in operator theory, nonselfadjoint operator algebras, measure theory and the theory of moments. The articles on these subjects have been contributed by leading area experts, many of whom were associated with Carl Pearcy as students or collaborators. The book testifies to his multifaceted interests and includes a biographical sketch and a list of publications.

This book collects the proceedings of the Algebra, Geometry and Mathematical Physics Conference, held at the University of Haute Alsace, France, October 2011. Organized in the four areas of algebra, geometry, dynamical symmetries and conservation laws and mathematical physics and applications, the book covers deformation theory and quantization; Hom-algebras and n-ary algebraic structures; Hopf algebra, integrable systems and related math structures; jet theory and Weil bundles; Lie theory and applications; non-commutative and Lie algebra and more.

The papers explore the interplay between research in contemporary mathematics and physics concerned with generalizations of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, non-commutative geometry and applications in physics and beyond.

The book benefits a broad audience of researchers and advanced students.

This volume provides a discussion of the challenges and perspectives of electromagnetics and network theory and their microwave applications in all aspects. It collects the most interesting contribution of the symposium dedicated to Professor Peter Russer held in October 2009 in Munich.

This book is an attempt to provide a uni?ed methodology to derive models for fatigue life. This includes S-N, ?-N and crack propagation models. This is not a conventional book aimed at describing the fatigue fundamentals, but rather a book in which the basic models of the three main fatigue approaches, the stress-based, the strain-based and the fracture mechanics approaches, are contemplated from a novel and integrated point of view. On the other hand, as an alternative to the preferential attention paid to deterministic models based on the physical, phenomenological and empirical description of fatigue, their probabilistic nature is emphasized in this book, in which stochastic fatigue and crack growth models are presented. This book is the result of a long period of close collaborationbetween its two authors who, although of di?erent backgrounds, mathematical and mechanical, both have a strong sense of engineering with respect to the fatigue problem. When the authors of this book ?rst approached the fatigue ?eld in 1982 (twenty six years ago), they found the following scenario: 1. Linear, bilinear or trilinear models were frequently proposed by relevant laboratoriesandacademiccenterstoreproducetheW] ohler?eld. Thiswas the case of well known institutions, which justi?ed these models based on clientrequirementsorpreferences. Thisledtotheinclusionofsuchmodels and methods as, for example, the up-and-down, in standards and o?cial practical directives (ASTM, Euronorm, etc.), which have proved to be unfortunate."

The Stroh formalism is a powerful and elegant mathematical method developed for the analysis of the equations of anisotropic elasticity. The purpose of this exposition is to introduce the essence of this formalism and demonstrate its effectiveness in both static and dynamic elasticity. The equations of elasticity are complicated, because they constitute a system and, particularly for the anisotropic cases, inherit many parameters from the elasticity tensor. The Stroh formalism reveals simple structures hidden in the equations of anisotropic elasticity and provides a systematic approach to these equations. This work will appeal to students and researchers in applied mathematics, mechanics, and engineering science.

Understanding the fatigue behaviour of structural components under variable load amplitude is an essential prerequisite for safe and reliable light-weight design. For designing and dimensioning, the expected stress (load) is compared with the capacity to withstand loads (fatigue strength). In this process, the safety necessary for each particular application must be ensured. A prerequisite for ensuring the required fatigue strength is a reliable load assumption. The authors describe the transformation of the stress- and load-time functions which have been measured under operational conditions to spectra or matrices with the application of counting methods. The aspects which must be considered for ensuring a reliable load assumption for designing and dimensioning are discussed in detail. Furthermore, the theoretical background for estimating the fatigue life of structural components is explained, and the procedures are discussed for numerous applications in practice. One of the prime intentions of the authors is to provide recommendations which can be implemented in practical applications.

This book deals with the problem of dynamics of bodies with time-variable mass and moment of inertia. Mass addition and mass separation from the body are treated. Both aspects of mass variation, continual and discontinual, are considered. Dynamic properties of the body are obtained applying principles of classical dynamics and also analytical mechanics. Advantages and disadvantages of both approaches are discussed. Dynamics of constant body is adopted, and the characteristics of the mass variation of the body is included. Special attention is given to the influence of the reactive force and the reactive torque. The vibration of the body with variable mass is presented. One and two degrees of freedom oscillators with variable mass are discussed. Rotors and the Van der Pol oscillator with variable mass are displayed. The chaotic motion of bodies with variable mass is discussed too. To support learning, some solved practical problems are included.

The book discusses continuous and discrete systems in systematic and sequential approaches for all aspects of nonlinear dynamics. The unique feature of the book is its mathematical theories on flow bifurcations, oscillatory solutions, symmetry analysis of nonlinear systems and chaos theory. The logically structured content and sequential orientation provide readers with a global overview of the topic. A systematic mathematical approach has been adopted, and a number of examples worked out in detail and exercises have been included. Chapters 1-8 are devoted to continuous systems, beginning with one-dimensional flows. Symmetry is an inherent character of nonlinear systems, and the Lie invariance principle and its algorithm for finding symmetries of a system are discussed in Chap. 8. Chapters 9-13 focus on discrete systems, chaos and fractals. Conjugacy relationship among maps and its properties are described with proofs. Chaos theory and its connection with fractals, Hamiltonian flows and symmetries of nonlinear systems are among the main focuses of this book. Over the past few decades, there has been an unprecedented interest and advances in nonlinear systems, chaos theory and fractals, which is reflected in undergraduate and postgraduate curricula around the world. The book is useful for courses in dynamical systems and chaos, nonlinear dynamics, etc., for advanced undergraduate and postgraduate students in mathematics, physics and engineering.

Since the first experimental achievement of Bosea "Einstein condensates (BEC) in 1995 and the award of the Nobel Prize for Physics in 2001, the properties of these gaseous quantum fluids have been the focus of international interest in condensed matter physics. This monograph is dedicated to the mathematical modeling of some specific experiments which display vortices and to a rigorous analysis of features emerging experimentally.

In contrast to a classical fluid, a quantum fluid such as a Bosea "Einstein condensate can rotate only through the nucleation of quantized vortices beyond some critical velocity. There are two interesting regimes: one close to the critical velocity, where there is only one vortex that has a very special shape; and another one at high rotation values, for which a dense lattice is observed.

One of the key features related to superfluidity is the existence of these vortices. We address this issue mathematically and derive information on their shape, number and location. In the dilute limit of the experiments, the condensate is well described by a mean field theory and a macroscopic wave function solving the so-called Grossa "Pitaevskii equation. The mathematical tools employed are energy estimates, Gamma convergence, and homogenization techniques. We prove existence of solutions that have properties consistent with the experimental observations. Open problems related to recent experiments are presented.

The work can serve as a reference for mathematical researchers and theoretical physicists interested in superfluidity and quantum condensates, and can also complement a graduate seminar in elliptic PDEs or modeling of physical experiments.

This volume originates from the INDAM Symposium on Trends on Applications of Mathematics to Mechanics (STAMM), which was held at the INDAM headquarters in Rome on 5-9 September 2016. It brings together original contributions at the interface of Mathematics and Mechanics. The focus is on mathematical models of phenomena issued from various applications. These include thermomechanics of solids and gases, nematic shells, thin films, dry friction, delamination, damage, and phase-field dynamics. The papers in the volume present novel results and identify possible future developments. The book is addressed to researchers involved in Mathematics and its applications to Mechanics.

The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.

This volume presents the major outcome of the IUTAM symposium on Advanced Materials Modeling for Structures . It discusses advances in high temperature materials research, and also to provides a discussion the new horizon of this fundamental field of applied mechanics. The topics cover a large domain of research but place a particular emphasis on multiscale approaches at several length scales applied to non linear and heterogeneous materials.
Discussions of new approaches are emphasised from various related disciplines, including metal physics, micromechanics, mathematical and computational mechanics."

This book presents a comprehensive and detailed study on iterative learning control (ILC) for systems with iteration-varying trial lengths. Instead of traditional ILC, which requires systems to repeat on a fixed time interval, this book focuses on a more practical case where the trial length might randomly vary from iteration to iteration. The iteration-varying trial lengths may be different from the desired trial length, which can cause redundancy or dropouts of control information in ILC, making ILC design a challenging problem. The book focuses on the synthesis and analysis of ILC for both linear and nonlinear systems with iteration-varying trial lengths, and proposes various novel techniques to deal with the precise tracking problem under non-repeatable trial lengths, such as moving window, switching system, and searching-based moving average operator. It not only discusses recent advances in ILC for systems with iteration-varying trial lengths, but also includes numerous intuitive figures to allow readers to develop an in-depth understanding of the intrinsic relationship between the incomplete information environment and the essential tracking performance. This book is intended for academic scholars and engineers who are interested in learning about control, data-driven control, networked control systems, and related fields. It is also a useful resource for graduate students in the above field.