Search NASA⌕ Search

SEARCH · Search NASA

Results for “consistency 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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

The Jet Propulsion Laboratory shared control architecture and implementation

A hardware and software environment for shared control of telerobot task execution has been implemented. Modes of task execution range from fully teleoperated to fully autonomous as well as shared where hand controller inputs from the human operator are mixed with autonomous system inputs in real time. The objective of the shared control environment is to aid the telerobot operator during task execution by merging real-time operator control from hand controllers with autonomous control to simplify task execution for the operator. The operator is the principal command source and can assign as much autonomy for a task as desired. The shared control hardware environment consists of two PUMA 560 robots, two 6-axis force reflecting hand controllers, Universal Motor Controllers for each of the robots and hand controllers, a SUN4 computer, and VME chassis containing 68020 processors and input/output boards. The operator interface for shared control, the User Macro Interface (UMI), is a menu driven interface to design a task and assign the levels of teleoperated and autonomous control. The operator also sets up the system monitor which checks safety limits during task execution. Cartesian-space degrees of freedom for teleoperated and/or autonomous control inputs are selected within UMI as well as the weightings for the teleoperation and autonmous inputs. These are then used during task execution to determine the mix of teleoperation and autonomous inputs. Some of the autonomous control primitives available to the user are Joint-Guarded-Move, Cartesian-Guarded-Move, Move-To-Touch, Pin-Insertion/Removal, Door/Crank-Turn, Bolt-Turn, and Slide. The operator can execute a task using pure teleoperation or mix control execution from the autonomous primitives with teleoperated inputs. Presently the shared control environment supports single arm task execution. Work is presently underway to provide the shared control environment for dual arm control. Teleoperation during shared control is only Cartesian space control and no force-reflection is provided. Force-reflecting teleoperation and joint space operator inputs are planned extensions to the environment.

Backes, Paul G.↗
NASA NTRS2001

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗
DOE OSTI2020

Final Technical Report for DE-FG02-86ER45268

This work addresses several key issues for understanding the unusual superconductivity in IBS, already shown to be technologically useful materials. 1a). Are reactive gasses like fluorine, chlorine, or water vapor behaving simply as electron donors to cause the superconductivity (at T conset =21 K) in undoped IBS like BaFe 2 As 2 ? 1b). Does exposure to fluorine increase T c in electron-doped IBS materials that are underdoped, e. g. Ba(Fe 0.96 Co 0.04 ) 2 As 2 ? 1c). Can fluorine as a reactive electron-donor, with its relatively greater ease of introduction into the lattice, be used as a rapid tool to search for superconductivity in new materials under investigation? Method of investigation: Using electron probe microanalysis, x-ray photoemission spectroscopy, and dynamical mean field theory calculations, we found that fluorine substitutes for As in the BaFe 2 As 2 lattice, and should therefore behave as an electron donor. We will F-dope Ba(Fe 0.96 Co 0.04 ) 2 As 2 and several new compounds under investigation for superconductivity upon doping to determine fluorine’s effect. Potential impact: If – like for fluorine - a brief exposure to hydrogen indeed causes superconductivity to a depth of 10 microns, this technique could be useful in creating long lengths of superconducting tape without the chemical aggressiveness of fluorine. Using the F ion, which substitutes for As - away from the Fe planes, in underdoped IBS like Ba(Fe 0.96 Co 0.04 ) 2 As 2 may form optimally doped IBS with less impurity scattering of the superconducting Fe 3d electrons resulting in improved superconducting properties. Another potential impact is the speed of checking for superconductivity in new materials under investigation for superconductivity upon doping. 2. What are the effects of Be substitution into IBS, beginning with FeSe and its derivatives (FeSe 1-x S x and FeSe 1-x Te x ) and BaFe 2-x Co x As 2 ? Method of investigation: We recently succeeded in adding Be to the FeSe lattice and found, surprisingly, a factor of four improvement of the low temperature residual resistivity ratio, consistent with improved electronic ordering. Using single crystal x-ray diffraction and x-ray dispersive spectroscopy, determine the concentration and location of the Be dopant. Using resistivity, determine if there is improvement in the residual resistivity achieved by Be doping in the FeSe derivatives (using AlCl 3 :KCl flux growth) and Co-doped BaFe 2 As 2 (using self-flux single crystal growth). Measuring resistivity under strain, determine the changes of the nematic susceptibility at the structural ordering transition causes by the increase in electronic order caused by Be doping in FeSe. Potential impact: Further understanding of IBS, including FeSe which - under physical pressure - has a T c increase to 40 K and -prepared as a monolayer - has a T c reported to be over 100 K. 3. In collaboration, prepare light atom compounds involving Be and look for high pressure-induced superconductivity.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2003

