Search NASA⌕ Search

SEARCH · Search NASA

Results for “Checking”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

Logic Model Checking of Unintended Acceleration Claims in Toyota Vehicles

Part of the US Department of Transportation investigation of Toyota sudden unintended acceleration (SUA) involved analysis of the throttle control software, JPL Laboratory for Reliable Software applied several techniques including static analysis and logic model checking, to the software; A handful of logic models were build, Some weaknesses were identified; however, no cause for SUA was found; The full NASA report includes numerous other analyses

sudden unintended acceleration↗
NASA NTRS2009

Structured Low-Density Parity-Check Codes with Bandwidth Efficient Modulation

In this work, we study the performance of structured Low-Density Parity-Check (LDPC) Codes together with bandwidth efficient modulations. We consider protograph-based LDPC codes that facilitate high-speed hardware implementations and have minimum distances that grow linearly with block sizes. We cover various higher- order modulations such as 8-PSK, 16-APSK, and 16-QAM. During demodulation, a demapper transforms the received in-phase and quadrature samples into reliability information that feeds the binary LDPC decoder. We will compare various low-complexity demappers and provide simulation results for assorted coded-modulation combinations on the additive white Gaussian noise and independent Rayleigh fading channels.

Crew Exploration Vehicle (CEV)↗
NASA NTRS2010

Performance of Low-Density Parity-Check Coded Modulation

This paper reports the simulated performance of each of the nine accumulate-repeat-4-jagged-accumulate (AR4JA) low-density parity-check (LDPC) codes [3] when used in conjunction with binary phase-shift-keying (BPSK), quadrature PSK (QPSK), 8-PSK, 16-ary amplitude PSK (16- APSK), and 32-APSK.We also report the performance under various mappings of bits to modulation symbols, 16-APSK and 32-APSK ring scalings, log-likelihood ratio (LLR) approximations, and decoder variations. One of the simple and well-performing LLR approximations can be expressed in a general equation that applies to all of the modulation types.

Hamkins, Jon↗
NASA NTRS2016

Dual Check Valve and Method of Controlling Flow Through the Same

A dual check valve includes, a housing having a cavity fluidically connecting three ports, a movable member movably engaged within the cavity from at least a first position occluding a first port of the three ports, a second position occluding a second port of the three ports, and a third position allowing flow between both the first port, the second port and a third port of the three ports.

Corallo, Roger↗
NASA NTRS2018

Use of the Ames Check Standard Model for the Validation of Wall Interference Corrections

The new check standard model of the NASA Ames 11-ft Transonic Wind Tunnel was chosen for a future validation of the facility's wall interference correction system. The chosen validation approach takes advantage of the fact that test conditions experienced by a large model in the slotted part of the tunnel's test section will change significantly if a subset of the slots is temporarily sealed. Therefore, the model's aerodynamic coefficients have to be recorded, corrected, and compared for two different test section configurations in order to perform the validation. Test section configurations with highly accurate Mach number and dynamic pressure calibrations were selected for the validation. First, the model is tested with all test section slots in open configuration while keeping the model's center of rotation on the tunnel centerline. In the next step, slots on the test section floor are sealed and the model is moved to a new center of rotation that is 33 inches below the tunnel centerline. Then, the original angle of attack sweeps are repeated. Afterwards, wall interference corrections are applied to both test data sets and response surface models of the resulting aerodynamic coefficients in interference-free flow are generated. Finally, the response surface models are used to predict the aerodynamic coefficients for a family of angles of attack while keeping dynamic pressure, Mach number, and Reynolds number constant. The validation is considered successful if the corrected aerodynamic coefficients obtained from the related response surface model pair show good agreement. Residual differences between the corrected coefficient sets will be analyzed as well because they are an indicator of the overall accuracy of the facility's wall interference correction process.

wind tunnel wall interferenc↗
NASA NTRS2019

Checking AIRS nonlinearity in flight

Radiances from the Atmospheric Infrared Sounder (AIRS) show excellent stability and are traceable to SI standards through the On-Board Calibrator (OBC) blackbody. The OBC can be used to check the nonlinearity by turning off the heater and letting the target float from 308K to roughly 261K while acquiring data. The OBC Float test was performed once prior to launch, and again shortly after launch. Until now, the OBC Float test did not produce accurate nonlinearity results.

Aumann, Hartmut↗
NASA NTRSDate not supplied

LAVA CFD Analysis of the Check Standard Model within the Langley Unitary Plan Wind Tunnel

This paper is part of an e ort to assess the current capability of Computational Fluid Dynamics (CFD) to accurately predict the experimental forces and base pressure on the Check Standard Model (CSM). The wind tunnel data for this model is gathered during annual monitoring of test-to-test repeatability for the Langley Unitary Plan Wind Tunnel (LUPWT). A blind database designed to help quantify the uncertainty of simulating LUPWT for the CSM repeatability tests was run using the Launch, Ascent and Vehicle Aerodynamics (LAVA) CFD code. The Reynolds-averaged Navier-Stokes equations were used for the predictions presented in the paper. Prior to running the database, best practices were established both for simulating and characterizing the ow of the high-speed legof the LUPWT where the test took place, as well the CSM when inserted within its test section.

ARMD↗
NASA NTRSDate not supplied

Improvements on Low-Density Parity-Check (LDPC) Codes and High-Performance Neuromorphic Engineering for Communication Systems

Belief propagation (BP) on LDPC codes is an iterative decoding algorithm that performs information transfer on the Tanner graph, which represents the code. In each iteration, the algorithm exchanges information (LLR) between variable nodes and check nodes through the edges of the graph. LLR values represent the probability that a given bit in a transmitted codeword equals 0 or 1, given a received word. In the hardware part, recent advancements in intelligent technologies, such as artificial intelligence, big data analytics, autonomous vehicles, and speech/image recognition, have heightened the demand for faster calculations and reduced energy consumption.

Danilo Barrionuevo↗
NASA NTRS2024

Expansion of Check-Cases for 6DOF Simulation

This is the Appendix containing a description of the solution for Case 1 in the assessment, “Expansion of Check-Cases for 6DOF Simulation”. For cases of spherical gravity, it is possible to provide a two-body solution without recourse to numerical integration and thus it is accurate to machine precision. Python code for a Keplerian Propagator (propagate.py) which produced a reference trajectory for Case 1 is provided in this appendix. There is also code for generating test cases which was used as an independent verification of the propagator. This is a high-level description of the algorithm employed. The documentation of each function includes implementation details, including equations for each task.

Modeling↗
DOE OSTI2024

Electrothermal vaporization as a new method for pre-inspection check samples

The use of electrothermal vaporization (ETV) has not been readily applied to nuclear safeguards or pre inspection check (PIC) sample analysis, even though the technique is ideally suited for low level (pg) isotopic quantification due to its high analyte transport efficiency. Here demonstrate the ETV method for PIC safeguard analysis. The ETV system is an automated, commercial of the shelf (COTS) technology, with the capability to introduce solid samples to a mass spectrometer platform. The system has been shown to simultaneously determine uranium assay, and the major isotopic ratios for uranium and plutonium. The ETV unit has demonstrated analysis up to 50 samples a day autonomously. The utilization of this ETV methodology provide a secondary option to the current PIC analysis and offers high throughput, enhanced sensitivity, and broader isotopic detection platform.

Hexel, Cole↗
NASA NTRS2002

Component based approach to modeling for model checking

This paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles.

security toolset model checking security safety fo↗