Parallel Processing Applications for Jet Engine Control is a volume in the new Advances in Industrial Control series, edited by Professor M.J. Grimble and Dr. M.A. Johnson of the Industrial Control Unit, University of Strathclyde. The book describes the mapping and load balancing of gas turbine engine and controller simulations onto arrays of transputers. It compares the operating system for transputers and the Uniform System upon the Butterfly Plus computer. The problem of applying formal methods to parallel asychronous processors is addressed, implementing novel fault tolerant systems to meet real-time flight control requirements. The book presents real-time closed-loop results highlighting the advantages and disadvantages of Occam and the transputer. Readers will find that this book provides valuable material for researchers in both academia and the aerospace industry.

This volume contains papers representing a comprehensive record of the contributions to the fifth workshop at EG '90 in Lausanne. The Eurographics hardware workshops have now become an established forum for the exchange of information about the latest developments in this field of growing importance. The first workshop took place during EG '86 in Lisbon. All participants considered this to be a very rewarding event to be repeated at future EG conferences. This view was reinforced at the EG '87 Hardware Workshop in Amsterdam and firmly established the need for such a colloquium in this specialist area within the annual EG conference. The third EG Hardware Workshop took place in Nice in 1988 and the fourth in Hamburg at EG '89. The first part of the book is devoted to rendering machines. The papers in this part address techniques for accelerating the rendering of images and efficient ways of improv ing their quality. The second part on ray tracing describes algorithms and architectures for producing photorealistic images, with emphasis on ways of reducing the time for this computationally intensive task. The third part on visualization systems covers a num ber of topics, including voxel-based systems, radiosity, animation and special rendering techniques. The contributions show that there is flourishing activity in the development of new algorithmic and architectural ideas and, in particular, in absorbing the impact of VLSI technology. The increasing diversity of applications encourage new solutions, and graphics hardware has become a research area of high activity and importance.

The first German edition of this book appeared in 1972, and in Polish translation in 1976. It covered the analysis and synthesis of sampled-data systems. The second German edition of 1983 ex tended the scope to design, in particular design for robustness of control system properties with respect to uncertainty of plant parameters. This book is a revised translation of the second Ger man edition. The revisions concern primarily a new treatment of the finite effect sequences and the use of nice numerical proper ties of Hessenberg forms. The introduction describes examples of sampled-data systems, in particular digital controllers, and analyzes the sampler and hold; also some design aspects are introduced. Chapter 2 reviews the modelling and analysis of continuous systems. Pole shifting is formulated as an affine mapping, here some n w material on fixing some eigenvalues or some gains in a design step is included. Chapter 3 treats the analysis of sampled-data systems by state space and z-transform methods. This includes sections on inter sampling behavior, time-delay systems, absolute stability and non synchronous sampling. Chapter 4 treats controllability and reach ability of discrete-time systems, controllability regions for con strained inputs and the choice of the sampling interval primarily under controllability aspects. Chapter 5 deals with observability and constructability both from the discrete and continuous plant output. Full and reduced order observers are treated as well as disturbance observers."

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growing exponentially according to Moore's Law, pushing technology towards the system-on-a-chip (SOC) era. However, we are increasingly experiencing a productivity gap where the chip complexity that can be handled by current design teams falls short of the possibilities offered by technological advances. Together with growing time-to-market pressures, this drives the need for innovative measures to increase design productivity by orders of magnitude. It is commonly agreed that the solutions for achieving such a leap in design productivity lie in a shift of the focus of the design process to higher levels of abstraction on the one hand and in the massive reuse of predesigned, complex system components (intellectual property, IP) on the other hand. In order to be successful, both concepts eventually require the adoption of new languages and methodologies for system design, backed-up by the availability of a corresponding set of system-level design automation tools. This book presents the SpecC system-level design language (SLDL) and the corresponding SpecC design methodology. The SpecC language is intended for specification and design of SOCs or embedded systems including software and hardware, whether using fixed platforms, integrating systems from different IPs, or synthesizing the system blocks from programming or hardware description languages. SpecC Specification Language and Methodology describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of steps. Each model is described and guidelines are given for generating these models from executable specifications. Finally, the SpecC methodology is demonstrated on an industrial-size example. The design community is now entering the system level of abstraction era and SpecC is the enabling element to achieve a paradigm shift in design culture needed for system/product design and manufacturing. SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design.