Satellite Ocean-Color Validation Using Ships of Opportunity

The investigation s main objective is to collect from platforms of opportunity (merchant ships, research vessels) concomitant normalized water-leaving radiance and aerosol optical thickness data over the world s oceans. A global, long-term data set of these variables is needed to verify whether satellite retrievals of normalized water-leaving radiance are within acceptable error limits and, eventually, to adjust atmospheric correction schemes. To achieve this objective, volunteer officers, technicians, and scientists onboard the selected ships collect data from portable SIMBAD and Advanced SIMBAD (SIMBADA) radiometers. These instruments are specifically designed for evaluation of satellite-derived ocean color. They measure radiance in spectral bands typical of ocean-color sensors. The SIMBAD version measures in 5 spectral bands centered at 443, 490, 560, 670, and 870 nm, and the Advanced SIMBAD version in 11 spectral bands centered at 350, 380, 412, 443, 490, 510, 565, 620, 670, 750, and 870 nm. Aerosol optical thickness is obtained by viewing the sun disk like a classic sun photometer. Normalized water-leaving radiance, or marine reflectance, is obtained by viewing the ocean surface through a vertical polarizer in a specific geometry (nadir angle of 45o and relative azimuth angle of 135deg) to minimize direct sun glint and reflected sky radiation. The SIMBAD and SIMBADA data, after proper quality control and processing, are delivered to the SIMBIOS project office for inclusion in the SeaBASS archive. They complement data collected in a similar way by the Laboratoire d'Optique Atmospherique of the University of Lille, France. The SIMBAD and SIMBADA data are used to check the radiometric calibration of satellite ocean-color sensors after launch and to evaluate derived ocean-color variables (i.e., normalized water-leaving radiance, aerosol optical thickness, and aerosol type). Analysis of the SIMBAD and SIMBADA data provides information on the accuracy of satellite retrievals of normalized water-leaving radiance, an understanding of the discrepancies between satellite and in situ data, and algorithms that reduce the discrepancies, contributing to more accurate and consistent global ocean color data sets.

Frouin, Robert↗
NASA NTRS2006

Calibration Issues and Operating System Requirements for Electron-Probe Microanalysis

Instrument purchase requirements and dialogue with manufacturers have established hardware parameters for alignment, stability, and reproducibility, which have helped improve the precision and accuracy of electron microprobe analysis (EPMA). The development of correction algorithms and the accurate solution to quantitative analysis problems requires the minimization of systematic errors and relies on internally consistent data sets. Improved hardware and computer systems have resulted in better automation of vacuum systems, stage and wavelength-dispersive spectrometer (WDS) mechanisms, and x-ray detector systems which have improved instrument stability and precision. Improved software now allows extended automated runs involving diverse setups and better integrates digital imaging and quantitative analysis. However, instrumental performance is not regularly maintained, as WDS are aligned and calibrated during installation but few laboratories appear to check and maintain this calibration. In particular, detector deadtime (DT) data is typically assumed rather than measured, due primarily to the difficulty and inconvenience of the measurement process. This is a source of fundamental systematic error in many microprobe laboratories and is unknown to the analyst, as the magnitude of DT correction is not listed in output by microprobe operating systems. The analyst must remain vigilant to deviations in instrumental alignment and calibration, and microprobe system software must conveniently verify the necessary parameters. Microanalysis of mission critical materials requires an ongoing demonstration of instrumental calibration. Possible approaches to improvements in instrument calibration, quality control, and accuracy will be discussed. Development of a set of core requirements based on discussions with users, researchers, and manufacturers can yield documents that improve and unify the methods by which instruments can be calibrated. These results can be used to continue improvements of EPMA.

