- Table View
- List View
Model Based Parameter Estimation: Theory and Applications
by Johannes P. Schlöder Rolf Rannacher Stefan Körkel Thomas Carraro Willi Jäger Hans Georg BockThis judicious selection of articles combines mathematical and numerical methods to apply parameter estimation and optimum experimental design in a range of contexts. These include fields as diverse as biology, medicine, chemistry, environmental physics, image processing and computer vision. The material chosen was presented at a multidisciplinary workshop on parameter estimation held in 2009 in Heidelberg. The contributions show how indispensable efficient methods of applied mathematics and computer-based modeling can be to enhancing the quality of interdisciplinary research. The use of scientific computing to model, simulate, and optimize complex processes has become a standard methodology in many scientific fields, as well as in industry. Demonstrating that the use of state-of-the-art optimization techniques in a number of research areas has much potential for improvement, this book provides advanced numerical methods and the very latest results for the applications under consideration.
Model-Driven Dependability Assessment of Software Systems
by Simona Bernardi José Merseguer Dorina Corina PetriuOver the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security. In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i. e. , UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques. Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.
Modeling and Optimization in Space Engineering
by Giorgio Fasano János D. PintérThis volume presents a selection of advanced case studies that address a substantial range of issues and challenges arising in space engineering. The contributing authors are well-recognized researchers and practitioners in space engineering and in applied optimization. The key mathematical modeling and numerical solution aspects of each application case study are presented in sufficient detail. Classic and more recent space engineering problems - including cargo accommodation and object placement, flight control of satellites, integrated design and trajectory optimization, interplanetary transfers with deep space manoeuvres, low energy transfers, magnetic cleanliness modeling, propulsion system design, sensor system placement, systems engineering, space traffic logistics, and trajectory optimization - are discussed. Novel points of view related to computational global optimization and optimal control, and to multidisciplinary design optimization are also given proper emphasis. A particular attention is paid also to scenarios expected in the context of future interplanetary explorations. Modeling and Optimization in Space Engineering will benefit researchers and practitioners working on space engineering applications. Academics, graduate and post-graduate students in the fields of aerospace and other engineering, applied mathematics, operations research and optimal control will also find the book useful, since it discusses a range of advanced model development and solution techniques and tools in the context of real-world applications and new challenges.
Modeling and Optimization of Air Traffic
by Daniel Delahaye Stéphane PuechmorelThis book combines the research activities of the authors, both of whom are researchers at Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation), and presents their findings from the last 15 years. Their work uses air transport as its focal point, within the realm of mathematical optimization, looking at real life problems and theoretical models in tandem, and the challenges that accompany studying both approaches. The authors’ research is linked with the attempt to reduce air space congestion in Western Europe, USA and, increasingly, Asia. They do this through studying stochastic optimization (particularly artificial evolution), the sectorization of airspace, route distribution and takeoff slots, and by modeling airspace congestion. Finally, the authors discuss their short, medium and long term research goals. They hope that their work, although related to air transport, will be applied to other fields, such is the transferable nature of mathematical optimization. At the same time, they intend to use other areas of research, such as approximation and statistics to complement their continued inquiry in their own field. Contents 1. Introduction. Part 1. Optimization and Artificial Evolution 2. Optimization: State of the Art. 3. Genetic Algorithms and Improvements. 4. A new concept for Genetic Algorithms based on Order Statistics. Part 2. Applications to Air Traffic Control 5. Air Traffic Control. 6. Contributions to Airspace Sectorization. 7. Contribution to Traffic Assignment. 8. Airspace Congestion Metrics. 9. Conclusion and Future Perspectives. About the Authors Daniel Delahaye works for Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation) in France. Stéphane Puechmorel works for Ecole Nationale de l’Aviation Civile (French National School of Civil Aviation) in France.
Modeling and Simulating Command and Control
by Tag Gon Kim Il-Chul Moon Kathleen M. CarleyCommanding and controlling organizations in extreme situations is a challenging task in military, intelligence, and disaster management. Such command and control must be quick, effective, and considerate when dealing with the changing, complex, and risky conditions of the situation. To enable optimal command and control under extremes, robust structures and efficient operations are required of organizations. This work discusses how to design and conduct virtual experiments on resilient organizational structures and operational practices using modeling and simulation. The work illustrates key aspects of robustly networked organizations and modeled performance of human decision-makers through examples of naval-air defense, counterterrorism operations, and disaster responses.
Modeling Trust Context in Networks
by Sibel AdaliWe make complex decisions every day, requiring trust in many different entities for different reasons. These decisions are not made by combining many isolated trust evaluations. Many interlocking factors play a role, each dynamically impacting the others. In this brief, "trust context" is defined as the system level description of how the trust evaluation process unfolds. Networks today are part of almost all human activity, supporting and shaping it. Applications increasingly incorporate new interdependencies and new trust contexts. Social networks connect people and organizations throughout the globe in cooperative and competitive activities. Information is created and consumed at a global scale. Systems, devices, and sensors create and process data, manage physical systems, and participate in interactions with other entities, people and systems alike. To study trust in such applications, we need a multi-disciplinary approach. This book reviews the components of the trust context through a broad review of recent literature in many different fields of study. Common threads relevant to the trust context across many application domains are also illustrated.
Modellbildung und Simulation
by Hans-Joachim Bungartz Stefan Zimmer Martin Buchholz Dirk PflügerDieses Buch gibt eine Einführung in die mathematische und informatische Modellierung sowie in die Simulation als universelle Methodik. Und so geht es um Klassen von Modellen, um deren Herleitung und um die Vielfalt an Beschreibungsarten, die eingesetzt werden können - diskret oder kontinuierlich, deterministisch oder stochastisch. Aber immer geht es auch darum, wie aus unterschiedlichen abstrakten Modellen ganz konkrete Simulationsergebnisse gewonnen werden können. Nach einem kompakten Repetitorium zum benötigten mathematischen Apparat wird das Konzept ,,Über das Modell zur Simulation" anhand von 14 Szenarien aus den Bereichen ,,Spielen - entscheiden - planen", ,,Verkehr auf Highways und Datenhighways", ,,Dynamische Systeme" sowie ,,Physik im Rechner" umgesetzt. Ob Spieltheorie oder Finanzmathematik, Verkehr oder Regelung, ob Populationsdynamik oder Chaos, Molekulardynamik, Kontinuumsmechanik oder Computergraphik - der Leser erhält auf anschauliche und doch systematische Weise Einblicke in die Welt der Modelle und Simulationen.
Modelling and Simulation
by Louis G. Birta Gilbert ArbezThis textbook presents a practical introduction to the fundamental aspects of modelling and simulation. It provides the necessary foundations both for those wishing to learn about this methodology and also for those who have a need to apply it in their work. Illustrative examples are drawn from projects formulated within the domains of both DEDS and CTDS. Features: presents a project-oriented perspective; describes an activity-based conceptual modelling framework (ABCmod) for DEDS; includes a new chapter that presents a novel world view, the Activity-Object world view, which eases the translation of a conceptual model specification in the ABCmod framework into a simulation program; contains numerous illustrative examples, useful algorithms, exercises and projects; includes a primer on probability, a concise guide to the GPSS programming environment and an overview of relevant MATLAB features in the appendices; provides supplementary software and teaching support material at an associated website.
Modern C++ Programming with Test-Driven Development: Code Better, Sleep Better
by Jeff LangrIf you program in C++ you've been neglected. Test-driven development (TDD) is a modern software development practice that can dramatically reduce the number of defects in systems, produce more maintainable code, and give you the confidence to change your software to meet changing needs. But C++ programmers have been ignored by those promoting TDD--until now. In this book, Jeff Langr gives you hands-on lessons in the challenges and rewards of doing TDD in C++. Modern C++ Programming With Test-Driven Development, the only comprehensive treatment on TDD in C++ provides you with everything you need to know about TDD, and the challenges and benefits of implementing it in your C++ systems. Its many detailed code examples take you step-by-step from TDD basics to advanced concepts. As a veteran C++ programmer, you're already writing high-quality code, and you work hard to maintain code quality. It doesn't have to be that hard. In this book, you'll learn: how to use TDD to improve legacy C++ systemshow to identify and deal with troublesome system dependencieshow to do dependency injection, which is particularly tricky in C++how to use testing tools for C++ that aid TDDnew C++11 features that facilitate TDD As you grow in TDD mastery, you'll discover how to keep a massive C++ system from becoming a design mess over time, as well as particular C++ trouble spots to avoid. You'll find out how to prevent your tests from being a maintenance burden and how to think in TDD without giving up your hard-won C++ skills. Finally, you'll see how to grow and sustain TDD in your team. Whether you're a complete unit-testing novice or an experienced tester, this book will lead you to mastery of test-driven development in C++. What You Need A C++ compiler running under Windows or Linux, preferably one that supports C++11. Examples presented in the book were built under gcc 4.7.2.Google Mock 1.6 (downloadable for free; it contains Google Test as well) or an alternate C++ unit testing tool. Most examples in the book are written for Google Mock, but it isn't difficult to translate them to your tool of choice.A good programmer's editor or IDE.cmake, preferably. Of course, you can use your own preferred make too. CMakeLists.txt files are provided for each project. Examples provided were built using cmake version 2.8.9.Various freely-available third-party libraries are used as the basis for examples in the book. These include: cURLJsonCppBoost (filesystem, date_time/gregorian, algorithm, assign) Several examples use the boost headers/libraries. Only one example uses cURL and JsonCpp.
The Modern Web
by Peter GasstonToday’s web technologies are evolving at near–light speed, bringing the promise of a seamless Internet ever closer to reality. When users can browse the Web on a three-inch phone screen as easily as on a fifty-inch HDTV, what’s a developer to do?Peter Gasston’s The Modern Web will guide you through the latest and most important tools of device-agnostic web development, including HTML5, CSS3, and JavaScript. His plain-English explanations and practical examples emphasize the techniques, principles, and practices that you’ll need to easily transcend individual browser quirks and stay relevant as these technologies are updated.Learn how to:–Plan your content so that it displays fluidly across multiple devices–Design websites to interact with devices using the most up-to-date APIs, including Geolocation, Orientation, and Web Storage–Incorporate cross-platform audio and video without using troublesome plug-ins–Make images and graphics scalable on high-resolution devices with SVG–Use powerful HTML5 elements to design better formsTurn outdated websites into flexible, user-friendly ones that take full advantage of the unique capabilities of any device or browser. With the help of The Modern Web, you’ll be ready to navigate the front lines of device-independent development.
The Modern Web: Multi-Device Web Development with HTML5, CSS3, and Javascript
by Peter GasstonA Guide to Modern Web Development: Today's web technologies are evolving at near-light speed, bringing the promise of a seamless Internet ever closer to reality. When users can browse the Web on a three-inch phone screen as easily as on a fifty-inch HDTV, whats a developer to do? Peter Gasston's "The Modern Web" will guide you through the latest and most important tools of device-agnostic web development, including HTML5, CSS3, and JavaScript. His plain-English explanations and practical examples emphasize the techniques, principles, and practices that you'll need to easily transcend individual browser quirks and stay relevant as these technologies are updated.
Moderne C-Programmierung
by Helmut SchellongDieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der Programmierpraxis: PC-Programme, Mikrocontroller, Skripte. Dazu werden effiziente Lösungen anhand konkreter Kodebeispiele vorgestellt. Der Text wird durch verschiedene kompakte C-Referenzen in übersichtlicher Listen- oder Tabellenform ergänzt und vervollständigt. 380 Kodeabschnitte des Buches in Farbe sind abrufbar unter http://www. schellong. de/htm/code. html
MongoDB: Powerful and Scalable Data Storage
by Kristina ChodorowManage the huMONGOus amount of data collected through your web application with MongoDB. This authoritative introduction--written by a core contributor to the project--shows you the many advantages of using document-oriented databases, and demonstrates how this reliable, high-performance system allows for almost infinite horizontal scalability. This updated second edition provides guidance for database developers, advanced configuration for system administrators, and an overview of the concepts and use cases for other people on your project. Ideal for NoSQL newcomers and experienced MongoDB users alike, this guide provides numerous real-world schema design examples. Get started with MongoDB core concepts and vocabulary Perform basic write operations at different levels of safety and speed Create complex queries, with options for limiting, skipping, and sorting results Design an application that works well with MongoDB Aggregate data, including counting, finding distinct values, grouping documents, and using MapReduce Gather and interpret statistics about your collections and databases Set up replica sets and automatic failover in MongoDB Use sharding to scale horizontally, and learn how it impacts applications Delve into monitoring, security and authentication, backup/restore, and other administrative tasks
MongoDB Applied Design Patterns: Practical Use Cases with the Leading NoSQL Database
by Rick Copeland<p>The book's focus on the practical aspects of the MongoDB implementation makes it an ideal purchase for developers charged with bringing MongoDB's scalability to bear on the particular problem you've been tasked to solve.</p>
Mongoose for Application Development
by Simon HolmesThis book is a mini tutorial full of code examples and strategies to give you plenty of options when building your own applications with MongoDB.This book is ideal for people who want to develop applications on the Node.js stack quickly and efficiently. Prior knowledge of the stack is not essential as the book briefly covers the installation of the core components and builds all aspects of the example application. The focus of the book is on what Mongoose adds to you applications, so experienced Node.js developers will also benefit.
Monitoring with Opsview
by Alan WijntjeA practical and fast-paced guide that gives you all the information you need to get up and running with Opsview.This book is for anyone interested in using Opsview as a potential monitoring solution or for those who are already running Opsview Core and who would like to improve on their setup by exploring the features of Pro and Enterprise. Some working knowledge of monitoring and Linux is assumed, and it is recommended to have an Opsview system at hand while reading, allowing you to immediately try out the features discussed.
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
by Enrico ZioMonte Carlo simulation is one of the best tools for performing realistic analysis of complex systems as it allows most of the limiting assumptions on system behavior to be relaxed. The Monte Carlo Simulation Method for System Reliability and Risk Analysis comprehensively illustrates the Monte Carlo simulation method and its application to reliability and system engineering. Readers are given a sound understanding of the fundamentals of Monte Carlo sampling and simulation and its application for realistic system modeling. Whilst many of the topics rely on a high-level understanding of calculus, probability and statistics, simple academic examples will be provided in support to the explanation of the theoretical foundations to facilitate comprehension of the subject matter. Case studies will be introduced to provide the practical value of the most advanced techniques. This detailed approach makes The Monte Carlo Simulation Method for System Reliability and Risk Analysis a key reference for senior undergraduate and graduate students as well as researchers and practitioners. It provides a powerful tool for all those involved in system analysis for reliability, maintenance and risk evaluations.
Moodle 2.5 Multimedia
by Joao Pedro FernandesA tutorial-based guide where readers can work through practical examples that clearly describe how to create multimedia applications using Moodle and integrate existing multimedia resources into Moodle courses.If you are a teacher or trainer who runs online courses and has a basic understanding of Moodle, this book will be ideal for you. It is not necessary to have an advanced technical background to create multimedia elements as the tasks will be simple, not time consuming, and will be practical for everyday use.
Moodle 2.5 Multimedia Cookbook - Second Edition
by Silvina P. HilarWith practical examples presented in the style of recipes, this book is designed for you to be able to dip in and out as you need, only using the multimedia options that you want at the time.This cookbook is designed specifically for teachers who want to begin creating interactive and engaging Moodle courses by utilizing the multimedia capabilities of Moodle.
Moodle for Mobile Learning
by Mark AberdourA guide with practical examples that gives you hands-on knowledge in creating learning environments for Mobile devices using Moodle, while also empowering you to create your own effective mlearning course designs."Moodle for Mobile Learning" is primarily aimed at Moodle course practitioners - teachers, tutors, instructors, and learning and development professionals. It does not require you to have an in-depth knowledge about any mobile technologies. It is for anyone who has the desire to deliver great courses that allow their learners to interact using the devices in their pockets.
MOS 2013 Study Guide for Microsoft Access
by John PierceDemonstrate your expertise with Microsoft Office! Designed to help you practice and prepare for the 2013 Access Microsoft Office Specialist (MOS) exam, this all-in-one study guide features: Full, objective-by-objective exam coverage Easy-to-follow procedures and illustrations to review essential skills Hands-on practice tasks to apply what you've learned; files included Online pre-test to assess your readiness Use the in-depth exam prep, practice, and review to help advance your proficiency with Microsoft Office--and earn the credential that proves it!
MOS 2013 Study Guide for Microsoft Excel
by Joan LambertDemonstrate your expertise with Microsoft Office! Designed to help you practice and prepare for the 2013 Excel Microsoft Office Specialist (MOS) exam, this all-in-one study guide features: Full, objective-by-objective exam coverage Easy-to-follow procedures and illustrations to review essential skills Hands-on practice tasks to apply what you've learned; files included Online pre-test to assess your readiness Use the in-depth exam prep, practice, and review to help advance your proficiency with Microsoft Office--and earn the credential that proves it!
MOS 2013 Study Guide for Microsoft Excel Expert
by Mark DodgeDemonstrate your expertise with Microsoft Office! Designed to help you practice and prepare for the 2013 Excel Expert Microsoft Office Specialist (MOS) exams, this all-in-one study guide features: Full, objective-by-objective exam coverage Easy-to-follow procedures and illustrations to review essential skills Hands-on practice tasks to apply what youâ TMve learned; files included Online pre-test to assess your readiness Use the in-depth exam prep, practice, and review to help advance your proficiency with Microsoft Officeâ "and earn the credential that proves it!
MOS 2013 Study Guide for Microsoft Outlook
by Joan LambertDemonstrate your expertise with Microsoft Office! Designed to help you practice and prepare for the 2013 Outlook Microsoft Office Specialist (MOS) exam, this all-in-one study guide features: Full, objective-by-objective exam coverage Easy-to-follow procedures and illustrations to review essential skills Hands-on practice tasks to apply what you've learned; files included Use the in-depth exam prep, practice, and review to help advance your proficiency with Microsoft Office--and earn the credential that proves it!
MOS 2013 Study Guide for Microsoft PowerPoint
by Joan LambertDemonstrate your expertise with Microsoft Office! Designed to help you practice and prepare for the 2013 PowerPoint Microsoft Office Specialist (MOS) exam, this all-in-one study guide features: Full, objective-by-objective exam coverage Easy-to-follow procedures and illustrations to review essential skills Hands-on practice tasks to apply what you've learned; files included Use the in-depth exam prep, practice, and review to help advance your proficiency with Microsoft Office--and earn the credential that proves it!