Описание: Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.
Автор: Marcio Luiz de Souza-Santos Название: Analytical and Approximate Methods in Transport Phenomena ISBN: 084933408X ISBN-13(EAN): 9780849334085 Издательство: Taylor&Francis Рейтинг: Цена: 21313 р. Наличие на складе: Поставка под заказ.
Описание: Provides a reference for the day-to-day problems encountered with heat, mass, or momentum transfer. Examining various analytical methods with several examples for each method, every chapter in this book uses a simple three-digit code to designate the order of the differential equation, and, the amount of independent variables involved.
Описание: A complete resource to Approximate Dynamic Programming (ADP), including on-line simulation code Provides a tutorial that readers can use to start implementing the learning algorithms provided in the book Includes ideas, directions, and recent results on current research issues and addresses applications where ADP has been successfully implemented The contributors are leading researchers in the field
Описание: Non-linear adaptive control refers to automated systems with a degree of artifical intelligence. At the turn of the 21st century, there has been wide interest in non-linear adaptive control using approximate models, either for tracking or regulation, and usually under the banner of neural network based control. This book describes the approximate model philosophy and its setting, and rigorously compares the performance of such controls against competing models.
Описание: The only complete collection of prevalent approximation methods Unlike any other resource, Approximate Solution Methods in Engineering Mechanics, Second Edition offers in-depth coverage of the most common approximate numerical methods used in the solution of physical problems, including those used in popular computer modeling packages. Descriptions of each approximation method are presented with the latest relevant research and developments, providing thorough, working knowledge of the methods and their principles. Approximation methods covered include: Boundary element method (BEM) Weighted residuals method Finite difference method (FDM) Finite element method (FEM) Finite strip/layer/prism methods Meshless method Approximate Solution Methods in Engineering Mechanics, Second Edition is a valuable reference guide for mechanical, aerospace, and civil engineers, as well as students in these disciplines.
Автор: Argyros Ioannis K Название: Approximate solution of operator equations with applications ISBN: 9812563652 ISBN-13(EAN): 9789812563651 Издательство: World Scientific Publishing Рейтинг: Цена: 15065 р. Наличие на складе: Поставка под заказ.
Описание: Researchers are faced with the problem of solving a variety of equations in the course of their work in engineering, economics, physics, and the computational
sciences. This book focuses on a new and improved local-semilocal and monotone convergence analysis of efficient numerical methods for computing approximate solutions of such
equations, under weaker hypotheses than in other works. This particular feature is the main strength of the book when compared with others already in the literature.
The
explanations and applications in the book are detailed enough to capture the interest of curious readers and complete enough to provide the necessary background material to go
further into the subject.
Описание: This volume presents a mathematical development of a recent approach to the modeling and simulation of turbulent flows based on methods for the approximate solution of inverse problems. The resulting Approximate Deconvolution Models or ADMs have some advantages over more commonly used turbulence models – as well as some disadvantages. Our goal in this book is to provide a clear and complete mathematical development of ADMs, while pointing out the difficulties that remain. In order to do so, we present the analytical theory of ADMs, along with its connections, motivations and complements in the phenomenology of and algorithms for ADMs.
Описание: Deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. This work is suitable for researchers, engineers and graduate students who have specialized in filtering theory and system theory.
Автор: Visser Название: Approximate Antenna Modeling for CAD ISBN: 0470512938 ISBN-13(EAN): 9780470512937 Издательство: Wiley Рейтинг: Цена: 14713 р. Наличие на складе: Поставка под заказ.
Описание: A tendency in present day literature is to publish on antennas (especially for mobile communications) that have been designed by trial-and-error, employing a full-wave electromagnetic analysis software package. Since the physics underlying the operation of these antennas are not fully understood or not fully described, the employment of these antenna types for other frequencies or other dielectrics as reported is often not straightforward. This problem is more serious for the inexperienced antenna engineer. Fast accurate antenna models that accompany new antenna concepts will help in getting these antenna concepts implemented in applications. In this book, different antennas for wireless and communications applications are discussed, each one linked to a specific application, thus emphasising the practical use of the antennas and models and not restricting the antennas to single applications. Detailed information about the model development and the use of the developed models will be given. The inexperienced antenna engineer will be guided through the design process of several antennas, including Intravascular MR Antennas, Component Antennas, PCB Antennas, RFID Antennas etc.
Описание: This book represents an up-to-date, complete and accessible introduction to approximate dynamic programming. It is motivated primarily by problems that arise in operations research and engineering. Much of the emphasis in the book is placed on how to model complex problems and design practical, scalable algorithms for solving them. Example problems generally involve the management of physical, financial or informational resources in an industrial setting.
Автор: Kofi Kissi Dompere Название: Fuzziness and Approximate Reasoning ISBN: 3540880860 ISBN-13(EAN): 9783540880868 Издательство: Springer Рейтинг: Цена: 19056 р. Наличие на складе: Поставка под заказ.
Описание: Presents the structure and epistemic analysis of uncertainty, expectations and risk in decision-choice actions through the characteristics of substitution-transformation and input-output processes in categorical dynamics of actual-potential duality. This book examines the interactive effects of rationality and expectation.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
