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 811 records · Page 45

All sources NASA NTRS DOE OSTI

DOE OSTI2022

Designing linear lattices for round beam in electron storage rings using the solution by linear matrices analysis

For some synchrotron light source beamline applications, a round beam is preferable to a flat one. A conventional method of obtaining round beam in an electron storage ring is to shift its tune close to a linear difference resonance. The linearly coupled beam dynamics is analyzed with perturbation theories, which have certain limitations. In this paper, we adopt the Solution by LInear Matrices (SLIM) analysis to calculate exact beam sizes to design round beam lattices. The SLIM analysis can deal with a generally linearly coupled accelerator lattice. The effects of various coupling sources on beam emittances and sizes can be studied within a self-consistent frame. Both the on- and off-resonance schemes to obtain round beams are explained with examples. The SLIM formalism for two widely used magnet models: combined-function bending magnets, and planar wigglers and undulators, is also derived.

43 PARTICLE ACCELERATORS↗

DOE OSTI2021

Neutron Tunneling: A New Mechanism to Power Explosive Phenomena in Neutron Stars, Magnetars, and Neutron Star Mergers

Neutron tunneling between neutron-rich nuclei in inhomogeneous dense matter encountered in neutron star crusts can release enormous energy on a short timescale to power explosive phenomena in neutron stars. In this work, we clarify aspects of this process that can occur in the outer regions of neutron stars when oscillations or cataclysmic events increase the ambient density. We use a time-dependent Hartree–Fock–Bogoliubov formalism to determine the rate of neutron diffusion and find that large amounts of energy can be released rapidly. The roles of nuclear binding, two-body interaction, and pairing in neutron diffusion times are investigated. We consider a one-dimensional quantum diffusion model and extend our analysis to study the impact of diffusion in three dimensions. Here, we find that these novel neutron transfer reactions can generate energy in the amount of ≃ 10 40 –10 44 erg under suitable conditions and assumptions.

79 ASTRONOMY AND ASTROPHYSICS↗

NASA NTRS2018

Investigations of Hail Damage Swaths Using Various Satellite Remote Sensing Platforms

Severe thunderstorms that bring damaging winds and large hail can cause significant damage to agricultural crops. Severe thunderstorms can cause upwards of several hundreds of millions of dollars in damage to agricultural areas. Formal ground surveys are not conducted on these areas of damage, like they are for suspected tornado damaged areas. IF ground surveys were conducted, they would likely be time and resources consuming due to their large spatial extent. Satellite remote sensing has been frequently used in identification and analysis of these hail damage swaths. Previous analysis have looked at the simple change in damaged vegetation to looking at the damage areas in satellite imagery with varying spatial resolutions. One study has even looked at the impacts that these damage swaths can have on the land surface, associated fluxes and how they affect numerical weather prediction. Previous studies have focused on using optical remote (VIS, NIR, SWIR) sensing instruments and derived indices, such as Normalized Difference Vegetation Index (NDVI) for analysis. NDVI is used to monitor the health (greenness) of the vegetation. Optical sensors however are limited by sky conditions over the areas they are imaging and certain bands are further limited by the diurnal cycle. These limitations can lead to sometimes upwards of 7 to 10 day gaps of the surface not being imaged, especially during the height of summer convection. One way to obtain more views of the surface, regardless of the sky conditions or time of day is through the use of synthetic aperture radar (SAR). SAR sensors are active instruments that transmit in the microwave portion of the EM spectrum. The surface and its characteristics will determine the amount of energy scattered back to the sensor. The SAR sensors then measure amplitude and phase of wavelength coming back from surface.

Bell, Jordan R.↗

DOE OSTI2021

Scattering amplitudes for all masses and spins

