SEARCH · Search NASA

Results for “Formal 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.

SourceResearch connectionFrom yearThrough year

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

At least 775 records · Page 43

All sources NASA NTRS DOE OSTI

DOE OSTI2023

Lawrence Livermore National Laboratory Experimental Test Site 300 (Site 300): Site 300 Roadway Improvements - 836 Complex Soil Sampling and Analysis Plan (May 2023)

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Functional Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed Roadway Improvements Project at the 836 Complex (project). The purpose of the SAP is to describe the procedures for collection and analysis of environmental samples and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on preliminary design information provided by PMO.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2023

Lawrence Livermore National Laboratory Experimental Test Site, Site 300: S300 Roadway Improvements - 854 Complex Soil Sampling and Analysis Plan (June 2023)

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Functional Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed Roadway Improvements Project at the Building 854 Complex (project). The purpose of the SAP was to identify chemicals of concern, describe the procedures for collection and analysis of environmental samples, and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on preliminary design information provided by PMO.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2023

Lawrence Livermore National Laboratory Livermore Site: 4200 Block Development Project Soil Sampling and Analysis Plan (June 2023)

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Function Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed Maintenance Shop Facility in the 4200 Block (project). The purpose of the SAP is to describe the procedures for collection and analysis of environmental samples and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on design information provided by PMO.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2023

Site 300 Roadway Improvements - 834 Complex Soil Sampling and Analysis Plan

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Functional Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed Roadway Improvements Project at the 834 Complex (project) (Figure 1). The purpose of the SAP is to describe the procedures for collection and analysis of environmental samples and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on preliminary design information provided by PMO.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2023

Building 871 and 874 Retaining Wall Project Soil Sampling and Analysis Plan

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Functional Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed retaining wall near Buildings 871 and 874 (project) (Figure 1). The purpose of the SAP is to describe the procedures for collection and analysis of environmental samples and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on preliminary design information provided by PMO.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2025

District Geothermal Heating + Cooling Deployment in a CT Environmental Justice Community

The report marks the team’s completion of all required tasks and milestones. Work completed for Task 1 (Technical and Economic Feasibility Assessment & Procurement Drafting) included development of analysis and design model; completion of technical, economic, and environmental assessments; and technical outreach and coalition design. Components for Task 2 (Outreach & Community Engagement) involved broad outreach and community-engagement efforts (including stakeholder meetings and a webinar as well as development of a formal engagement plan) and development of a web page and a case study. For Task 3 (Workforce Transition, Development, & Training Plan), the team undertook a formal statewide geothermal workforce needs assessment, developed corresponding recommendations for both the state as a whole and the Wallingford project, and held several workshops. For Task 4 (Project Management & Data Sharing), the team drafted a data-sharing plan.

15 GEOTHERMAL ENERGY↗

NASA NTRS1974

Elementary solutions of coupled model equations in the kinetic theory of gases

The method of elementary solutions is employed to solve two coupled integrodifferential equations sufficient for determining temperature-density effects in a linearized BGK model in the kinetic theory of gases. Full-range completeness and orthogonality theorems are proved for the developed normal modes and the infinite-medium Green's function is constructed as an illustration of the full-range formalism. The appropriate homogeneous matrix Riemann problem is discussed, and half-range completeness and orthogonality theorems are proved for a certain subset of the normal modes. The required existence and uniqueness theorems relevant to the H matrix, basic to the half-range analysis, are proved, and an accurate and efficient computational method is discussed. The half-space temperature-slip problem is solved analytically, and a highly accurate value of the temperature-slip coefficient is reported.

Kriese, J. T.↗

NASA NTRS1983

Transformation of two and three-dimensional regions by elliptic systems

Finite difference methods for composite grids were analyzed. It was observed that linear interpolation between grids would suffice only where low order accuracy was required. In the context of fluid flow, this would be in regions where the flow was essentially free stream. Higher order interpolation schemes were also investigated. The well known quadratic and cubic interpolating polynomials would increase the formal accuracy of the overall numerical algorithm. However, it can also be shown that the stability of the algorithm may be adversely affected. Further numerical results are needed in order to assess the nature of this instability induced by the interpolation procedure. Finally, error analysis and the order of difference expressions on general curvilinear coordinates are discussed.

Thompson, J. F.↗

NASA NTRS1992

Improve SSME power balance model

