Search NASA⌕ Search

SEARCH · Search NASA

Results for “Requirements 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 289 records · Page 16

Strainrange partitioning: A tool for characterizing high temperature low cycle fatigue

The basic concepts of strain range partitioning are reviewed and the areas requiring for expanded verification are detailed. A suggested cooperative evaluation program involves the verification of the four basic life relationships (for PP, CC, PC, and CP type inelastic strain ranges) for a variety of materials that are of direct interest to the participating organizations.

Hirschberg, M. H.↗

Space Transportation System solid rocket booster thrust vector control system

The Solid Rocket Booster, Thrust Vector Control (TVC) system was designed in accordance with the following requirements: self-contained power supply, failsafe operation, 20 flight uses after exposure to seawater landings, optimized cost, and component interchangeability. Trade studies were performed which led to the selection of a recirculating hydraulic system powered by Auxiliary Power Units (APU) which drive the hydraulic actuators and gimbal the solid rocket motor nozzle. Other approaches for the system design were studied in arriving at the recirculating hydraulic system powered by an APU. These systems must withstand the imposed environment and be usable for a minimum of 20 Space Transportation System flights with a minimum of refurbishment. The TVC system completed the required qualification and verification tests and is certified for the intended application. Substantiation data include analytical and test data.

Verble, A. J., Jr.↗

Gas side heat transfer: 2-D flow

Significant progress was made in advancing the idea of establishing a unified approach for predicting airfoil heat transfer for a wide range of operating conditions and geometries. Preliminary results are encouraging and further mixing length (ml) turbulence modeling ideas will be explored, concentrating on transition behavior. The capability of available modeling techniques to predict airfoil surface heat transfer distributions in a two-dimensional flow field was assessed, experimental data as required for model verification were acquired, and improvements in the analytic models was made and verified.

York, R.↗

Integrated cockpit design for the Army helicopter improvement program

The main Army Helicopter Improvement Program (AHIP) mission is to navigate precisely, locate targets accurately, communicate their position to other battlefield elements, and to designate them for laser guided weapons. The onboard navigation and mast-mounted sight (MMS) avionics enable accurate tracking of current aircraft position and subsequent target location. The AHIP crewstation development was based on extensive mission/task analysis, function allocation, total system design, and test and verification. The avionics requirements to meet the mission was limited by the existing aircraft structural and performance characteristics and resultant space, weight, and power restrictions. These limitations and night operations requirement led to the use of night vision goggles. The combination of these requirements and limitations dictated an integrated control/display approach using multifunction displays and controls.

Drennen, T.↗

Observing the earth radiation budget from satellites - Past, present, and a look to the future

Satellite measurements of the radiative exchange between the planet earth and space have been the objective of many experiments since the beginning of the space age in the late 1950's. The on-going mission of the Earth Radiation Budget (ERB) experiments has been and will be to consider flight hardware, data handling and scientific analysis methods in a single design strategy. Research and development on observational data has produced an analysis model of errors associated with ERB measurement systems on polar satellites. Results show that the variability of reflected solar radiation from changing meteorology dominates measurement uncertainties. As an application, model calculations demonstrate that measurement requirements for the verification of climate models may be satisfied with observations from one polar satellite, provided there is information on diurnal variations of the radiation budget from the ERBE mission.

House, F. B.↗

Kinetics in a turbulent nebular cloud

Model calculations, which include the effects of turbulence during subsequent solar nebula evolution after the collapse of a cool interstellar cloud, can reconcile some of the apparent differences between physical parameters obtained from theory and the cosmochemical record. Two important aspects of turbulence in a protoplanetary cloud include the growth and transport of solid grains. While the physical effects of the process can be calculated and compared with the probable remains of the nebula formulation period, the more subtle effects on primitive grains and their survival in the cosmochemical record cannot be readily evaluated. The environment offered by the Space Station (or Space Shuttle) experimental facility can provide the vacuum and low gravity conditions for sufficiently long time periods required for experimental verification of these cosmochemical models.

Mackinnon, Ian D. R.↗

Frame synchronization for the Galileo code

Results are reported on the performance of the Deep Space Network's frame synchronizer for the (15,1/4) convolutional code after Viterbi decoding. The threshold is found that optimizes the probability of acquiring true sync within four frames using a strategy that requires next frame verification.