Carpenter, P.↗
NASA NTRS2018

A 3D Citizen Science Video Game for NeMO-Net, the NASA Neural Multi-Modal Observation and Training Network for Global Coral Reef Assessment

NeMO-Net, the NASA neural multi-modal observation and training network for global coral reef assessment, is an open-source deep convolutional neural network aimed at accurately assessing the present and past dynamics of coral reef ecosystems through determination of percent living cover and morphology. We present here the active learning component of the project, which consists of an interactive video game prototype for tablet and mobile devices where players are able to intuitively label morphology classifications over mm-scale 3D coral reef imagery. Active learning applications present a novel methodology for engaging the public while efficiently providing large-scale training and test data for increasingly complex and data-intensive machine learning algorithms. NeMO-Net trains players on domain-specific knowledge through interactive tutorials and periodically checks players' input against pre-classified coral imagery to gauge their accuracy and utilize in-game mechanics to provide personalized classification training. Players can rate the classifications of other players, unlock rewards and join a global community as they explore and classify coral reefs and other shallow marine environments.

Citizen Science↗
NASA NTRS1985

Sensor control of robot arc welding

A basic problem in the application of robots for welding which is how to guide a torch along a weld seam using sensory information was studied. Improvement of the quality and consistency of certain Gas Tungsten Arc welds on the Space Shuttle Main Engine (SSME) that are too complex geometrically for conventional automation and therefore are done by hand was examined. The particular problems associated with space shuttle main egnine (SSME) manufacturing and weld-seam tracking with an emphasis on computer vision methods were analyzed. Special interface software for the MINC computr are developed which will allow it to be used both as a test system to check out the robot interface software and later as a development tool for further investigation of sensory systems to be incorporated in welding procedures.

Sias, F. R., Jr.↗
NASA NTRS1988

Development of the NASA/FLAGRO computer program

A preliminary version of a new computer program has been developed for calculating crack propagation in cyclically loaded structures. The new program, titled NASA/FLAGRO, has numerous enhanced features over previous programs used for safe life analysis on space systems. The essential features of the new program consist of modular design, promptive input using a cathode ray tube terminal, improved crack growth rate analytical methods, many new crack case solutions, and incorporation of user-defined files for material properties and fatigue spectrums. Also, five options made available in the program are to compute: (1) safe life of a part with a preexisting crack; (2) critical crack size for a specified stress level; (3) stress-intensity factor numerical values for making comparisons or checks of solutions; (4) least-squares fit of growth rate equations to crack growth rate data; and (5) the conversion of a versus N data to Delta K versus da/dN.

Forman, Royce G.↗
DOE OSTI2020

A Conceptual Design for a Mobile Application to Support Infield Inventory Activities

This paper introduces an inventory assistant being developed at Oak Ridge National Laboratory (ORNL) that we believe will empower users to perform inventory activities at nuclear facilities more accurately, reliably, and quickly. Inventory activities at nuclear facilities are often conducted using pen and paper, which can be time-consuming, tedious, and susceptible to reading or transcription errors. The proposed inventory assistant would replace the paper-based process used by International Atomic Energy Agency (IAEA) inspectors, nuclear facility operators, or verification monitors to complete an inventory of nuclear and non-nuclear items. In general, the inventory assistant would ingest an inventory list, distribute assigned items from the inventory list to one or more mobile devices, enable inventory teams to record their observations in the field, and then enable an inventory lead to integrate and reconcile the observations to produce a final report. The assistant consists of two software components—one for the inventory teams to record observations in the field (In-Field Observations App [IFOA]) and one for the inventory lead to reconcile the inventory list with observations (Distribution, Integration, and Reconciliation Application [DIRA]). This paper introduces the overall workflow of the inventory assistant and describes the IFOA user experience in more detail. To demonstrate the concept, the authors present a use case of IAEA inspectors conducting item counting and tag checking activities of UF6 cylinders at a gas centrifuge enrichment plant with a large number of UF6 cylinders (e.g., thousands). These activities can currently require 30–40 person-days of inspection to complete. Based on experiences during an exercised performed at the IAEA by the ORNL team in 2016, we believe an inventory assistant could allow the IAEA to complete item counting and tag checking using the global identifier or the operator’s barcode in 8–10 person-days of inspection. We would expect other users (e.g., facility operators or verification monitors) to also benefit from significant time savings.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2025