We introduce a formalism for describing four-dimensional scattering amplitudes for particles of any mass and spin. This naturally extends the familiar spinor-helicity formalism for massless particles to one where these variables carry an extra SU(2) little group index for massive particles, with the amplitudes for spin Sparticles transforming as symmetric rank 2S tensors. We systematically characterise all possible three particle amplitudes compatible with Poincare symmetry. Unitarity, in the form of consistent factorization, imposes algebraic conditions that can be used to construct all possible four-particle tree amplitudes. This also gives us a convenient basis in which to expand all possible four-particle amplitudes in terms of what can be called “spinning polynomials”. Many general results of quantum field theory follow the analysis of four-particle scattering, ranging from the set of all possible consistent theories for massless particles, to spin-statistics, and the Weinberg-Witten theorem. We also find a transparent understanding for why massive particles of sufficiently high spin cannot be “elementary”. The Higgs and Super-Higgs mechanisms are naturally discovered as an infrared unification of many disparate helicity amplitudes into a smaller number of massive amplitudes, with a simple understanding for why this can’t be extended to Higgsing for gravitons. We illustrate a number of applications of the formalism at one-loop, giving few-line computations of the electron (g - 2) as well as the beta function and rational terms in QCD. “Off-shell” observables like correlation functions and form-factors can be thought of as scattering amplitudes with external “probe” particles of general mass and spin, so all these objects — amplitudes, form factors and correlators, can be studied from a common on-shell perspective.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2026

Integrated System Planning: Emerging Software Requirements in the Power Industry

Power system planning software remains fragmented across organizational boundaries, with specialized tools for capacity expansion, production cost modeling, power flow, and dynamic analysis operating on incompatible data models and assumptions. This article argues that the fragmentation is not merely a technical problem but a predictable consequence of Conway's law: software architectures mirror the departmental structures within which they are developed. Regulatory milestones like Federal Energy Regulatory Commission (FERC) Order 888 formalized these divisions, but the roots trace back to the distinct engineering disciplines-mechanical, chemical, and electrical-that staffed generation and transmission planning departments in vertically integrated utilities. As the industry moves toward integrated system planning (ISP) that coordinates generation, transmission, and distribution investment decisions, the software ecosystem must evolve accordingly. We identify five categories of software requirements to enable this transition: coherent data inputs decoupled from individual applications, unified and extensible data schemas, modular component representations that support multiple abstraction levels, lifecycle management of planning datasets, and well-defined application programming interface (API) contracts that separate data exchange from algorithmic control. We examine how these requirements interact with three common workflow patterns-serial gate clearing, sequential multiapplication, and convergence oriented-and discuss the interface design principles each demands. We then outline a vision for platform-based planning architectures where specialized analytical services compose through standardized interfaces and where artificial intelligence (AI)/machine learning (ML) tools augment decision support within a disciplined software infrastructure. The practices proposed here offer a path from today's siloed tool collections toward collaborative planning ecosystems capable of handling the complexity of modern power system transformation.

24 POWER TRANSMISSION AND DISTRIBUTION↗

DOE OSTI2020

Opacity on NIF: Anchor 2 Iron (Level 2 Milestone 7118 Report)

In FY2020 we fulfilled the exit criteria of milestone 7118. We fielded iron opacity experiments at higher densities and temperatures approaching anchor 2 conditions and made good progress on overcoming the problems that we found. This report describes in detail the progress that has been made. We presented the results in a LANL seminar on August 10 and we gave two talks on our results to the National Opacity Workshop Series, one on July 9 and the other on September 14. Before discussing the anchor 2 measurements, we present an update of the NIF anchor 1 data. We did a new analysis of the anchor 1 data and compared the results to a series of calculations using the LANL ATOMIC code. Figures 1 and 2 compare the data with the best-fit to calculations. This result is significantly improved over the result published in Atoms. The differences are small for the iron quasi-continuum between 8-9.5 Å and for the Mg Heα and Lyα lines. The opacities near the centers of the iron bound-bound features also match fairly well in the 9.5-12.5 Å range. However, the opacity windows between the large iron bound-bound features are deeper in the Atomic predictions than the measurement. Furthermore, large discrepancies exist for the Mg He β, γ, and δ lines and for the short-wavelength quasicontinuum. The experiment and analysis refinements described below have set the stage for unraveling these discrepancies. Specifically, we can repeat the Anchor 1 experiments using improved backlighter, hohlraum, and spectrometers to obtain reduced backgrounds and better spectral resolution. Exploiting the AlMg calibration experiments and repeating the Anchor 1 measurements multiple times will enable formal and rigorous uncertainty determination. This well-defined path gives us confidence that high quality opacity data can be obtained on NIF.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2025