This book is intended to be a working reference for electronic hardware de signers who are interested in writing VHDL models. A handbook/cookbook approach is taken, with many complete examples used to illustrate the fea tures of the VHDL language and to provide insight into how particular classes of hardware devices can be modelled in VHDL. It is possible to use these models directly or to adapt them to similar problems with minimal effort. This book is not intended to be a complete reference manual for the VHDL language. It is possible to begin writing VHDL models with little background in VHDL by copying examples from the book and adapting them to particular problems. Some exposure to the VHDL language prior to using this book is recommended. The reader is assumed to have a solid hardware design background, preferably with some simulation experience. For the reader who is interested in getting a complete overview of the VHDL language, the following publications are recommended reading: * An Introduction to VHDL: Hardware Description and Design [LIP89] * IEEE Standard VHDL Language Reference Manual [IEEE87] * Chip-Level Behavioral Modelling [ARMS88] * Multi-Level Simulation of VLSI Systems [COEL87] Other references of interest are [USG88], [DOD88] and [CLSI87] Use of the Book If the reader is familiar with VHDL, the models described in chapters 3 through 7 can be applied directly to design problems.

VHDL is a comprehensive language that allows a user to deal with design complexity. Design, and the data representing a design, are complex by the very nature of a modern digital system constructed from VLSI chips. VHDL is the first language to allow one to capture all the nuances of that complexity, and to effectively manage the data and the design process. As this book shows, VHDL is not by its nature a complex language. In 1980, the U. S. Government launched a very aggressive effort to advance the state-of-the-art in silicon technology. The objective was to significantly enhance operating performance and circuit density for Very Large Scale Integration (VLSI) silicon chips. The U. S. Government realized that in order for contractors to be able to work together to develop VLSI products, to document the resulting designs, to be able to reuse the designs in future products, and to efficiently upgrade existing designs, they needed a common communication medium for the design data. They wanted the design descriptions to be computer readable and executable. They also recognized that with the high densities envisioned for the U. S. Government's Very High Speed Integrated Circuit (VHSIC) chips and the large systems required in future procurements, a means of streamlining the design process and managing the large volumes of design data was required. Thus was born the concept of a standard hardware design and description language to solve all of these problems.

The IUTAM Symposium on Advanced Boundary Element Methods brought together both established and current researchers in the broad context of applications of BEM technology. The goal of the Symposium was to provide both a formal and an informal forum for the interchange of ideas and the stimulation of new research directions.

Conceptual Design is one of the few areas of Engineering Design where computers have yet to make an impact. With the development of Knowledge Based Systems it is now possible to rectify this situation. This publication deals with the use of Knowledge Based Systems (KBS) as tools for conceptual design. Included are neglected aspects such as evaluation and user needs. Practical Knowledge Based Systems in Conceptual Design is based on the authors' experience of developing KBS for use in civil engineering, an area of industrial application which is recognised as being one of great potential. The methodology has been tried and tested by designers. Examples of systems which have been developed to solve specific design problems are included.

Nonlinear photonics is the name given to the use of nonlinear optical devices for the generation, communication, processing, or analysis of information. This book is a progress report on research into practical applications of such devices. At present, modulation, switching, routing, decision-making, and detection in photonic systems are all done with electronics and linear optoelectronic devices. However, this may soon change, as nonlinear optical devices, e.g. picosecond samplers and switches, begin to complement optoelectonic devices. The authors succinctly summarize past accomplishments in this field and point to hopes for the future, making this an ideal book for newcomers or seasoned researchers wanting to design and perfect nonlinear optical devices and to identify applications in photonic systems.