Effort was dedicated to development and testing of a formal strategy for reconciling uncertain test data with physically limited computational prediction. Specific weaknesses in the logical structure of the current Power Balance Model (PBM) version are described with emphasis given to the main routing subroutines BAL and DATRED. Selected results from a variational analysis of PBM predictions are compared to Technology Test Bed (TTB) variational study results to assess PBM predictive capability. The motivation for systematic integration of uncertain test data with computational predictions based on limited physical models is provided. The theoretical foundation for the reconciliation strategy developed in this effort is presented, and results of a reconciliation analysis of the Space Shuttle Main Engine (SSME) high pressure fuel side turbopump subsystem are examined.

Karr, Gerald R.↗

NASA NTRS1994

Transport theory and the WKB approximation for interplanetary MHD fluctuations

An alternative approach, based on a multiple scale analysis, is presented in order to reconcile the traditional Wentzel-Kramer-Brillouin (WKB) approach to the modeling of interplanetary fluctuations in a mildly inhomogeneous large-scale flow with a more recently developed transport theory. This enables us to compare directly, at a formal level, the inherent structure of the two models. In the case of noninteracting, incompressible (Alven) waves, the principle difference between the two models is the presence of leading-order couplings (called 'mixing effects') in the non-WKB turbulence model which are absent in a WKB development. Within the context of linearized MHD, two cases have been identified for which the leading order non-WJB 'mixing term' does not vanish at zero wavelength. For these cases the WKB expansion is divergent, whereas the multiple-scale theory is well behaved. We have thus established that the WKB results are contained within the multiple-scale theory, but leading order mixing effects, which are likely to have important observational consequences, can never be recovered in the WKB style expansion. Properties of the higher-order terms in each expansion are also discussed, leading to the conclusion that the non-WKB hierarchy may be applicable even when the scale separation parameter is not small.

Matthaeus, William H.↗

NASA NTRS2010

Hardware-Independent Proofs of Numerical Programs

On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the environment. This approach is implemented in the Frama-C platform for static analysis of C code. Small case studies using this approach are entirely and automatically proved

Boldo, Sylvie↗

DOE OSTI2020

Thermal Stability of a Eutectic Mixture of Bis(2,2-dinitropropyl) Acetal and Formal: Part C. Kinetic Compensation Effect

Here, the aging behavior of a eutectic mixture of bis(2,2-dinitropropyl) acetal and formal [called NP here] has been studied in various atmospheres [dry (air or nitrogen) versus wet] at temperatures 70 °C and below. The properties of aged samples were analyzed using Fourier transform infrared (FTIR) spectroscopy, Karl Fischer (KF) titration, liquid chromatography/mass spectrometry (LC/MS), and thermogravimetric analysis (TGA) over a period of three years. The results indicate that at aging temperatures up to 55 °C, the initial rates of water production from nitrous acid (HONO) formation and decomposition into the water, NO, and NO 2 follows a 1st order rate law and the rate constants follow an Arrhenius law as a function of temperature. The activation energies and pre-factors for water and volatiles production yield a single linear kinetic compensation plot, suggesting a common degradation pathway between NP and the various combinations of its constituents. Within a narrow temperature range, around 55 °C, a trace amount of water in NP stabilizes its properties by preventing HONO elimination. When the aging temperature is substantially higher than 55 °C, the nature of the degradation mechanism changes. It is suspected that the degradation products of NO x , water, and HNO 3 serve as catalysts to auto-catalyze (kinetics beyond the 1st order) and further degrade NP. The effect of headspace volume on this auto-catalytic process will be discussed.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2026

Langevin and Fokker-Planck analyses for diffusion-mediated passing of circular and discorectangular species in two-dimensional channels

The propensity for pairs of diffusing species to pass each other within narrow channels or pores is of basic interest as a first-passage-type problem. It is also of relevance for solution-phase transport in nanoporous materials, and in particular for catalytic conversion reactions where high yield requires that product species can efficiently pass reactant species to exit the pores. Here, we analyze a two-dimensional model with nonoverlapping circular and discorectangular species confined to a rectangular channel, and where passing is mediated by Brownian dynamics in an implicit solvent. For narrower channels where passing is still possible, the discorectangle must align with the channel to pass the circular species. Behavior of the passing propensity, 𝑃, can be assessed by strongly damped Langevin simulations, or within an equivalent Fokker-Planck equation (FPE) formalism. The latter corresponds to a diffusion problem in a “higher-dimensional channel” with a constriction. We assess the variation of the passing propensity, 𝑃, for a broad range of channel width including its scaling just above the threshold where passing is sterically blocked. Analysis of 𝑃 versus the rotational diffusion coefficient 𝐷 𝑟 of the discorectangle reveals a significant decrease in 𝑃 for lower 𝐷 𝑟 for moderate channel width. This prompts a direct analysis of the regime where 𝐷 𝑟 → 0 , for which the FPE can be reduced to a three-dimensional diffusion problem, precise analysis of which is facilitated by adaptive-mesh finite element methods. The dependence of 𝑃 on the aspect ratio of the discorectangle is also assessed.

