الصفحة 8
الصفحة 8
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 Mechanical Engineering and Mechatronics : Towards Autonomous Intelligent Software Models
Modelling in Mechanical Engineering and Mechatronics presents a model-centred approach focusing on distributed development and use of autonomous intelligent software models, particularly the efficiency of the models, and their interaction and integration into distributed autonomous intelligent systems. In order to systematise the available knowledge, a domain ontology is presented; a subset of which is used to create a modelling theory based on knowledge and experience in the areas of software engineering, mechanical engineering and mechatronics. This holistic view of modelling explains the purpose and the essence of modelling, as well as the benefits that are to be expected. It discusses the relations to other branches of engineering and science and as a result, it demonstrates strategies, methods and tools for unleashing the full power of modelling.
Modelling Autonomic Communications Environments ; 3rd IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE International Workshop on Modelling Autonomic Communications Environments (MACE 2008).Asin the last two years, this workshopwasheld aspart of Manweek, the International Week on Management of Networks and Services, which took place on the lovely Island of Samos in Greece .MACE started as anexperimentin2006,andcreatedasmallcommunitythat nowfnds it self attracted backeachyearby afeeling ofexcitement-thatthere is something new going on. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshopitself.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
Modélisation et statistique spatiales = Spatial modeling and statistics
Spatial statistics are undergoing significant development due to their use in many fields: earth sciences, environment and climatology, epidemiology, econometrics, image analysis, etc. This book presents the main spatial models used as well as their statistics for the three types of data: geostatistics (observation on a continuous domain), data on a discrete network, point data. The objective is to present in a concise but mathematically complete way the most classical models (second order and variogram; software model and Gibbs-Markov field; point processes) as well as their simulation by MCMC algorithm. Then comes the presentation of statistical tools useful for their study.
Modeling of Biological Materials
This interdisciplinary collection of surveys highlights the central role played by the mathematical modeling of mechanical properties having an effect on the biology, chemistry, and physics of living matter. One of the main goals of the book is to present—in a single, self-contained resource—topics that are widely scattered across the literature in a variety of journals having mutually nonintersecting communities of readers, such as applied mathematicians, engineers, biologists, and physicians. Readers coming from diverse backgrounds are provided with basic modeling ideas and tools to address important problems in the medical and health sciences. Presented are appropriate models as well as their implementation through numerical and computer simulations, which may lead to potential technological innovations useful in medicine.
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics : Homogeneous and Heterogeneous Approaches
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows how advanced physical and mathematical methods can expand classical models in order to cover heterogeneous drug-biological processes and therapeutic effects in the body. The book is divided into four parts; the first deals with the fundamental principles of fractals, diffusion and nonlinear dynamics; the second with drug dissolution, release, and absorption; the third with empirical, compartmental, and stochastic pharmacokinetic models, and the fourth mainly with nonclassical aspects of pharmacodynamics. The classical models that have relevance and application to these sciences are also considered throughout. Many examples are used to illustrate the intrinsic complexity of drug administration related phenomena in the human, justifying the use of advanced modeling methods.
Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis
DEA is computational at its core and this book by Zhu and Cook deals with the micro aspects of handling and modeling data issues in modeling DEA problems. DEA's use has grown with its capability of dealing with complex "service industry" and the "public service domain" types of problems that require modeling both qualitative and quantitative data. It is a handbook treatment dealing with specific data problems including the following: (1) imprecise data, (2) inaccurate data, (3) missing data, (4) qualitative data, (5) outliers, (6) undesirable outputs, (7) quality data, (8) statistical analysis, (9) software and other data aspects of modeling complex DEA problems. In addition, the book demonstrates how to visualize DEA results when the data is more than 3-dimensional, and how to identify efficiency units quickly and accurately.
Modeling and simulation tools for emerging telecommunication networks : Needs, trends, challenges and solutions
This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action 285. The main objective of the Action is to enhance existing tools and develop new modeling and simulation tools for research in emerging multi-service telecommunication networks in the areas of model performance improvements, multilayer traffic modeling, and the important issue of evaluation and validation of the new modeling tools.
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.
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-Driven Design Using Business Patterns
This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more than 20 structural and behavioral business patterns that use the REA (resources, events, agents) pattern as a common backbone. If you are a developer working on business frameworks, you can use the patterns presented to derive the right abstractions (e.g., business objects) and to design and ensure that the meta-rules (e.g., process patterns) are followed by the developers of the actual applications. And if you are an application developer, you can use these patterns to design your business application, to ensure that it does not violate the domain rules, and to adapt the application to changing requirements without the need to change the overall architecture. As with patterns in general, this approach allows for both more flexible and more solid software architectures and hence better software quality.
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and can be difficult because of the complexity of the monitored system and its control architecture. The authors use bond-graph modelling, a unified multi-energy domain modelling method, to build dynamic models of process engineering systems by composing hierarchically arranged sub-models of various commonly encountered process engineering devices. The structural and causal properties of bond-graph models are exploited for supervisory systems design.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Model driven architecture- foundations and applications ; 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application-oriented issues.
Model Driven Architecture - Foundations and Applications ; 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Model and Design of Bipolar and MOS Current-Mode Logic : CML, ECL and SCL Digital Circuits
many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic of Current-Mode digital circuits, the authors properly exploited classical paradigms developed and used in the analog circuit domain (a topic in which one of the authors maturated a great experience).
Mix-Design and Application of Hydraulic Grouts for Masonry Strengthening
Provides guidance for the rational design and application of hydraulic grouts, based on a series of specific data (type of masonry, voids' width, targeted strength and durability level, available materials, etc.). To this end, the basic characteristics of a grout, i.e. its injectability (penetrability, fluidity and stability), its strength and durability, are taken into account by means of rational models and quantified expressions of all grout-design parameters. Thus, a holistic, rational mix design methodology for optimization of grout composition is given, permitting the preliminary design of grouts, without having to resort to multiple tests in advance.
