Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification study”

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 973 records · Page 54

Motion simulator study of longitudinal stability requirements for large delta wing transport airplanes during approach and landing with stability augmentation systems failed

A ground-based simulator investigation was conducted in preparation for and correlation with an-flight simulator program. The objective of these studies was to define minimum acceptable levels of static longitudinal stability for landing approach following stability augmentation systems failures. The airworthiness authorities are presently attempting to establish the requirements for civil transports with only the backup flight control system operating. Using a baseline configuration representative of a large delta wing transport, 20 different configurations, many representing negative static margins, were assessed by three research test pilots in 33 hours of piloted operation. Verification of the baseline model to be used in the TIFS experiment was provided by computed and piloted comparisons with a well-validated reference airplane simulation. Pilot comments and ratings are included, as well as preliminary tracking performance and workload data.

Snyder, C. T.↗

Technology transfer metrics: Measurement and verification of data/reusable launch vehicle business analysis

Congress and the Executive Branch have mandated that all branches of the Federal Government exert a concentrated effort to transfer appropriate government and government contractor-developed technology to the industrial use in the U.S. economy. For many years, NASA has had a formal technology transfer program to transmit information about new technologies developed for space applications into the industrial or commercial sector. Marshall Space Flight Center (MSFC) has been in the forefront of the development of U.S. industrial assistance programs using technologies developed at the Center. During 1992-93, MSFC initiated a technology transfer metrics study. The MSFC study was the first of its kind among the various NASA centers. The metrics study is a continuing process, with periodic updates that reflect on-going technology transfer activities.

Trivoli, George W.↗

Verification and Validation in a Rapid Software Development Process

The high cost of software production is driving development organizations to adopt more automated design and analysis methods such as rapid prototyping, computer-aided software engineering (CASE) tools, and high-level code generators. Even developers of safety-critical software system have adopted many of these new methods while striving to achieve high levels Of quality and reliability. While these new methods may enhance productivity and quality in many cases, we examine some of the risks involved in the use of new methods in safety-critical contexts. We examine a case study involving the use of a CASE tool that automatically generates code from high-level system designs. We show that while high-level testing on the system structure is highly desirable, significant risks exist in the automatically generated code and in re-validating releases of the generated code after subsequent design changes. We identify these risks and suggest process improvements that retain the advantages of rapid, automated development methods within the quality and reliability contexts of safety-critical projects.

Callahan, John R.↗

Large Space Telescope - Orbital crew EV maintenance operations

The paper shows that orbital EV maintenance by the crew has a tremendous impact on several areas of the program, including operations, Shuttle interfaces, support equipment rendezvous and berthing, checkout and verification, levels of servicing achievable, logistics and spares and scientific instruments in order to permit changeout and possible future refurbishment. To achieve on-orbit EV maintenance, such challenges as designing for suited-astronaut access to all subsystem equipment elements, minimization for contamination, handling of extremely sensitive instruments, development of translation techniques, and use of existing GFE and hardware must be faced early in the preliminary design and operations analysis phases. All studies to date indicate that on-orbit EV manned maintenance of the LST (Large Space Telescope) is not only feasible but can be designed to be readily within the capability of the EV functioning astronaut. Both 1-g and neutral buoyancy man-in-the-loop simulations further support this point.

Fisher, H. T.↗

On the Formal Verification of Conflict Detection Algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach, based on formal verification, for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, which is a continuous path in the x-y plane constrained by physical laws and operational requirements. From the Model of trajectories, we extract, and formally prove, high level properties that can serve as a framework to analyze conflict scenarios. We use the Airborne Information for Lateral Spacing (AILS) alerting algorithm as a case study of our approach.

Munoz, Cesar↗

An Elasticity-Based Mesh Scheme Applied to the Computation of Unsteady Three-Dimensional Spoiler and Aeroelastic Problems

This paper presents a modification of the spring analogy scheme which uses axial linear spring stiffness with selective spring stiffening/relaxation. An alternate approach to solving the geometric conservation law is taken which eliminates the need for storage of metric Jacobians at previous time steps. Efficiency and verification are illustrated with several unsteady 2-D airfoil Euler computations. The method is next applied to the computation of the turbulent flow about a 2-D airfoil and wing with two and three- dimensional moving spoiler surfaces, and the results compared with Benchmark Active Controls Technology (BACT) experimental data. The aeroelastic response at low dynamic pressure of an airfoil to a single large scale oscillation of a spoiler surface is computed. This study confirms that it is possible to achieve accurate solutions with a very large time step for aeroelastic problems using the fluid solver and aeroelastic integrator as discussed in this paper.