Online and Offline Data Quality Monitoring for the Mu2e Calorimeter

This thesis presents the design, implementation, and validation of a calorimeter Data Quality Monitoring (DQM) toolchain for the Mu2e experiment at Fermilab. Mu2e searches for charged lepton flavor violation via coherent muon-to-electron conversion in the field of an aluminum nucleus, $\mu^- Al \rightarrow e^-Al$, a process whose observation would constitute clear evidence of physics beyond the Standard Model. Achieving target sensitivity requires stringent control of detector performance and data integrity during acquisition, as subtle issues in readout configuration, data formatting, or electronics behavior can compromise reconstruction and bias downstream analyzes. To address these challenges, this work develops a multi-layer DQM approach spanning both raw data validation and reconstructed digi-level diagnostics. At the low level, a fragment analysis component performs word- and bit-field decoding of calorimeter readout blocks, enabling sanity checks of the expected structure and producing detailed error and integrity statistics useful for commissioning and troubleshooting. At the digi level, the CaloDigiDQM analyzer is implemented within the art framework and transforms each CaloDigiCollection into a structured hierarchy of ROOT histograms designed for fast drill-down diagnostics. The module generates coherent monitoring views at global, disk, board, and channel granularity, including occupancy, waveform-derived features (baseline, RMS, peak amplitude and position), and left-right sensor consistency metrics. Detector-aware channel-to-electronics mapping is performed through the conditions system (CaloDAQMap), ensuring that diagnostics remain aligned with hardware identifiers used in operations. For end-to-end testing without reliance on live DAQ data, a synthetic CaloDigi producer is developed to generate realistic waveforms with controlled noise and pulse shapes. The resulting system supports both offline ROOT-file production and online operation, including optional histogram streaming through otsdaq via ots::HistoSender. This toolchain provides a practical and scalable foundation for calorimeter commissioning and stable data collection, enabling early detection of anomalies and reducing operational risk for Mu2e.

Vakulenko, Mark [Drew U.] (ORCID:0009000276197818)↗
DOE OSTI2020

Experimental determination of precision, resolution, accuracy and trueness of time-of-flight neutron diffraction strain measurements

We discuss a simple statistical analysis which yields the precision, resolution, accuracy and trueness of diffraction-based lattice strain measurements. The procedure consists of measuring the thermal expansion induced in each component of an ideal, non-reacting, two-component, crystalline powder sample in situ. One component, with a high coefficient of thermal expansion (CTE), serves as an internal thermometer. The quantities of interest are obtained by determining the smallest, statistically significant, thermal lattice strain which can be detected through diffraction analysis in the second, low CTE, component in response to controlled temperature changes. This procedure also provides a robust check of the alignment of the diffraction system and is able to reveal the presence of systematic errors. The application of this technique to a time-of-flight engineering diffractometer/strain scanner is presented.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2008

Automated Power Assessment for Helicopter Turboshaft Engines