A Practical Guide to Analog Behavioral Modeling for IC System Design presents a methodology for abstracting an IC system so that the designer can gain a macroscopic view of how sub-systems interact, as well as verify system functionality in various applications before committing to a design. This will prevent problems that may be caused late in the design-cycle by incompatibilities between the individual blocks that comprise the overall system. This book will focus on the techniques of modelling IC systems through analog behavioral modeling and simulation. It will investigate a practical approach by which designers can put together these systems to analyze topological and architectural issues to optimize IC system performance.Highlights: * Discussions on modeling and simulation from SPICE to behavioral simulators * Comparison of various hardware description languages and a discussion on the effects of language standardization * Explanation on how to reduce time-to-market by decreasing design-cycle time through modeling and simulation * Contains more than 25 building block examples that can be used to construct mixed-signal IC system models * Analysis of 4 different IC systems using various levels of model detail This book is intended for the practicing engineer who would like to gain practical knowledge in applications of analog behavioral modelling for IC system design.

About two years ago, while attending yet another international standards meeting, a few of the meeting participants were discussing the utility and applicability of the standards we were designing. After all, if standards are not used, and used effectively, why are we spending all this time and money designing them? The ultimate test of the utility of computer standards is the number of implementations that are developed and the number of end-users that successfully use these within their own application. The number of implementations is related to the quality of a standard because vendors cannot produce correct implementations without clear, precise and unambiguous semantics within the standard. The number of users of implementations of the standards is an even greater measure of success of the standard because users will only purchase these implementations if they are useful for their applications. "How could we determine whether or not graphics standards are useful?" we asked ourselves. " Let's ask both implementors and users about the experiences they've had with our standards. Let them tell us about the successes and the problems as well. " Thus, an idea was born - the idea of a series of workshops, each one devoted to the usability of a different computer graphics standard. The only thing left to do in planning this workshop was to choose the appropriate standard to serve as the focus of the first workshop. There were only a few viable candidates.

General Applications of BEM to electromagnetic problems are comparatively new although the method is ideally suited to solve these problems, which usually involve unbounded domains. The present volume comprises contributions by eminent researchers working on applications of boundary elements in electromagnetic problems. The volume deals with the solutions of Maxwell's equation for three-dimensional as well as two-dimensional cases. It also discusses combination of BEM with FEM particularly in the case of saturated media. Some chapters specifically deal with the design of electromagnetic devices. The book is essential reading to those engineers and scientists, who are interested in the state of the art for electrical and electromagnetic application of boundary elements. It is also an important reference for those engineers who are working on the design of electromagnetic components many of which can be advantageously carried out using BEM.

The success of VHDL since it has been balloted in 1987 as an IEEE standard may look incomprehensible to the large population of hardware designers, who had never heared of Hardware Description Languages before (for at least 90% of them), as well as to the few hundreds of specialists who had been working on these languages for a long time (25 years for some of them). Until 1988, only a very small subset of designers, in a few large companies, were used to describe their designs using a proprietary HDL, or sometimes a HDL inherited from a University when some software environment happened to be developped around it, allowing usability by third parties. A number of benefits were definitely recognized to this practice, such as functional verification of a specification through simulation, first performance evaluation of a tentative design, and sometimes automatic microprogram generation or even automatic high level synthesis. As there was apparently no market for HDL's, the ECAD vendors did not care about them, start-up companies were seldom able to survive in this area, and large users of proprietary tools were spending more and more people and money just to maintain their internal system.

Computer Science Workbench is a monograph series which will provide you with an in-depth working knowledge of current developments in computer technology. Every volume in this series will deal with a topic of importance in computer science and elaborate on how you yourself can build systems related to the main theme. You will be able to develop a variety of systems, including computer software tools, computer graphics, computer animation, database management systems, and computer-aided design and manufacturing systems. Computer Science Workbench represents an important new contribution in the field of practical computer technology. T08iyasu L. Kunii PREFACE The primary aim of this book is to present a coherent and self-contained de scription of recent advances in three-dimensional object recognition from range images. Three-dimensional object recognition concerns recognition and localiza tion of objects of interest in a scene from input images. This problem is one of both theoretical and practical importance. On the theoretical side, it is an ideal vehicle for the study of the general area of computer vision since it deals with several important issues encountered in computer vision-for example, issues such as feature extraction, acquisition, representation and proper use of knowl edge, employment of efficient control strategies, coupling numerical and symbolic computations, and parallel implementation of algorithms. On the practical side, it has a wide range of applications in areas such as robot vision, autonomous navigation, automated inspection of industrial parts, and automated assembly."

