Search NASA⌕ Search

SEARCH · Search NASA

Results for “performance verification”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

The absolute amplitude calibration of the SEASAT synthetic aperture radar - An intercomparison with other L-band radar systems

The absolute amplitude calibration of the spaceborne Seasat SAR data set is presented based on previous relative calibration studies. A scale factor making it possible to express the perceived radar brightness of a scene in units of sigma-zero is established. The system components are analyzed for error contribution, and the calibration techniques are introduced for each stage. These include: A/D converter saturation tests; prevention of clipping in the processing step; and converting the digital image into the units of received power. Experimental verification was performed by screening and processing the data of the lava flow surrounding the Pisgah Crater in Southern California, for which previous C-130 airborne scatterometer data were available. The average backscatter difference between the two data sets is estimated to be 2 dB in the brighter, and 4 dB in the dimmer regions. For the SAR a calculated uncertainty of 3 dB is expected.

Held, D.↗
NASA NTRS1989

Development and refinement of test bed simulations

Lewis Research Center of NASA, with support from Rocketdyne, was engaged in non-real time computer simulation effort for the Space Station Freedom Electric Power System (EPS) EASY5, a simulation package, is used as the primary tool for this activity. Early in the design of the EPS, two test beds were set up at Lewis. The Integrated Test Bed (ITB), that combines and upgrades these test beds, is in the planning stage. The test beds are designed to functionally represent many of the components of the EPS and their interconnections. The simulation effort is primarily directed towards these test beds. Model verification is performed using test bed data.

Dravid, Narayan V.↗
NASA NTRS1990

Preliminary results from a subsonic high-angle-of-attack flush airdata sensing (HI-FADS) system - Design, calibration, algorithm development, and flight test evaluation

A nonintrusive high angle-of-attack flush airdata sensing (HI-FADS) system was installed and flight-tested on the F-18 high alpha research vehicle. This paper discusses the airdata algorithm development and composite results expressed as airdata parameter estimates and describes the HI-FADS system hardware, calibration techniques, and algorithm development. An independent empirical verification was performed over a large portion of the subsonic flight envelope. Test points were obtained for Mach numbers from 0.15 to 0.94 and angles of attack from -8.0 to 55.0 deg. Angles of sideslip ranged from -15.0 to 15.0 deg, and test altitudes ranged from 18,000 to 40,000 ft. The HI-FADS system gave excellent results over the entire subsonic Mach number range up to 55 deg angle of attack. The internal pneumatic frequency response of the system is accurate to beyond 10 Hz.

Whitmore, Stephen A.↗
NASA NTRS1989

Development and refinement of test bed simulations

Lewis Research Center of NASA, with support from Rocketdyne, has engaged in a nonreal-time computer simulation effort for the Space Station Freedom Electric Power System (EPS). EASYS, a simulation package, is used as the primary tool for this activity. Early in the design of the EPS, two test beds were set up at Lewis. The Integrated Test Bed (ITB) that combines and upgrades these test beds is in the planning stage. The test beds are designed to functionally represent many of the components of the EPS and their interconnections. The simulation effort is primarily directed towards these test beds. Model verification is performed using test bed data.

Dravid, N. V.↗
NASA NTRS1992

Integration of thermal and environmental control systems during Space Station Freedom early assembly phase

An overview of Space Station Freedom Thermal Control System (TCS) and Environmental Control and Life Support System (ECLSS) integration is presented for Stages 2-6. Particular attention is given to issues associated with integrating five distinct, functioning spacecraft with hardware not specifically designed for intermediate stages. Areas specifically addressed include integrated ECLSS temperature and humidity control performance, thermal load balancing, performance and verification requirements, interface verification procedures, TCS activation sequence, resource allocation and Space Shuttle integration.

Di Pietro, David A.↗
NASA NTRS1994

Load-limiting landing gear footpad energy absorption system

As a precursor to future manned missions to the moon, an inexpensive, unmanned vehicle that could carry small, scientific payloads to the lunar surface was studied by NASA. The vehicle, called the Common Lunar Lander, required extremely optimized structural systems to increase the potential payload mass. A lightweight energy-absorbing system (LAGFEAS), which also acts as a landing load-limiter was designed to help achieve this optimized structure. Since the versatile and easily tailored system is a load-limiter, it allowed for the structure to be designed independently of the ever-changing landing energy predictions. This paper describes the LAGFEAS system and preliminary verification testing performed at NASA's Johnson Space Center for the Common Lunar Lander program.

Hansen, Chris↗
NASA NTRS1994

