This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

This book originates from the desire to perpetuate expertise in the field of performance evaluation, particularly for telecommunication systems and networks. It is obviously impossible to translate into a single work all the facets of an activity which encompasses many systems and a great variety of domains such as standardization,...

KINEMATICS is a branch of dynamics that studies aspects of motion apart from considerations of masses and forces. Essentially, Kinematics is a collection of vector/matrix methods to describe positions, velocities and accelerations of particles and rigid bodies, as viewed from various reference frames. The sub-eld of Particle Kinematics...

The present volume...

Besides the “classical” fields of application in photography, graphics and web design, it plays an important role in 3-D modelling, both in the creation of textures and in the post-production of rendered...

A treatment of distortion in RF power amplifiers. It seeks to offer guidance on designing easily linearizable systems that have low memory effects. The reader is offered a detailed understanding of how the matching impedances of a power amplifier and other RF circuits can be tuned to minimize overall distortion. It also demonstrates how to...

This book is an essential tool for second-year undergraduate students and above, providing clear and concise explanations of the basic concepts of computer graphics, and enabling the reader to immediately implement these concepts in Java 2D and/or 3D with only elementary knowledge of the programming language. Features: provides an ideal,...