This book contains a selection of tutorials on hot topics in information technology, which were presented at the IFIP World Computer Congress. WCC2004 took place at the Centre de Congres Pierre Baudis, in Toulouse, France, from 22 to 27 August 2004. The 11 chapters included in the book were chosen from tutorials proposals submitted to WCC2004. These papers report on several important and state-of-the-art topics on information technology such as: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems Discrete Event Simulation Human-Centered Automation We hereby would like to thank IFIP and more specifically WCC2004 Tutorials Committee and the authors for their contribution. We also would like to thank the congress organizers who have done a great job. Ricardo Reis Editor QUALITY OF SERVICE IN INFORMATION NETWORKS Augusto Casaca IST/INESC, R. Alves Redol, 1000-029, Lisboa, Portugal. Abstract: This article introduces the problems concerned with the provision of end-- end quality of service in IP networks, which are the basis of information networks, describes the existing solutions for that provision and presents some of the current research items on the subject. Key words: Information networks, IP networks, Integrated Services, Differentiated Services, Multiprotocol Label Switching, UMTS."

More and more digital devices are being used for informa tion processing and control purposes in a variety of systems applications, including industrial processes, power networks, biological systems and communication networks. This trend has been helped by the advent of microprocessors and the consequent availability of cheap distributed computing power. For those applications, where digital devices are used, it is reasonable to model the system in discrete-time. In addition there are other application areas, e.g. econometric systems, business systems, certain command and control systems, environmental systems, where the underlying models are in discrete-time and here discrete-time approaches to analysis and control are the most appropriate. In order to deal with these two situations, there has been a lot of interest in developing techLiques which allow us to do analysis, design and control of discrete-time systems. This book provides a comprehensive treatment of discrete time dynamical systems. It covers the topics of modelling, optimization techniques and control design. The book is designed to serve as a text for teaching at the first year graduate level. The material included is organized into eight chapters."

too vast, too complex, too grand ... for description. John Wesley Powell-1870 (discovering the Grand Canyon) VHDL is a big world. A beginner can be easily disappointed by the generality of this language. This generality is explained by the large number of domains covered - from specifications to logical simulation or synthesis. To the very beginner, VHDL appears as a "kit". He is quickly aware that his problem may be solved with VHDL, but does not know how. He does not even know how to start. In this state of mind, all the constraints that can be set to his modeling job, by using a subset of the language or a given design methodology, may be seen as a life preserver. The success of the introduction of VHDL in a company depends on solutions to many questions that should be answered months before the first line of code is written: * Why choose VHDL? * Which VHDL tools should be chosen? * Which modeling methodology should be adopted? * How should the VHDL environment be customized? * What are the tricks? Where are the traps? * What are the differences between VHDL and other competing HDLs? Answers to these questions are organized according to different concerns: buying the tools, organizing the environment, and designing. Decisions taken in each of these areas may have many consequences on the way to the acceptance and efficiently use of VHDL in a company.

Intelligent robotics has become the focus of extensive research activity. This effort has been motivated by the wide variety of applications that can benefit from the developments. These applications often involve mobile robots, multiple robots working and interacting in the same work area, and operations in hazardous environments like nuclear power plants. Applications in the consumer and service sectors are also attracting interest. These applications have highlighted the importance of performance, safety, reliability, and fault tolerance. This volume is a selection of papers from a NATO Advanced Study Institute held in July 1989 with a focus on active perception and robot vision. The papers deal with such issues as motion understanding, 3-D data analysis, error minimization, object and environment modeling, object detection and recognition, parallel and real-time vision, and data fusion. The paradigm underlying the papers is that robotic systems require repeated and hierarchical application of the perception-planning-action cycle. The primary focus of the papers is the perception part of the cycle. Issues related to complete implementations are also discussed.