Arnold, S.↗

Expert system decision support for low-cost launch vehicle operations

Progress in assessing the feasibility, benefits, and risks associated with AI expert systems applied to low cost expendable launch vehicle systems is described. Part one identified potential application areas in vehicle operations and on-board functions, assessed measures of cost benefit, and identified key technologies to aid in the implementation of decision support systems in this environment. Part two of the program began the development of prototypes to demonstrate real-time vehicle checkout with controller and diagnostic/analysis intelligent systems and to gather true measures of cost savings vs. conventional software, verification and validation requirements, and maintainability improvement. The main objective of the expert advanced development projects was to provide a robust intelligent system for control/analysis that must be performed within a specified real-time window in order to meet the demands of the given application. The efforts to develop the two prototypes are described. Prime emphasis was on a controller expert system to show real-time performance in a cryogenic propellant loading application and safety validation implementation of this system experimentally, using commercial-off-the-shelf software tools and object oriented programming techniques. This smart ground support equipment prototype is based in C with imbedded expert system rules written in the CLIPS protocol. The relational database, ORACLE, provides non-real-time data support. The second demonstration develops the vehicle/ground intelligent automation concept, from phase one, to show cooperation between multiple expert systems. This automated test conductor (ATC) prototype utilizes a knowledge-bus approach for intelligent information processing by use of virtual sensors and blackboards to solve complex problems. It incorporates distributed processing of real-time data and object-oriented techniques for command, configuration control, and auto-code generation.

Szatkowski, G. P.↗

Safety

Software requirements, design, implementation, verification and validation, and especially management are affected by the need to produce safe software. This paper discusses the changes in the software life cycle that are necessary to ensure that software will execute without resulting in unacceptable risk. Software is being used increasingly to monitor and control safety-critical processes in which a run-time failure or error could result in unacceptable losses such as death, injury, loss of property, or environmental harm. Examples of such processes maybe found in transportation, energy, aerospace, basic industry, medicine, and defense systems.

Leveson, Nancy G.↗

Experimental results on a wall interference correction method with interface measurements

A wall interference assessment and correction method for subsonic two-dimensional wind tunnel testing is presented. This method calculates a pressure coefficient and angle of attack correction based on velocity measurements on interfaces inside of the wind tunnel. A mathematical representation of the test article is not required. An experimental verification of the suggested technique is given. A NACA 0012 airfoil is tested at a Mach number of 0.70 and at two different angles of attack. Calculated blockage corrections show reasonable agreement with results based on Hackett's method. Corrected surface pressures compare favorably to free-air flow field data if the tunnel flow field is subsonic. The present wall interference correction method can be applied to transonic tunnel flow fields with some restrictions. Errors are estimated and it is shown that the expected error in calculating the pressure coefficient correction on the model surface is in the order of the error of pressure coefficient measurement on interfaces. Necessary testing equipment in existing tunnels can easily be modified if the present method is applied.

Lo, C. F.↗

Next generation VLSI tools

This paper focuses on what features would be useful in VLSI Computer Aided Design Tools and Systems to be used in the next five to ten years. Examples of current design tasks will be used to emphasize the areas where new or expanded VLSI CAD tools are needed. To provide a basis for projecting the future of VLSI tools, a brief history of the evolution of VLSI design software and hardware platforms is presented. The role of design methodology is considered with respect to the anticipated scale of future VLSI design projects. Future requirements of design verification and manufacturing testing are projected based on the challenge of surviving in a competitive market. Examples of VLSI tools reflect the author's involvement on VLSI design teams developing integrated circuits for disk memory and other computer peripherals for the last eight years.

Gibson, J.↗

Glaciological studies in the central Andes using AIRSAR/TOPSAR

