Search NASA⌕ Search

SEARCH · Search NASA

Results for “computer programming integrity”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 721 records · Page 40
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

A Mixed Real and Floating-Point Solver

Reasoning about mixed real and floating-point constraints is essential for developing accurate analysis tools for floating-point pro- grams. This paper presents FPRoCK, a prototype tool for solving mixed real and floating-point formulas. FPRoCK transforms a mixed formula into an equisatisfiable one over the reals. This formula is then solved using an off-the-shelf SMT solver. FPRoCK is also integrated with the PRECiSA static analyzer, which computes a sound estimation of the round-off error of a floating-point program. It is used to detect infeasible computational paths, thereby improving the accuracy of PRECiSA.

Salvia, Rocco↗
NASA NTRS1996

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-72

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-72. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-72 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1996

Debris/Ice/TPS assessment and integrated photographic analysis of shuttle mission STS-76

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-76. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-76 and the resulting effect on the Space Shuttle Program.

Lin, Jill D.↗
NASA NTRS1996

Debris/Ice/TPS assessment and integrated photographic analysis of Shuttle Mission STS-77

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-77. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-77 and the resulting effect on the Space Shuttle Program.

Katnik, GregoryN.↗
NASA NTRS1996

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-78

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-78. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-78 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1996

Debris/ice/tps Assessment and Integrated Photographic Analysis of Shuttle Mission STS-79

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-79. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-79 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1997

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-80

A debris/ice/thermal protection system (TPS) assessment and integrated photographic analysis was conducted for Shuttle mission STS-80. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission Space Transportation System (STS-80) and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1997

Debris/ice/tps Assessment and Integrated Photographic Analysis of Shuttle Mission STS-81

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-81. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-81 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1997

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-82

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-82. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-82 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1997

Debris/ice/tps Assessment and Integrated Photographic Analysis of Shuttle Mission STS-83

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-83. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-83 and the resulting effect on the Space Shuttle Program.

Lin, Jill D.↗
NASA NTRS1997

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-84

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-84. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cyrogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-84 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1997

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-94

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-94. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Shuttle mission STS-94 and the resulting effect on the Space Shuttle Program.

Bowen, Barry C.↗
NASA NTRS1997

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-86

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-86. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Space Shuttle mission STS-86 and the resulting affect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1998

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-89

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-89. Debris inspections of the flight element and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection systems conditions and integrated photographic analysis of Space Shuttle mission STS-89 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1998

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-91

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-91. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Space Shuttle mission STS-91 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1999

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-88

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-88. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Space Shuttle mission STS-88 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1999

Debris/Ice/TPS Assessment and Integrated Photographic Analysis of Shuttle Mission STS-95

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-95. Debris inspections of the flight elements and launch pad were performed before and after launch. Icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Space Shuttle mission STS-95 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗
NASA NTRS1999

Debris/ice/tps Assessment and Integrated Photographic Analysis of Shuttle Mission STS-96

A debris/ice/thermal protection system assessment and integrated photographic analysis was conducted for Shuttle mission STS-96. Debris inspections of the flight elements and launch pad were performed before and after launch. icing conditions on the External Tank were assessed by the use of computer programs and infrared scanned data during cryogenic loading of the vehicle, followed by on-pad visual inspection. High speed photography of the launch was analyzed to identify ice/debris sources and evaluate potential vehicle damage and/or in-flight anomalies. This report documents the ice/debris/thermal protection system conditions and integrated photographic analysis of Space Shuttle mission STS-96 and the resulting effect on the Space Shuttle Program.

Katnik, Gregory N.↗