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.

SourceResearch connectionFrom yearThrough year

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

At least 253 records · Page 14

All sources NASA NTRS DOE OSTI

NASA NTRS2008

Analyzing and Detecting Problems in Systems of Systems

Many software systems are evolving complex system of systems (SoS) for which inter-system communication is mission-critical. Evidence indicates that transmission failures and performance issues are not uncommon occurrences. In a NASA-supported Software Assurance Research Program (SARP) project, we are researching a new approach addressing such problems. In this paper, we are presenting an approach for analyzing inter-system communications with the goal to uncover both transmission errors and performance problems. Our approach consists of a visualization and an evaluation component. While the visualization of the observed communication aims to facilitate understanding, the evaluation component automatically checks the conformance of an observed communication (actual) to a desired one (planned). The actual and the planned are represented as sequence diagrams. The evaluation algorithm checks the conformance of the actual to the planned diagram. We have applied our approach to the communication of aerospace systems and were successful in detecting and resolving even subtle and long existing transmission problems.

Lindvall, Mikael↗

NASA NTRS2001

Calibration of of Sun Photometers and Sky Radiance Sensors

The main source of error in retrieving aerosol optical thicknesses using sun photometry comes from the determination of the TOA voltages. The degradation of interference filters is the most important source of the long-term changes in the cross-calibrations. Although major improvements have been made in the design of the filters (interference filters fabricated using ion-assisted deposition), the filters remain the principal factor limiting performance of the sun photometers. Degradation of filters necessitates frequent calibration of sun photometers and frequent measurements of the filter transmission or the relative system response. The degradation of the filters mounted on the CIMEL sun photometers have been monitored since 1993 by the Aerosol Robotic Network (AERONET) project. The decay reported by Holben et al. for the first two years of a CIMEL#s operation is between 1 and 5%. Nevertheless, the filters mounted on CIMEL instruments are regularly replaced after two years of use. The cross-calibration technique consists of taking measurements concurrently with the uncalibrated and the reference sun photometers. While analyzing measurements, the quality of the calibration has to be checked, using the following considerations: (1) any cirrus clouds suspected to be masking the sun, during the calibration period, need to be reported and the corresponding data set removed; and (2) the stability of the day needs to be checked. This chapter will describe calibration techniques, facilities, and protocols used for calibrating sun photometers and sky radiometers.

Pietras, Christophe↗

NASA NTRS2002

Intercontinental Bistatic Radar Test Observation of Asteroid 1998 WT24

We describe the first intercontinental planetary radar test performed in Italy observing the near Earth asteroid (NEA) 33342 (1998 WT24) in December 2001 by means of the bistatic configurations Goldstone (California, USA)-Medicina (Italy) and Evpatoria (Ukraine)-Medicina. The experiment goal was to characterize the system for realtime radar follow-up observations of NEAs and artificial orbiting debris, in the framework of a feasibility study which aims at using the Sardinia Radio Telescope, at present under construction, also as a planetary radar facility. We report the preliminary results of the radar observations carried out by the IRA-CNR (Instituto di Radioastronomia - Consiglio Nazionale delle Ricerche) and the OATo (Osservatorio Astronomico di Torino) groups, aimed at exploring the scientific potentials of a new space radar program, using the existing facilities in Italy. The planetary radar technique is uniquely capable of investigating geometry and surface properties of various solar system objects, demonstrating advantages over the optical methods in its high spatial resolution and ability to obtain three-dimensional images. A single radar detection allows to obtain extremely accurate orbital elements, improving the instantaneous positional uncertainties by orders of magnitude with respect to an optically determined orbit. Radar is a powerful means to spatially resolve NEAs by measuring the distribution of the echo power in time delay (range) and Doppler frequency (line-of-sight velocity) with extreme precision in each coordinate, as it provides detailed information about the target physical properties like size, shape, rotation, near-surface bulk density and roughness and internal density distribution. The Medicina 32m antenna had been successfully used for the first time as the receiving part of a bistatic configuration during a test experiment (September 2001) held to check the capabilities of the entire data acquisition system. This test was possible thanks to the collaboration undertaken with the Evpatoria radar station, and consisted in the observation of the ETALON-1 low orbit satellite