The interaction of climate and topography in mountainous regions is dramatically expressed in the spatial distribution of glaciers and snowcover. Monitoring existing alpine glaciers and snow extent provides insight into the present mountain climate system and how it is changing, while mapping the positions of former glaciers as recorded in landforms such as cirques and moraines provide a record of the large past climate change associated with the last glacial maximum. The Andes are an ideal mountain range in which to study the response of snow and ice to past and present climate change. Their expansive latitudinal extent offers the opportunity to study glaciers in diverse climate settings from the tropical glaciers of Peru and Bolivia to the ice caps and tide-water glaciers of sub-polar Patagonia. SAR has advantages over traditional passive remote sensing instruments for monitoring present snow and ice and differentiating moraine relative ages. The cloud penetrating ability of SAR is indispensable for perennially cloud covered mountains. Snow and ice facies can be distinguished from SAR's response to surface roughness, liquid water content and grain size distribution. The combination of SAR with a coregestered high-resolution DEM (TOPSAR) provides a promising tool for measuring glacier change in three dimensions, thus allowing ice volume change to be measured directly. The change in moraine surface roughness over time enables SAR to differentiate older from younger moraines. Polarimetric SAR data have been used to distinguish snow and ice facies and relatively date moraines. However, both algorithms are still experimental and require ground truth verification. We plan to extend the SAR classification of snow and ice facies and moraine age beyond the ground truth sites to throughout the Cordillera Real to provide a regional view of past and present snow and ice. The high resolution DEM will enhance the SAR moraine dating technique by discriminating relative ages based on moraine slope degradation.

Forster, Richard R.↗

Framework for Small-Scale Experiments in Software Engineering: Guidance and Control Software Project: Software Engineering Case Study

Software is becoming increasingly significant in today's critical avionics systems. To achieve safe, reliable software, government regulatory agencies such as the Federal Aviation Administration (FAA) and the Department of Defense mandate the use of certain software development methods. However, little scientific evidence exists to show a correlation between software development methods and product quality. Given this lack of evidence, a series of experiments has been conducted to understand why and how software fails. The Guidance and Control Software (GCS) project is the latest in this series. The GCS project is a case study of the Requirements and Technical Concepts for Aviation RTCA/DO-178B guidelines, Software Considerations in Airborne Systems and Equipment Certification. All civil transport airframe and equipment vendors are expected to comply with these guidelines in building systems to be certified by the FAA for use in commercial aircraft. For the case study, two implementations of a guidance and control application were developed to comply with the DO-178B guidelines for Level A (critical) software. The development included the requirements, design, coding, verification, configuration management, and quality assurance processes. This paper discusses the details of the GCS project and presents the results of the case study.

Hayhurst, Kelly J.↗

The Importance of the Measurement of the Unsteady Wake of the Aeroassist Flight Experiment Vehicle: A White Paper

The High Frequency Radiometer (HFR) is the only instrument on the Aeroassist Flight Experiment (AFE) with sufficient temporal resolution to discern the frequency of unsteady wake oscillations. Determining both the frequency and amplitude of wake unsteadiness during AFE atmospheric entry is essential for reliably predicting the geometry and motion of the wake of future Aeroassisted Space Transfer Vehicles (ASTV). These parameters directly affect the location and size of the pay- load and the weight of the required afterbody heat protection. The purpose of the AFE is to validate the technologies required for the design of ASTVs, which will be used to exploit Earth-lunar space. This validation will be conducted at a combination of vehicle size, altitude, and velocity not obtainable in ground-based facilities. The AFE will provide the experimental flight data needed to improve our understanding of hypersonic-wake physics and to validate computational predictions of the aerodynamic and heating loads, including afterbody radiative heating loads, on an ASTV. Reliable prediction of ASTV wake flows will ensure that payloads are located within the shear-layer envelope and will determine the amount of thermal protection the payloads require. Specifically, understanding the temporal nature of the wake unsteadiness is important for two reasons. Most importantly, analysis of ground-based experiments suggests that wake unsteadiness results in a variation of as much as +/- 5 deg in the shear-flow turning angle. This angle must be reliably predicted to avoid shear-layer impingement on the vehicle afterbody, which would result in heating rates of about 10 W/sq cm, of the same order as on the forebody stagnation point. Secondly, the energy associated with wake unsteadiness will reduce the static enthalpy of the wake fluid and cause an error of as much as 30% in the amount of predicted wake radiative heating. Therefore, the HFR flight data, which will quantify the frequency and amplitude of the wake unsteadiness, are required for the verification of computational models of ASTV flowfields. Measurement of wake unsteadiness has been endorsed by the Peer Science Steering Group and the AFE Computational Fluid Dynamics (CFD) Working Group. The Peer Science Steering Group has stressed that a reliable measurement of the wake unsteadiness is fundamental because incorporating unsteadiness represents a substantial challenge to the CFD community, and a reliable measurement will raise confidence in the computer simulation. The AFE CFD Working Group has stated that 44 any data which would prove the existence and effects of unsteady flow would be extremely valuable.