Education for PV Modeling Professionals: Observations from the 2025 PVPMC Workshop

We surveyed professionals in the photovoltaic industry to understand interests in education and training for performance modeling of solar power systems. We found that most professionals are self-taught and rely on a variety of public sources of technical materials. Available formal education, such as courses or certification programs, either lacks detail or is focused on software user training. Responses indicate several opportunities to create public resources that would benefit professional learning for solar power system modeling: • Create a glossary of terms and common variable names. • Develop guidance on uncertainty analysis in the context of solar power systems modeling. • Assemble a catalog of available educational materials and data sources.

14 SOLAR ENERGY↗

DOE OSTI2022

Statistical Significance Testing for Mixed Priors: A Combined Bayesian and Frequentist Analysis

In many hypothesis testing applications, we have mixed priors, with well-motivated informative priors for some parameters but not for others. The Bayesian methodology uses the Bayes factor and is helpful for the informative priors, as it incorporates Occam’s razor via the multiplicity or trials factor in the look-elsewhere effect. However, if the prior is not known completely, the frequentist hypothesis test via the false-positive rate is a better approach, as it is less sensitive to the prior choice. We argue that when only partial prior information is available, it is best to combine the two methodologies by using the Bayes factor as a test statistic in the frequentist analysis. We show that the standard frequentist maximum likelihood-ratio test statistic corresponds to the Bayes factor with a non-informative Jeffrey’s prior. We also show that mixed priors increase the statistical power in frequentist analyses over the maximum likelihood test statistic. We develop an analytic formalism that does not require expensive simulations and generalize Wilks’ theorem beyond its usual regime of validity. In specific limits, the formalism reproduces existing expressions, such as the p-value of linear models and periodograms. We apply the formalism to an example of exoplanet transits, where multiplicity can be more than 10 7 . We show that our analytic expressions reproduce the $p$-values derived from numerical simulations. We offer an interpretation of our formalism based on the statistical mechanics. We introduce the counting of states in a continuous parameter space using the uncertainty volume as the quantum of the state. We show that both the $p$-value and Bayes factor can be expressed as an energy versus entropy competition.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2004

Range Commanders Council Meteorology Group 88th Meeting: NASA Marshall Space Flight Center Task Report, 2004

Supported Return-to-Flight activities by providing surface climate data from Kennedy Space Center used primarily for ice and dew formation studies, and upper air wind analysis primarily used for ascent loads analyses. The MSFC Environments Group's Terrestrial and Planetary Environments Team documented Space Shuttle day-of-launch support activities by publishing a document in support of SSP Return-to-Flight activities entitled "Space Shuttle Program Flight Operations Support". The team also formalized the Shuttle Natural Environments Technical Panel and chaired the first special session of the SSP Natural Environments Panel meeting at KSC, November 4-7,2003.58 participants from NASA, DOD and other government agencies from across the country attended the meeting.

Roberts, Barry C.↗

NASA NTRS2011

Making Human Spaceflight Practical and Affordable: Spacecraft Designs and their Degree of Operability