Multivariate statistical analysis software technologies for astrophysical research involving large data bases

We developed a package to process and analyze the data from the digital version of the Second Palomar Sky Survey. This system, called SKICAT, incorporates the latest in machine learning and expert systems software technology, in order to classify the detected objects objectively and uniformly, and facilitate handling of the enormous data sets from digital sky surveys and other sources. The system provides a powerful, integrated environment for the manipulation and scientific investigation of catalogs from virtually any source. It serves three principal functions: image catalog construction, catalog management, and catalog analysis. Through use of the GID3* Decision Tree artificial induction software, SKICAT automates the process of classifying objects within CCD and digitized plate images. To exploit these catalogs, the system also provides tools to merge them into a large, complete database which may be easily queried and modified when new data or better methods of calibrating or classifying become available. The most innovative feature of SKICAT is the facility it provides to experiment with and apply the latest in machine learning technology to the tasks of catalog construction and analysis. SKICAT provides a unique environment for implementing these tools for any number of future scientific purposes. Initial scientific verification and performance tests have been made using galaxy counts and measurements of galaxy clustering from small subsets of the survey data, and a search for very high redshift quasars. All of the tests were successful, and produced new and interesting scientific results. Attachments to this report give detailed accounts of the technical aspects for multivariate statistical analysis of small and moderate-size data sets, called STATPROG. The package was tested extensively on a number of real scientific applications, and has produced real, published results.

Djorgovski, S. George↗
NASA NTRS1994

Multivariate Statistical Analysis Software Technologies for Astrophysical Research Involving Large Data Bases

We developed a package to process and analyze the data from the digital version of the Second Palomar Sky Survey. This system, called SKICAT, incorporates the latest in machine learning and expert systems software technology, in order to classify the detected objects objectively and uniformly, and facilitate handling of the enormous data sets from digital sky surveys and other sources. The system provides a powerful, integrated environment for the manipulation and scientific investigation of catalogs from virtually any source. It serves three principal functions: image catalog construction, catalog management, and catalog analysis. Through use of the GID3* Decision Tree artificial induction software, SKICAT automates the process of classifying objects within CCD and digitized plate images. To exploit these catalogs, the system also provides tools to merge them into a large, complex database which may be easily queried and modified when new data or better methods of calibrating or classifying become available. The most innovative feature of SKICAT is the facility it provides to experiment with and apply the latest in machine learning technology to the tasks of catalog construction and analysis. SKICAT provides a unique environment for implementing these tools for any number of future scientific purposes. Initial scientific verification and performance tests have been made using galaxy counts and measurements of galaxy clustering from small subsets of the survey data, and a search for very high redshift quasars. All of the tests were successful and produced new and interesting scientific results. Attachments to this report give detailed accounts of the technical aspects of the SKICAT system, and of some of the scientific results achieved to date. We also developed a user-friendly package for multivariate statistical analysis of small and moderate-size data sets, called STATPROG. The package was tested extensively on a number of real scientific applications and has produced real, published results.

Djorgovski, S. G.↗
NASA NTRS1995

A simulation technique for predicting thickness of thermal sprayed coatings

The complexity of many of the components being coated today using the thermal spray process makes the trial and error approach traditionally followed in depositing a uniform coating inadequate, thereby necessitating a more analytical approach to developing robotic trajectories. A two dimensional finite difference simulation model has been developed to predict the thickness of coatings deposited using the thermal spray process. The model couples robotic and component trajectories and thermal spraying parameters to predict coating thickness. Simulations and experimental verification were performed on a rotating disk to evaluate the predictive capabilities of the approach.

Goedjen, John G.↗
NASA NTRS1995

Shuttle Laser Altimeter (SLA): A pathfinder for space-based laser altimetry and lidar

