Search NASA⌕ Search

SEARCH · Search NASA

Results for “program analysis”

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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS2022

The SWOT Mission Environmental Verification Program

The objective of the Surface Water and Ocean Topography (SWOT) Mission is to make global measurements of sea surface and terrestrial water heights. The SWOT Observatory consists of the Spacecraft Bus, supplied by CNES, and the Payload Module, provided by JPL. The Spacecraft Bus is a carrier of the Payload Module, which includes all the science instruments. The Spacecraft Bus components have been environmentally verified by CNES and the Payload Module components verified by JPL. The Payload Module was delivered to CNES in June 2021 for integration with the Spacecraft Bus to form the Observatory, which is in the process of undergoing a full set of environmental tests before launch. This paper focuses on the environmental test and analysis program at the assembly (unit), subsystem, and module level for the Payload Module hardware that JPL is responsible for verifying. Even though an Earth-orbiting mission like SWOT is not considered to be at extreme environments, SWOT’s environmental verification program does illustrate the standard System Integration and Test (SIT) process for hardware integration and environmental testing to ensure all hardware have been properly qualified to meet all mission environments. Typical space environmental test and analysis campaign includes acoustics vibration, shock, thermal vacuum, venting/pressure, radiation, electrostatic discharge, EMC/EMI/magnetics, and meteoroids. Environmental test and analysis metrics are presented in this paper. This paper also shows the complex integration process that involves multi-organizations and the latest status on the Observatory environmental test campaign.

Man, Kin F.↗
NASA NTRS1978

Model verification of large structural systems

A computer program for the application of parameter identification on the structural dynamic models of space shuttle and other large models with hundreds of degrees of freedom is described. Finite element, dynamic, analytic, and modal models are used to represent the structural system. The interface with math models is such that output from any structural analysis program applied to any structural configuration can be used directly. Processed data from either sine-sweep tests or resonant dwell tests are directly usable. The program uses measured modal data to condition the prior analystic model so as to improve the frequency match between model and test. A Bayesian estimator generates an improved analytical model and a linear estimator is used in an iterative fashion on highly nonlinear equations. Mass and stiffness scaling parameters are generated for an improved finite element model, and the optimum set of parameters is obtained in one step.

Lee, L. T.↗
NASA NTRS1983

Nuclear Plant Inspection

Engineers from the Power Authority of the State of New York use a Crack Growth Analysis Program supplied by COSMIC (Computer Software Management and Information Center) in one stage of nuclear plant inspection. Welds of the nuclear steam supply system are checked for cracks; radiographs, dye penetration and visual inspections are performed to locate cracks in the metal structure and welds. The software package includes three separate crack growth analysis models and enables necessary repairs to be planned before serious problems develop.

Source record↗
NASA NTRS1983

A common geometric data-base approach for computer-aided manufacturing of wind-tunnel models and theoretical aerodynamic analysis

A more automated process to produce wind tunnel models using existing facilities is discussed. A process was sought to more rapidly determine the aerodynamic characteristics of advanced aircraft configurations. Such aerodynamic characteristics are determined from theoretical analyses and wind tunnel tests of the configurations. Computers are used to perform the theoretical analyses, and a computer aided manufacturing system is used to fabricate the wind tunnel models. In the past a separate set of input data describing the aircraft geometry had to be generated for each process. This process establishes a common data base by enabling the computer aided manufacturing system to use, via a software interface, the geometric input data generated for the theoretical analysis. Thus, only one set of geometric data needs to be generated. Tests reveal that the process can reduce by several weeks the time needed to produce a wind tunnel model component. In addition, this process increases the similarity of the wind tunnel model to the mathematical model used by the theoretical aerodynamic analysis programs. Specifically, the wind tunnel model can be machined to within 0.008 in. of the original mathematical model. However, the software interface is highly complex and cumbersome to operate, making it unsuitable for routine use. The procurement of an independent computer aided design/computer aided manufacturing system with the capability to support both the theoretical analysis and the manufacturing tasks was recommended.

See, M. J.↗
NASA NTRS1982

Ohio's Abandoned Mine Lands Reclamation Program: a Study of Data Collection and Evaluation Techniques

The planning process for a statewide reclamation plan of Ohio abandoned minelands in response to the Federal Surface Mining Control and Reclamation Act of 1977 included: (1) the development of a screening and ranking methodology; (2) the establishment of a statewide review of major watersheds affected by mining; (3) the development of an immediate action process; and (4) a prototypical study of a priority watershed demonstrating the data collection, analysis, display and evaluation to be used for the remaining state watersheds. Historical methods for satisfying map information analysis and evaluation, as well as current methodologies being used were discussed. Various computer mapping and analysis programs were examined for their usability in evaluating the priority reclamation sites. Hand methods were chosen over automated procedures; intuitive evaluation was the primary reason.