As we push toward new and diverse space transportation capabilities, reduction in operations cost becomes increasingly important. Achieving affordable and safe human spaceflight capabilities will be the mark of success for new programs and new providers. The ability to perceive the operational implications of design decisions is crucial in developing safe yet cost competitive space transportation systems. Any human spaceflight program - government or commercial - must make countless decisions either to implement spacecraft system capabilities or adopt operational constraints or workarounds to account for the lack of such spacecraft capabilities. These decisions can benefit from the collective experience that NASA has accumulated in building and operating crewed spacecraft over the last five decades. This paper reviews NASA s history in developing and operating human rated spacecraft, reviewing the key aspects of spacecraft design and their resultant impacts on operations phase complexity and cost. Specific examples from current and past programs - including the Space Shuttle and International Space Station - are provided to illustrate design traits that either increase or increase cost and complexity associated with spacecraft operations. These examples address factors such as overall design performance margins, levels of redundancy, degree of automated failure response, type and quantity of command and telemetry interfaces, and the definition of reference scenarios for analysis and test. Each example - from early program requirements, design implementation and resulting real-time operations experience - to tell the end-to-end "story" Based on these experiences, specific techniques are recommended to enable earlier and more effective assessment of operations concerns during the design process. A formal method for the assessment of spacecraft operability is defined and results of such operability assessments for recent spacecraft designs are provided. Recent experience in applying these techniques to Orion spacecraft development is reviewed to highlight the direct benefits of early operational assessment and collaborative development efforts.

Crocker, Alan R.↗

DOE OSTI2021

Octahedral rotations in Ruddlesden-Popper layered oxides under pressure from first principles

The combination of reduced dimensionality and tunable structural distortions in layered perovskite oxides makes these materials ideal platforms for designing novel properties and functionalities. One example is hybrid improper ferroelectricity in n = 2 Ruddlesden-Popper oxides, where the combination of a layered crystal structure and rotations of the metal-oxide octahedra break symmetry and induce a polarization. Precisely controlling the octahedral rotation distortions, for example by the application of hydrostatic pressure, provides a pathway to tune and optimize the properties of these materials. Here we combine group theoretic methods, density functional theory calculations, and Landau theory analysis to investigate how octahedral rotations respond to pressure in the hybrid improper ferroelectrics Sr 3 Zr 2 O 7 , Ca 3 Ti 2 O 7 , and Sr 3 Sn 2 O 7 . We find that factors that are known to control the pressure response of ABO 3 perovskites—the formal charge of the A- and B-site cations, tolerance factor, and B-site chemistry—also impact the pressure response of these layered perovskites. We also show that coupling between the octahedral rotation and strain order parameters plays a key role in determining the overall pressure response. Despite some similarities, we find that these layered perovskites display a distinct pressure response compared to their ABO 3 perovskite analogs. By identifying trends and underlying mechanisms that control octahedral rotations in Ruddlesden-Popper oxides under pressure, this work lays the foundation for tailoring the structure and properties of these materials.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRS1975

Dispersion forces at arbitrary distances

The formalism of Boehm and Yaris is used to evaluate explicitly the leading term of the London dispersion force between closed-shell atoms. Instead of using the usual multipole expansion, which breaks down at intermediate internuclear distances, an analytic representation of the Born amplitude together with a general angular momentum analysis is used. As a result, expressions are obtained which reduce to the usual dispersion forces at large distances and are finite at all distances.

Jacobi, N.↗

NASA NTRS1975

Interpretation of an urban scene using multi-channel radar imagery

Four channel, SLAR imagery was studied by a group of individuals having no previous experience with either SLAR imagery or the urban area under scrutiny. This tactic was used because it was desired to define the nature of training needed when introducing people to radar imagery of urban scenes. Responses resulting from interpretations based on standard photointerpretation methods were subjected to a Chi-square analysis to determine the level of significance of the interpretations. For the urban scene studied, and for the two wavelengths (X /3.0 cm/ and L /23.0 cm/ Band) and polarizations (HH and HV) used, several types of urban land use were easily and accurately identified. It is shown that little formal training is required for obtaining quite high interpretation accuracies from multi-channel radar images of some urban scenes.

Bryan, M. L.↗

NASA NTRS1991

Guaranteed properties of gain scheduled control for linear parameter-varying plants

Gain scheduling has proven to be a successful design methodology in many engineering applications. However, in the absence of a sound theoretical analysis, these designs come with no guarantees on the robustness, performance, or even nominal stability of the overall gain scheduled design. This paper presents such an analysis for one type of gain scheduled system, namely, a linear parameter-varying plant scheduling on its exogenous parameters. Conditions are given which guarantee that the stability, robustness, and performance properties of the fixed operating point designs carry over to the global gain scheduled design. These conditions confirm and formalize popular notions regarding gain scheduled design, such as the scheduling variable should 'vary slowly'.

