Model-based Design of Adaptive Embedded Systems

Adaptive optics is a powerful new technique used to sharpen telescope images blurred by the Earth's atmosphere. This authoritative book is the first dedicated to the use of adaptive optics in astronomy. Mainly developed for defence applications, the technique of adaptive optics has only recently been introduced in astronomy. Already it has allowed ground-based telescopes to produce images with sharpness rivalling those from the Hubble Space Telescope. The technique is expected to revolutionise the future of ground-based optical astronomy. Written by an international team of experts who have pioneered the development of the field, this timely volume provides both a rigorous introduction to the technique and a comprehensive review of current and future systems. It is set to become the standard reference for graduate students, researchers and optical engineers in astronomy and other areas of science where adaptive optics is finding exciting new applications.

While many of us are concerned with the loss of communal spaces and ties that broaden one's sense of self beyond the 'me' or 'I' and into the 'we' and 'us', less clear are the educational advantages of a community approach in terms of learning curricular content. The chapters in this 2004 volume explore the theoretical, design, learning, and methodological questions with respect to designing for and researching web-based communities to support learning. The authors, coming from diverse academic backgrounds (computer science, information science, instructional systems technology, educational psychology, sociology, and anthropology), are frank in examining what we do and do not know about the processes and practices of designing communities to support learning. Taken as a collection, these manuscripts point to the challenges and complex tensions that emerge when designing for web-supported community, especially when the focal practice of the community is learning.

While many of us are concerned with the loss of communal spaces and ties that broaden one's sense of self beyond the 'me' or 'I' and into the 'we' and 'us', less clear are the educational advantages of a community approach in terms of learning curricular content. The chapters in this 2004 volume explore the theoretical, design, learning, and methodological questions with respect to designing for and researching web-based communities to support learning. The authors, coming from diverse academic backgrounds (computer science, information science, instructional systems technology, educational psychology, sociology, and anthropology), are frank in examining what we do and do not know about the processes and practices of designing communities to support learning. Taken as a collection, these manuscripts point to the challenges and complex tensions that emerge when designing for web-supported community, especially when the focal practice of the community is learning.

Catholic thought and Lutheran thought are differently structured, embodying divergent conceptions of self and God. Failing to grasp the Lutheran paradigm, Catholics have wrenched Luther into an inappropriate framework. Roman/Lutheran ecumenism, culminating in the 'Joint Declaration' of 1999, attempts to reconcile incompatible systems, based on different philosophical presuppositions. Drawing on a wealth of material, both Continental and Anglo-Saxon, the author thinks through these structural questions within a historical context. But how - within a religion of revelation - can God be conceptualised as both foundational to the self and yet also as an 'other' with whom the self inter-relates? Kierkegaard is shown in a complex model to hold together strengths which historically have been exemplified by the two traditions. This is an important work in systematic theology which considers questions quite fundamental to Western religion. It should be of interest to theologians of all backgrou

This book deals with adaptive evolvable systems operating in a changing environment. The proposed component approach for the design of evolvable systems, the mathematical theory of evolvable machines,

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development.

An up-close look at the theory behind and application of extremum seeking Originally developed as a method of adaptive control for hard-to-model systems, extremum seeking solves some of the same pro

Digital arithmetic plays an important role in the design of general-purpose digital processors and of embedded systems for signal processing, graphics, and communications. In spite of a mature body of

This book provides a thorough introduction to the theory of classical integrable systems, discussing the various approaches to the subject and explaining their interrelations. The book begins by introducing the central ideas of the theory of integrable systems, based on Lax representations, loop groups and Riemann surfaces. These ideas are then illustrated with detailed studies of model systems. The connection between isomonodromic deformation and integrability is discussed, and integrable field theories are covered in detail. The KP, KdV and Toda hierarchies are explained using the notion of Grassmannian, vertex operators and pseudo-differential operators. A chapter is devoted to the inverse scattering method and three complementary chapters cover the necessary mathematical tools from symplectic geometry, Riemann surfaces and Lie algebras. The book contains many worked examples and is suitable for use as a textbook on graduate courses. It also provides a comprehensive reference for re

Intended for hardware and software engineers who design embedded systems, this dictionary explains the meaning, history, and purpose of the technologies, tools, abbreviations, and terms used in the fi

Facility in the targeted manipulation of the genetic and metabolic composition of organisms, combined with unprecedented computational power, is forging a niche for a new subspecialty of biotechnology called metabolic engineering. First published in 2002, this book introduces researchers and advanced students in biology and engineering to methods of optimizing biochemical systems of biotechnological relevance. It examines the development of strategies for manipulating metabolic pathways, demonstrates the need for effective systems models, and discusses their design and analysis, while placing special emphasis on optimization. The authors propose power-law models and methods of biochemical systems theory toward these ends. All concepts are derived from first principles, and the text is richly illustrated with numerous graphs and examples throughout. Special features include: nontechnical and technical introductions to models of biochemical systems; a review of basic methods of model des

