الصفحة 22
الصفحة 22
Modeling and Analysis of Transient Processes in Open Resonant Structures : New Methods and Techniques
The principal goal of the book is to describe new accurate and robust algorithms for open resonant structures with substantially increased efficiency. The book presents a systematic approach to the study of electromagnetic waves scattering which can be introduced in undergraduate/postgraduate education in theoretical and applied radiophysics and different advanced engineering courses on antenna and wave-guide technology.
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 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 Software and Data Integration ; 1st International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind in a forthcoming series of activities at TU Berlin, where a scientifc discussion and exchange forum was provided for both academic and industrial researchers. We aimed at researchers, engineersand practitionerswho focus onadvanced, model-basedsolutions inthe area of software and information integration and interoperability. As withevery beginning, the resonanceonour callsin today's overfoodingof workshops was somewhat unpredictable, and we did not really know how many paper submissions to expect. We were nicely surprised, considering the rather short lead time to organize the meeting and the very specialized and focused topic.
Model-Based Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
Model tests and numerical simulations of liquefaction and lateral spreading ; LEAP-UCD-2017
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses the repeatability, variability, and sensitivity of lateral spreading observed in twenty-four centrifuge model tests on mildly sloping liquefiable sand.
Model Order Reduction : Theory, Research Aspects and Applications
The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear algebra, it covers both general and more specialized model order reduction techniques for linear and nonlinear systems, and it discusses the use of model order reduction techniques in a variety of practical applications. The book contains many recent advances in model order reduction, and presents several open problems for which techniques are still in development. It will serve as a source of inspiration for its readers, who will discover that model order reduction is a very exciting and lively field.
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 Architecture and Ontology Development
Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the Semantic Web. Part I of their book describes existing technologies, tools, and standards like XML, RDF, OWL, MDA, and UML. Part II presents the first detailed description of OMG’s new ODM (Ontology Definition Metamodel) initiative, a specification which is expected to be in the form of an OMG language like UML. Finally, Part III is dedicated to applications and practical aspects of developing ontologies using MDA-based languages.
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 ; 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.
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 checking software ; 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Model Based Learning and Instruction in Science
This book describes new, model based teaching methods for science instruction. It presents research that describes these new methods in a very diverse group of settings: middle school biology, high school physics, and college chemistry classrooms. Mental models in these areas such as understanding the structure of the lungs or cells, molecular structures and reaction mechanisms in chemistry, or causes of current flow in electricity are notoriously difficult for many students to learn. Yet these lie at the core of conceptual understanding in these areas. The studies focus on a variety of teaching strategies such as discrepant questioning, analogies, animations, model competition, and hands on activities.
Model Based Inference in the Life Sciences : A Primer on Evidence
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of data in the empirical sciences. This text focuses on a science philosophy based on "multiple working hypotheses" and statistical models to represent them. The fundamental science question relates to the empirical evidence for hypotheses in this set—a formal strength of evidence. Kullback-Leibler information is the information lost when a model is used to approximate full reality. Hirotugu Akaike found a link between K-L information (a cornerstone of information theory) and the maximized log-likelihood (a cornerstone of mathematical statistics). This combination has become the basis for a new paradigm in model based inference. The text advocates formal inference from all the hypotheses/models in the a priori set—multimodel inference.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
Model and Design of Improved Current Mode Logic Gates : Differential and Single-ended
This book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, supply voltage and power consumption. The improved topologies modify the conventional PDN, load, and the current source sections of the basic CML gates.
