الصفحة 37
الصفحة 37
Modelling the dispersion of radionuclides in the marine environment : An introduction
This book is a practical guide to the subject of numerical modelling of radioactivity dispersion in the marine environment. Thus, the techniques and numerical procedures required are explained in detail, with the aim of enabling the reader to build a real mathematical model. The book covers basic concepts and techniques, such as solving the advection-diffusion equation in a simple 1D form, as well as the most recent developments (full 3D models for non-conservative radionuclides including chemical reactions and speciation). A chapter is dedicated to the basic hydrodynamic modelling that is always required to simulate the dispersion of tracers in the sea; Eulerian and Lagrangian modelling techniques are also described. A chapter describes sensitivity and uncertainty analysis, the final stage in modelling works. A review on some published radionuclide dispersion models is also included.
Modelling Regional Scenarios for the Enlarged Europe : European Competitiveness and Global Strategies
The aim of this book is to tackle the question of what the European territory will look like over the next fifteen years by providing quali-quantitative territorial scenarios for the enlarged Europe, under different assumptions on future globalisation strategies of BRIC (Brazil, Russia, India and China) and East and West European countries. The approach is as neutral as possible vis-à-vis the results, leaving to a new forecasting model, the MASST model, built by the authors, to produce the tendencies and behavioural paths of regional GDP and population growth in each individual European region under alternative assumptions on the competitiveness strategies of different blocks of countries. The results are accompanied by strong policy messages intended to encourage long-term strategic thinking among a wide range of actors, scientists and policy makers in response to the risks and opportunities that the European territory will face.
Modelling of Powder Die Compaction
In particular, the book presents a number of case studies that have been developed to test compaction models. Full details of the data required for input to compaction models of these case studies is given, together with a survey of the techniques used to generate the data. Details are also given of methods to produce and assess components for validation of die compaction models. The inclusion of information on case studies then provides a reference for the testing and validation of compaction models.
Modelling Land-Use Change : Progress and Applications
land-use change simulation modelling is a relatively new and dynamic field of study and this book provides a full overview of the topic, a wide range of applications (both geographically and thematically), a mix of theory and practice, a synthesis of recent research progress, and educational material for students and teachers.
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.
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 Simulation : Exploring Dynamic System Behaviour
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation of the modelling and simulation activity for both Discrete Event Dynamic Systems (DEDS) and Continuous Time Dynamic Systems (CTDS). This book presents the fundamentals necessary to understand the many important facets of the modeling and simulation methodology.
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Modelling and Identification with Rational Orthogonal Basis Functions
Models of dynamical systems are of great importance in almost all fields of science and engineering and specifically in control, signal processing and information science.
Modelling and Control of Mini-Flying Machines
Modelling and Control of Mini-Flying Machines is an exposition of models developed for various types of mini-aircraft. Modelling and Control of Mini-Flying Machines provides valuable insights to the application of real-time nonlinear techniques in an always challenging area.
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.
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, Simulation and Optimization of Complex Processes HPSC 2018 ; Proceedings of the 7th International Conference on High Performance Scientific Computing, Hanoi, Vietnam, March 19-23, 2018
The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered include numerical simulation, methods for optimization and control, machine learning, parallel computing and software development, as well as the applications of scientific computing in mechanical engineering, airspace engineering, environmental physics, decision making, hydrogeology, material science and electric circuits.
Modeling, Simulation and Optimization of Complex Processes ; Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam
This proceedings volume contains a selection of papers presented at the Third International Conference on High Performance Scientific Computing held at the Hanoi Institute of Mathematics, Vietnamese Academy of Science and Technology (VAST), March 6-10, 2006. The conference has been organized by the Hanoi Institute of Mathematics, Interdisciplinary Center for Scientific Computing (IWR), Heidelberg, and its International PhD Program ``Complex Processes: Modeling, Simulation and Optimization'', and Ho Chi Minh City University of Technology. The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and control, parallel computing, software development, applications of scientific computing in physics, chemistry, biology and mechanics, environmental and hydrology problems, transport, logistics and site location, communication networks, production scheduling, industrial and commercial problems.
Modeling, Simulation and Optimization of Complex Processes ; Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam
This proceedings volume contains a selection of papers presented at the symposium "International Conference on High Performance Scientific Computing'' held at the Hanoi Institute of Mathematics of the Vietnam National Center for Natural Science and Technology (NCST). The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and optimal control, parallel computing, symbolic computing, software development, applications of scientific computing in physics, chemistry, biology and mechanics, environmental and hydrology problems, transport, logistics and site location, communication networks, production scheduling, industrial and commercial problems.
Modeling, Estimation and Control : Festschrift in Honor of Giorgio Picci on the Occasion of his Sixty-Fifth Birthday
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- How Many Experiments Are Needed to Adapt?- A Mutual Information Based Distance for Multivariate Gaussian Processes.- Differential Forms and Dynamical Systems.- An Algebraic Framework for Bayes Nets of Time Series.- A Birds Eye View on System Identification.- Further Results on the Byrnes-Georgiou-Lindquist Generalized Moment Problem.- Factor Analysis and Alternating Minimization.- Tensored PolynomialModels.- Distances Between Time-Series and Their Autocorrelation Statistics.- Global Identifiability of Complex Models, Constructed from Simple Submodels.- Identification of Hidden MarkovModels - Uniform LLN-s.- Identifiability and Informative Experiments in Open and Closed-Loop Identification.- On Interpolation and the Kimura-Georgiou Parametrization.- The Control of Error in Numerical Methods.- Contour Reconstruction and Matching Using Recursive Smoothing Splines.- Role of LQ Decomposition in Subspace Identification Methods.- Canonical Operators on Graphs.
Modeling Solid Oxide Fuel Cells : Methods, Procedures and Techniques
The volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation phenomena. Part two deals with the application of the theory to practical examples, where different SOFC geometries, configurations (from single cells to hybrid systems), operating conditions (steady-state and dynamic), and different phenomena (e.g. performance, temperature and chemical species, and mechanical stress distribution) are analyzed in detail.
Modeling Semantic Web Services : The Web Service Modeling Language
In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services, such as the static background knowledge in the form of ontologies, the functional description of the service, and the behavioral description of the service. They introduce the Web Service Modeling Language (WSML), which provides means for describing the functionality and behavior of Web services, as well as the underlying business knowledge, in the form of ontologies, with a conceptual grounding in the Web Service Modeling Ontology.
Modeling Performance Measurement : Applications and Implementation Issues in DEA
MODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ recent DEA research. These new DEA methodology and techniques are developed in application-driven scenarios that go beyond the identification of the best-practice frontier and seek solutions to aid managerial decisions. These new DEA developments are well-grounded in real world applications. Both DEA researchers and practitioners will find this book helpful. Theory is provided for DEA researchers for further development and possible extensions. However, it should also be mentioned that each theory is presented in practical terms with numerical examples, simple real management cases and verbal descriptions. It is felt that these concrete examples will be of value to researchers, students, and practitioners , This book also provides an easy-to-use DEA software — DEAFrontier (www.deafrontier.com). This DEA software is an Add-In for Microsoft Excel and provides a custom menu of DEA approaches The DEAFrontier does not set limit on the number of units, inputs or outputs.
Modeling of Soft Matter
Soft matter plays a role in a wide variety of important processes and application. For example, gel swelling and dynamics are an essential part of many biological and individual processes, such as motility mechanisms in bacteria and the transport and absorption of drugs. Ferroelectrics, liquid crystals, and elastomers are being used to design ever faster switching devices. Experimental studies, such as scattering, optical and electron microscopy, have provided a great deal of detailed information on structures. But the integration of mathematical modeling and analysis with experimental approaches promises to greatly increase our understanding of structure-property relationships and constitutive equations. The workshop on Modeling of Soft Matter has taken such an integrated approach.