This book provides a comprehensive look at the Schwarz-Christoffel transformation, including its history and foundations, practical computation, common and less common variations, and many applications in fields such as electromagnetism, fluid flow, design and inverse problems, and the solution of linear systems of equations. It is an accessible resource for engineers, scientists, and applied mathematicians who seek more experience with theoretical or computational conformal mapping techniques. The most important theoretical results are stated and proved, but the emphasis throughout remains on concrete understanding and implementation, as evidenced by the 76 figures based on quantitatively correct illustrative examples. There are over 150 classical and modern reference works cited for readers needing more details. There is also a brief appendix illustrating the use of the Schwarz-Christoffel Toolbox for MATLAB, a package for computation of these maps.

Detailing the design of RF MEMS-based circuits for high- performance wireless systems, this reference and guide explains the applications of RF MEMS technology, describes the variety and performance l

Behavioral decision theory draws on experimental research in cognitive psychology to provide a descriptively accurate model of human behavior. It shows that people systematically violate the normative assumptions of economic rationality by miscalculating probabilities and making choices based on one-economic criteria. Behavioral decision theory's ability to capture the complexity of human judgments and choices makes it a useful foundation for improving public policy analysis, design, and implementation. Originally published in 2001, this volume showcases the research of leading scholars who are working on applications of behavioral decision theory in diverse policy settings. It is designed to give policy analysts and practitioners who are non-psychologists a clearer understanding of the complexities of human judgment and choice, and suggest how to integrate behavioral decision theoretic insights into the policy sciences. This interdisciplinary volume should be insightful and useful whe

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-o

Presents current research in the fields of new actuators, advanced design methods, adaptive control concepts, complex sensor systems, and future applications. Several papers deal with humanoid robots

The control of vibrating systems is a significant issue in the design of aircraft, spacecraft, bridges and high-rise buildings. This 2001 book discusses the control of vibrating systems, integrating structural dynamics, vibration analysis, modern control and system identification. Integrating these subjects is an important feature in that engineers will need only one book, rather than several texts or courses, to solve vibration control problems. The book begins with a review of basic mathematics needed to understand subsequent material. Chapters then cover more recent and valuable developments in aerospace control and identification theory, including virtual passive control, observer and state-space identification, and data-based controller synthesis. Many practical issues and applications are addressed, with examples showing how various methods are applied to real systems. Some methods show the close integration of system identification and control theory from the state-space perspec

A comprehensive treatment of model-based fuzzy control systems This volume offers full coverage of the systematic framework for the stability and design of nonlinear fuzzy control systems. Building o

This book presents a thorough overview of a model of human functioning based on the idea that behavior is goal-directed and regulated by feedback control processes. It describes feedback processes and their application to behavior, considers goals and the idea that goals are organized hierarchically, examines affect as deriving from a different kind of feedback process, and analyzes how success expectancies influence whether people keep trying to attain goals or disengage. Later sections consider a series of emerging themes, including dynamic systems as a model for shifting among goals, catastrophe theory as a model for persistence, and the question of whether behavior is controlled or instead 'emerges'. Three chapters consider the implications of these various ideas for understanding maladaptive behavior, and the closing chapter asks whether goals are a necessity of life. Throughout, theory is presented in the context of diverse issues that link the theory to other literatures.

Catholic thought and Lutheran thought are differently structured, embodying divergent conceptions of self and God. Failing to grasp the Lutheran paradigm, Catholics have wrenched Luther into an inappropriate framework. Roman/Lutheran ecumenism, culminating in the 'Joint Declaration' of 1999, attempts to reconcile incompatible systems, based on different philosophical presuppositions. Drawing on a wealth of material, both Continental and Anglo-Saxon, the author thinks through these structural questions within a historical context. But how - within a religion of revelation - can God be conceptualised as both foundational to the self and yet also as an 'other' with whom the self inter-relates? Kierkegaard is shown in a complex model to hold together strengths which historically have been exemplified by the two traditions. This is an important work in systematic theology which considers questions quite fundamental to Western religion. It should be of interest to theologians of all backgrou

When a structure is put under an increasing compressive load, it becomes unstable and buckling occurs. Buckling is a particularly significant concern in designing shell structures such as aircraft, automobiles, ships, or bridges. This book discusses stability analysis and buckling problems and offers practical tools for dealing with uncertainties that exist in real systems. The techniques are based on two complementary theories which are developed in the text. First, the probabilistic theory of stability is presented, with particular emphasis on reliability. Both theoretical and computational issues are discussed. Secondly, the authors present the alternative to probability based on the notion of 'anti-optimization', a theory that is valid when the necessary information for probabilistic analysis is absent, that is, when only scant data are available. Design engineers, researchers, and graduate students in aerospace, mechanical, marine, and civil engineering who are concerned with iss