Sperry, S. L.↗
NASA NTRS1988

A general-purpose computer program for studying ultrasonic beam patterns generated with acoustic lenses

A 3-D computer model of a piston radiator with lenses for focusing and defocusing is presented. To achieve high-resolution imaging, the frequency of the transmitted and received ultrasound must be as high as 10 MHz. Current ultrasonic transducers produce an extremely narrow beam at these high frequencies and thus are not appropriate for imaging schemes such as synthetic-aperture focus techniques (SAFT). Consequently, a numerical analysis program has been developed to determine field intensity patterns that are radiated from ultrasonic transducers with lenses. Lens shapes are described and the field intensities are numerically predicted and compared with experimental results.

Roberti, Dino↗
NASA NTRS1993

Stiffness, thermal expansion, and thermal bending formulation of stiffened, fiber-reinforced composite panels

A method is presented for formulating stiffness terms and thermal coefficients of stiffened, fiber-reinforced composite panels. The method is robust enough to handle panels with general cross sectional shapes, including those which are unsymmetric and/or unbalanced. Nonlinear, temperature and load dependent constitutive material data of each laminate are used to 'build-up' the stiffened panel membrane, bending, and membrane-bending coupling stiffness terms and thermal coefficients. New thermal coefficients are introduced to quantify panel response from through-the-thickness temperature gradients. A technique of implementing this capability with a single plane of shell finite elements using the MSC/NASTRAN analysis program (FEA) is revealed that provides accurate solutions of entire airframes or engines with coarsely meshed models. An example of a composite, hat-stiffened panel is included to demonstrate errors that occur when an unsymmetric panel is symmetrically formulated as traditionally done. The erroneous results and the correct ones produced from this method are compared to analysis from discretely meshed three-dimensional FEA.

Collier, Craig S.↗
NASA NTRS2000

An Overview of SAL

To become practical for assurance, automated formal methods must be made more scalable, automatic, and cost-effective. Such an increase in scope, scale, automation, and utility can be derived from an emphasis on a systematic separation of concerns during verification. SAL (Symbolic Analysis Laboratory) attempts to address these issues. It is a framework for combining different tools to calculate properties of concurrent systems. The heart of SAL is a language, developed in collaboration with Stanford, Berkeley, and Verimag for specifying concurrent systems in a compositional way. Our instantiation of the SAL framework augments PVS with tools for abstraction, invariant generation, program analysis (such as slicing), theorem proving, and model checking to separate concerns as well as calculate properties (i.e., perform, symbolic analysis) of concurrent systems. We. describe the motivation, the language, the tools, their integration in SAL/PAS, and some preliminary experience of their use.

Bensalem, Saddek↗
NASA NTRS1993

Programs Help Create And Evaluate Markov Models

Pade Approximation With Scaling (PAWS) and Scaled Taylor Exponential Matrix (STEM) computer programs provide flexible, user-friendly, language-based interface for creation and evaluation of Markov models describing behaviors of fault-tolerant reconfigurable computer systems. Produce exact solution for probabilities of system failures and provide conservative estimates of numbers of significant digits in solutions. Also offer as part of bundled package with SURE and ASSIST, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Butler, Ricky W.↗
NASA NTRS1981

IGDS/TRAP Interface Program (ITIP). Software User Manual (SUM)

This specification establishes the requirements, concepts, and preliminary design for a set of software known as the IGDS/TRAP Interface Program (ITIP). This software provides the capability to develop at an Interactive Graphics Design System (IGDS) design station process flow diagrams for use by the NASA Coal Gasification Task Team. In addition, ITIP will use the Data Management and Retrieval System (DMRS) to maintain a data base from which a properly formatted input file to the Time-Line and Resources Analysis Program (TRAP) can be extracted. This set of software will reside on the PDP-11/70 and will become the primary interface between the Coal Gasification Task Team and IGDS, DMRS, and TRAP. The user manual for the computer program is presented.

Jefferys, S.↗
NASA NTRS1977

Objective tropical cyclone analysis and forecasting technique using conventional and Nimbus-5 electrically scanning microwave radiometer measurements

The ADAPT empirical analysis programs, based on finding an optimal representation of the data in the Karhunen-Loeve sense, were applied to 120 observations of twenty-nine 1973 and 1974 Pacific tropical cyclones. Each observation consists of NIMBUS-5 electrically scanning microwave radiometer (ESMR) radiation measurements at 267 grid points covering and surrounding the tropical cyclone plus nine other non-satellite derived descriptors. Analysis and forecast algorithms to estimate storm motion and intensity were developed for times ranging from the observation time up to 72 hours later. The 24 hr wind speed forecasts with an accuracy of 11.7 knots and position forecasts with accuracies 15% better than persistence were demonstrated using independent tests.