Welcome to Bavaria - Germany and to the INTERNATIONAL NUCLEAR SIMULATION SYMPOSIUM AND MATHEMATICAL MODELLING WORKSHOP. A triennial international conference jointly promoted by Control.Data, GRS and SCS, which takes place at Schliersee, a small town near the Alps. The aim of the Symposium is to cover most of the aspects of nuclear modelling and simulation in theory and practice, to promote the exchange of knowledge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modelling and simulation techniques. On the occasion of the Symposium people of scientific and engineering disciplines will meet to discuss the state-of-the-art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the papers committee to guarantee a high international standard. The book contains the accepted papers which will be presented at the Symposium. The papers have been classified according to the following topics: 1. HARDWARE TOOLS 2. SIMULATION-SOFTWARE-TOOLS 3. PLANT ANALYSER 4. REACTOR CORE 5. NUCLEAR WASTE Authors from 9 countries will meet at the Symposium. They work for Industrial Companies, Universities and the Research and Development Institutes so that a broad spectrum of simulation activities is covered: Theory and application, hardware and software, research and operations. The editor is greatful to the authors for making possible the publication of this book, and especially to WOLFGANG F. WERNEB, for the selection of the papers and the contribution to the success of the Symposium.

to Robotics In collaboration with Milan Djurovic, Dragan Hristic, Branko Karan, Manja Kireanski, N enad Kireanski, Dragan Stokic, Dragoljub Vujic, Vesna Zivkovic With 228 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo 1989 .. Miomir Vukobratovic, Ph. D., D. Sc. Milan Djurovic B. Sc. Dragan Hristic Ph.D. Branko Karan B. Sc. Manja Kircanski Ph.D. Nenad Kireanski Ph.D. Dragan Stokic Ph.D. Dragoljub Vujic Ph.D. Vesna Zivkovic Ph.D. Institute Mibajlo Pupin YU-llOOO Beograd Based on the original Uvod u Robotiku published by Institute Mibajlo Pupin, Beograd, Yugoslavia, 1986. ISBN -13: 978-3-642-82999-4 e-ISBN -13: 978-3-642-82997-0 DOl: 10.1007/978-3-642-82997-0 Library of Congress Cataloging-in-Publication Data Vukobratovic, Miomir. Introduction to robotics. Translation of: Uvod u robotiku. Includes index. 1. Robotics. 1. Title. TJ211.V86131988 629.8'92 88-10307 ISBN-i3:978-3-642-82999-4 (U.S.) This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustration, recitation, broadcasting, reproduction on microfilms or in other ways. and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9,1965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law.

This book constitutes the refereed proceedings of the International Conference, GDC 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of grid and distributed computing.

EUROGRAPHICS workshops on Graphics hardware have now become an established forum for an exchange of information con cerning the latest developments in this field of growing importance. The first workshop took place during EG'86 in Lisbon. All parti cipants in this event considered it a very rewarding workshop to be repeated at future EG conferences. This view was reinforced at the EG'87 Hardware Workshop in Amsterdam which firmly esta blished the need for and a high interest in such a colloquium of technical discussion in this specialist area within the annual EG conference. The third EG Hardware Workshop took place in Nice in 1988 and this volume is a record of the fourth workshop at EG'89 in Hamburg. The material in this book contains papers representing a com prehensive record of the contributions to the 1989 workshop. The first part considers Algorithms and Architectures of graphics systems. These papers discuss the broader issues of system design, without necessarily raising issues concerning the details of the implementation. The second part on Systems describes hardware solutions and realisations of machines dedicated to graphics processing. Many of these contributions make important references to algorithmic and architectural issues as well, but there is now a greater emphasis on realisation. Indeed many VLSI designs are described.