Despite the extraordinary advances in digital and communication technology over recent years, we know very little about the way these complex systems affect everyday work and interaction. This book seeks to explore these issues through a series of video-based field studies. It begins by discussing the introduction of basic information systems in general medical practice and ends with an exploration of interpersonal communication in advanced media spaces; in the process also looking at news production, the control room of London Underground and computer aided design in architectural practice. Social interaction forms a particular focus of these studies as they explore the way individuals use various tools and technologies and coordinate their actions and activities with each other. The authors also show how video-based field studies of work and interaction can inform the design, development and deployment of new technology, in this valuable new resource for academics, researchers and pr

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

"Analysis and Design of Energy Systems" is a readable, self-contained (data, properties), computer based and applications oriented book. It includes a large number of realistic examples and problems,

Gives a brief overview of robotic dynamic modeling, presents structured network models for robots, and provides systematic approaches for neural networks based adaptive controller design for rigid rob

This book presents a thorough overview of a model of human functioning based on the idea that behavior is goal-directed and regulated by feedback control processes. It describes feedback processes and their application to behavior, considers goals and the idea that goals are organized hierarchically, examines affect as deriving from a different kind of feedback process, and analyzes how success expectancies influence whether people keep trying to attain goals or disengage. Later sections consider a series of emerging themes, including dynamic systems as a model for shifting among goals, catastrophe theory as a model for persistence, and the question of whether behavior is controlled or instead 'emerges'. Three chapters consider the implications of these various ideas for understanding maladaptive behavior, and the closing chapter asks whether goals are a necessity of life. Throughout, theory is presented in the context of diverse issues that link the theory to other literatures.

Recent advances in the development of low-loss optical fibers have revolutionized the field of telecommunications, and fiber-based networks form a key part of international communications systems. This book introduces the physical principles of optical fibers, and details their use in sensor technology and modern optical communication systems. The authors begin by setting out the basic propagation characteristics of single mode and multimode optical fibers. In later chapters they cover optical sources, optical detectors, and fiber-optic communication system design. They also treat a wide variety of related topics such as doped fiber amplifiers, dispersion compensation, fiber sensors, and measurement techniques for the characterization of optical fibers. Throughout the book, physical and engineering aspects of the subject are interwoven, and many worked examples and exercises are included. It will be an ideal textbook for undergraduate or graduate students taking courses in optical fibe

This ground-breaking book distills the experience of the author in dealing with problems in industry that can be solved by using the SELECT Perspective. A pragmatic component-based approach for the development of enterprise systems, the SELECT Perspective comprises a unique blend of techniques, architecture, and process. Enterprise software development presents challenges of sheer scale and complexity that continue to accelerate at a terrific pace. Businesses are becoming increasingly adaptive and are calling for software that is more and more flexible. Component technology holds the promise of solving these problems, but there are some complications. For example, many organizations continue to struggle with the challenge of integrating their legacy systems with the newer technology. The approach in this book offers a streamlined set of modeling techniques based on the Unified Modeling Language (UML); uses a serviced-based architecture that provides an overall design philosophy for reu

How can the Earth become fully industrialised without overwhelming natural systems? This is a book for those who wish to participate more effectively in today's attempts to implement appropriate strategies. The reader will more deeply understand: • recycling - after learning what happens to lead and cadmium in consumer products; • solar energy - after exploring a future based on biomass energy; • chemicals in agriculture - after being introduced to ecotoxicology and the global nitrogen cycle; • industrial innovation - after reading eye-witness accounts of new design principles and management practices on the shop floor; • international cooperation - after confronting conflicting perspectives of authors from several countries. The goal is to empower the citizen activist, the scholar looking for new challenges, the business leader determined to move beyond slogans in achieving the greening of industry, and the educated person everywhere who finds these issues too important to be left to

In organisation theory a schism has developed between the traditional organisational behaviour literature, based in psychology, sociology and political science, and the more analytically rigorous field of organisational economics. The former stresses the importance of managerial leadership and cooperation among employees, while the latter focuses on the engineering of incentive systems that will induce efficiency and profitability, by rewarding worker self-interest. In this innovative book, Gary Miller bridges the gap between these literatures. He demonstrates that it is impossible to design an incentive system based on self-interest that will effectively discipline all subordinates and superiors and obviate or overcome the roles of political conflict, collective action, and leadership in an organisation. Applying game theory to the analysis of the roles of cooperation and political leadership in organisational hierarchies, he concludes that the organisation whose managers can inspire

