Discrete Event Modeling and Simulation

Author: Gabriel A. Wainer
Publisher: CRC Press
ISBN: 9781351834629
Release Date: 2018-09-03
Genre: Technology & Engineering

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Graph and Model Transformation

Author: Hartmut Ehrig
Publisher: Springer
ISBN: 9783662479803
Release Date: 2015-12-21
Genre: Computers

This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.

Computer Vision

Author: Richard Szeliski
Publisher: Springer Science & Business Media
ISBN: 1848829353
Release Date: 2010-09-30
Genre: Computers

Computer Vision: Algorithms and Applications explores the variety of techniques commonly used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both for specialized applications such as medical imaging, and for fun, consumer-level tasks such as image editing and stitching, which students can apply to their own personal photos and videos. More than just a source of “recipes,” this exceptionally authoritative and comprehensive textbook/reference also takes a scientific approach to basic vision problems, formulating physical models of the imaging process before inverting them to produce descriptions of a scene. These problems are also analyzed using statistical models and solved using rigorous engineering techniques. Topics and features: structured to support active curricula and project-oriented courses, with tips in the Introduction for using the book in a variety of customized courses; presents exercises at the end of each chapter with a heavy emphasis on testing algorithms and containing numerous suggestions for small mid-term projects; provides additional material and more detailed mathematical topics in the Appendices, which cover linear algebra, numerical techniques, and Bayesian estimation theory; suggests additional reading at the end of each chapter, including the latest research in each sub-field, in addition to a full Bibliography at the end of the book; supplies supplementary course material for students at the associated website, http://szeliski.org/Book/. Suitable for an upper-level undergraduate or graduate-level course in computer science or engineering, this textbook focuses on basic techniques that work under real-world conditions and encourages students to push their creative boundaries. Its design and exposition also make it eminently suitable as a unique reference to the fundamental techniques and current research literature in computer vision.

Querying XML

Author: Jim Melton
Publisher: Morgan Kaufmann
ISBN: 0080540163
Release Date: 2011-04-08
Genre: Computers

XML has become the lingua franca for representing business data, for exchanging information between business partners and applications, and for adding structure– and sometimes meaning—to text-based documents. XML offers some special challenges and opportunities in the area of search: querying XML can produce very precise, fine-grained results, if you know how to express and execute those queries. For software developers and systems architects: this book teaches the most useful approaches to querying XML documents and repositories. This book will also help managers and project leaders grasp how “querying XML fits into the larger context of querying and XML. Querying XML provides a comprehensive background from fundamental concepts (What is XML?) to data models (the Infoset, PSVI, XQuery Data Model), to APIs (querying XML from SQL or Java) and more. * Presents the concepts clearly, and demonstrates them with illustrations and examples; offers a thorough mastery of the subject area in a single book. * Provides comprehensive coverage of XML query languages, and the concepts needed to understand them completely (such as the XQuery Data Model). * Shows how to query XML documents and data using: XPath (the XML Path Language); XQuery, soon to be the new W3C Recommendation for querying XML; XQuery's companion XQueryX; and SQL, featuring the SQL/XML * Includes an extensive set of XQuery, XPath, SQL, Java, and other examples, with links to downloadable code and data samples.

Pyomo Optimization Modeling in Python

Author: William E. Hart
Publisher: Springer
ISBN: 9783319588216
Release Date: 2017-07-01
Genre: Mathematics

​This book provides a complete and comprehensive guide to Pyomo (Python Optimization Modeling Objects) for beginning and advanced modelers, including students at the undergraduate and graduate levels, academic researchers, and practitioners. Using many examples to illustrate the different techniques useful for formulating models, this text beautifully elucidates the breadth of modeling capabilities that are supported by Pyomo and its handling of complex real-world applications. This second edition provides an expanded presentation of Pyomo’s modeling capabilities, providing a broader description of the software that will enable the user to develop and optimize models. Introductory chapters have been revised to extend tutorials; chapters that discuss advanced features now include the new functionalities added to Pyomo since the first edition including generalized disjunctive programming, mathematical programming with equilibrium constraints, and bilevel programming. Pyomo is an open source software package for formulating and solving large-scale optimization problems. The software extends the modeling approach supported by modern AML (Algebraic Modeling Language) tools. Pyomo is a flexible, extensible, and portable AML that is embedded in Python, a full-featured scripting language. Python is a powerful and dynamic programming language that has a very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from a command-line interface and within Python's interactive command environment, which makes it easy to create Pyomo models, apply a variety of optimizers, and examine solutions.

The Theory of 2 Structures

Author: A Ehrenfeucht
Publisher: World Scientific Publishing Company
ISBN: 9789813105577
Release Date: 1999-08-30
Genre: Mathematics

The theory of 2-structures provides a convenient framework for decomposition and transformation of mathematical systems where one or several different binary relationships hold between the objects of the system. In particular, it forms a useful framework for decomposition and transformation of graphs. The decomposition methods presented in this book correspond closely to the top-down design methods studied in computer science. The transformation methods considered here have a natural interpretation in the dynamic evolution of certain kinds of communication networks. From the mathematical point of view, the clan decomposition method presented here, also known as modular decomposition or substitution decomposition, is closely related to the decomposition by quotients in algebra. The transformation method presented here is based on labelled 2-structures over groups, the theory of which generalizes the well-studied theory of switching classes of graphs. This book is both a text and a monograph. As a monograph, the results concerning the decomposition and transformation of 2-structures are presented in a unified way. In addition, detailed notes on references are provided at the end of each chapter. These notes allow the reader to trace the origin of many notions and results, and to browse through the literature in order to extend the material presented in the book. To facilitate its use as a textbook, there are numerous examples and exercises which provide an opportunity for the reader to check his or her understanding of the discussed material. Furthermore, the text begins with preliminaries on partial orders, semigroups, groups and graphs to the extent needed for the book. Request Inspection Copy