Righini, S.↗

NASA NTRS1978

An instrument to measure the spectrum of cosmic ray iron and other nuclei to above 100 GeV-nucleon

A balloon-borne detector system for extending the study of cosmic ray composition to the energy region beyond 100 GeV/nucleon is described. The instrument incorporates an ionization calorimeter and a gas Cherenkov counter filled with freon for the determination of energies, and a charge module, consisting of scintillation and a lucite Cherenkov counter, for determining the charge of the incoming particle. The scintillators were utilized to determine the position of the incoming particle in addition to its charge. The characteristics of these detectors with respect to resolution, and the methods employed in laboratory calibration, cross-checks with flight data and actual performance in the flights are described in detail. Monte Carlo simulation of the ionization calorimeter and comparison of the response of the calorimeter and gas Cherenkov counter for complex nuclei was used to convert the observed calorimeter signal to absolute energy in a consistent manner.

Arens, J. F.↗

NASA NTRS1961

Method for Approximating the Vacuum Motions of Spinning Symmetrical Bodies with Nonconstant Spin Rates

A method for approximating the vacuum motions of spinning rigid symmetrical bodies with varying spin rates and inertias has been completed. The analysis includes the effects of time varying thrust misalignments, mass unbalance, and jet damping. Results are given in the form of equations for space referenced Euler angles, flight-path angles, body referenced attitude rates, and earth-referenced vehicle-trajectory coordinates. The method consists of dividing the problem into intervals during which the time-dependent variables are assumed constant at their mean interval value. In order to check this procedure, solutions for various interval sizes are compared with solutions obtained with numerical methods. Although the method is somewhat lengthy for accurate hand computation in most cases, it is readily programed for machine solutions. Probably more important, the general solutions give insight into the separate effects of the variables and, in many cases, can be quickly used to determine the approximate ranges of the variables required for the desired solution to a given problem. In this respect, equations for determining maximum wobble have been derived for certain input conditions. The method has been shown to compare closely with the numerical solutions of two sample problems. The sample problems also illustrated the relatively large effect of pitch and yaw jet damping on body motions.

VACUUM↗

NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗

NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗

NASA NTRS1984

Enhanced vibration controllability by minor structural modifications

A procedure for checking whether small changes in a structure have the potential for significant enhancements of its vibration control system is described. The first step in the procedure consists of the calculation of the sensitivity of the required strength of the control system to small changes in structural parameters. The second step consists of the optimization of the structural parameters to produce maximal reduction in required control system strength with minimal change in the structure. The procedure has been demonstrated for a flexible beam supported by four cables and controlled by a rate feedback single-colocated force-actuator velocity-sensor pair. Large changes in control strength requirement were obtained with small structural modifications. Analytical predictions of such effects have also been validated experimentally.

Haftka, R. T.↗

NASA NTRS1987

Methodology for testing and validating knowledge bases

A test and validation toolset developed for artificial intelligence programs is described. The basic premises of this method are: (1) knowledge bases have a strongly declarative character and represent mostly structural information about different domains, (2) the conditions for integrity, consistency, and correctness can be transformed into structural properties of knowledge bases, and (3) structural information and structural properties can be uniformly represented by graphs and checked by graph algorithms. The interactive test and validation environment have been implemented on a SUN workstation.

Krishnamurthy, C.↗

NASA NTRS2006

Control Software for Advanced Video Guidance Sensor

Embedded software has been developed specifically for controlling an Advanced Video Guidance Sensor (AVGS). A Video Guidance Sensor is an optoelectronic system that provides guidance for automated docking of two vehicles. Such a system includes pulsed laser diodes and a video camera, the output of which is digitized. From the positions of digitized target images and known geometric relationships, the relative position and orientation of the vehicles are computed. The present software consists of two subprograms running in two processors that are parts of the AVGS. The subprogram in the first processor receives commands from an external source, checks the commands for correctness, performs commanded non-image-data-processing control functions, and sends image data processing parts of commands to the second processor. The subprogram in the second processor processes image data as commanded. Upon power-up, the software performs basic tests of functionality, then effects a transition to a standby mode. When a command is received, the software goes into one of several operational modes (e.g. acquisition or tracking). The software then returns, to the external source, the data appropriate to the command.

