Page 22
Page 22
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 Critical and Catastrophic Phenomena in Geoscience : A Statistical Physics Approach
This book presents a broad survey of models for critical and catastrophic phenomena in the geosciences, with strong emphasis on earthquakes. It assumes the perspective of statistical physics, which provides the theoretical frame for dealing with complex systems in general. This volume addresses graduate students wishing to specialize in the field and researchers working or interested in the field having a background in the physics, geosciences or applied mathematics.
Modelling community structure in freshwater ecosystems
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely diatoms, benthic macroinvertebrates and fish), under natural conditions and under man-made disturbance. Such an approach will make it possible to: 1) set up procedures for robust and sensitive ecosystem evaluation, based on the prediction of the excepted community structure; 2) model community structure in disturbed ecosystems, taking into account all the relevant ecological variables; 3) test ecosystem sensitivity to natural and anthropic disturbance; and 4) explore specific actions to be taken for the restoration of ecosystem integrity."--Jacket.
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 of discrete-event systems
Allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems.
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 Optimization of Biotechnological Processes : Artificial Intelligence Approaches
The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, followed by two chapters covering the optimization of fed-batch culture using genetic algorithms. Online biomass soft-sensors are constructed in Chapter 4 using recurrent neural networks. The bioprocess is then modelled in Chapter 5 by cascading two soft-sensor neural networks. Optimization and validation of the final product are detailed in Chapters 6 and 7. The general conclusions are drawn in Chapter 8.
Modelling and Monitoring of Coastal Marine Processes
Although numerous books have been written on both monitoring and modelling of coastal oceans, there is a practical need for an introductory multi-disciplinary volume to non-specialists in this field. The articles commisioned for this book, organized into four major themes, are written by experts in their disciplines while the text is intended for scientists who do not have extensive training in marine sciences and coastal zone management. As such, the articles in this monograph can be a valuable reference for practicing professionals.
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 Estimation Strategies for Fault Diagnosis of Non-Linear Systems : From Analytical to Soft Computing Approaches
This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear systems. The introductory part of the book is of a tutorial value and can be perceived as a good starting point for the new-comers to this field. Subsequently, advanced robust observer structures are presented. Parameter estimation based techniques are discussed as well. A particular attention is drawn to experimental design for fault diagnosis. The book also presents a number of robust soft computing approaches utilizing evolutionary algorithms and neural networks. All approaches described in this book are illustrated by practical applications.
Modelling and Development of Intelligent Systems ; 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers
This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent Systems, MDIS 2019, held in Sibiu, Romania, in October 2019. The 13 revised full papers presented in the volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on adaptive systems; conceptual modelling; data mining; intelligent systems for decision support; machine learning.
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 Control of Dynamical Systems : Numerical Implementation in a Behavioral Framework
This book reviews known topics of the Behavioral Approach and offers new theoretic results with the advantage of including control algorithms implemented numerically in the computer. In addition, issues of numerical analysis are also included. The programs and algorithms are MATLAB based.
Modelling and Applications in Mathematics Education : The 14th ICMI Study
The contributing authors are eminent members of the mathematics education community. Modelling and Applications in Mathematics Education will be of special interest to mathematics educators, teacher educators, researchers, education administrators, curriculum developers and student teachers.
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 Matematici in Biologia = Mathematical Models in Biology
This text is addressed first of all to the students of the Specialist Degrees in Biology of the Universities, but it will also be of interest to students of Natural Sciences and Medicine. The topics covered include the most classic mathematical models of biological phenomena (population dynamics, spread of infectious diseases, simple physiology models), but a relevant part of the text is dedicated to the mathematical approach to the theory of natural evolution. The only prerequisites required of the reader are those provided by the basic courses of Mathematics of the Bachelor's Degree in Biology, Natural Sciences or Medicine.
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.
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, 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.
