Book Description

A unique guide to the design and implementation of simulation software

This book offers a concise introduction to the art of building simulation software, collecting the most important concepts and algorithms in one place. Written for both individuals new to the field of modeling and simulation as well as experienced practitioners, this guide explains the design and implementation of simulation software used in the engineering of large systems while presenting the relevant mathematical elements, concept discussions, and code development.

The book approaches the topic from the perspective of Zeigler’s theory of modeling and simulation, introducing the theory’s fundamental concepts and showing how to apply them to engineering problems. Readers will learn five necessary skills for building simulations of complicated systems:

• Working with fundamental abstractions for simulating dynamic systems
• Developing basic simulation algorithms for continuous and discrete event models
• Combining continuous and discrete event simulations into a coherent whole
• Applying strategies for testing a simulation
• Understanding the theoretical foundations of the modeling constructs and simulation algorithms

The central chapters of the book introduce, explain, and demonstrate the elements of the theory that are most important for building simulation tools. Download Now »

Book Description

Whether obtained by microscopes, space probes, or the human eye, the same basic tools can be applied to acquire, process, and analyze the data contained in images. Ideal for self study, The Image Processing Handbook, Sixth Edition, first published in 1992, raises the bar once again as the gold-standard reference on this subject. Using extensive new illustrations and diagrams, it offers a logically organized exploration of the important relationship between two-dimensional images and the three-dimensional structures they reveal.

Provides Hundreds of Visual Examples in FULL COLOR!
The author focuses on helping readers visualize and compare processing and measurement operations and how they are typically combined in fields ranging from microscopy and astronomy to real-world scientific, industrial, and forensic applications. Presenting methods in the order in which they would be applied in a typical workflow—from acquisition to interpretation—this book compares a wide range of algorithms used to:

• Improve the appearance, printing, and transmission of an image
• Prepare images for measurement of the features and structures they reveal
• Isolate objects and structures, and measure their size, shape, color, and position
• Correct defects and deal with limitations in images
• Enhance visual content and interpretation of details Download Now »

Book Description

Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured data. Since many new and advanced web applications consume a huge amount of such data, there is a growing need to properly design efficient databases.

This volume responds to that need by describing a semantically rich data model for semistructured data, called Object-Relationship-Attribute model for Semistructured data (ORA-SS). Focusing on this new model, the book discuss problems and present solutions for a number of topics, including schema extraction, the design of non-redundant storage organizations for semistructured data, and physical semsitructured database design, among others.

Semistructured Database Design, presents researchers and professionals with the most complete and up-to-date research in this fast-growing field.

“This book covers schema extraction from an Extensible Markup Language (XML) data instance, algorithmic normalization of that schema … and the discussion of relaxing the normalization to effect more efficient retrievals. … Database designers and students are obvious targets for this book … . The book is easy to read, and provides an approach to a very practical contemporary problem. The authors have organized their material for easy reading.”
–E.A. Unger, Computing Reviews, April, 2005

Download Now »

Book Description

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

Table of Contents
A Calculus for Hybrid CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Foundations of Quantum Programming (Extended Abstract) . . . . . . . . . . 16
From a Verified Kernel towards Verifed Systems . . . . . . . . . . . . . . . . . . . . . 21
Reasoning about Computations Using Two-Levels of Logic . . . . . . . . . . . . 34

Session 1
Typechecking Higher-Order Security Libraries . . . . . . . . . . . . . . . . . . . . . . . 47
Towards Deriving Type Systems and Implementations for Coroutines . . . 63
Liberal Typing for Functional Logic Programs . . . . . . . . . . . . . . . . . . . . . . . 80 Download Now »

Book Description

Evolutionary algorithms are becoming increasingly attractive across various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science and economics. Introduction to Evolutionary Algorithms presents an insightful, comprehensive, and up-to-date treatment of evolutionary algorithms. It covers such hot topics as: • genetic algorithms, • differential evolution, • swarm intelligence, and • artificial immune systems.

The reader is introduced to a range of applications, as Introduction to Evolutionary Algorithms demonstrates how to model real world problems, how to encode and decode individuals, and how to design effective search operators according to the chromosome structures with examples of constraint optimization, multiobjective optimization, combinatorial optimization, and supervised/unsupervised learning. This emphasis on practical applications will benefit all students, whether they choose to continue their academic career or to enter a particular industry. Introduction to Evolutionary Algorithms is intended as a textbook or self-study material for both advanced undergraduates and graduate students. Additional features such as recommended further reading and ideas for research projects combine to form an accessible and interesting pedagogical approach to this widely used discipline.

About the Author
Xinjie Yu is an associate professor of the department of electrical engineering at Tsinghua University. He received his PhD in Electrical Engineering from Tsinghua University in 2001. Download Now »

Book Description

There is a software gap between the hardware potential and the performance that can be attained using today’s software parallel program development tools. The tools need manual intervention by the programmer to parallelize the code. Programming a parallel computer requires closely studying the target algorithm or application, more so than in the traditional sequential programming we have all learned. The programmer must be aware of the communication and data dependencies of the algorithm or application. This book provides the techniques to explore the possible ways to program a parallel computer for a given application.

From the Back Cover
A balanced overview of the techniques used to design and program parallel computers

There is a software gap between parallel computers and programmers’ abilities to program such computers. Programming a parallel computer requires closely studying the target algorithm or application, more so than in traditional sequential programming. Today’s programmer must be aware of the communication and data dependencies of the algorithm or application; yet, programmers do not have the tools to help them implement an algorithm on a parallel computer platform. This book provides the techniques necessary to explore parallelism in algorithms, serial as well as iterative. It shows how to systematically design special-purpose parallel processing structures to implement algorithms.

The book begins by explaining how to classify an algorithm, and then identifying which technique would be appropriate to implement the application on a parallel platform. Download Now »