Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 144
Book Description
Digital-flight-control-system Software Written in Automated-engineering-design Language: A User's Guide of Verification and Validation Tools
Author: Jim Saito
Publisher:
ISBN:
Category : Flight control
Languages : en
Pages : 100
Book Description
Publisher:
ISBN:
Category : Flight control
Languages : en
Pages : 100
Book Description
Digital Flight Control System Validation Technology Assessment
Aeronautical Technologies for the Twenty-first Century
Author: National Research Council (U.S.). Committee on Aeronautical Technologies
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 21
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 21
Book Description
Scientific and Technical Aerospace Reports
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Author: Brian J. Taylor
Publisher: Springer Science & Business Media
ISBN: 0387294856
Category : Computers
Languages : en
Pages : 280
Book Description
Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.
Publisher: Springer Science & Business Media
ISBN: 0387294856
Category : Computers
Languages : en
Pages : 280
Book Description
Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.
NASA Technical Memorandum
NASA's Contributions to Aeronautics
NASA Information Sciences and Human Factors Program Annual Report, 1985
Author: United States. Office of Aeronautics and Space Technology Information Sciences and Human Factors Division
Publisher:
ISBN:
Category : Space flight
Languages : en
Pages : 286
Book Description
Publisher:
ISBN:
Category : Space flight
Languages : en
Pages : 286
Book Description
NASA's Contributions to Aeronautics: Aerodynamics, structures, propulsion, controls
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 980
Book Description
Two-volume collection of case studies on aspects of NACA-NASA research by noted engineers, airmen, historians, museum curators, journalists, and independent scholars. Explores various aspects of how NACA-NASA research took aeronautics from the subsonic to the hypersonic era.-publisher description.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 980
Book Description
Two-volume collection of case studies on aspects of NACA-NASA research by noted engineers, airmen, historians, museum curators, journalists, and independent scholars. Explores various aspects of how NACA-NASA research took aeronautics from the subsonic to the hypersonic era.-publisher description.
Department of Transportation and Related Agencies Appropriations for 1993: 1993 Budget justifications, Department of Transportation, Federal Aviation Administration
Author: United States. Congress. House. Committee on Appropriations. Subcommittee on Department of Transportation and Related Agencies Appropriations
Publisher:
ISBN:
Category : Political Science
Languages : en
Pages : 1094
Book Description
Publisher:
ISBN:
Category : Political Science
Languages : en
Pages : 1094
Book Description