Observations of ocean circulation have increased as a result of international field programmes and of remote sensing systems on artificial earth satellites. Oceanographers are increasingly turning to inverse methods for combining these observations with numerical models of ocean circulation. Professor Bennett's work explores the potential for inverse theory, emphasizing possibilities rather than expedient or rudimentary applications. In addition to interpolating the data and adding realism to the model solutions, the methods can yield estimates for unobserved flow variables, forcing fields, and model parameters. Inverse formulations can resolve ill-posed modelling problems, lead to design criteria for oceanic observing systems, and enable the testing of models as scientific hypothesis. Exercises of varying difficulty rehearse technical skills and supplement the central theoretical development. Thus this book will be invaluable for environmental scientists and engineers, advanced underg

S.S. Rao presents the principles of reliability-based engineering and design in a simple and straight-forward approach. He addresses the design of mechanical components and systems; Monte Carlo simula

This book was first published in 1992. For decades Yugoslavia had been developing its own model of socialism based on workers' self-management and the increasing use of the market mechanism. As a result, many scholars view the Yugoslav economy differently from other socialist systems. In this book, Dr Milica Uvalic demonstrates how some of the fundamental features of the Yugoslav economy have remained similar to those characterising other socialist economies. Dr Uvalic focuses on theoretical and empirical issues related to investment in Yugoslavia since 1965. She examines investment policies, sources of finance, macroeconomic performance, enterprise incentives, and current property reforms in relation to Western theory on investment behaviour in the labour-managed firm and Kornai's theory on socialist economies. In line with Kornai's theory, the author argues that investment reforms have not led to substantially changed enterprise behaviour, which illustrates the limited results to be

This book covers the physical side of colloidal science from the individual forces acting between particles smaller than a micrometer that are suspended in a liquid, through the resulting equilibrium and dynamic properties. A variety of internal forces both attractive and repulsive act in conjunction with Brownian motion and the balance between them all decides the phase behaviour. On top of this various external fields, such as gravity or electromagnetic fields, diffusion and non-Newtonian rheology produce complex effects, each of which is of important scientific and technological interest. The authors aim to impart a sound, quantitative understanding based on fundamental theory and experiments with well-characterised model systems. This broad grasp of the fundamentals lends insight and helps to develop the intuitive sense needed to isolate essential features of the technological problems and design critical experiments. The main prerequisites for understanding the book are basic flui

In organisation theory a schism has developed between the traditional organisational behaviour literature, based in psychology, sociology and political science, and the more analytically rigorous field of organisational economics. The former stresses the importance of managerial leadership and cooperation among employees, while the latter focuses on the engineering of incentive systems that will induce efficiency and profitability, by rewarding worker self-interest. In this innovative book, Gary Miller bridges the gap between these literatures. He demonstrates that it is impossible to design an incentive system based on self-interest that will effectively discipline all subordinates and superiors and obviate or overcome the roles of political conflict, collective action, and leadership in an organisation. Applying game theory to the analysis of the roles of cooperation and political leadership in organisational hierarchies, he concludes that the organisation whose managers can inspire

This book deals with advanced fluid flow methods for design and analysis of engineering systems. Panel methods employing surface distributions of source and vortex singularities based on the solution of boundary integral equations have been extensively used for modelling external and internal aerodynamic flows. Part 1 describes the surface vorticity method and illustrates applications of this technique over a wide range of engineering problems in aerodynamics and turbo-machines, including lifting aerofoils and cascades, mixed-flow and rotating cascades for fans, pumps or turbines, meridional flows in turbo-machines, flow past axisymmetric bodies, ducts and ducted propellers or fans. Part 2 extends surface vorticity modelling to the fairly new CFM field of vortex dynamics or vortex cloud theory, including foundation chapters on convection and viscous diffusion by the random walk technique. Vortex cloud methods are developed, again from first principles, to deal with shear layers, bounda

Working from an engineering approach based on fundamental concepts, it explores the design and function of industrial ventilation systems. Describes a systematic approach to protecting worker health t

This book is a digital electronics text focused on 'how to' design, build, operate and adapt data acquisition systems. The book is intended to serve people whose goals include teaching or learning one or more of the following: digital electronics, circuit design for computer expansion slots, software which interacts with outside hardware, the process of computer based data acquisition, and the design, adaptation, construction and testing of measurement systems. The fundamental idea of the book is that parallel I/O ports (available for all popular computers) offer a superior balance of simplicity, low cost, speed, flexibility and adaptability.

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approa

This study explores an approach to text generation that interprets systemic grammar as a computational representation. Terry Patten demonstrates that systemic grammar can be easily and automatically translated into current AI knowledge representations and efficiently processed by the same knowledge-based techniques currently exploited by expert systems. Thus the fundamental methodological problem of interfacing specialized computational representations with equally specialized linguistic representations can be resolved. The study provides a detailed discussion of a substantial implementation involving a relatively large systemic grammar, and a formal model of the method. It represents a fundamental and productive contribution to the literature on text generation.