Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
Explore the source record for details and available documents.
Andrew Ferraiuolo↗
SEARCH · Engineering Papers
Results for “VERIFICATION”
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.
THREE LESSONS FROM THE RELIABILITY VERIFICATION PROGRAM
Guidance system reliability tests
GUIDANCE SYSTEM↗
Experimental verification of an analytical determination of overall thermal conductivity of honeycomb-core panels
Analytical determination of thermoconductivity of honeycomb-core panels fabricated from cobalt-base alloy
COBALT ALLOY↗
Verification of saturn instrument unit electrical support equipment.
Checkout computer for verifying Saturn instrument unit electrical support system
SUPPORT SYSTEM↗
Mathematical model with experimental verification for the dynamic behavior of a single-tube condenser
Mathematical model derived from condensation of working fluid in Rankine power cycle to predict behavior of single-tube condenser
CONDENSER↗
Improved fluid dynamics similarity, analysis and verification Annual report, 29 Jun. 1965 - 28 Jun. 1966
Fluid mechanics and dynamic reactions in liquid flow, single-phase flow, and two-phase flow
SINGLE-PHASE FLOW↗
Verification of particulate cleanliness levels in fluid systems.
In-Line-Filter-Holder and Counter /ILFHC/ DESIGNED for high and low pressure systems to verify particulate cleanliness levels in modern fluid systems
CONTAMINATION↗
Experimental verification of a double-dead-time model describing chugging in liquid- bipropellant rocket engines.
Stability boundaries of double-dead-time model describing chugging in liquid bipropellant rocket engine
ANALOG COMPUTER↗
Thermal design verification testing of the anchored interplanetary monitoring platform ''D''
Solar simulation testing of anchored interplanetary monitoring platform D thermal design and protective coating
Medlin, J. W., Jr.↗
Thiokol 260-SL subscale nozzle verification program, 65-SS-2 and 65-SS-3 motors
Static tests of 65 inch diameter subscale rocket engines to evaluate nozzle fabrication methods, nozzle materials, liner material, case insulation, and propellant
Source record↗
Heat Transfer Between Surfaces in Contact - the Effect of Low Conductance Interstitial Materials. Part 1 - Experimental Verification of NASA Test Apparatus
Test apparatus for studying convective heat transfer between metallic contacts with interstitial fillers
Fletcher, L. S.↗
Experimental verification of a double dead time model describing chugging in liquid bipropellant rocket engines
Double dead-time model for combustion stability analysis in liquid bipropellant rocket engines
Szuch, J. R.↗
Evaluation of gamma probe shielding verification for the Gemini and Apollo vehicles
Gamma probe analysis of radiation shielding for Apollo and Gemini spacecraft
Hardy, A. C.↗
Experimental verification of the non-equilibrium model for predicting behavior in the char zone of a charring ablator Status report
Experimental simulation to establish accuracy of nonequilibrium flow model with system simulating charring during ablation
April, G. C.↗
Improved fluid dynamics similarity, analysis and verification. Part 4 - Acoustic velocities in two-phase mixtures of some cryogenic fluids Final report, 29 Jun. 1965 - 28 Jun. 1968
Model calculations and graphical presentation of acoustic velocities in two-phase mixtures of some cryogenic fluids
Griggs, E. I.↗
Improved fluid dynamics similarity analysis and verification. Part 1 - Similarity studies of discharge of liquid from containers through orifices and tubes Final report, 29 Jun. 1965 - 28 Jun. 1968
Scaling and similarity study of liquids discharged from containers through orifices and tubes
Mulukutla, A. R.↗
Magnetic chart of the Brazilian anomaly - A verification.
Geomagnetic field minimum in southern Brazil, comparing satellites data maps
Cain, J. C.↗
The transient performance of a hydraulic turbine driven inducer - Computer predictions and test verification Final report
Analog and digital computer programs for predicting transient performance of inducer driven by hydraulic turbine
Farrel, E. C.↗