Bartels, Robert E.↗

A State-of-the-Art Experimental Laboratory for Cloud and Cloud-Aerosol Interaction Research

The state of the art for predicting climate changes due to increasing greenhouse gasses in the atmosphere with high accuracy is problematic. Confidence intervals on current long-term predictions (on the order of 100 years) are so large that the ability to make informed decisions with regard to optimum strategies for mitigating both the causes of climate change and its effects is in doubt. There is ample evidence in the literature that large sources of uncertainty in current climate models are various aerosol effects. One approach to furthering discovery as well as modeling, and verification and validation (V&V) for cloud-aerosol interactions is use of a large "cloud chamber" in a complimentary role to in-situ and remote sensing measurement approaches. Reproducing all of the complex interactions is not feasible, but it is suggested that the physics of certain key processes can be established in a laboratory setting so that relevant fluid-dynamic and cloud-aerosol phenomena can be experimentally simulated and studied in a controlled environment. This report presents a high-level argument for significantly improved laboratory capability, and is meant to serve as a starting point for stimulating discussion within the climate science and other interested communities.

Fremaux, Charles M.↗

NASA Engineering and Safety Center Technical Bulletin No. 24-04: 6DOF Check Cases

In 2015, the NESC released benchmark Earth-based check-cases for well specified, rigid-body, six-degree-of-freedom (6DOF) aero/spacecraft models to promote consistent and accurate flight simulations across multiple Agency tools and facilities. Recently, the NESC expanded upon that effort to add Lunar-based check-cases to support new lunar exploration initiatives. This study produced a smaller, focused set of cases that exercise new and unique features of missions in the lunar environment in comparison with 8 high-fidelity NASA simulation tools and provides a measure of validation for simulations supporting Human Landing Systems.

Flight Mechanics↗

Composite materials research and education program: The NASA-Virginia Tech composites program

Major areas of study include: (1) edge effects in finite width laminated composites subjected to mechanical, thermal and hygroscopic loading with temperature dependent material properties and the influence of edge effects on the initiation of failure; (2) shear and compression testing of composite materials at room and elevated temperatures; (3) optical techniques for precise measurement of coefficients of thermal expansion of composites; (4) models for the nonlinear behavior of composites including material nonlinearity and damage accumulation and verification of the models under biaxial loading; (5) compressive failure of graphite/epoxy plates with circular holes and the buckling of composite cylinders under combined compression and torsion; (6) nonlinear mechanical properties of borsic/aluminum, graphite/polyimide and boron/aluminum; (7) the strength characteristics of spliced sandwich panels; and (8) curved graphite/epoxy panels subjected to internal pressure.

Herakovich, C. T.↗

Structural technology challenges for evolutionary growth of Space Station Freedom

A proposed evolutionary growth scenario for Space Station Freedom was defined recently by a NASA task force created to study requirements for a Human Exploration Initiative. The study was an initial response to President Bush's July 20, 1989 proposal to begin a long range program of human exploration of space including a permanently manned lunar base and a manned mission to Mars. This growth scenario evolves Freedom into a critical transportation node to support lunar and Mars missions. The growth scenario begins with the Assembly Complete configuration and adds structure, power, and facilities to support a Lunar Transfer Vehicle (LTV) verification flight. Evolutionary growth continues to support expendable, then reusable LTV operations, and finally, LTV and Mars Transfer Vehicle (MTV) operations. The significant structural growth and additional operations creating new loading conditions will present new technological and structural design challenges in addition to the considerable technology requirements of the baseline Space Station Freedom program. Several structural design and technology issues of the baseline program are reviewed and related technology development required by the growth scenario is identified.

Doiron, Harold H.↗

Ionospheric Signature of Surface Mine Blasts from Global Positioning System Measurements

