Search Results

Suggested Topics within your search. Suggested Topics within your search.

Proving
Design analysis 6
Computer programs 5
Algorithms 4
Flight tests 4
Mathematical models 4
Composite materials 3
Composite structures 3
Computational fluid dynamics 3
Data acquisition 3
Distributed processing 3
Finite element method 3
Performance tests 3
Software engineering 3
Structural analysis 3
Supersonic transports 3
Unmanned aircraft systems 3
Aerodynamic characteristics 2
Aerosols 2
Aerospace systems 2
Aluminum alloys 2
Automatic flight control 2
Bit synchronization 2
Boundary conditions 2
Calibrating 2
Computer programming 2
Computer systems performance 2
Computers 2
Data bases 2
Electronic data processing 2

GA-ASI final report and program wrap-up for NASA system integration and operationalization (SIO) / General Atomics Aeronautical Systems, Inc. (GA-ASI)

Bell unmanned aircraft systems integration and operationalization (SIO) demonstration : final report, summary of research / Bell Textron, Inc.

Evidence flow graph methods for validation and verification of expert systems Contract NAG-1-809, July 1989 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar. by Becker, Lee A.

A "Kane's Dynamics" model for the active rack isolation system. Part 3, Addition of umbilicals to the nonlinear model J.K. Rupert, R.D. Hampton, G.S. Beech. by Rupert, J. K.

A critique of a phenomenological fiber breakage model for stress rupture of composite materials James R. Reeder. by Reeder, James R.

A correlation study of X-29A aircraft and associated analytical development by Ali Ahmadi, Kajal Gupta, Paul Fortin. by Aḥmadī, ʻAlī Riz̤ā

Investigation of springback associated with composite material component fabrication MSFC Center director's discretionary fund final report, Project 94-09 / M.A. Benzie. by Benzie, M. A.

Program to optimize simulated trajectories II (POST2) surrogate models for Mars Ascent Vehicle (MAV) performance assessment / M.R. Zwack [and four others]. by Zwack, M. R.

Inflow/outflow boundary conditions with application to FUN3D Jan-Reneé Carlson. by Carlson, Jan-Reneé

Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs Mahyar R. Malekpour. by Malekpour, Mahyar R.

Aerospace nickel-cadmium cell verification final report / Michelle A. Manzo, D. Michael Strawn and Stephen W. Hall. by Manzo, Michelle A., Strawn, D. Michael, Hall, Stephen W.

Design verification and fabrication of active control systems for the DAST ARW-2 high aspect ratio wing / C.R. McGehee. by McGehee, C. R.

Investigating actuation force fight with asynchronous and synchronous redundancy management techniques / Brendan Hall [and three others] by Hall, Brendan

Defining the IEEE-854 floating-point standard in PVS Paul S. Miner. by Miner, Paul S.

Evidence flow graph methods for validation and verification of expert systems final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar. by Becker, Lee A.

Assessing V&V processes for automation with respect to vulnerabilities to loss of airplane state awareness / Stephen Whitlow, Chris Wilkinson, and Chris Hamblin. by Whitlow, Steve, Wilkinson, Chris, Hamblin, Chris

Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation Louis A. Jaeckel. by Jaeckel, Louis A.

ANSYS duplicate finite-element checker routine R. Ortega. by Ortega, R.

Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of t... by Stowe, L. L.

Validation of ERS-1 environmental data products a final report / prepared by Mark A. Goodberlet and Calvin T. Swift, John C. Wilkerson.

Search Results

GA-ASI final report and program wrap-up for NASA system integration and operationalization (SIO) / General Atomics Aeronautical Systems, Inc. (GA-ASI)

Bell unmanned aircraft systems integration and operationalization (SIO) demonstration : final report, summary of research / Bell Textron, Inc.

Evidence flow graph methods for validation and verification of expert systems Contract NAG-1-809, July 1989 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar. by Becker, Lee A.

A "Kane's Dynamics" model for the active rack isolation system. Part 3, Addition of umbilicals to the nonlinear model J.K. Rupert, R.D. Hampton, G.S. Beech. by Rupert, J. K.

A critique of a phenomenological fiber breakage model for stress rupture of composite materials James R. Reeder. by Reeder, James R.

A correlation study of X-29A aircraft and associated analytical development by Ali Ahmadi, Kajal Gupta, Paul Fortin. by Aḥmadī, ʻAlī Riz̤ā

Investigation of springback associated with composite material component fabrication MSFC Center director's discretionary fund final report, Project 94-09 / M.A. Benzie. by Benzie, M. A.

Program to optimize simulated trajectories II (POST2) surrogate models for Mars Ascent Vehicle (MAV) performance assessment / M.R. Zwack [and four others]. by Zwack, M. R.

Inflow/outflow boundary conditions with application to FUN3D Jan-Reneé Carlson. by Carlson, Jan-Reneé

Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs Mahyar R. Malekpour. by Malekpour, Mahyar R.

Aerospace nickel-cadmium cell verification final report / Michelle A. Manzo, D. Michael Strawn and Stephen W. Hall. by Manzo, Michelle A., Strawn, D. Michael, Hall, Stephen W.

Design verification and fabrication of active control systems for the DAST ARW-2 high aspect ratio wing / C.R. McGehee. by McGehee, C. R.

Investigating actuation force fight with asynchronous and synchronous redundancy management techniques / Brendan Hall [and three others] by Hall, Brendan

Defining the IEEE-854 floating-point standard in PVS Paul S. Miner. by Miner, Paul S.

Evidence flow graph methods for validation and verification of expert systems final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar. by Becker, Lee A.

Assessing V&V processes for automation with respect to vulnerabilities to loss of airplane state awareness / Stephen Whitlow, Chris Wilkinson, and Chris Hamblin. by Whitlow, Steve, Wilkinson, Chris, Hamblin, Chris

Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation Louis A. Jaeckel. by Jaeckel, Louis A.

ANSYS duplicate finite-element checker routine R. Ortega. by Ortega, R.

Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of t... by Stowe, L. L.

Validation of ERS-1 environmental data products a final report / prepared by Mark A. Goodberlet and Calvin T. Swift, John C. Wilkerson.

Refine Results

Format

Year of Publication

Library

Shelving Location

Author

Language

Series