Advanced Computing Concepts and Techniques in Control Engineering

Advanced Computing Concepts and Techniques in Control Engineering

Author: Michael J. Denham

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 520

ISBN-13: 3642835481

DOWNLOAD EBOOK

Computational concepts and techniques have always played a major role in control engineering since the first computer-based control systems were put into operation over twenty years ago. This role has in fact been accelerating over the intervening years as the sophistication of the computing methods and tools available, as well as the complexity of the control problems they have been used to solve, have also increased. In particular, the introduction of the microprocessor and its use as a low-cost computing element in a distributed computer control system has had a profound effect on the way in which the design and implementation of a control system is carried out and, to some extent, on the theory which underlies the basic design strategies. The development of interactive computing has encouraged a substantial growth in the use of computer aided design methods and robust and efficient numerical algorithms have been produced to support these methods. Major advances have also taken place in the languages used for control system implementation, notably the recent introduction of Ada'", a language whose design is based on some very fundamental computer science concepts derived and developed over the past decade. With the extremely high rate of change in the field of computer science, the more recent developments have outpaced their incorporation into new control system design and implementation techniques.


Diagnosis and Fault-Tolerant Control

Diagnosis and Fault-Tolerant Control

Author: Mogens Blanke

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 583

ISBN-13: 3662053446

DOWNLOAD EBOOK

This book presents model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance. Case studies demonstrate the methods presented. The second edition includes new material on reconfigurable control, diagnosis of nonlinear systems, and remote diagnosis, plus new examples and updated bibliography.


Parallel Computing on Distributed Memory Multiprocessors

Parallel Computing on Distributed Memory Multiprocessors

Author: Füsun Özgüner

Publisher: Springer Science & Business Media

Published: 1993-02-10

Total Pages: 348

ISBN-13: 9783540562955

DOWNLOAD EBOOK

Proceedings of the NATO Advanced Study Institute on Parallel Computing on Distributed Memory Multiprocessors, held at Bilkent University, Ankara, Turkey, July 1-13, 1991


New Directions in Educational Technology

New Directions in Educational Technology

Author: Eileen Scanlon

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 257

ISBN-13: 3642777503

DOWNLOAD EBOOK

This book is based on the workshop that kickstarted the NATO Science Committee Special Programme on Advanced Educational Technology. We invited the leaders in the field to attend this inaugural meeting and were delighted by the quality of the attendance, the papers delivered at the workshop and this book. Many of the authors have subsequently run other meetings funded by the Special Programme and have, or are in the process of, editing books which focus on particular topics. This book covers all the major themes in the area ranging from fundamental theoretical work to empirical studies of state of the art technological innovations. Tim O'Shea chaired the NATO Survey Group which planned the Programme and the subsequent Panel which disbursed funds in the first two years of the Programme. He would like to thank the other group and panel members, namely, Professor N Balacheff, Professor D Bjomer, Professor H Bouma, Professor P C Duchastel, Professor A Dias de Figueiredo, Dr D Jonassen and Professor T Liao. He would like to offer his special thanks to Dr L V da Cunha the NATO Programme Director for his unfailing support and patience. Eileen Scanlon was the Director of the Workshop which is the basis of this book. She offers heartfelt thanks to the contributors and to the following who provided practical help with the meeting or the production of this book: Mrs Pauline Adams, Dr Mike Baker, Mrs Kathy Evans, Mrs Patricia Roe, Mr Dave Perry and Ms Fiona Spensley.


Exploiting Mental Imagery with Computers in Mathematics Education

Exploiting Mental Imagery with Computers in Mathematics Education

Author: Rosamund Sutherland

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 337

ISBN-13: 3642577717

DOWNLOAD EBOOK

The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.


Computers and Exploratory Learning

Computers and Exploratory Learning

Author: Andrea A. DiSessa

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 484

ISBN-13: 3642577997

DOWNLOAD EBOOK

Computers are playing a fundamental role in enhancing exploratory learning techniques in education. This volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer systems for exploratory learning. Contributed chapters treat principles, theory, practice, and examples of some of the best contemporary computer-based learning environments: Logo, Boxer, Microworlds, Cabri-Géomètre, Star Logo, Table Top, Geomland, spreadsheets, Function Machines, and others. Emphasis is on mathematics and science education. Synthetic chapters provide an overview of the current scene in computers and exploratory learning, and analyses from the perspectives of epistemology, learning, and socio-cultural studies.


Technology-Based Learning Environments

Technology-Based Learning Environments

Author: Stella Vosniadou

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 313

ISBN-13: 3642791492

DOWNLOAD EBOOK

The present volume contains a large number of the papers contributed to the Advanced Study Institute on the Psychological and Educational Foundations of Technology-Based Learning Environments, which took place in Crete in the summer of 1992. The purpose of the Advanced Study Institute was to bring together a small number of senior lecturers and advanced graduate students to investigate and discuss the psychological and educational foundations of technology-based learning environments and to draw the implications of recent research findings in the area of cognitive science for the development of educational technology. As is apparent from the diverse nature of the contributions included in this volume, the participants at the ASI came from different backgrounds and looked at the construction of technology -based learning environments from rather diverse points of view. Despite the diversity, a surprising degree of overlap and agreement was achieved. Most of the contributors agreed that the kinds of technology-supported learning environments we should construct should stimulate students to be active and constructive in their knowledge-building efforts, embed learning in meaningful and authentic activities, encourage collaboration and social interaction, and take into consideration students' prior knowledge and beliefs.


Advances in Linear Matrix Inequality Methods in Control

Advances in Linear Matrix Inequality Methods in Control

Author: Laurent El Ghaoui

Publisher: SIAM

Published: 2000-01-01

Total Pages: 399

ISBN-13: 9780898719833

DOWNLOAD EBOOK

Linear matrix inequalities (LMIs) have recently emerged as useful tools for solving a number of control problems. This book provides an up-to-date account of the LMI method and covers topics such as recent LMI algorithms, analysis and synthesis issues, nonconvex problems, and applications. It also emphasizes applications of the method to areas other than control.


Programming and Mathematical Method

Programming and Mathematical Method

Author: Manfred Broy

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 410

ISBN-13: 3642775721

DOWNLOAD EBOOK

The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the • specification, • refinement, • verification of programs and program systems. Some extremely remarkable examples were given. Looking at these examples it becomes clear that proper research and teaching in the area of program methodology should always show its value by being applied at least to small examples or case studies. It is one of the problems of computing science that examples and case studies have to be short and small to be lJresentable in lectures and papers of moderate size. However, even small examples can tell a lot about the tractability and adequacy of methods and being able to treat small examples does at least prove that the method can be applied in modest ways. Furthermore it demonstrates to some extent the notational and calculational overhead of applying formal methods.