Biologically inspired walking machines are fascinating objects to study, from thepointofviewoftheirmechatronicaldesignaswellastherealisationofc- trol concepts. Research on this subject takes its place in a rapidly gro...
详细信息
ISBN:
(数字)9783540688037
ISBN:
(纸本)9783540688020;9783642088353
Biologically inspired walking machines are fascinating objects to study, from thepointofviewoftheirmechatronicaldesignaswellastherealisationofc- trol concepts. Research on this subject takes its place in a rapidly growing, highly interdisciplinary ?eld, uniting contributions from areas as diverse as biology, biomechanics, material science, neuroscience, engineering, and c- puter science. Nature has found fascinating solutions for the problem of legged loco- tion, and the mechanisms generating the complex motion patterns performed by animals are still not very well understood. Natural movements provide the impressionofeleganceandsmoothness,whereastheimitationoftheirarti?cial analogues still looks rather clumsy. The diverse research on arti?cial legged locomotion mainly concentrated on the mechanical design and on pure movement control of these machines; i.e., in general these machines were unable to perceive their environment and *** sensor-driven behaviors are rare, and if considered, they deal only with one type of behavior; naturally, this is most often an obstacle avoidance behavior. There are only a few approaches devoted to the multimodal generation of several reactive behaviors. This book presents a pioneering approach to tackle this challenging pr- lem. Inspired by the obstacle avoidance and escape behaviors of cockroaches and scorpions, which here are understood as negative tropisms, and by the prey-capturing behavior of spiders, taken as a positive tropism, corresponding sensors and neural control modules are introduced in such a way that wa- ing machines can sense and react to environmental stimuli in an animal-like fashion.
Nachdem die ersten Fuzzy-Regler Anfang der siebziger Jahre entwickelt und in der Praxis erprobt wurden, hat das Gebiet der Fuzzy-Regelung in den vergangenen Jahrzehnten einen gewaltigen Fortschritt erfahren. Die zugru...
详细信息
ISBN:
(数字)9783642558122
ISBN:
(纸本)9783540435488
Nachdem die ersten Fuzzy-Regler Anfang der siebziger Jahre entwickelt und in der Praxis erprobt wurden, hat das Gebiet der Fuzzy-Regelung in den vergangenen Jahrzehnten einen gewaltigen Fortschritt erfahren. Die zugrunde liegenden mathematischen und technischen Konzepte sind umfassend analysiert worden, und mittlerweile werden Fuzzy-Regler in vielen industriellen Anwendungen routinemäßig eingesetzt. Das Ziel dieses Buches ist eine kritische Bestandsaufnahme der Fuzzy-Regler aus Sicht der klassischen Regelungstechnik. Der Schwerpunkt dieses Buches liegt in der Darstellung von Themen, die für den Anwender von besonderem Interesse sind. Hierzu zählen insbesondere die (Selbst-) Einstellung, Optimierung und Stabilitätsanalyse von Fuzzy-Reglern. Ausgehend von einer detaillierten Einführung in die Gebiete Fuzzy-Systeme und Regelungstechnik wird der Leser systematisch an aktuelle Forschungsergebnisse herangeführt.
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "Intelligent Systems: Safety, Reliability and Maintainability Issues" that was held in Ku...
详细信息
ISBN:
(数字)9783642580215
ISBN:
(纸本)9783540569930;9783642634383
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "Intelligent Systems: Safety, Reliability and Maintainability Issues" that was held in Kusadasi, Turkey during August 24- 28, 1992. Attendance at this workshop was mainly by invitation only, drawing people internationally representing industry, government and the academic community. Many of the participants were internationally recognized leaders in the topic of the workshop. The purpose of the ARW was to bring together a highly distinguished group of people with the express purpose of debating where the issues of safety, reliability and maintainability place direct and tangible constraints on the development of intelligent systems. As a consequence, one of the major debating points in the ARW was the definition of intelligence, intelligent behaviour and their relation to complex dynamic systems. Two major conclusions evolved from the ARW are: 1. A continued need exists to develop formal, theoretical frameworks for the architecture of such systems, together with a reflection on the concept of intelligence. 2. There is a need to focus greater attention to the role that the human play in controlling intelligent systems. The workshop began by considering the typical features of an intelligent system. The complexity associated with multi-resolutional architectures was then discussed, leading to the identification of a necessity for the use of a combinatorial synthesis/approach. This was followed by a session on human interface issues.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, C...
详细信息
ISBN:
(数字)9783031505218
ISBN:
(纸本)9783031505201
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.;The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;;Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the f...
详细信息
ISBN:
(数字)9783540477747
ISBN:
(纸本)9783540605805
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.;In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal v...
详细信息
ISBN:
(数字)9783031510601
ISBN:
(纸本)9783031510595
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
暂无评论