SEARCH · Search NASA

Results for “Check Standard”

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.

SourceResearch connectionFrom yearThrough year

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

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS2011

Coded Modulation in C and MATLAB

This software, written separately in C and MATLAB as stand-alone packages with equivalent functionality, implements encoders and decoders for a set of nine error-correcting codes and modulators and demodulators for five modulation types. The software can be used as a single program to simulate the performance of such coded modulation. The error-correcting codes implemented are the nine accumulate repeat-4 jagged accumulate (AR4JA) low-density parity-check (LDPC) codes, which have been approved for international standardization by the Consultative Committee for Space Data Systems, and which are scheduled to fly on a series of NASA missions in the Constellation Program. The software implements the encoder and decoder functions, and contains compressed versions of generator and parity-check matrices used in these operations.

Hamkins, Jon↗

DOE OSTI2024

Fortran Compiler Test Suite v0.1.0

There is no currently available, open-source, easily adapted test suite for checking a compiler's conformance to the Fortran Standard. The main innovation of this software is in the framework to make the test suite apply to a new compiler. Making it open-source will enable community contributions of the test cases. Single organization construction of a comprehensive test suite is something that would be financially infeasible.

Richardson, Bradley↗

DOE OSTI2023

Assembly and Initial Testing of the Gamma-Ray Emission Tomography Assessment Prototype for Irradiated Fuel

The following report documents the final development, assembly, and initial testing of the gamma-ray emission tomography assessment system (GRETA-1) for post-irradiation examination of irradiated fuel. It includes descriptions of the system components, including the high-purity germanium gamma-ray detector, the surrounding shield and collimator, the sample scanning hardware, and the control and collection software package. A series of MCNP6 simulations were performed that modeled a fuel rod scan to test image reconstruction algorithms with a complex and understood source distribution. A bench-top scan of isotopic check sources was also performed and analyzed using standard image reconstruction algorithms. The system is currently awaiting deployment at Idaho National Laboratory’s Hot Fuel Examination Facility.

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗

NASA NTRS1979

Fault-tolerant computer system

More reliable computers could be assembled by connecting four proposed VSLI "building block" circuits with built-in error detection to standard microprocessors and memory devices to form self checking computer module. Each building block detects its own malfunctions and single bit errors found in memory.

Avizienis, A. A.↗

NASA NTRS1980

Certification of the concentrating solar collector

Report describes procedures and results of extensive testing of concentrating solar collector performed for certification of systems compliance with government performance standards. Test includes operational, electrical, mechanical, and thermal checks, as well as structural integrity.

Source record↗

NASA NTRS1991

Improving NAVFAC's total quality management of construction drawings with CLIPS

A diagnostic expert system to improve the quality of Naval Facilities Engineering Command (NAVFAC) construction drawings and specification is described. C Language Integrated Production System (CLIPS) and computer aided design layering standards are used in an expert system to check and coordinate construction drawings and specifications to eliminate errors and omissions.

Antelman, Albert↗

NASA NTRS1993

Automating a human factors evaluation of graphical user interfaces for NASA applications: An update on CHIMES