Sources such as atmospheric or buried explosions and shallow earthquakes are known to produce infrasonic pressure waves in the atmosphere. Because of the coupling between neutral particles and electrons at ionospheric altitudes, these acoustic and gravity waves induce variations of the ionospheric electron density. The Global Positioning System (GPS) provides a way of directly measuring the total electron content in the ionosphere and, therefore, of detecting such perturbations in the upper atmosphere. In July and August 1996, three large surface mine blasts (1.5 Kt each) were detonated at the Black Thunder coal mine in eastern Wyoming. As part of a seismic and acoustic monitoring- experiment, we deployed five dual-frequency GPS receivers at distances ranging from 50 to 200 km from the mine and were able to detect the ionospheric perturbation caused by the blasts. The perturbation starts 10 to 15 min after the blast, lasts for about 30 min, and propagates with an apparent horizontal velocity of 1200 meters per second. Its amplitude reaches 3 x 10 (exp 14) el per square meters in the 7-3 min period band, a value close to the ionospheric perturbation caused by the M = 6.7 Northridge earthquake. The small signal-to-noise ratio of the perturbation can be improved by slant-stacking the electron content time-series recorded by the different GPS receivers taking into account the horizontal propagation of the perturbation. The energy of the perturbation is concentrated in the 200 to 300 second period band, a result consistent with previous observations and numerical model predictions. The 300 second band probably corresponds to gravity modes and shorter periods to acoustic modes, respectively. Using a 1-D stratified velocity model of the atmosphere we show that linear acoustic ray tracing fits arrival times at all GPS receivers. We interpret the perturbation as a direct acoustic wave caused by the explosion itself. This study shows that even relatively small subsurface events can produce ionospheric perturbations that are above the detection threshold of the GPS technique. By sensing derivative signals, which can be detected over a relatively broad region, it appears that GPS might be particularly useful for source characterization within the first acoustic quiet zone where infrasound would probably be ineffective. This suggests that dual-frequency GPS monitoring could contribute to Comprehensive Nuclear Test Ban Treaty verification.

Calais, Eric↗

Mafic Materials in Scott Crater? A Test for Lunar Reconnaissance Orbiter

Clementine 750 nm and multispectral ratio data, along with Lunar Orbiter and radar data, were used to study the crater Scott in the lunar south polar region. The multispectral data provide evidence for mafic materials, impact melts, anorthositic materials, and a small pyroclastic deposit. High-resolution radar data and Lunar Orbiter photography for this area show differences in color and surface texture that correspond with the locations of the hypothesized mafic and anorthositic areas on the crater floor. This region provides a test case for the upcoming Lunar Reconnaissance Orbiter. Verification of the existence of a mafic deposit at this location is relevant to future lunar resource utilization planning.

Cooper, Bonnie L.↗

Qualification of Engineering Camera for Long-Duration Deep Space Missions

Qualification and verification of advanced electronic packaging and interconnect technologies, and various other types of hardware elements for the Mars Exploration Rover s Spirit and Opportunity (MER)/Mars Science Laboratory (MSL) flight projects, has been performed to enhance the mission assurance. The qualification of hardware (engineering camera) under extreme cold temperatures has been performed with reference to various Mars-related project requirements. The flight-like packages, sensors, and subassemblies have been selected for the study to survive three times the total number of expected diurnal temperature cycles resulting from all environmental and operational exposures occurring over the life of the flight hardware, including all relevant manufacturing, ground operations, and mission phases. Qualification has been performed by subjecting above flight-like hardware to the environmental temperature extremes, and assessing any structural failures or degradation in electrical performance due to either overstress or thermal cycle fatigue. Engineering camera packaging designs, charge-coupled devices (CCDs), and temperature sensors were successfully qualified for MER and MSL per JPL design principles. Package failures were observed during qualification processes and the package redesigns were then made to enhance the reliability and subsequent mission assurance. These results show the technology certainly is promising for MSL, and especially for longterm extreme temperature missions to the extreme temperature conditions. The engineering camera has been completely qualified for the MSL project, with the proven ability to survive on Mars for 2010 sols, or 670 sols times three. Finally, the camera continued to be functional, even after 2010 thermal cycles.

Ramesham, Rajeshuni↗

Integrating the Science Opportunity Analyzer with a Reusable Opportunity Search Framework

In our interactions with the Science Opportunity Analyzer (SOA) software, we recognized how its ability to search for geometric events in space is a need for robotic space missions in general. To satisfy this need, we propose the Tychonis framework, which is built upon the principles of: (1) separations of concerns, (2) extensibility, (3) reusability, and (4) independent verification and validation. Tychonis’ separation of concerns results in the availability of different constructs to model geometric events and search for them. These constructs can be extended by users as needed and reused across missions without changes. Given the low coupling between concerns, and the fact Tychonis can be augmented in isolation, its constructs can be validated independently from other pieces of software. This paper elaborates on these topics and presents an integration case study between Tychonis and SOA that relies on the concept of dynamic integration. Dynamic integration entails that augmentations of the framework are reflected automatically in the host application without any changes to the host application’s code. The SOA-Tychonis integration case study can be extrapolated to other tools that need to search for geometric events as the pattern repeats across implementations: (i) the manipulation of a user interface to model opportunities, (ii) the execution of algorithms to search for opportunities, and (iii) the presentation of search results to users. Overall, Tychonis’ is a story about how the application of proven software principles and good design choices can reduce risk and cost to space missions