Rahman, Md Khaledur [Ames Laboratory (AMES), Ames,↗

NASA NTRS1984

A Full Mission Simulator Study of Aircrew Performances: the Measurement of Crew Coordination and Decisionmaking Factors and Their Relationships to Flight Task Performances

Sixteen three man crews flew a full mission scenario in an airline flight simulator. A high level of verbal interaction during instances of critical decision making was located. Each crew flew the scenario only once, without prior knowledge of the scenario problem. Following a simulator run and in accord with formal instructions, each of the three crew members independently viewed and commented on a videotape of their performance. Two check pilot observers rated pilot performance across all crews and, following each run, also commented on the video tape of the crew's performance. A linguistic analysis of voice transcript is made to provide assessment of crew coordination and decision making qualities. Measures of crew coordination and decision making factors are correlated with flight task performance measures.

Murphy, M. R.↗

NASA NTRS1988

Guaranteed properties for nonlinear gain scheduled control systems

An analysis is presented of two types of nonlinear gain-scheduled control systems: scheduling on a reference trajectory and scheduling on the plant output. Conditions are given which guarantee stability, robustness, and performance properties of the global gain-scheduled designs. These conditions confirm and formalize popular notions regarding gain-scheduled designs; e.g., that the scheduling variable should vary slowly and capture the plant's nonlinearities. These results extend the work of Shamma and Athans (1987), which addressed the case of linear plants whose dynamics depends on exogenous parameters.

Shamma, Jeff S.↗

NASA NTRS1993

On the stability of a time dependent boundary layer

The aim of this article is to determine the stability characteristics of a Rayleigh layer, which is known to occur when the fluid above a flat plate has a velocity imparted to it (parallel to the plate). This situation is intrinsically unsteady, however, as a first approximation we consider the instantaneous stability of the flow. The Orr-Sommerfeld equation is found to govern fixed downstream wavelength linear perturbations to the basic flow profile. By the solution of this equation, we can determine the Reynolds numbers at which the flow is neutrally stable; this quasisteady approach is only formally applicable for infinite Reynolds numbers. We shall consider the large Reynolds number limit of the original problem and use a three deck mentality to determine the form of the modes. The results of the two calculations are compared, and the linear large Reynolds number analysis is extended to consider the effect of weak nonlinearity in order to determine whether the system is subcritical or supercritical.

Otto, S. R.↗

NASA NTRS1995

T/BEST: Technology Benefit Estimator Select Features and Applications

A Technology Benefit Estimator (T/BEST) system has been developed to provide a formal method to assess advanced aerospace technologies and quantify the benefit contributions for prioritization. An open-ended, modular approach is used to allow for upgrade and insertion of advanced technology modules. T/BEST's software framework, beginner-to-expert operation, interface architecture, and key analysis modules are discussed. In this paper, selected features and applications of T/BEST are demonstrated. Sample cases pertaining to structural analysis of titanium and composite blades are presented. The performance of hot and cold composite fan blades is also discussed. The cost required to manufacture titanium and composite fan blades is estimated.

Generazio, Edward R.↗

NASA NTRS2010

How to Boost Engineering Support Via Web 2.0 - Seeds for the Ares Project...and/or Yours?

The Mission Operations Laboratory (MOL) at Marshall Space Flight Center (MSFC) is responsible for Engineering Support capability for NASA s Ares launch system development. In pursuit of this, MOL is building the Ares Engineering and Operations Network (AEON), a web-based portal intended to provide a seamless interface to support and simplify two critical activities: a) Access and analyze Ares manufacturing, test, and flight performance data, with access to Shuttle data for comparison. b) Provide archive storage for engineering instrumentation data to support engineering design, development, and test. A mix of NASA-written and COTS software provides engineering analysis tools. A by-product of using a data portal to access and display data is access to collaborative tools inherent in a Web 2.0 environment. This paper discusses how Web 2.0 techniques, particularly social media, might be applied to the traditionally conservative and formal engineering support arena. A related paper by the author [1] considers use

Scott, David W.↗