Capturing human factors knowledge about the design of graphical user interfaces (GUI's) and applying this knowledge on-line are the primary objectives of the Computer-Human Interaction Models (CHIMES) project. The current CHIMES prototype is designed to check a GUI's compliance with industry-standard guidelines, general human factors guidelines, and human factors recommendations on color usage. Following the evaluation, CHIMES presents human factors feedback and advice to the GUI designer. The paper describes the approach to modeling human factors guidelines, the system architecture, a new method developed to convert quantitative RGB primaries into qualitative color representations, and the potential for integrating CHIMES with user interface management systems (UIMS). Both the conceptual approach and its implementation are discussed. This paper updates the presentation on CHIMES at the first International Symposium on Ground Data Systems for Spacecraft Control.

Jiang, Jian-Ping↗

NASA NTRS2004

Aura Atmospheric Data Products and Their Availability from NASA Goddard Earth Sciences DAAC

NASA's EOS-Aura spacecraft was launched successfully on July 15, 2004. The four instruments onboard the spacecraft are the Microwave Limb Sounder (MLS), the Ozone Monitoring Instrument (OMI), the Tropospheric Emission Spectrometer (TES), and the High Resolution Dynamics Limb Sounder (HBDLS). The Aura instruments are designed to gather earth sciences measurements across the ultraviolet, visible, infra-red, thermal and microwave regions of the electromagnetic spectrum. Aura will provide over 70 distinct standard atmospheric data products for use in ozone layer and surface UV-B monitoring, air quality forecast, and atmospheric chemistry and climate change studies (http://eosaura.gsfc.nasa.gov/). These products include earth-atmosphere radiances and solar spectral irradiances; total column, tropospheric, and profiles of ozone and other trace gases, surface W-B flux; clouds and aerosol characteristics; and temperature, geopotential height, and water vapor profiles. The MLS, OMI, and HIRDLS data products will be archived at the NASA Goddard Earth Sciences (GES) Distributed Active Archive Center (DAAC), while data from TES will be archived at NASA Langley Research Center DAAC. Some of the standard products which have gone through quick preliminary checks are already archived at the GES DAAC (http://daac.nsfc.nasa.gov/) and are available to the Aura science team and data validation team members for data validation; and to the application and visualization software developers, for testing their application modules. Once data are corrected for obvious calibration problems and partially validated using in-situ observations, they would be made available to the broader user community. This presentation will provide details of the whole suite of Aura atmospheric data products, and the time line of the availability of the rest of the preliminary products and of the partially validated provisional products. Software and took available for data access, visualization, and data mining will also be discussed.

Ahmad, S.↗

DOE OSTI2023

Magnification Determination for AGHCF Metallographic Images

Metallographic images generated in the Alpha Gamma Hot Cell Facility (AGHCF) have been used for quantitative and qualitative characterization of irradiated metallic fuel pins. Individual high-magnification images (micrographs) contained in AGHCF file folders and experimental notebooks are in the form of polaroid photographs labeled with AGHCF identification number, magnification, and surface condition (as-polished or etched). Low magnification composite images (photomosaics) are also available for fuel cross sections, for radial strips from the fuel center to the cladding outer diameter, and for circumferential strips of the cladding and outer fuel region. The individual images do not have scale bars. Only a few of the composite images contain scale bars. The purpose of this work is to describe and apply methods for checking the magnification (50X to 500X) of individual images and for determining the magnification (~25X to ~100X) of composite images. The metallographic images used to verify and/or determine magnification were generated during the 1989 to 1993 timeframe for cross sections of U-10Zr/HT9 fuel rods irradiated in EBR-II and for cross sections of irradiated U-10Zr/HT9 fuel-rod samples following elevated-temperature tests conducted in the out-of-pile AGHCF Fuel Behavior Test Apparatus (FBTA). Procedures are documented in the AGHCF Operations Manual for preparation of metallographic samples, for calibration verification, and for constructing composites from individual images. Calibration verification of magnification was performed at least semiannually. One standard used for calibration verification was a glass slide with vertical lines indicating distances of 1 mm, 0.1 mm and 0.01mm. Guidance is provided in the current work for determining magnification from images of the standard. In addition to the periodic calibration verification, consistency checks are recommended to verify the magnification of images taken between the routine calibration verifications. For cladding samples with or without significant fuel-cladding chemical interaction (FCCI), images taken at different magnifications (e.g., 150X and 200X) of the unaffected cladding thickness can be compared. This process is independent of changes in cladding thickness due to swelling and creep. For images taken at only one magnification of cladding regions with no FCCI, the cladding thickness determined from the images may be compared to the nominal as-built cladding thickness (15.0 ± 0.5 mils for examples used in current work)). This procedure works best for cladding that has not experienced significant swelling and/or creep (e.g., ≤2% circumferential strain at the cladding outer surface). Composite images were constructed by pasting together higher magnification images and photographing the composite to generate a negative from which the hard-copy photograph was developed. The primary purpose of the composite images was to identify interesting areas of the fuel and cladding for imaging at higher magnification. However, procedures are recommended in the current work for determining composite magnifications to allow quantitative characterization of the fuel. Composites are not recommended for determining cladding thickness or FCCI depth because magnifications are too low (generally ≤110X) and image contrast is low. Fuel cross-section composites were created by pasting together 50X or 75X images. The nominal magnification for the photographed fuel cross-section composites is 25.4X. A more precise magnification can be determined by comparing the average cladding outer diameter measured from the composite to the average cladding outer diameter measured by profilometry. Radial-strip composites were constructed by pasting together high-magnification (150X or 250X) images. The nominal magnification of radial-strip composites photographs is about 100X. A more precise method for determining the magnification of radial strips is to compare the cladding thick

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS1979