Shamma, Jeff S.↗

NASA NTRS1993

Software Formal Inspections Standard

This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software. The objective of this Standard is to define the requirements for a process that inspects software products to detect and eliminate defects as early as possible in the software life cycle. The process also provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

Source record↗

NASA NTRS2013

A Statistical Theory of Bidirectionality

Original concepts related to the quantification and assessment of bidirectionality in strain-gage balances were introduced by Ulbrich in 2012. These concepts are extended here in three ways: 1) the metric originally proposed by Ulbrich is normalized, 2) a categorical variable is introduced in the regression analysis to account for load polarity, and 3) the uncertainty in both normalized and non-normalized bidirectionality metrics is quantified. These extensions are applied to four representative balances to assess the bidirectionality characteristics of each. The paper is tutorial in nature, featuring reviews of certain elements of regression and formal inference. Principal findings are that bidirectionality appears to be a common characteristic of most balance outputs and that unless it is taken into account, it is likely to consume the entire error budget of a typical balance calibration experiment. Data volume and correlation among calibration loads are shown to have a significant impact on the precision with which bidirectionality metrics can be assessed.

DeLoach, Richard↗

NASA NTRS1972

The Public Health Service guidelines. Governing research involving human subjects: An analysis of the policy-making process

The policy making process which led to development of the Public Health Service Guidelines governing research involving human subjects is outlined. Part 1 examines the evolution of PHS Guidelines, tracing (1) evolution of thought and legal interpretation regarding research using human subjects; (2) initial involvement of the Federal government; (3) development of the government's research program; (4) the social-political environment in which formal government policy was developed; and (5) various policy statements issued by the government. Part 2 analyzes the process by which PHS Guidelines were developed and examines the values and other underlying factors which contributed to their development. It was concluded that the evolution of the Guidelines is best understood within the context of a mixed-scanning strategy. In such a strategy, policy makers make fundamental decisions regarding the basic direction of policy and subsequent decisions are made incrementally and within the contexts set by the original fundamental decisions.

Frankel, M. S.↗

NASA NTRS2019

Statistical Hypothesis Testing in Wavelet Analysis: Theoretical Developments and Applications to Indian Rainfall

Statistical hypothesis tests in wavelet analysis are methods that assess the degree to which a wavelet quantity(e.g., power and coherence) exceeds background noise. Commonly, a point-wise approach is adopted in which a wavelet quantity at every point in a wavelet spectrum is individually compared to the critical level of the point-wise test. However, because adjacent wavelet coefficients are correlated and wavelet spectra often contain many wavelet quantities, the point-wise test can produce many false positive results that occur in clusters or patches. To circumvent the point-wise test drawbacks, it is necessary to implement the recently developed area-wise, geometric, cumulative area-wise, and topological significance tests, which are reviewed and developed in this paper. To improve the computational efficiency of the cumulative area-wise test, a simplified version of the testing procedure is created based on the idea that its output is the mean of individual estimates of statistical significance calculated from the geometric test applied at a set of point-wise significance levels. Ideal examples are used to show that the geometric and cumulative area-wise tests are unable to differentiate wavelet spectral features arising from singularity-like structures from those associated with periodicities. A cumulative arc-wise test is therefore developed to strictly test for periodicities by using normalized arc length, which is defined as the number of points composing a cross section of a patch divided by the wavelet scale in question. A previously proposed topological significance test is formalized using persistent homology profiles (PHPs) measuring the number of patches and holes corresponding to the set of all point-wise significance values. Ideal examples show that the PHPs can be used to distinguish time series containing signal components from those that are purely noise. To demonstrate the practical uses of the existing and newly developed statistical methodologies, a first comprehensive wavelet analysis of Indian rainfall is also provided. An R software package has been written by the author to implement the various testing procedures.

Wind speed↗