Howard, Richard T.↗

NASA NTRS2012

Automation and Process Improvement Enables a Small Team to Operate a Low Thrust Mission in Orbit Around the Asteroid Vesta

NASA's Dawn mission to the asteroid Vesta and dwarf planet Ceres launched September 27, 2007 and arrived at Vesta in July of 2011. This mission uses ion propulsion to achieve the necessary delta-V to reach and maneuver at Vesta and Ceres. This paper will show how the evolution of ground system automation and process improvement allowed a relatively small engineering team to transition from cruise operations to asteroid operations while maintaining robust processes. The cruise to Vesta phase lasted almost 4 years and consisted of activities that were built with software tools, but each tool was open loop and required engineers to review the output to ensure consistency. Additionally, this same time period was characterized by the evolution from manually retrieved and reviewed data products to automatically generated data products and data value checking. Furthermore, the team originally took about three to four weeks to design and build about four weeks of spacecraft activities, with spacecraft contacts only once a week. Operations around the asteroid Vesta increased the tempo dramatically by transitioning from one contact a week to three or four contacts a week, to fourteen contacts a week (every 12 hours). This was accompanied by a similar increase in activity complexity as well as very fast turn around activity design and build cycles. The design process became more automated and the tools became closed loop, allowing the team to build more activities without sacrificing rigor. Additionally, these activities were dependent on the results of flight system performance, so more automation was added to analyze the flight data and provide results in a timely fashion to feed the design cycle. All of this automation and process improvement enabled up the engineers to focus on other aspects of spacecraft operations, including spacecraft health monitoring and anomaly resolution.

ground system automation↗

NASA NTRS2016

Optical Modeling and Polarization Calibration for CMB Measurements with Actpol and Advanced Actpol

The Atacama Cosmology Telescope Polarimeter (ACTPol) is a polarization sensitive upgrade to the Atacama Cosmology Telescope, located at an elevation of 5190 m on Cerro Toco in Chile. ACTPol uses transition edge sensor bolometers coupled to orthomode transducers to measure both the temperature and polarization of the Cosmic Microwave Background (CMB). Calibration of the detector angles is a critical step in producing polarization maps of the CMB. Polarization angle offsets in the detector calibration can cause leakage in polarization from E to B modes and induce a spurious signal in the EB and TB cross correlations, which eliminates our ability to measure potential cosmological sources of EB and TB signals, such as cosmic birefringence. We calibrate the ACTPol detector angles by ray tracing the designed detector angle through the entire optical chain to determine the projection of each detector angle on the sky. The distribution of calibrated detector polarization angles are consistent with a global offset angle from zero when compared to the EB-nulling offset angle, the angle required to null the EB cross-correlation power spectrum. We present the optical modeling process. The detector angles can be cross checked through observations of known polarized sources, whether this be a galactic source or a laboratory reference standard. To cross check the ACTPol detector angles, we use a thin film polarization grid placed in front of the receiver of the telescope, between the receiver and the secondary reflector. Making use of a rapidly rotating half-wave plate (HWP) mount we spin the polarizing grid at a constant speed, polarizing and rotating the incoming atmospheric signal. The resulting sinusoidal signal is used to determine the detector angles. The optical modeling calibration was shown to be consistent with a global offset angle of zero when compared to EB nulling in the first ACTPol results and will continue to be a part of our calibration implementation. The first array of detectors for Advanced ACTPol, the next generation upgrade to ACTPol, will be deployed in 2016.We plan to continue using both techniques and compare them to astrophysical source measurements for the Advanced ACTPol polarization calibration.

Koopman, Brian↗

NASA NTRS1979

Detection of SO2 in the UV spectrum of Venus