An accurate indication of available power is required for helicopter mission planning purposes. Available power is currently estimated on U.S. Army Blackhawk helicopters by performing a Maximum Power Check (MPC), a manual procedure performed by maintenance pilots on a periodic basis. The MPC establishes Engine Torque Factor (ETF), an indication of available power. It is desirable to replace the current manual MPC procedure with an automated approach that will enable continuous real-time assessment of available power utilizing normal mission data. This report presents an automated power assessment approach which processes data currently collected within helicopter Health and Usage Monitoring System (HUMS) units. The overall approach consists of: 1) a steady-state data filter which identifies and extracts steady-state operating points within HUMS data sets; 2) engine performance curve trend monitoring and updating; and 3) automated ETF calculation. The algorithm is coded in MATLAB (The MathWorks, Inc.) and currently runs on a PC. Results from the application of this technique to HUMS mission data collected from UH-60L aircraft equipped with T700-GE-701C engines are presented and compared to manually calculated ETF values. Potential future enhancements are discussed.

Simon, Donald L.↗
NASA NTRS1988

A flight test design for studying airborne applications of air to ground duplex data link communications

The Automatic En Route Air Traffic Control (AERA) and the Advanced Automated System (AAS) of the NAS plan, call for utilization of data links for such items as computer generated flight clearances, enroute minimum safe altitude warnings, sector probes, out of conformance check, automated flight services, and flow management of advisories. A major technical challenge remaining is the integration, flight testing, and validation of data link equipment and procedures in the aircraft cockpit. The flight test organizational chart, was designed to have the airplane side of data link experiments implemented in the NASA Langley Research Center (LaRC) experimental Boeing 737 airplane. This design would enable investigations into implementation of data link equipment and pilot interface, operations, and procedures. The illustrated ground system consists of a work station with links to a national weather database and a data link transceiver system. The data link transceiver system could be a Mode-S transponder, ACARS, AVSAT, or another type of radio system such as the military type HF data link. The airborne system was designed so that a data link transceiver, workstation, and touch panel could be interfaced with an input output processor to the aircraft system bus and thus have communications access to other digital airplane systems.

Scanlon, Charles H.↗
NASA NTRS1995

Comparison of Satellite-Derived Wind Measurements with Other Wind Measurement Sensors

The purpose of this paper is to compare the good data from the Jimsphere launches with the data from the satellite system. By comparing the wind speeds from the Fixed Pedestal System 16 (FPS-16) Radar/Jimsphere Wind System and NASA's 50-MHz Radar Wind Profiler, the validation of winds from Geostationary Operational Environmental Satellite 7 (GOES-7) is performed. This study provides an in situ data quality check for the GOES-7 satellite winds. Comparison was made of the flowfields in the troposphere and the lower stratosphere of case studies of pairs of Jimsphere balloon releases and Radar Wind Profiler winds during Space Shuttle launches. The mean and standard deviation of the zonal component statistics, the meridional component statistics, and the power spectral density curves show good agreement between the two wind sensors. The standard deviation of the u and v components for the STS-37 launch (consisting of five Jimsphere/Radar Wind Profiler data sets) was 1.92 and 1.67 m/s, respectively; for the STS-43 launch (there were six Jimsphere/Wind Profiler data sets) it was 1.39 and 1.44 m/s, respectively. The overall standard deviation was 1.66 m/s for the u component and 1.55 m/s tor the v component, and a standard deviation of 2.27 m/s tor the vector wind difference. The global comparison of satellite with Jimsphere balloon vector winds shows a standard deviation of 3.15 m/s for STS-43 and 4.37 m/s for STS-37. The overall standard deviation of the vector wind was 3.76 m/s, with a root-mean-square vector difference of 4.43 m/s. These data have demonstrated that this unique comparison of the Jimsphere and satellite winds provides excellent ground truth and a frame of reference during testing and validation of satellite data

Susko, Michael↗
NASA NTRS1987

Sun sensor boresight alignment testing for the Halogen Occultation Experiment

The boresight alignment testing for the sun sensor assembly on the Halogen Occultation Experiment (HALOE) is described. The sun sensor assembly consists of three sensors that provide feedback signals for controlling dual axes gimbals. Two energy balancing silicon detectors are operated as wideband sensors in the azimuth and elevation axes. The third sensor is a silicon photodiode array operated as a narrow-band sensor in the elevation axis. These sensors are mounted on a common Invar structure which is mounted to the HALOE telescope. A blackbody was used as the stimulating source to perform the initial boresight alignment and this was checked with a heliostat solar look and a direct solar look. These tests are explained with a comparison between each source used.