We have written this book principally for users and practitioners of computer graphics. In particular, system designers, independent software vendors, graphics system implementers, and application program developers need to understand the basic standards being put in place at the so-called Virtual Device Interface and how they relate to other industry standards, both formal and de facto. Secondarily, the book has been targetted at technical managers and advanced students who need some understanding of the graphics standards and how they fit together, along with a good overview of the Computer Graphics Interface (CGI) proposal and Computer Graphics Metafile (CGM) standard in particular. Part I, Chapters 1,2, and 3; Part II, Chapters 10 and 11; Part III, Chapters 15, 16, and 17; and some of the Appendices will be of special interest. Finally, these same sections will interest users in government and industry who are responsible for selecting, buying and installing commercial implementations of the standards. The CGM is already a US Federal Information Processing Standard (FIPS 126), and we expect the same status for the CGI when its development is completed and it receives formal approval by the standards-making bodies.

This book is a result of the lectures and discussions during the conference "Theory and Practice of Geometric Modeling." The event has been organized by the Wilhelm-Schickard-Institut fiir Informatik, Universitat Tiibingen and took place at the Heinrich-Fabri-Institut in Blaubeuren from October 3 to 7, 1988. The conference brought together leading experts from academic and industrial research institutions, CAD system developers and experien ced users to exchange their ideas and to discuss new concepts and future directions in geometric modeling. The main intention has been to bridge the gap between theoretical results, performance of existing CAD systems and the real problems of users. The contents is structured in five parts: A Algorithmic Aspects B Surface Intersection, Blending, Ray Tracing C Geometric Tools D Different Representation Schemes in Solid Modeling E Product Modeling in High Level Specifications The material presented in this book reflects the current state of the art in geometric modeling and should therefore be of interest not only to university and industry researchers, but also to system developers and practitioners who wish to keep up to date on recent advances and new concepts in this rapidly expanding field. The editors express their sincere appreciation to the contributing authors, and to the members of the program committee, W. Boehm, J. Hoschek, A. Massabo, H. Nowacki, M. Pratt, J. Rossignac, T. Sederberg and W. Tiller, for their close cooperation and their time and effort that made the conference and this book a success."

DSP System Design presents the investigation of special type of IIR polyphase filter structures combined with frequency transformation techniques used for fast, multi-rate filtering, and their application for custom fixed-point implementation. Detailed theoretical analysis of the polyphase IIR structure has been presented for two and three coefficients in the two-path arrangement. This was then generalized for arbitrary filter order and any number of paths. The use of polyphase IIR structures in decimation and interpolation is being presented and performance assessed in terms of the number of calculations required for the given filter specification and the simplicity of implementation. Specimen decimation filter designs to be used in Sigma-Delta lowpass and bandpass A/D converters are presented which prove to outperform other traditional approaches.

New frequency transformation types have been suggested for both real and complex situations. A new exact multi-point frequency transformation approach for arbitrary frequency choice has been suggested and evaluated. Applying such transformations to the existing filter allows to change their frequency response in an intuitive manner without the need of re-designing them, thus simplifying the designer's job when the specification changes during the prototyping and testing.

A new bit-flipping' algorithm has been developed to aid in filter design where the coefficient word length is constraint. Also, the standard Downhill Simplex Method (floating-point) was modified to operate with the constrained coefficient word length. Performance of both these advances is being evaluated on a number of filter cases. Novel decimation and interpolation structures have been proposed, which can be implemented very efficiently. These allow an arbitrary order IIR anti-aliasing filter to operate at the lower rate of the decimator/interpolator. Similar structures for polyphase IIR decimator/interpolator structures are being discussed too.

A new approach to digital filter design and implementation has been suggested which speeds-up silicon implementation of designs developed in Matlab. The Simulink block description is converted automatically into a bit-to-bit equivalent VHDL description. This in turn can be compiled, simulated, synthesized and fabricated without the need to go through the design process twice, first algorithmic/structural design and then the implementation.

The book is full of design and analysis techniques. It contains sufficient introductory material enabling non-expert readers to understand the material given in it.

DSP System Design may be of interest to graduate students, researchers, and professionals circuit designers, who would require fast and low-complexity digital filters for both single and multi-rate applications, especially those with low-power specification.