The broad absorption feature below 3300 A in the Venus UV spectrum is identified as primarily due to SO2 absorption based on new higher resolution spectra of the 3000-3400 A region showing broad (10 A), unresolved absorptions in the regions at all SO2 band origins between 3000 and 3300 A. SO2 mixing ratios vary from 5 x 10 to the -7th down to an upper limit of 2 x 10 to the -8th at a phase angle of 138 deg. Previous observational determinations of the SO2 mixing ratio were biased toward large phase angles, and consequently did not detect any SO2 absorption at the 10 to the -8th level. The upper limit derived from the CS2 band head at 3206 A is not greater than 5 x 10 to the -8th. The observed range of SO2 mixing ratios is consistent with model predictions based on the sulfur photochemistry at the cloud tops. Ground-based observations of SO2 mixing ratio will provide constraints on models and check on the Venera and Pioneer Venus measurements of the mixing ratios of SO2 and other sulfur-bearing gases with altitude.

Barker, E. S.↗

NASA NTRS1985

Sensitivity of optimized control systems to minor structural modifications

A procedure for checking whether small changes in a structure have the potential for significant enhancements of its optimized vibration control system is described. The first step in the procedure consists of the calculation of the sensitivity of the parameters of the optimized control system to small changes in the structural parameters. Theh second step consists of the optimization of the structural parameters to produce maximal increase in the performance of the control system with minimal change in the structure. The procedure has been demonstrated for a flexible laboratory structure controlled by several rate-feedback colocated force-actuator velocity-sensor pairs. Significant improvements in the performance of the control system were obtained with small structural modifications. Analytical predictions of such effects have also been validated experimentally.

Haftka, R. T.↗

NASA NTRS1943

NACA Radio Ground-Speed System for Aircraft, Special Report

A method that utilizes the Doppler effect on radio signals for determining the speed of an airplane and the distance traveled by the airplane has been developed and found to operate satisfactorily. In this method, called the NACA radio ground-speed system, standard readily available radio equipment is used almost exclusively and extreme frequency stability of the transmitters is not necessary. No complicated equipment need be carried in the airplane, as the standard radio transmitter is usually adequate. Actual flight tests were made in which the method was used and the results were consistent with calibrated air speed indications and stop-watch measurements. Inasmuch as the fundamental accuracy of the radio method is far better than either of the checking systems used, no check was made on the limitations of the accuracy.

Hastings, Charles E.↗

NASA NTRS2021

T0TEM - T0 Test Evaluation Module Development and Verification

Transition temperature testing of ferritic steels evaluates the ductile to brittle transition temperature, where the behavior of the steel changes from controlled ductile tearing to uncontrollable brittle fracture. This testing is governed by ASTM (American Society of Testing and Materials) E1921 standard. The calculations and plots required by this standard are iterative in nature and require significant effort to produce by standard hand calculations. In addition to analysis of a complete data set, intermediate analysis during testing is beneficial to determine optimal test temperatures. Given the exhaustive nature of calculating the transition temperature, being able to quickly update target temperatures is a significant benefit to not only the quality of tests, but the number of required tests as well. T0 Test Evaluation Module (T0TEM) v1.5 is a software application created under the Layered Pressure Vessel (LPV) certification effort. To reduce the analysis time of transition temperature test data sets producedfor this effort, T0TEM was created to calculate the E1921 Master Curve along with all required data and validity checks. By creating this program, hundreds of hours of analysis time were saved. In addition, the creation of a standard program provided a significant improvement in the consistency with which results were reported. T0TEM also calculates the results and plots required for the E1921 inhomogeneity annex to determine whether a material behaves in a homogenous manner. This program was created by Levi Shelton and Cameron Bosley at NASA, with input and review from the E1921 committee. The results generated by T0TEM were compared to the validation data sets provided by ASTM with good concurrence. ASTM committee members have reviewed and applied T0TEM to other data sets with satisfactory results. T0TEM was originally released to the NASA Software Repository and publicly via SourceForge in May of 2020. Version 1.5 was released in April of 2021 with minor functionality updates and additional statistical analysis methods.

Levi Shelton↗

NASA NTRS2004

Use of GOES, SSM/I, TRMM Satellite Measurements Estimating Water Budget Variations in Gulf of Mexico - Caribbean Sea Basins