Moore, A. S.↗
NASA NTRS1991

Giotto Extended Mission (GEM)

The primary objectives of the Giotto Extended Mission (GEM), are to determine the composition and physical state of the Grigg Skjellerup Comet's nucleus; to determine the processes that govern the composition and distribution of neutral and ionized species in the cometary atmosphere. Giotto consists of a single European Space Agency (ESA) spacecraft that was launched in 1985 from Center Spatial Guyanis in French Guiana on an Ariane launch vehicle. After a successful launch into geostationary orbit and a heliocentric transfer trajectory, the spacecraft successfully encountered Halley's Comet in 1986. One month after encountering Halley's Comet, Mar. 1986, the spacecraft was placed in hibernation in a heliocentric orbit slightly less than 1 AU. Between Feb. and Jul. 1990 the spacecraft was successfully reactivated, checked out, and placed on a trajectory course to intercept comet Grigg Skjellerup. The spacecraft has been in hibernation since Jul. 1990. Information is presented in tabular form in the following areas: coverage goals, Deep Space Network Support, frequency assignments, telemetry, command, and tracking support responsibility.

Wilkins, D. E. B.↗
NASA NTRSDate not supplied

pyQuARC: Open Source Library for Earth Observation Metadata Quality Assessment

Metadata quality is essential to effective data discovery and has become increasingly vital as more Earth Science data sets become available. The Common Metadata Repository (CMR) hosts metadata describing NASA’s Earth Observation data products, which are archived across 12 Distributed Active Archive Centers (DAACs). The Analysis and Review of CMR (ARC) Team, located at Marshall Space Flight Center, conducts metadata quality assessments to ensure that these data products are discoverable, accessible, and usable. To achieve these goals, the ARC team has developed a metadata quality assessment framework to evaluate metadata completeness, correctness, and consistency. ARC uses a combination of manual and automated methods to assess these three components and identify areas of improvement; the team then collaborates with the DAACs to resolve any findings. To streamline this process, ARC is currently developing a host of scripts, known as pyQuARC, to automate metadata quality assessments as much as possible. pyQuARC is an open source library for Earth Observation Metadata Quality Assessment, and the tool utilizes ARC’s metadata quality assessment framework to make basic validation checks, pinpoint inconsistencies between dataset-level (i.e. collection) and file-level (i.e. granule) metadata, and identify opportunities for more descriptive and robust information. Since pyQuARC is also customizable, other users can make modifications as needed, and future metadata standards can also be implemented. Once pyQuARC is fully developed, it will support multiple schema types to serve the broader EOSDIS metadata community. This presentation will provide an overview of pyQuARC and its process of development while showcasing the tool’s valuable features and uses.

Jenny Wood↗
NASA NTRS1986

Vertical structure of the wind field during the Special Observing Period I of the Global Weather Experiment

The vertical structure of the global atmosphere is analyzed for selected periods of the Special Observing Period I (SOP-I) for the Global Weather Experiment (GWE). The analysis consists of projection of the stream-function and velocity potential at 200 and 850 mb on spherical harmonics and of the wind and height fields on the normal modes of a linearized form of the primitive equations for a basic state at rest. The kinematic vertical structure is discussed in terms of correlation coefficients of the 200 mb and 850 mb winds and analysis of the internal and external normal modes of the primitive equations. The reliability of the results is checked by applying the same analysis methods to data sets obtained from three different institutions: Geophysical Fluid Dynamics Laboratory (GFDL), European Center for Medium Range Weather Forecasting (ECMWF), and Goddard Laboratory for the Atmospheres (GLA). It is found that, on a global basis, vertically reversing circulations are as important as the equivalent barotropic structures. For the verticaly reversing components, the gravity and mixed Rossby-gravity modes have contributions of the same order of magnitude as those of the Rossby modes in tropical latitudes.

Paegle, J. N.↗