Concurrency in C Cookbook

Author: Stephen Cleary
Publisher: "O'Reilly Media, Inc."
ISBN: 9781491906699
Release Date: 2014-05-15
Genre: Computers

If you're one of the many developers uncertain about concurrent and multithreaded development, this practical cookbook will change your mind. With more than 75 code-rich recipes, author Stephen Cleary demonstrates parallel processing and asynchronous programming techniques, using libraries and language features in .NET 4.5 and C# 5.0. Concurrency is becoming more common in responsive and scalable application development, but it’s been extremely difficult to code. The detailed solutions in this cookbook show you how modern tools raise the level of abstraction, making concurrency much easier than before. Complete with ready-to-use code and discussions about how and why the solution works, you get recipes for using: async and await for asynchronous operations Parallel programming with the Task Parallel Library The TPL Dataflow library for creating dataflow pipelines Capabilities that Reactive Extensions build on top of LINQ Unit testing with concurrent code Interop scenarios for combining concurrent approaches Immutable, threadsafe, and producer/consumer collections Cancellation support in your concurrent code Asynchronous-friendly Object-Oriented Programming Thread synchronization for accessing data

Model Driven Software Development

Author: Sami Beydeda
Publisher: Springer Science & Business Media
ISBN: 9783540285540
Release Date: 2005-12-06
Genre: Computers

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 Driven Architecture and Ontology Development

Author: Dragan Ga#evic
Publisher: Springer Science & Business Media
ISBN: 9783540321828
Release Date: 2006-11-22
Genre: Computers

Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are unfamiliar with these. This book fills this gap by covering the subject of MDA application for ontology development on the Semantic Web. The writing is technical yet clear, and is illustrated with examples. The book is supported by a website.

Special Edition Using XSLT

Author: Michael Floyd
Publisher: Que Publishing
ISBN: 0789725053
Release Date: 2002-01
Genre: Computers

The only book a developer needs with practical examples of using XSLT to transform XML data for Web display and e-commerce. Special Edition Using XSLT quickly demonstrates the key concepts of transforming XML and offers practical implementation advice. Provides real-world examples for developers who are learning--many competing titles are for advanced developers only. Also covers the use of XSLT with Java and JSP--most competing titles do not offer this practical advice. A next natural step for readers of the bestselling XML by Example who need an in-depth guide to XSLT. Special Edition Using XSLT starts with an overview explaining how XSLT fits into the bigger picture of the Extensible Stylesheet Language, and the differences between XSLT and XSL-FO. It then demonstrates practical examples of XSL transformations from XML to a variety of other useful formats including HTML, PDF, SVG and others. Later chapters discuss developer techniques for implementing XSLT within dynamic web environments including ASP and JSP. The author also covers debugging techniques and how XSLT relates to .NET. The book finishes with a useful reference section including detailed coverage of XSLT, XPath and XSL-FO. Lead author Michael Floyd is a veteran author, editor and XML developer who has been involved with XSLT since its inception. He provides XML training through BeyondHTML.com, and edits the XML.org newsletter. He's chaired numerous conferences and tracks including the GCA's XML 2000. He was Executive Editor of Dr. Dobb's Journal for seven years, and also served as Web Techniques first Editor-in-Chief. His XML column subsequently ran in the publication for more than three years. Previously, Michael wrote the first XML book for Web developers, "Building Web Sites with XML," published by Prentice-Hall in 1999.

NET Framework Essentials

Author: Thuan Thai
Publisher: "O'Reilly Media, Inc."
ISBN: 0596005059
Release Date: 2003
Genre: Computers

Fully updated for version 1.1 of the .NET Framework, .NET Framework Essentials, 3rd Edition is an objective, concise, no-nonsense overview of the Microsoft .NET Framework for developing web applications and services. Written for intermediate to advanced VB, C/C++, Java, and Delphi developers, .NET Framework Essentials, 3rd Edition is also useful to system architects and leaders who are assessing tools for future projects. .NET Framework Essentials touches all the bases--from the Common Language Run-Time (CLR) and key class libraries to the specialized packages for ASP.NET, Windows Forms, XML Web Services, and data access (ADO.NET). The authors survey each major .NET language, including VB.NET, C#, J#, and Managed C++, as well as MSIL, clearing away the noise and hype, and presenting a clear, practical look at the underlying technologies. .NET Framework Essentials also provides a handy reference to the most commonly used features of .NET Framework. Written by two veteran web applications developers, .NET Framework Essentials, 3rd Edition is one of the most complete, concise, and ultimately useful books to describe the breadth of technology represented by .NET. Compact and free of fluff or proprietary hype, .NET Framework Essentials is an outstanding value for experienced programmers and architects who need to get up to speed quickly.

Practical Aspects of Declarative Languages

Author: Bharat Jayaraman
Publisher: Springer
ISBN: 9783540248361
Release Date: 2004-05-19
Genre: Computers

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.

Model Driven Engineering and Ontology Development

Author: Dragan Ga#evic
Publisher: Springer Science & Business Media
ISBN: 364200282X
Release Date: 2009-06-12
Genre: Computers

Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are unfamiliar with these. This book fills this gap by covering the subject of MDA application for ontology development on the Semantic Web. The writing is technical yet clear, and is illustrated with examples. The book is supported by a website.