This study presents results from a multi-satellite/multi-sensor retrieval system designed to obtain the atmospheric water budget over the open ocean. A combination of 3ourly-sampled monthly datasets derived from the GOES-8 5-channel Imager, the TRMM TMI radiometer, and the DMSP 7-channel passive microwave radiometers (SSM/I) have been acquired for the combined Gulf of Mexico-Caribbean Sea basin. Whereas the methodology has been tested over this basin, the retrieval system is designed for portability to any open-ocean region. Algorithm modules using the different datasets to retrieve individual geophysical parameters needed in the water budget equation are designed in a manner that takes advantage of the high temporal resolution of the GOES-8 measurements, as well as the physical relationships inherent to the TRMM and SSM/I passive microwave measurements in conjunction with water vapor, cloud liquid water, and rainfall. The methodology consists of retrieving the precipitation, surface evaporation, and vapor-cloud water storage terms in the atmospheric water balance equation from satellite techniques, with the water vapor advection term being obtained as the residue needed for balance. Thus, the intent is to develop a purely satellite-based method for obtaining the full set of terms in the atmospheric water budget equation without requiring in situ sounding information on the wind profile. The algorithm is validated by cross-checking all the algorithm components through multiple- algorithm retrieval intercomparisons. A further check on the validation is obtained by directly comparing water vapor transports into the targeted basin diagnosed from the satellite algorithms to those obtained observationally from a network of land-based upper air stations that nearly uniformly surround the basin, although it is fair to say that these checks are more effective m identifying problems in estimating vapor transports from a leaky operational radiosonde network than in verifying the transport estimates determined from the satellite algorithm system Total columnar atmospheric water budget results are presented for an extended annual cycle consisting of the months of October-97, January-98, April-98, July-98,October-98, and January 1999. These results are used to emphasize the changing relationship in E-P, as well as in the varying roles of storage and advection in balancing E-P both on daily and monthly time scales and on localized and basin space scales. Results from the algorithm-to-algorithm intercomparisons are also presented in the context of sensitivity testing to help understand the intrinsic uncertainties in evaluating the water budget terms by an all-satellite algorithm approach.

Smith, Eric A.↗

NASA NTRS2006

Monthly-Diurnal Water Budget Variability Over Gulf of Mexico-Caribbean Sea Basin from Satellite Observations

This study presents results from a multi-satellite/multi-sensor retrieval system design d to obtain the atmospheric water budget over the open ocean. A combination of hourly-sampled monthly datasets derived from the GOES-8 5-channel Imager, the TRMM TMI radiometer, and the DMSP 7-channel passive microwave radiometers (SSM/I) have been acquired for the combined Gulf of Mexico-Caribbean Sea basin. Whereas the methodology has been tested over this basin, the retrieval system is designed for portability to any open-ocean region. Algorithm modules using the different datasets to retrieve individual geophysical parameters needed in the water budget equation are designed in a manner that takes advantage of the high temporal resolution of the GOES-8 measurements, as well as the physical relationships inherent to the TRMM and SSM/I passive microwave measurements in conjunction with water vapor, cloud liquid water, and rainfall. The methodology consists of retrieving the precipitation, surface evaporation, and vapor-cloud water storage terms in the atmospheric water balance equation from satellite techniques, with the water vapor advection term being obtained as the residue needed for balance. Thus, the intent is to develop a purely satellite-based method for obtaining the full set of terms in the atmospheric water budget equation without requiring in situ sounding information on the wind profile. The algorithm is validated by cross-checking all the algorithm components through multiple-algorithm retrieval intercomparisons. A further check on the validation is obtained by directly comparing water vapor transports into the targeted basin diagnosed from the satellite algorithms to those obtained observationally from a network of land-based upper air stations that nearly uniformly surround the basin, although it is fair to say that these checks are more effective in identifying problems in estimating vapor transports from a "leaky" operational radiosonde network than in verifying the transport estimates determined from the satellite algorithm system. Total columnar atmospheric water budget results are presented for an extended annual cycle consisting of the months of October-97, January-98, April-98, July-98,October-98, and January- 1999. These results are used to emphasize the changing relationship in E-P, as well as in the varying roles of storage and advection in balancing E-P both on daily and monthly time scales and on localized and basin space scales. Results from the algorithm-to-algorithm intercomparisons are also presented in the context of sensitivity testing to help understand the intrinsic uncertainties in evaluating the water budget terms by an all-satellite algorithm approach.

Smith, E. A.↗