Aerospace Ground Equipment for model 4080 sequence programmer. A standard computer terminal is adapted to provide convenient operator to device interface

The Aerospace Ground Equipment (AGE) provides an interface between a human operator and a complete spaceborne sequence timing device with a memory storage program. The AGE provides a means for composing, editing, syntax checking, and storing timing device programs. The AGE is implemented with a standard Hewlett-Packard 2649A terminal system and a minimum of special hardware. The terminal's dual tape interface is used to store timing device programs and to read in special AGE operating system software. To compose a new program for the timing device the keyboard is used to fill in a form displayed on the screen.

Nissley, L. E.↗

NASA NTRS1977

Spectral radiance calibrations between 165-300 nm - An interlaboratory comparison

The spectral radiance of deuterium lamps calibrated by the Max-Planck-Institut fuer Astronomie (MPI), by the U.S. National Bureau of Standards (NBS), and by the Physikalisch-Technische Bundesanstalt (PTB) are compared to check the agreement of UV radiometric scales. The NBS group used the optically thin continuum radiation from a wall-stabilized hydrogen arc as its fundamental radiometric standard, while the MPI and PTB groups used the synchrotron radiation facility in DESY. It is found that the spectral radiance scales based upon the DESY synchrotron and the NBS hydrogen arc are consistent, at least for one wavelength relative to another.

Bridges, J. M.↗

DOE OSTI2025

Electromagnetic energy calibration of the SoLid detector with horizontal muons

SoLid is a neutrino experiment at very-short baselinesearching for active-to-sterile oscillations of reactorantineutrinos. The detection principle is based on the pairing oftwo types of solid scintillators: polyvinyl toluene and $^{6}$Li:ZnS(Ag), which is a new technology used in this field ofPhysics. In addition to good neutron-gamma discrimination, thissetup allows the detector to be highly segmented; the basicdetection unit is a 5 cm cube. High segmentation provides numerousadvantages including precise localisation of the Inverse Beta Decay(IBD) products, the derivation of an antineutrino energy estimatorbased on the isolated positron energy, and a powerful backgroundreduction tool that relies on the topological signature of thesignal. Finally, the system is read out by a network ofwavelength-shifting fibres coupled to photosensors. A relativeelectromagnetic calibration is performed with horizontal cosmicmuons. This source poses the simplest calibration problem in which asingle detection unit is involved. In addition, large muon energydeposits allow us to perform a calibration at the most detailedlevel (i.e. per fibre) and to accurately define the fraction ofenergy escaping to neighbouring detection cells. A statisticalprecision at the sub-percent level is reached. The paper alsodiscusses two methods to calibrate the absolute energy scale andpresents their implementation and results. The first method relieson horizontal muons, though the precision is limited to around 10%because of the uncertainty in the energy distribution of suchmuons. A novel, alternative method based on the radioactiveamericium-beryllium source is proposed. It takes advantage of theelectron-positron pair-production process and provides a calibrationpoint at 3.4 MeV (i.e. in the core of the IBD positronspectrum). The paper is concluded with various cross-check includinga determination of the energy spectrum of the standard cosmogenicbackground candle: $^{12}$B.

Abreu, Y. [Antwerp U.]↗

NASA NTRS1992

Progress through precedent: Going where no helicopter simulator has gone before

Helicopter simulators have been approved by means of special exemption; there are no FAA standards for simulators used in training or airmen Certification checking. The fixed-wing industry provides a precedent which can be used for expediting implementation of helicopter simulators. The analysis in this paper is founded on the experience with that precedent and is driven by a clear definition of helicopter user needs for (1) improved training at lower cost, (2) more comprehensive emergency training at lower risk, (3) increased fidelity of transition and instrument training compared with low-cost aircraft alternatives, and (4) certification credit for improved simulator training.

Adams, Richard J.↗

NASA NTRS2010

HDU Pressurized Excursion Module (PEM) Prototype Systems Integration