Hunter, H. E.↗
DOE OSTI2026

Machine Learning-Based Anomaly Detection for PMT Data Quality Monitoring in the SBN and DUNE

Maintaining high-quality detector data is essential for achieving the scientific objectives of the Short-Baseline Neutrino (SBN) Program at Fermilab. Current data quality monitoring (DQM) procedures rely primarily on threshold-based metrics and manual inspection of detector monitoring plots, making the detection of subtle or gradually developing anomalies both time-consuming and dependent on expert interpretation. This project developed and evaluated a machine-learning workflow for automatically identifying anomalous photomultiplier tube (PMT) channels in the Short-Baseline Near Detector (SBND) using optical-hit amplitude data. A Python-based analysis program was developed to process ROOT files, extract statistical features describing individual PMT amplitude distributions, and generate feature vectors for anomaly detection. These features were used to train an Isolation Forest model using data representing normal detector operation. The trained model was subsequently applied to independent detector runs to identify channels exhibiting statistically unusual behavior relative to the learned reference response. To support expert interpretation, the workflow generated complementary diagnostic products, including anomaly score distributions, normalized amplitude comparisons, decision-tree visualizations, and principal component analysis (PCA) projections. This project demonstrated the feasibility of integrating unsupervised machine learning into detector data-quality monitoring and developed a complete workflow for automated PMT performance assessment to aid expert-driven review. Beyond its technical contributions, the VFP appointment fostered a research collaboration between Aurora University and Fermilab and provided direct workforce development benefits by training the visiting faculty member in detector-scale machine-learning methods that are now being incorporated into undergraduate coursework and research. The methodology developed here provides a foundation for future applications to ProtoDUNE and other liquid argon time projection chamber (LArTPC) detectors, contributing to ongoing efforts to improve detector reliability, reduce manual monitoring requirements, and enable scalable data quality monitoring for future large-scale neutrino experiments, including the Deep Underground Neutrino Experiment (DUNE).

Colón Santana, Juan A. [Unlisted, US, IL]↗
NASA NTRS1988

Proceedings of the Polar Processes on Mars Workshop

Included in this publication is a collection of abstracts from the NASA-sponsored workshop, Polar Processes on Mars, which was held at the Sunnyvale Hilton Hotel, Sunnyvale, California, on 12 to 13 May 1988. Support for the workshop came from NASA's Planetary Geology and Geophysics program managed by Dr. Jospeh Boyce. The workshop is one of a series identified by MECA (an acronym for Mars: Evolution of its Climate and Atmosphere) as being worthy of focused research, but one for which it was not possible to hold during the project's lifetime. Consequently, it was held after the project ended. The MECA project was part of the Mars Data Analysis program. The workshop consisted of four sessions: The Polar Caps, Dynamics/Atmospheric Processes, Polar Geology, and Future Measurements. To put things into perspective, each of the first three sessions began with a review. All sessions were scheduled to allow ample time for discussion. A brief review of each session is provided.

Haberle, Robert M.↗
NASA NTRS1999

Comparison Analysis Between Nevada and TSS Using a Jet Engine Exhaust Nozzle Test Rig

Thermal analysis in both simple and complex models can require calculating the propagation of radiant energy to and from multiple surfaces. This can be accomplished through simple estimation techniques or complex computationally intense computer modeling simulations. Currently there are a variety of computer analysis techniques used to simulate the propagation of radiant energy, each having advantages and disadvantages. The major objective of this effort was to compare two ray tracing radiation propagation analysis programs (NEVADA and TSS) Net Energy Verification and Determination Analyzer and Thermal Synthesizer System with experimental data. Results from a non-flowing, electrically heated test rig was used to verify the calculated radiant energy propagation from a nozzle geometry that represents an aircraft propulsion nozzle system. In general the programs produced comparable overall results, and results slightly higher then the experimental data. Upon inspection of individual radiation interchange factors, differences were evident and would have been magnified if a more radical model temperature profile was analyzed. Bidirectional reflectivity data (BRDF) was not used do to modeling limitations in TSS. For code comparison purposes, this nozzle geometry represents only one case for one set of analysis conditions. Since each computer code has advantages and disadvantages bases on scope, requirements, and desired accuracy, the usefulness of this single case study may be limiting.

Baumeister, Joseph F.↗
NASA NTRS2012

