الصفحة 8
الصفحة 8
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 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.
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 Uncertainty : An Examination of Stochastic Theory, Methods, and Applications
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends and colleagues of Sid Yakowitz in his honor. Fifty internationally known scholars have collectively contributed 30 papers on modeling uncertainty to this volume. Each of these papers was carefully reviewed and in the majority of cases the original submission was revised before being accepted for publication in the book. The papers cover a great variety of topics in probability, statistics, economics, stochastic optimization, control theory, regression analysis, simulation, stochastic programming, Markov decision process, application in the HIV context, and others. There are papers with a theoretical emphasis and others that focus on applications. A number of papers survey the work in a particular area and in a few papers the authors present their personal view of a topic. It is a book with a considerable number of expository articles, which are accessible to a nonexpert - a graduate student in mathematics, statistics, engineering, and economics departments, or just anyone with some mathematical background who is interested in a preliminary exposition of a particular topic. Many of the papers present the state of the art of a specific area or represent original contributions which advance the present state of knowledge. In sum.
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 of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress and strain states in engineering structures up to the critical stage of creep rupture. The principal subjects of creep mechanics are the formulation of constitutive equations for creep in structural materials under multi-axial stress states; the application of structural mechanics models of beams, plates, shells and three-dimensional solids and the utilization of procedures for the solution of non-linear initial-boundary value problems. The objective of this book is to review some of the classical and recently proposed approaches to the modeling of creep for structural analysis applications as well as to extend the collection of available solutions of creep problems by new, more sophisticated examples.
Modeling Income Distributions and Lorenz Curves
The parameterization of income distributions and Lorenz Curves is a useful approach for representing how income is distributed within a given population. It provides a way of describing how the data are generated, why the level of inequality is what it is, and what happens to the poorer sections of the population. This book brings together classic papers in the field, including Camilo Dagum’s most influential contribution, survey papers outlining the state-of-the-art of the field, and cutting-edge research contributions. While providing a thorough overview of the methodology of income distribution modeling, the book emphasizes its relevance on development economics and its importance for policy makers who design and assess poverty alleviation and income redistribution policies.
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 Communication with Robots and Virtual Humans ; Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also provide an interdisciplinary perspective from linguistics, behavioral research, theoretical biology, philosophy, communication psychology, and computational neuroscience. The topics include studies on human multimodal communication; the modeling of feedback signals, facial expression, eye contact, and deception; the recognition and comprehension of hand gestures and head movements; communication interfaces for humanoid robots; the evolution of cognition and language; emotion and social appraisal in nonverbal communication; dialogue models and methodologies; theory of mind and intentionality; complex systems, dynamic field theory, and connectionist modeling.
Modeling and Management of Fuzzy Semantic RDF Data
Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and knowledge intensive applications. With the increasing amount of metadata available, efficient and scalable management of massive semantic data with uncertainty is of crucial importance. This book goes to great depth concerning the fast-growing topic of technologies and approaches of modeling and managing fuzzy metadata with Resource Description Framework (RDF) format. Its major topics include representation of fuzzy RDF data, fuzzy RDF graph matching, query of fuzzy RDF data, and persistence of fuzzy RDF data in diverse databases. The objective of the book is to provide the state-of-the-art information to researchers, practitioners, and postgraduates students who work on the area of big data intelligence and at the same time serve as the uncertain data and knowledge engineering professional as a valuable real-world reference.
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
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-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Model-Based Demography: Essays on Integrating Data, Technique and Theory
This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption of the model-based approach to science. But the full-fruits of this approach will require demographers to make greater use of computer modeling [both macro- and micro-simulation], in the statement and manipulation of theoretical ideas, as well as for numerical computation.
Model driven Engineering Languages and Systems; 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Model Checking Software ; Vol. 3925 ; 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering.
Model Checking Software ; Vol. 3639 : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