The Habitat Demonstration Unit (HDU) project team constructed an analog prototype lunar surface laboratory called the Pressurized Excursion Module (PEM). The prototype unit subsystems were integrated in a short amount of time, utilizing a skunk-works approach that brought together over 20 habitation-related technologies from a variety of NASA centers. This paper describes the system integration strategies and lessons learned, that allowed the PEM to be brought from paper design to working field prototype using a multi-center team. The system integration process included establishment of design standards, negotiation of interfaces between subsystems, and scheduling fit checks and installation activities. A major tool used in integration was a coordinated effort to accurately model all the subsystems using CAD, so that conflicts were identified before physical components came together. Some of the major conclusions showed that up-front modularity that emerged as an artifact of construction, such as the eight 45 degree "pie slices" making up the module whose steel rib edges defined structural mounting and loading points, dictated much of the configurational interfaces between the major subsystems and workstations. Therefore, 'one of the lessons learned included the need to use modularity as a tool for organization in advance, and to work harder to prevent non-critical aspects of the platform from dictating the modularity that may eventually inform the fight system.

Gill, Tracy R.↗

NASA NTRS2014

Model Checking Degrees of Belief in a System of Agents

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

MAS Verification↗

DOE OSTI2026

Microstructural Topology as a Prescriptor for Quantum Coherence: Towards A Unified Framework for Decoherence in Superconducting Qubits

In superconducting quantum circuits, decoherence improvements are frequently obtained through process interventions that simultaneously modify surface chemistry, microstructural topology, and device geometry, leaving mechanistic attribution structurally underdetermined. Predictive materials engineering requires measurable structural statistics to be separated from geometry-dependent coupling coefficients into independently testable factors. We introduce the concept of classical and quantum microstructure. In that context, we formulate a channel-wise separable framework for decoherence in superconducting transmon qubits in which each loss channel is described by a reduced prescriptor. Here, a channel-specific microstructural state variable is determined independently of device geometry, and a geometry-dependent coupling functional is computable from field solutions without reference to surface chemistry. We derive this product form from a spatially resolved kernel representation and establish a perturbative separability criterion that defines the regime where independent variation of the variables is valid. The framework specifies five prescriptor classes for dominant loss pathways in transmon-class devices. Falsifiability is operationalized through a pre-committed 2x2 experimental protocol in which the variables must satisfy independent ratio checks within propagated uncertainty. A Minimum-Dataset Specification standardizes reporting for cross-laboratory inference. Part I establishes the conceptual and mathematical architecture; coordinated experimental validation is reserved for Part II.

Dravid, Vinayak P. [Northwestern U.]↗

NASA NTRS2001

Automata-Based Verification of Temporal Properties on Running Programs

This paper presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to Buchi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Giannakopoulou, Dimitra↗

NASA NTRS2017

DVB-S2 Experiment over NASA's Space Network

The commercial DVB-S2 standard was successfully demonstrated over NASAs Space Network (SN) and the Tracking Data and Relay Satellite System (TDRSS) during testing conducted September 20-22nd, 2016. This test was a joint effort between NASA Glenn Research Center (GRC) and Goddard Space Flight Center (GSFC) to evaluate the performance of DVB-S2 as an alternative to traditional NASA SN waveforms. Two distinct sets of tests were conducted: one was sourced from the Space Communication and Navigation (SCaN) Testbed, an external payload on the International Space Station, and the other was sourced from GRCs S-band ground station to emulate a Space Network user through TDRSS. In both cases, a commercial off-the-shelf (COTS) receiver made by Newtec was used to receive the signal at White Sands Complex. Using SCaN Testbed, peak data rates of 5.7 Mbps were demonstrated. Peak data rates of 33 Mbps were demonstrated over the GRC S-band ground station through a 10MHz channel over TDRSS, using 32-amplitude phase shift keying (APSK) and a rate 89 low density parity check (LDPC) code. Advanced features of the DVB-S2 standard were evaluated, including variable and adaptive coding and modulation (VCMACM), as well as an adaptive digital pre-distortion (DPD) algorithm. These features provided additional data throughput and increased link performance reliability. This testing has shown that commercial standards are a viable, low-cost alternative for future Space Network users.

waveforms↗