The Shuttle Laser Altimeter (SLA) is a Hitchhiker experiment now being integrated for first flight on STS-72 in November 1995. Four Shuttle flights of the SLA are planned at a rate of about a flight every 18 months. They are aimed at the transition of the Goddard Space Flight Center airborne laser altimeter and lidar technology to low Earth orbit as a pathfinder for operational space-based laser remote sensing devices. Future alser altimeter sensors such as the Geoscience Laser Altimeter System (GLAS), an Earth Observing System facility instrument, and the Multi-Beam Laser Altimeter (MBLA), the land and vegetation laser altimeter for the NASA TOPSAT (Topography Satellite) Mission, will utilize systems and approaches being tested with SLA. The SLA Instrument measures the distance from the Space Shuttle to the Earth's surface by timing the two-way propagation of short (approximately 10 na noseconds) laser pulses. laser pulses at 1064 nm wavelength are generated in a laser transmitter and are detected by a telescope equipped with a silicon avalanche photodiode detector. The SLA data system makes the pulse time interval measurement to a precision of about 10 nsec and also records the temporal shape of the laser echo from the Earth's surface for interpretation of surface height distribution within the 100 m diam. sensor footprint. For example, tree height can be determined by measuring the characteristic double-pulse signature that results from a separation in time of laser backscatter from tree canopies and the underlying ground. This is accomplished with a pulse waveform digitizer that samples the detector output with an adjustable resolution of 2 nanoseconds or wider intervals in a 100 sample window centered on the return pulse echo. The digitizer makes the SLA into a high resolution surface lidar sensor. It can also be used for cloud and atmospheric aerosol lidar measurements by lengthening the sampling window and degrading the waveform resolution. Detailed test objectives for the STS-72 mission center on the acquisition of sample data sets for land topography and vegetation height, waveform digitizer performance, and verification of data acquisition algorithms. The operational concept of SLA is illustrated in Fig. 1 where a series of 100 m footprints stretch in a profile of Earth surface topography along the nadir track of the Space Shuttle. The location of SLA as a dual canister payload on the Hitchhiker Bridge Assembly in Bay 12 of the Space Shuttle Endeavor can also be noted in this figure. Full interpretation of the SLA range measurement data set requires a 1 m knowledge of the Orbiter trajectory and better than 0.1 deg knowledge of Orbiter pointing angle. These ancillary data sets will be acquired during the STS-72 mission with an on-board Global Positioning System (GPS) receiver, K-band range and range-rate tracking of the Orbiter through TDRSS, and use of on-board inertial measurement units and star trackers. Integration and interpretation of all these different data sets as a pathfinder investigation for accurate determination of Earth surface elevation is the overall science of the SLA investigation.

Bufton, Jack↗
NASA NTRS1997

Application of artificial intelligence (AI) concepts to the development of space flight parts approval model

A cost effective model which uses the artificial intelligence techniques in the selection and approval of parts is presented. The knowledge which is acquired from the specialists for different part types are represented in a knowledge base in the form of rules and objects. The parts information is stored separately in a data base and is isolated from the knowledge base. Validation, verification and performance issues are highlighted.

Krishnan, G. S.↗
NASA NTRS1998

An approach to the design and implementation of spacecraft attitude control systems

Over 39 years and a long list of missions, the guidance, navigation, and control (GN&C) groups at the Goddard Space Flight Center have gradually developed approaches to the design and implementation of successful spacecraft attitude control systems. With the recent creation of the Guidance, Navigation, and Control Center at Goddard, there is a desire to document some of these design practices to help to ensure their consistent application in the future. In this paper, we will discuss the beginnings of this effort, drawing primarily on the experience of one of the past attitude control system (ACS) groups at Goddard (what was formerly known as Code 712, the Guidance, Navigation, and Control Branch). We will discuss the analysis and design methods and criteria used, including guidelines for linear and nonlinear analysis, as well as the use of low- and high-fidelity simulation for system design and verification of performance. Descriptions of typical ACS sensor and actuator hardware will be shown, and typical sensor/actuator suites for a variety of mission types detailed. A description of the software and hardware test effort will be given, along with an attempt to make some qualitative estimates on how much effort is involved. The spacecraft and GN&C subsystem review cycles will be discussed, giving an outline of what design reviews are typically held and what information should be presented at each stage. Finally, we will point out some of the lessons learned at Goddard.

ODonnell, James R., Jr.↗
NASA NTRS1998

An Approach to the Design and Implementation of Spacecraft Attitude Control Systems

Over 39 years and a long list of missions, the guidance, navigation, and control (GN&C) groups at the Goddard Space Flight Center have gradually developed approaches to the design and implementation of successful spacecraft attitude control systems. With the recent creation of the Guidance, Navigation, and Control Center at Goddard, there is a desire to document some of these design practices to help to ensure their consistent application in the future. In this paper, we will discuss the beginnings of this effort, drawing primarily on the experience of one of the past attitude control system (ACS) groups at Goddard (what was formerly known as Code 712, the Guidance, Navigation, and Control Branch). We will discuss the analysis and design methods and criteria used, including guidelines for linear and nonlinear analysis, as well as the use of low- and high-fidelity simulation for system design and verification of performance. Descriptions of typical ACS sensor and actuator hardware will be shown, and typical sensor/actuator suites for a variety of mission types detailed. A description of the software and hardware test effort will be given, along with an attempt to make some qualitative estimates on how much effort is involved. The spacecraft and GN&C subsystem review cycles will be discussed, giving an outline of what design reviews are typically held and .what information should be presented at each stage. Finally, we will point out some of the lessons learned at Goddard.

