الصفحة 4
الصفحة 4
Modellistica Numerica per Problemi Differenziali = Numerical Modeling for Differential Problems
This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. The volume is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Modelling in Mathematical Programming : Methodology and Techniques
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity to complex system models. It presents a unique methodology for the building of an integral mathematical model, as well as new techniques that help build under own criteria. It allows readers to structure models from the elements and variables to the constraints, a basic modelling guide for any system with a new scheme of variables, a classification of constraints and also a set of rules to model specifications stated as logical propositions, helping to better understand models already existing in the literature. It also presents the modelling of all possible objectives that may arise in optimization problems regarding the variables values. The book is structured to guide the reader in an orderly manner, learning of the components that the methodology establishes in an optimization problem. The system includes the elements, which are all the actors that participate in the system, decision activities that occur in the system, calculations based on the decision activities, specifications such as regulations, impositions or actions of defined value and objective criterion, which guides the resolution of the system.
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Modelli Dinamici Discreti = Discrete Dynamic Models
Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis between different disciplines, becoming a tool for qualitative and quantitative analysis in applied sciences. This volume provides an introduction to the analysis of discrete dynamic systems, following a modeling approach. An examination of a wide range of examples, models, and motivations drawn from Biology, Demography, Engineering and Economics, is followed by the presentation of the tools for the study of linear and non-linear scalar dynamical systems, with particular attention to stability analysis. The linear difference equations are studied in detail and an elementary introduction to the Z and DFT transforms is provided. One chapter is devoted to the study of bifurcations and chaotic dynamics. One-step vector dynamical systems and the applications of Markov chains are the subject of three chapters.
Modeling, Control and Implementation of Smart Structures : A FEM-State Space Approach
This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration control, their applications and the extensive research work done on it so far. The modelling of flexible beams using two types of beam theories, viz., the Euler-Bernoulli theory and the Timoshenko beam theory is presented, including a new concept of finite element modeling of the flexible structures using Timoshenko beam theory with the inclusion of the shear both in the piezo-patches as well as in the host structure. It presents the design of the periodic output feedback control system for smart structure systems, the design of the FOS controllers for active vibration control and the design of Discrete Sliding Mode controllers using multirate output feedback technique.
Modeling of metal forming and machining processes : By finite element and soft computing methods
The physics of metal forming and metal removing is normally expressed using non-linear partial differential equations which can be solved using the finite element method (FEM). However, when the process parameters are uncertain and/or the physics of the process is not well understood, soft computing techniques can be used with FEM or alone to model the process.
Modeling of Adhesively Bonded Joints
A lot of recent developments have been made about adhesively bonded joints modeling using various methods of analysis. The increasing application of adhesives in industry is partly due to the increased sophistication and reliability of adhesive joints modeling. The book proposed intends to provide the designer with the most advanced stress analyses techniques in adhesive joints to reinforce the use of this promising bonding technique.
Modeling Excitable Tissue : The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells.
Modeling and computations in electromagnetics ; A volume dedicated to Jean-Claude Nédélec
Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily increasing demand for designing electrical devices, modeling electromagnetic materials, and simulating electromagnetic fields in nanoscale structures. The aim of this volume is to bring together prominent worldwide experts to review state-of-the-art developments and future trends of modeling and computations in electromagnetics. This volume is devoted to merging the expertise of scientists working in this dynamic discipline, and to raising interest for challenging issues. The most significant advances in computational techniques have been made only in the last few years, and several challenging technological applications are presented in this volume.
Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26–July 1, 2006
Since the early 70's, mixed finite elements have been the object of a wide and deep study by the mathematical and engineering communities. The fundamental role of this method for many application fields has been worldwide recognized and its use has been introduced in several commercial codes. An important feature of mixed finite elements is the interplay between theory and application. Discretization spaces for mixed schemes require suitable compatibilities, so that simple minded approximations generally do not work and the design of appropriate stabilizations gives rise to challenging mathematical problems.
Mirror Geometry of Lie Algebras, Lie Groups and Homogeneous Spaces
As K. Nomizu has justly noted [K. Nomizu, 56], Differential Geometry ever will be initiating newer and newer aspects of the theory of Lie groups. This monograph is devoted to just some such aspects of Lie groups and Lie algebras. New differential geometric problems came into being in connection with so called subsymmetric spaces, subsymmetries, and mirrors introduced in our works dating back to 1957 [L.V. Sabinin, 58a,59a,59b]. In addition, the exploration of mirrors and systems of mirrors is of interest in the case of symmetric spaces. Geometrically, the most rich in content there appeared to be the homogeneous Riemannian spaces with systems of mirrors generated by commuting subsymmetries, in particular, so called tri-symmetric spaces introduced in [L.V. Sabinin, 61b]. As to the concrete geometric problem which needs be solved and which is solved in this monograph, we indicate, for example, the problem of the classification of all tri-symmetric spaces with simple compact groups of motions. Passing from groups and subgroups connected with mirrors and subsymmetries to the corresponding Lie algebras and subalgebras leads to an important new concept of the involutive sum of Lie algebras [L.V. Sabinin, 65]. This concept is directly concerned with unitary symmetry of elementary par- cles (see [L.V. Sabinin, 95,85] and Appendix 1). The first examples of involutive (even iso-involutive) sums appeared in the - ploration of homogeneous Riemannian spaces with and axial symmetry. The consideration of spaces with mirrors [L.V. Sabinin, 59b] again led to iso-involutive sums.
Microscopy of Semiconducting Materials ; Proceedings of the 14th Conference, April 11-14, 2005, Oxford, UK
This is a long-established international biennial conference series, organised in conjunction with the Royal Microscopical Society, Oxford, the Institute of Physics, London and the Materials Research Society, USA. The 14th conference in the series focused on the most recent advances in the study of the structural and electronic properties of semiconducting materials by the application of transmission and scanning electron microscopy. The latest developments in the use of other important microcharacterisation techniques were also covered and included the latest work using scanning probe microscopy and also X-ray topography and diffraction. Developments in materials science and technology covering the complete range of elemental and compound semiconductors are described in this volume.
Microscale Heat Transfer - Fundamentals and Applications ; Proceedings of the NATO Advanced Study Institute on Microscale Heat Transfer - Fundamentals and Applications in Biological and Microelectromechanical Systems, Cesme-Izmir, Turkey, 18-30 July, 2004
This volume contains an archival record of the NATO Advanced Institute on Microscale Heat Transfer – Fundamental and Applications in Biological and Microelectromechanical Systems held in Çesme – Izmir, Turkey, July 18–30, 2004.
Micronutrients and macronutrients as nutraceuticals
Explains in detail the properties of micronutrients and macronutrients and their diverse uses as nutraceuticals for their beneficial properties, such as their antioxidant activity and immunity-boosting properties and how they can be incorporated into the human diet for optimum health, for growing beneficial bacteria in the gut, and inhibition of pathogens. Interestingly, the authors look at how disease-promoting habits often unfold in childhood, even prenatally, and employing nutrigenomics early on goes a long way toward curbing these chronic diseases later on in life.
Micromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals with micromechanical analysis of interfaces and interface layers and presents several modelling tools, ranging from the rigorous method of asymptotic expansions to practical finite element simulations, suitable for this class of problems. Two application areas are discussed. Boundary layers associated with contact of rough bodies are modelled by applying a scale transition approach in which a macroscopic interface of zero thickness is seen at the micro-scale as a layer with some finite thickness. Secondly, evolution of laminated microstructures accompanying stress-induced martensitic transformations in shape memory alloys (SMA) is analyzed as an illustration of the case when the local interfacial phenomena – here the propagation of phase transformation fronts – govern the macroscopic behaviour of a heterogeneous material.
Micro-Macro-interaction : In Structured media and Particle Systems
This book presents the development of new methods in this interdisciplinary field of macro- micro-interactions of different engineering branches like mechanical and process engineering, applied mathematics, theoretical, and computational physics. In particular, solids with microstructures and particle systems are considered.
Microbial Sulfur Metabolism
In nature, sulfur occurs in many different oxidation states and is one of the most versatile elements in life. It is an integral part of many important cell constituents, such as the amino acids cysteine and methionine, and many sulfur compounds serve as the basis for energy-related processes in prokaryotes. In recent years, new methods have been applied to study the biochemistry and molecular biology of reactions of the global sulfur cycle, the microorganisms involved and their physiology, metabolism and ecology. These activities have uncovered fascinating new insights for the understanding of aerobic and anaerobic sulfur metabolism.
Microbial Linear Plasmids
Microbial Linear Plasmids constitutes the first attempt to comprehensively assemble current knowledge of different types of such elements, highlight recent developments in the field, and challenge the distinction between viruses and linear plasmids.
Micro-, Meso- and Macro-Dynamics of the Brain
This book brings together leading investigators who represent various aspects of brain dynamics with the goal of presenting state-of-the-art current progress and address future developments. The topics cover the most fascinating facets of neuroscience from elementary computation of neurons, mesoscopic network oscillations, internally generated assembly sequences in the service of cognition, large-scale neuronal interactions within and across systems, the impact of sleep on cognition, memory and mental illness, brain controlled robots, motor-sensory integration, spatial navigation, large-scale computation and consciousness. Overall, this volume offers an integrated view of the challenges and opportunities in deciphering brain circuits in health and disease.
Methods of Celestial Mechanics: Vol. I: Physical, Mathematical, and Numerical Principles
G. Beutler's Methods of Celestial Mechanics is a coherent textbook for students in physics, mathematics and engineering as well as an excellent reference for practitioners. This Volume I gives a thorough treatment of celestial mechanics and presents all the necessary mathematical details that a professional would need. After a brief review of the history of celestial mechanics, the equations of motion (Newtonian and relativistic versions) are developed for planetary systems (N-body-problem), for artificial Earth satellites, and for extended bodies (which includes the problem of Earth and lunar rotation). Perturbation theory is outlined in an elementary way from generally known mathematical principles without making use of the advanced tools of analytical mechanics. The variational equations associated with orbital motion - of fundamental importance for parameter estimation (e.g., orbit determination), numerical error propagation, and stability considerations - are introduced and their properties discussed in considerable detail. Numerical methods, especially for orbit determination and orbit improvement, are discussed in considerable depth. The algorithms may be easily applied to objects of the planetary system and to Earth satellites and space debris.
