Kategoria BISAC: Computers >> Computer Simulation

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.

In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing...

Ecology is more quantitative and theory-driven than ever before, and A Primer of Ecology with R combines an introduction to the major theoretical concepts in general ecology with a cutting edge open source tool, the R programming language. Starting with geometric growth and proceeding through stability of multispecies interactions and species-abundance distributions, this book demystifies and explains fundamental ideas in population and community ecology. Graduate students in ecology, along with upper division undergraduates and faculty, will find this to be a useful overview of important...

Mathematische Modellbildung und numerische Simulation sind neben Experiment und Theoriebildung zur 3. Saule der naturwissenschaftlichen Forschung geworden. Das Lehrbuch bietet in kompakter Form die Grundlagen, um in Natur-, Ingenieur- und Lebenswissenschaften mathematische Modelle erarbeiten zu konnen. Fragen zur Dimensionsanalyse, zur asymptotischen Entwicklung und zu Grenzschichten werden behandelt und anhand von Fallbeispielen erlautert. Fur das Verstandnis sind allgemeine Kenntnisse der Analysis und der linearen Algebra erforderlich.

Optimization: Structure and Applications presents selected contributions from renowned researchers in the fields of operations research and industrial engineering. The book is divided into two parts; the first focuses on mathematical structure, and the second, on real-world applications. The work includes recent developments in several optimization-related topics such as decision theory, linear programming, turnpike theory, duality theory, convex analysis, and queuing theory. The applications presented include, but are not limited to, data imaging, network capacity allocation,...

Predictive Modeling of Dynamic Processes provides an overview of hydrocode technology, applicable to a variety of industries and areas of engineering design. Covering automotive crash, blast impact, and hypervelocity impact phenomena, this volume offers readers an in-depth explanation of the fundamental code components. Chapters include informative introductions to each topic, and explain the specific requirements pertaining to each predictive hydrocode.

Successfully blending crash simulation, hydrocode technology and impact engineering, this volume fills a gap in the...

Combat Modeling is a systematic learning resource and reference text for the quantitative analysis of combat. After a brief overview, authors Washburn and Kress present individual chapters on shooting without feedback; shooting with feedback; target defense; attrition models; game theory and wargames; search; unmanned aerial vehicles; and terror and insurgency. Three appendices provide a review of basic probability concepts, probability distributions, and Markov models; an introduction to optimization models; and a discussion of Monte-Carlo simulations. This is a book that can be...

Systems engineering encompasses a variety of components that embrace physical and conceptual phenomena. This book addresses all aspects of systems modeling and simulation. The first part of the text presents a step-by-step procedure for modeling different types of systems using techniques like a graph theoretic approach, interpretive structural modeling, and system dynamics modeling. It also covers physical systems framework and identification, systems analysis, and optimization aspects and numerical analysis. The second part presents real-life examples of simulation that illustrate...

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern generation, fault diagnosis, memory testing and power aware testing are discussed. Models and the corresponding algorithms are considered with respect to the most recent state of the art, and they are put into a historical context by a concluding chapter on...

Circuit Simulation gives a clear description of the numerical techniques and algorithms that are part of modern circuit simulators, with a focus on the most commonly used simulation modes: DC analysis and transient analysis. Tested in a graduate course on circuit simulation at the University of Toronto, this unique text provides the reader with sufficient detail and mathematical rigor to write his/her own basic circuit simulator. There is detailed coverage throughout of the mathematical and numerical techniques that are the...

In recent years fractional calculus has played an important role in various fields such as mechanics, electricity, chemistry, biology, economics, modeling, identification, control theory and signal processing. The scope of this book is to present the state of the art in the study of fractional systems and the application of fractional differentiation. Furthermore, the manufacture of nanowires is important for the design of nanosensors and the development of high-yield thin films is vital in procuring clean solar energy.

This wide range of applications is of interest to engineers,...

This field of research examines how embodied and situated agents, such as robots, evolve language and thus communicate with each other. This book is a comprehensive survey of the research in this emerging field.

The contributions explain the theoretical and methodological foundations of the field, and then illustrate the scientific and technological potentials and promising research directions. The book also provides descriptions of research experiments and related open software and hardware tools, allowing the reader to gain a practical knowledge of the topic.

The book will...

SYROM conferences have been organized since 1973 by the Romanian branch of the International Federation for the Promotion of Mechanisms and Machine Science IFToMM, Year by year the event grew in quality. Now in its 10th edition, international visibility and recognition among the researchers active in the mechanisms science field has been achieved.

SYROM 2009 brought together researchers and academic staff from the field of mechanisms and machine science from all over the world and served as a forum for presenting the achievements and most recent results in research and education....

Complex systems have become ubiquitous and are essential to today's society. The design of reliable complex systems and the determination of their availability are therefore very important tasks for managers and engineers. These tasks, however, can be extremely difficult to achieve, due to the fact that current analytical methods are often too complicated, time-consuming, inefficient, or even inappropriate, when dealing with real-life systems.

Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based...

Designed for undergraduate students in the general science, engineering, and mathematics community, Introduction to the Simulation of Dynamics Using Simulink^(r) shows how to use the powerful tool of Simulink to investigate and form intuitions about the behavior of dynamical systems. Requiring no prior programming experience, it clearly explains how to transition from physical models described by mathematical equations directly to executable Simulink simulations.

Teaches students how to model and explore the dynamics of systems
Step by...