ODonnell, James R., Jr.↗
NASA NTRS2003

Aerosol Measurements by the GLAS Space Borne Lidar

Beginning in February 2003, the Geoscience Laser Altimeter System (GLAS) provides global coverage lidar measurement of the height distribution of aerosol in the atmosphere. The characteristic and value of the unique data will be presented. The instrument is a basic backscatter lidar that operates at two wavelengths, 532 and 1064 nm. The mission data products for atmospheric observations include the calibrated, observed, attenuated backscatter cross section for cloud and aerosol; height detection for multiple cloud layers; planetary boundary layer height; cirrus and aerosol optical depth and the height distribution of aerosol and cloud scattering cross section profiles. The data is expected to significantly enhance knowledge of the distribution, transport and influence of atmospheric aerosol and thin clouds. Initial results from the 1064 nm channel show strong aerosol loading in many regions of the world. From the initial performance and verification experiments, aerosol backscatter cross sections down to sever times 10(exp -6)I/m-sr are detected. In August the 532 nm channel will also provide aerosol profiles but with a projected order of magnitude more sensitivity, and full data products including aerosol optical depths will be generated. Results from these first several months of operation will be presented.

Spinhirne, James D.↗
NASA NTRS2002

Computational modeling of cardiovascular response to orthostatic stress

The objective of this study is to develop a model of the cardiovascular system capable of simulating the short-term (< or = 5 min) transient and steady-state hemodynamic responses to head-up tilt and lower body negative pressure. The model consists of a closed-loop lumped-parameter representation of the circulation connected to set-point models of the arterial and cardiopulmonary baroreflexes. Model parameters are largely based on literature values. Model verification was performed by comparing the simulation output under baseline conditions and at different levels of orthostatic stress to sets of population-averaged hemodynamic data reported in the literature. On the basis of experimental evidence, we adjusted some model parameters to simulate experimental data. Orthostatic stress simulations are not statistically different from experimental data (two-sided test of significance with Bonferroni adjustment for multiple comparisons). Transient response characteristics of heart rate to tilt also compare well with reported data. A case study is presented on how the model is intended to be used in the future to investigate the effects of post-spaceflight orthostatic intolerance.

Flight Experiment↗
NASA NTRS2005

INTEGRAL Observations of the Be/X-ray binary EX0 2030+375 During Outburst

We present a type-I outburst of the high-mass X-ray binary EX0 2030+375, detected during INTEGRAL'S Performance and Verification phase in December 2002 (on-source time about 10(exp 6) seconds). In addition, six more outbursts have been observed during INTEGRAL'S Galactic Plane Scans. X-ray pulsations have been detected with a pulse period of 41.691798 plus or minus 0.000016 s. The X-ray luminosity in the 5-300 keV energy range was 9.7 x 10 (exp 36) erg per second, for a distance of 7.1 kpc. Two unusual features were found in the light curve, with an initial peak before the main outburst and another possible spike after the maximum. RXTE observations confirm only the existence of the initial spike. Although the initial peak appears to be a recurrent feature, the physical mechanisms producing it and the possible second spike are unknown. Moreover, a four-day delay between periastron passage and the peak of the outburst is observed. We present for the first time a 5-300 keV broad-band spectrum of this source. It can be modelled by the sum of a disk black body (kT(sub BB) approximately 8 keV) and either with a power law model with Gamma=2.04 plus or minus 0.11 keV or a Comptonized component (spherical geometry, kT(sub e).=30 keV, tau = 2.64, kT(sub w)=1.5 keV).

Arranz, A. Camero↗
NASA NTRS2006

New Challenges in Model Checking

In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.

software verification↗
NASA NTRS2009

Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering

Both the human factors engineering (HFE) and formal methods communities are concerned with finding and eliminating problems with safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to use model checking with HFE practices to perform formal verification of a human-interactive system. Despite the use of a seemingly simple target system, a patient controlled analgesia pump, the initial model proved to be difficult for the model checker to verify in a reasonable amount of time. This resulted in a number of model revisions that affected the HFE architectural, representativeness, and understandability goals of the effort. If formal methods are to meet the needs of the HFE community, additional modeling tools and technological developments are necessary.

Bolton, Matthew L.↗