Strawa, A. W.↗

Genetic Network Inference: From Co-Expression Clustering to Reverse Engineering

Advances in molecular biological, analytical, and computational technologies are enabling us to systematically investigate the complex molecular processes underlying biological systems. In particular, using high-throughput gene expression assays, we are able to measure the output of the gene regulatory network. We aim here to review datamining and modeling approaches for conceptualizing and unraveling the functional relationships implicit in these datasets. Clustering of co-expression profiles allows us to infer shared regulatory inputs and functional pathways. We discuss various aspects of clustering, ranging from distance measures to clustering algorithms and multiple-duster memberships. More advanced analysis aims to infer causal connections between genes directly, i.e., who is regulating whom and how. We discuss several approaches to the problem of reverse engineering of genetic networks, from discrete Boolean networks, to continuous linear and non-linear models. We conclude that the combination of predictive modeling with systematic experimental verification will be required to gain a deeper insight into living organisms, therapeutic targeting, and bioengineering.

Dhaeseleer, Patrik↗

Experimental Investigations of Non-Stationary Properties In Radiometer Receivers Using Measurements of Multiple Calibration References

Radiometers must be periodically calibrated because the receiver response fluctuates. Many techniques exist to correct for the time varying response of a radiometer receiver. An analytical technique has been developed that uses generalized least squares regression (LSR) to predict the performance of a wide variety of calibration algorithms. The total measurement uncertainty including the uncertainty of the calibration can be computed using LSR. The uncertainties of the calibration samples used in the regression are based upon treating the receiver fluctuations as non-stationary processes. Signals originating from the different sources of emission are treated as simultaneously existing random processes. Thus, the radiometer output is a series of samples obtained from these random processes. The samples are treated as random variables but because the underlying processes are non-stationary the statistics of the samples are treated as non-stationary. The statistics of the calibration samples depend upon the time for which the samples are to be applied. The statistics of the random variables are equated to the mean statistics of the non-stationary processes over the interval defined by the time of calibration sample and when it is applied. This analysis opens the opportunity for experimental investigation into the underlying properties of receiver non stationarity through the use of multiple calibration references. In this presentation we will discuss the application of LSR to the analysis of various calibration algorithms, requirements for experimental verification of the theory, and preliminary results from analyzing experiment measurements.

Racette, Paul↗

Systems engingeering for the Kepler Mission : a search for terrestrial planets

The Kepler mission will launch in 2007 and determine the distribution of earth-size planets (0.5 to 10 earth masses) in the habitable zones (HZs) of solar-like stars. The mission will monitor > 100,000 dwarf stars simultaneously for at least 4 years. Precision differential photometry will be used to detect the periodic signals of transiting planets. Kepler will also support asteroseismology by measuring the pressure-mode (p-mode) oscillations of selected stars. Key mission elements include a spacecraft bus and 0.95 meter, wide-field, CCD-based photometer injected into an earth-trailing heliocentric orbit by a 3-stage Delta II launch vehicle as well as a distributed Ground Segment and Follow-up Observing Program. The project is currently preparing for Preliminary Design Review (October 2004) and is proceeding with detailed design and procurement of long-lead components. In order to meet the unprecedented photometric precision requirement and to ensure a statistically significant result, the Kepler mission involves technical challenges in the areas of photometric noise and systematic error reduction, stability, and false-positive rejection. Programmatic and logistical challenges include the collaborative design, modeling, integration, test, and operation of a geographically and functionally distributed project. A very rigorous systems engineering program has evolved to address these challenges. This paper provides an overview of the Kepler systems engineering program, including some examples of our processes and techniques in areas such as requirements synthesis, validation & verification, system robustness design, and end-to-end performance modeling.

systems engineering↗