Christopher Rouff - Böcker
Visar alla böcker från författaren Christopher Rouff. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Häftad, Engelska, 2012
2 028 kr
Skickas inom 5-8 vardagar
In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now evolved into using the concepts of autonomic systems to make future space missions self-managing and giving them a high degree of survivability in the harsh environments in which they operate. This book describes much of the results of this research. In addition, it aimstodiscusstheneededsoftwaretomakefutureNASAspacemissionsmore completelyautonomousandautonomic.Thecoreofthesoftwareforthesenew missions has been written for other applications or is being applied gradually in current missions, or is in current development. It is intended that this book should document how NASA missions are becoming more autonomous and autonomic and should point to the way of making future missions highly - tonomous and autonomic. What is not covered is the supporting hardware of these missions or the intricate software that implements orbit and at- tude determination, on-board resource allocation, or planning and scheduling (though we refer to these technologies and give references for the interested reader).
1 577 kr
Skickas inom 10-15 vardagar
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally given as a set of lectures in 1999 and 2000 instigated by a NASA Flight Software Branch Chief at Goddard Space Flight Center. The Branch Chief later suggested this book. It provides an approachable insight into the area and is not intended as an essential reference work.ACS Without an Attitude is intended for programmers and testers new to the field who are seeking a commonsense understanding of the subject matter they are coding and testing in the hope that they will reduce their risk of introducing or missing the key software bug that causes an abrupt termination in their spacecraft’s mission. In addition, the book will provide managers and others working with spacecraft with a basic understanding of this subject.
1 577 kr
Skickas inom 10-15 vardagar
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics.
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Inbunden, Engelska, 2009
2 310 kr
Skickas inom 10-15 vardagar
In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now evolved into using the concepts of autonomic systems to make future space missions self-managing and giving them a high degree of survivability in the harsh environments in which they operate. This book describes much of the results of this research. In addition, it aimstodiscusstheneededsoftwaretomakefutureNASAspacemissionsmore completelyautonomousandautonomic.Thecoreofthesoftwareforthesenew missions has been written for other applications or is being applied gradually in current missions, or is in current development. It is intended that this book should document how NASA missions are becoming more autonomous and autonomic and should point to the way of making future missions highly - tonomous and autonomic. What is not covered is the supporting hardware of these missions or the intricate software that implements orbit and at- tude determination, on-board resource allocation, or planning and scheduling (though we refer to these technologies and give references for the interested reader).
1 624 kr
Skickas inom 10-15 vardagar
The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS '00, '02 & '04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.
1 624 kr
Skickas inom 10-15 vardagar
The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS �00, �02 & �04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.
535 kr
Skickas inom 10-15 vardagar
This book provides a novel perspective on the concept of memetics as applied to the development and evolution of intelligent robots and robotic communities/cultures. It provides a framework for the emergence of a hybrid community of people and intelligent robots collaborating to realize mutual benefits and scientific objectives.
Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Häftad, Engelska, 2003
535 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.