A Change Impact Analysis to Characterize Evolving Program Behaviors

Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate path conditions that characterize impacted program behaviors. DiSE, however, cannot reason about the flow of impact between methods and will fail to generate path conditions for certain impacted program behaviors. In this work, we present iDiSE, an extension to DiSE that performs an interprocedural analysis. iDiSE combines static and dynamic calling context information to efficiently generate impacted program behaviors across calling contexts. Information about impacted program behaviors is useful for testing, verification, and debugging of evolving programs. We present a case-study of our implementation of the iDiSE algorithm to demonstrate its efficiency at computing impacted program behaviors. Traditional notions of coverage are insufficient for characterizing the testing efforts used to validate evolving program behaviors because they do not take into account the impact of changes to the code. In this work we present novel definitions of impacted coverage metrics that are useful for evaluating the testing effort required to test evolving programs. We then describe how the notions of impacted coverage can be used to configure techniques such as DiSE and iDiSE in order to support regression testing related tasks. We also discuss how DiSE and iDiSE can be configured for debugging finding the root cause of errors introduced by changes made to the code. In our empirical evaluation we demonstrate that the configurations of DiSE and iDiSE can be used to support various software maintenance tasks

Rungta, Neha Shyam↗
NASA NTRS2009

A Landsat-Based Assessment of Mobile Bay Land Use and Land Cover Change from 1974 to 2008

The Mobile Bay region has experienced noteworthy land use and land cover (LULC) change in the latter half of the 20th century. Accompanying this change has been urban expansion and a reduction of rural land uses. Much of this LULC change has reportedly occurred since the landfall of Hurricane Frederic in 1979. The Mobile Bay region provides great economic and ecologic benefits to the Nation, including important coastal habitat for a broad diversity of fisheries and wildlife. Regional urbanization threatens the estuary s water quality and aquatic-habitat dependent biota, including commercial fisheries and avian wildlife. Coastal conservation and urban land use planners require additional information on historical LULC change to support coastal habitat restoration and resiliency management efforts. This presentation discusses results of a Gulf of Mexico Application Pilot project that was conducted in 2008 to quantify and assess LULC change from 1974 to 2008. This project was led by NASA Stennis Space Center and involved multiple Gulf of Mexico Alliance (GOMA) partners, including the Mobile Bay National Estuary Program (NEP), the U.S. Army Corps of Engineers, the National Oceanic and Atmospheric Administration s (NOAA s) National Coastal Data Development Center (NCDDC), and the NOAA Coastal Services Center. Nine Landsat images were employed to compute LULC products because of their availability and suitability for the application. The project also used Landsat-based national LULC products, including coastal LULC products from NOAA s Coastal Change & Analysis Program (C-CAP), available at 5-year intervals since 1995. Our study was initiated in part because C-CAP LULC products were not available to assess the region s urbanization prior to 1995 and subsequent to post Hurricane Katrina in 2006. This project assessed LULC change across the 34-year time frame and at decadal and middecadal scales. The study area included the majority of Mobile and Baldwin counties that encompass Mobile Bay. In doing so, each date of Landsat data was classified using an end-user defined modified Anderson level 1 classification scheme. LULC classifications were refined using a decision rule approach in conjunction with available C-CAP products. Individual dates of LULC classifications were validated by image interpretation of stratified random locations on raw Landsat color composite imagery in combination with higher resolution remote sensing and in-situ reference data. The results indicate that during the 34-year study period, urban areas increased from 96,688 to 150,227 acres, representing a 55.37% increase, or 1.63% per annum. Most of the identified urban expansion results from conversion of rural forest and agriculture to urban cover types. Final LULC mapping and metadata products were produced for the entire study area as well as watersheds of concern within the study area. Final project products, including LULC trend information, were incorporated into the Mobile Bay NEP State of the Bay report. Products and metadata were transferred to NOAA NCDDC to allow free online accessibility and use by GOMA partners and by the public.

Spruce, Joseph↗
NASA NTRS1990

A probabilistic approach to the dynamic analysis of ducts subjected to multibase harmonic and random excitation

The dynamic behavior of the discharge duct of the high-pressure oxidizer turbopump of a cryogenic rocket motor is investigated analytically. The probabilistic analysis program NESSUS (Numerical Evaluation of Stochastic Structures Under Stress; Cruse et al., 1988) is used to treat the uncertainties due to random and harmonic excitation (e.g., pump noise, pump-induced harmonics, and combustion noise), variations in engine inlet pressure, and changes in system damping. The load modeling procedure, the variation in power-spectral density in different zones of the engine structure, and the dynamic structural-analysis technique are described, and the numerical results of the NESSUS analysis are presented in extensive tables and graphs and discussed in detail.

Debchaudhury, Amit↗
NASA NTRS1977

TRANDES: A FORTRAN program for transonic airfoil analysis or design

A program called TRANDES is presented that is used for the analysis of steady, irrotational transonic flow over specified two-dimensional airfoils in free air or for the design of airfoils having a prescribed pressure distribution, including the effects of weak viscous interaction. Instructions on program usage, listings of the program, and sample cases are given.

Carlson, L. A.↗