Soria, Manel↗

Science and applications space platform

The concept for the Platform/Power System combination (supported by Shuttle visits) is presented from the NASA-sponsored Phase A study. The combination will cost-effectively free-fly small groups of unmanned low-earth payloads which have common accommodation needs. A manned support module and power system can provide elemental and growth capability for 3-6 month missions. The configuration and payload accommodations of the combination systems are reviewed and schematized in detail. Flight operations for the payload science management will include the conduct of science operations, the monitoring of instrument performance, verification of the science data and the maintenance of the science mission plan.

Nein, M.↗

Adaptation of Mesoscale Weather Models to Local Forecasting

Methodologies have been developed for (1) configuring mesoscale numerical weather-prediction models for execution on high-performance computer workstations to make short-range weather forecasts for the vicinity of the Kennedy Space Center (KSC) and the Cape Canaveral Air Force Station (CCAFS) and (2) evaluating the performances of the models as configured. These methodologies have been implemented as part of a continuing effort to improve weather forecasting in support of operations of the U.S. space program. The models, methodologies, and results of the evaluations also have potential value for commercial users who could benefit from tailoring their operations and/or marketing strategies based on accurate predictions of local weather. More specifically, the purpose of developing the methodologies for configuring the models to run on computers at KSC and CCAFS is to provide accurate forecasts of winds, temperature, and such specific thunderstorm-related phenomena as lightning and precipitation. The purpose of developing the evaluation methodologies is to maximize the utility of the models by providing users with assessments of the capabilities and limitations of the models. The models used in this effort thus far include the Mesoscale Atmospheric Simulation System (MASS), the Regional Atmospheric Modeling System (RAMS), and the National Centers for Environmental Prediction Eta Model ( Eta for short). The configuration of the MASS and RAMS is designed to run the models at very high spatial resolution and incorporate local data to resolve fine-scale weather features. Model preprocessors were modified to incorporate surface, ship, buoy, and rawinsonde data as well as data from local wind towers, wind profilers, and conventional or Doppler radars. The overall evaluation of the MASS, Eta, and RAMS was designed to assess the utility of these mesoscale models for satisfying the weather-forecasting needs of the U.S. space program. The evaluation methodology includes objective and subjective verification methodologies. Objective (e.g., statistical) verification of point forecasts is a stringent measure of model performance, but when used alone, it is not usually sufficient for quantifying the value of the overall contribution of the model to the weather-forecasting process. This is especially true for mesoscale models with enhanced spatial and temporal resolution that may be capable of predicting meteorologically consistent, though not necessarily accurate, fine-scale weather phenomena. Therefore, subjective (phenomenological) evaluation, focusing on selected case studies and specific weather features, such as sea breezes and precipitation, has been performed to help quantify the added value that cannot be inferred solely from objective evaluation.

Manobianco, John T.↗

Laser Rayleigh-Scattering During Space Shuttle Entry

Report presents detailed study of capabilities and requirements for equipment of proposed ultraviolet Rayleigh-scattering instrument to be carried aboard Space Shuttle. Density of atmosphere around flightpath measured. With accuracy and resolution, measurements adequate for detection of small-scale meteorological structure affecting analysis of flight dynamic data of reentering spacecraft. Also discusses extensions of concept to measurements of location of, and density as function of position in, shock wave of Space Shuttle. Measurements provide baseline data for verification of computer models of high-enthalpy hypersonic, nonequilibrium, and viscous conditions.

Mckenzie, Robert L.↗

A Parallel Saturation Algorithm on Shared Memory Architectures

Symbolic state-space generators are notoriously hard to parallelize. However, the Saturation algorithm implemented in the SMART verification tool differs from other sequential symbolic state-space generators in that it exploits the locality of ring events in asynchronous system models. This paper explores whether event locality can be utilized to efficiently parallelize Saturation on shared-memory architectures. Conceptually, we propose to parallelize the ring of events within a decision diagram node, which is technically realized via a thread pool. We discuss the challenges involved in our parallel design and conduct experimental studies on its prototypical implementation. On a dual-processor dual core PC, our studies show speed-ups for several example models, e.g., of up to 50% for a Kanban model, when compared to running our algorithm only on a single core.

Ezekiel, Jonathan↗