Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CHECK”

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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS2015

Further Development of Verification Check-Cases for Six- Degree-of-Freedom Flight Vehicle Simulations

This follow-on paper describes the principal methods of implementing, and documents the results of exercising, a set of six-degree-of-freedom rigid-body equations of motion and planetary geodetic, gravitation and atmospheric models for simple vehicles in a variety of endo- and exo-atmospheric conditions with various NASA, and one popular open-source, engineering simulation tools. This effort is intended to provide an additional means of verification of flight simulations. The models used in this comparison, as well as the resulting time-history trajectory data, are available electronically for persons and organizations wishing to compare their flight simulation implementations of the same models.

Jackson, E. Bruce↗
NASA NTRS2012

Logic Model Checking of Time-Periodic Real-Time Systems

In this paper we report on the work we performed to extend the logic model checker SPIN with built-in support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic tasks. This library was used in a recent application of the SPIN model checker to verify the engine control software of an automobile, to study the feasibility of software triggers for unintended acceleration events.

software analysis↗
NASA NTRS2016

Recent Checks on the Radiometric and Spatial Calibration of AIRS In-Orbit

The Atmospheric Infrared Sounder (AIRS) on the EOS Aqua Spacecraft was launched on May 4, 2002 and is currently fully operational. AIRS acquires hyperspectral infrared radiances in 2378 channels ranging in wavelength from 3.7-15.4 um with spectral resolution of better than 1200, and spatial resolution of 13.5 km with global daily coverage. The AIRS was designed to measure temperature and water vapor profiles for improvement in weather forecast and improved parameterization of climate processes. Currently the AIRS Level 1B Radiance Products are assimilated by NWP centers worldwide and have shown considerable forecast improvement. Although the calibration of AIRS (< 200 mK 3 sigma) is sufficient for data assimilation into Numerical Weather Prediction (NWP) models, long term trends of Earth’s climate require radiances with stability approaching 10 mK/year, and absolute accuracies better than 100 mK. This investigation uses views of space during roll maneuvers of the Aqua spacecraft to calibrate the mirror emission (one of the largest error sources for AIRS) and reduce the residual errors in cold scenes. We also present results of a secondary study that uses MODIS data to determine the alignment of the AIRS boresight. In this study we match AIRS and MODIS data and iterate on the assumed boresight to find the minimum difference in signal. In this way we are able to confirm the boresight projections determined shortly after launch.

Pagano, Thomas S.↗
NASA NTRSDate not supplied

NTF Test 201 - FAVOR - F-111 Check Standard

Presentation of test process at the National Transonic Facility, Nasa Langley Research Center. The test showcased was part of a cooperative test effort between ARC, LaRC, GRC, and AEDC collecting aerodynamic and process data on the modified F-111 FAVOR model.

Michael D Treece↗
DOE OSTI2013

Cache directory look-up re-use as conflict check mechanism for speculative memory requests

In a cache memory, energy and other efficiencies can be realized by saving a result of a cache directory lookup for sequential accesses to a same memory address. Where the cache is a point of coherence for speculative execution in a multiprocessor system, with directory lookups serving as the point of conflict detection, such saving becomes particularly advantageous.

97 MATHEMATICS AND COMPUTING↗