Search NASA⌕ Search

SEARCH · Search NASA

Results for “Higher-Order”

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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Multigrid properties of upwind-biased data reconstructions

The multigrid properties of two data reconstruction methods used for achieving second-order spatial accuracy when solving the two-dimensional Euler equations are examined. The data reconstruction methods are used with an implicit upwind algorithm which uses linearized backward-Euler time-differencing. The solution of the resulting linear system is performed by an iterative procedure. In the present study only regular quadrilateral grids are considered, so a red-black Gauss-Seidel iteration is used. Although the Jacobian is approximated by first-order upwind extrapolation, two alternative data reconstruction techniques for the flux integral that yield higher-order spatial accuracy at steady state are examined. The first method, probably most popular for structured quadrilateral grids, is based on estimating the cell gradients using one-dimensional reconstruction along curvilinear coordinates. The second method is based on Green's theorem. Analysis and numerical results for the two dimensional Euler equations show that data reconstruction based on Green's theorem has superior multigrid properties as compared to the one-dimensional data reconstruction method.

Warren, Gary P.↗
NASA NTRS1992

HDL to verification logic translator

The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

Gambles, J. W.↗
NASA NTRS1993

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the Higher-Order Logic (HOL) listings of the partial verification of the requirements and design for a commercially developed processor interface unit (PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault tolerant computer system. This system, the Fault Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU verification as it currently exists. Section two of this report contains general-purpose HOL theories and definitions that support the PIU verification. These include arithmetic theories dealing with inequalities and associativity, and a collection of tactics used in the PIU proofs. Section three contains the HOL listings for the completed PIU design verification. Section 4 contains the HOL listings for the partial requirements verification of the P-Port.

Fura, David A.↗
NASA NTRS1993

Constraints on the Martian cratering rate imposed by the SNC meteorites and Vallis Marineris layered deposits

Following two independent lines of evidence -- estimates of the age and formation time of a portion of the Martian geologic column exposed in the layered deposits and the crystallization and ejection ages of the SNC meteorites -- it appears that the Martian cratering rate must be double the lunar rate or even higher. This means models such as NHII or NHIII (Neukum and Hiller models II and III), which estimate the Martian cratering rate as being several times lunar are probably far closer to reality on Mars than lunar rates. The effect of such a shift is profound: Mars is transformed from a rather Moon-like place into a planet with vigorous dynamics, multiple large impacts, erosion, floods, and volcanism throughout its history. A strong shift upward in cratering rates on Mars apparently solves some glaring problems; however, it creates others. The period of time during which Earth-like atmospheric conditions existed, the liquid water era on Mars, persists in NHIII up to only 0.5 b.y. ago. Scenarios of extended Earth-like conditions on Mars have been discounted in the past because they would have removed many of the craters from the early bombardment era found in the south. It does appear that some process of crater removal was quite vigorous in the north during Mars' past. Evidence exists that the northern plains may have been the home of long-lived seas or perhaps even a paleo-ocean, so models exist for highly localized destruction of craters in the north. However, the question of how the ancient crater population could be preserved in the south under a long liquid-water era found in any high-cratering-rate models is a serious question that must be addressed. It does appear to be a higher-order problem because it involves low-energy dynamics acting in localized areas, i.e., erosion of craters in the south of Mars, whereas the two problems with the low-cratering-rate models involve high-energy events acting over large areas: the formation of the Vallis Marineris, the SNC ejecting impacts, and the global atmospheric pressure and temperature conditions that allow liquid water to exist as a robust entity anywhere on the Martian surface. In any case, it appears Mars is a more complex and dynamic planet than previously supposed. It has canyons dating from the middle to late period of its history that contain apparent lake sediments bedded deeper than most sediments on Earth. Recent multiple, violent impacts on Mars have apparently provided us with multiple random samples of its surface that all crystallized less than 1.5 b.y. ago. These things cannot be accommodated in our present cratering chronologies of Mars, based on 1x lunar cratering rates, without great difficulties. These difficulties suggest that a new chronology, probably based on NHII or even NHIII, should be adopted; this new chronology will provide us with a new view of Mars as a dynamic planet of rich history.

Brandenburg, J. E.↗
NASA NTRS1993

Alignment of dust grains in ionized regions

The rate at which charged dust grains in a plasma are torqued by passing ions and electrons is calculated. When photo-emission of electrons is not important, attraction of ions by the grain monopole potential increases the rate at which the grains' spins are dealigned by nearly an order of magnitude. Consequently, the energy density of the magnetic field required to align grains in an H II region may be increased by about an order of magnitude. In contrast, electric dipole and quadrupole moments are unlikely to produce large dealignment rates for grains of modest length-to-width ratio. Nonetheless, for positively charged grains these higher-order moments likely prevent monopole repulsion of ions from reducing the dealignment rate far below that for neutral grains. The presence of positive grain charge therefore does not greatly facilitate grain alignment in an H II region.

Anderson, Nels↗
NASA NTRS1991

On the Power of Abstract Interpretation

Increasingly sophisticated applications of static analysis place increased burden on the reliability of the analysis techniques. Often, the failure of the analysis technique to detect some information my mean that the time or space complexity of the generated code would be altered. Thus, it is important to precisely characterize the power of static analysis techniques. We follow the approach of Selur et. al. who studied the power of strictness analysis techniques. Their result can be summarized by saying 'strictness analysis is perfect up to variations in constants.' In other words, strictness analysis is as good as it could be, short of actually distinguishing between concrete values. We use this approach to characterize a broad class of analysis techniques based on abstract interpretation including, but not limited to, strictness analysis. For the first-order case, we consider abstract interpretations where the abstract domain for data values is totally ordered. This condition is satisfied by Mycroft's strictness analysis that of Sekar et. al. and Wadler's analysis of list-strictness. For such abstract interpretations, we show that the analysis is complete in the sense that, short of actually distinguishing between concrete values with the same abstraction, it gives the best possible information. We further generalize these results to typed lambda calculus with pairs and higher-order functions. Note that products and function spaces over totally ordered domains are not totally ordered. In fact, the notion of completeness used in the first-order case fails if product domains or function spaces are added. We formulate a weaker notion of completeness based on observability of values. Two values (including pairs and functions) are considered indistinguishable if their observable components are indistinguishable. We show that abstract interpretation of typed lambda calculus programs is complete up to this notion of indistinguishability. We use denotationally-oriented arguments instead of the detailed operational arguments used by Selur et. al.. Hence, our proofs are much simpler. They should be useful for further future improvements.

Reddy, Uday S.↗
NASA NTRS1982

Handling Qualities Specifications for U.S. Military Helicopters

Inadequacies in the military specification for helicopter handling qualities, MIL-H-8501A, have long been recognized, and the latest procurements by the U.S. Army used special Prime Item Development Specifications (PIDS). This paper assesses the efficacy of these PIDS and suggests that changes should be made. In particular, the structure developed in MIL-F-8785B (ASG) (the specification for flying qualities of piloted airplanes) should be incorporated. Improved requirements must be based on a systematic data base and concentrated on topics most important in preliminary design: static and dynamic stability, control power and sensitivity, and interaction with controllers and displays. Emphasis should be on current military helicopter missions and helicopter idiosyncrasies such as cross-coupling, nonlinearities, and higher-order dynamics.

Key, David L.↗
NASA NTRS1991

A definition of the domains Archaea, Bacteria and Eucarya in terms of small subunit ribosomal RNA characteristics

The number of small subunit rRNA sequences is now great enough that the three domains Archaea, Bacteria and Eucarya (Woese et al., 1990) can be reliably defined in terms of their sequence "signatures". Approximately 50 homologous positions (or nucleotide pairs) in the small subunit rRNA characterize and distinguish among the three. In addition, the three can be recognized by a variety of nonhomologous rRNA characters, either individual positions and/or higher-order structural features. The Crenarchaeota and the Euryarchaeota, the two archaeal kingdoms, can also be defined and distinguished by their characteristic compositions at approximately fifteen positions in the small subunit rRNA molecule.

NASA Program Exobiology↗
NASA NTRS1992

Multiple-scattering effects in quasielastic alpha-4He scattering

A multiple-scattering series for describing the quasielastic peak in nucleus-nucleus collisions is derived using the high-energy optical model. The effects of multiple knockout of target nucleons and internal excitation of the projectile are studied and found to be important for large energy loss and momentum transfers in inclusive alpha-4He scattering at 7 GeV/c. An approximate evaluation of higher-order inelastic collision terms is considered for forward-peaked wave functions and is demonstrated to be accurate.

NASA Discipline Radiation Health↗
NASA NTRSDate not supplied

Technology Assessment and Modelling of Three Terminal Tandem Solar Cells for In-Space Utilization

NASA seeks a sustained human presence on the lunar surface. High-efficiency and resilient energy systems are critical to supporting habitats, scientific outposts, and lunar surface operations. Photovoltaics have long been the backbone of space power systems, transitioning from silicon solar cells to multi-junction III-V solar cells, which now dominate state-of-the-art (SOA) technology. Multi-junction cells achieve high efficiency by layering semiconductors, each absorbing a specific portion of the solar spectrum. However, efficiency gains are increasingly constrained by device physics and manufacturing complexity. Additionally, higher-order junctions pose challenges for accurate modelling and performance characterization due to difficulties in replicating the AM0 spectrum.

solar cells↗
NASA NTRS2026

Mathematical Model of a Regenerative Fuel Cell for System Optimization

This thesis developed a system-level optimization model of a regenerative fuel cell (RFC) system for long-duration, off-world energy storage applications. Prior RFC design studies have typically been limited to reduced parameter sets and simplified constraints due to computational limitations relative to the number of relevant degrees of freedom. As a result, important nonlinear interactions between subsystems have not been fully captured. This work began to address that gap by developing a higher-fidelity, nonlinear optimization framework that incorporates a broader set of design variables and coupled constraints, enabling a multidimensional model that captures the coupled behavior of RFC subsystems and demonstrates the feasibility of applying optimization to such systems. An expanded system-level optimization approach was established that captures interactions between electrochemical performance, structural requirements, and storage design. This enabled a more comprehensive evaluation of trade-offs than conventional formulations. The model integrates four coupled subsystems: a fuel cell, an electrolyzer, reactant gas, and high-pressure storage tanks, and was formulated to accommodate a wide range of mission parameters, including operational time and required output power. It incorporates constraints on available solar array power, reactant mass balance between production and consumption, and pressure-dependent storage requirements. To enable reliable convergence, the optimization problem was reformulated to reduce dimensionality and improve numerical stability, with subsystem models organized for efficient evaluation. Problem dimensionality was reduced by consolidating lower-level design variables into higher-level representative quantities, and subsystem behavior was evaluated within the optimization loop. A multi-start initialization strategy was employed to mitigate sensitivity to local minima and improve solution quality, while nonlinear relationships were solved using robust numerical methods. The results showed that convergence was achieved across a range of required output power values. Specific energy reached a maximum at a critical mission power level, where the electrolyzer power matched the available solar input and operated near its voltage and current density limits. Beyond this point, further increases in required power resulted in less mass-efficient operation, increasing total system mass and reducing overall performance. The developed model represents an advancement in RFC system-level optimization by enabling analysis of a broader and more tightly coupled design space than previous considerations. While convergence behavior and computational cost remain challenges, the methods introduced improve solvability and allow inclusion of additional design variables with minimal loss of physical fidelity. However, the numerical results should not be interpreted as definitive design recommendations, as the model includes simplifying assumptions and omits several higher-order effects. Future work should extend this framework by incorporating additional subsystems and loss mechanisms, such as thermal management, parasitic power consumption, and reactant losses, to improve fidelity and ensure more representative design conclusions.

Electrochemistry↗
DOE OSTI2026

In-Band Scattering and Absorption of Infrared Blocking Foam Filters for Millimeter-wave Cameras

Expanded closed-cell polymer foams are widely used as thermal infrared (IR) blocking filters in millimeter-wave cameras, particularly for Cosmic Microwave Background observations. Precise knowledge of their millimeter-wave properties is essential for optimizing sensitivity. We present broadband (150 GHz - 2 THz) transmittance spectroscopy of Styroace-II and several Zotefoam filters, fitting their spectra with a radiative transfer model incorporating dielectric absorption and Rayleigh, Mie, and higher-order scattering. For a typical 5~cm thick filter stack at 280~GHz, Styroace-II exhibits ${\sim}10\%$ scattering with absorption estimated as ${\lesssim}5\%$ by effective-medium theory, while Zotefoam HD30 offers superior performance at ${\sim}3\%$ scattering and absorption likewise bounded to ${{\lesssim}0.3\%}$. Each model component is constrained at the ${\sim}0.1\%$ transmittance level for millimeter wavelengths. We observe batch-to-batch scattering variability of up to 2 percentage points in foams with multiple tested batches. Less commonly used Zotefoam formulations (LD15 and LD24) can further reduce in-band scattering to ${<}1\%$ while maintaining negligible in-band absorption and likely comparable IR blocking due to shared polyethylene absorption features and similar cell sizes. Based on this work, a filter constructed from the best measured LD24 batch has replaced the Styroace-II filter in a Simons Observatory 220/280 GHz Small Aperture Telescope.

Thomas, Alex [Chicago U., Astron. Astrophys. Ctr.;↗
DOE OSTI2026

QuadSync: Quadrifocal tensor synchronization via Tucker decomposition

In structure from motion, quadrifocal tensors capture more information than their pairwise counterparts (essential matrices), yet they have often been thought of as impractical and only of theoretical interest. In this work, we challenge such beliefs by providing a new framework to recover n cameras from the corresponding collection of quadrifocal tensors. We form the block quadrifocal tensor and show that it admits a Tucker decomposition whose factor matrices are the stacked camera matrices, and which thus has a multilinear rank of (4,4,4,4) independent of n. We develop the first synchronization algorithm for quadrifocal tensors, using Tucker decomposition, alternating direction method of multipliers, and iteratively reweighted least squares. We further establish relationships between the block quadrifocal, trifocal, and bifocal tensors, and introduce an algorithm that jointly synchronizes these three entities. Numerical experiments demonstrate the effectiveness of our methods on modern datasets, indicating the potential and importance of using higher-order information in synchronization.

Miao, Daniel [University of Minnesota]↗
DOE OSTI2025

Splitting amplitudes at N 3 LO in QCD

In the limit where partons become collinear to each other, scattering amplitudes factorize into a product of universal, process-independent building blocks and scattering amplitudes involving fewer partons. We compute these universal building blocks — known as splitting amplitudes — for two collinear QCD partons up to third loop order in QCD. Our results describe arbitrary time-like splitting processes. Due to the violation of strict collinear factorization in space-like splitting processes, we specifically present space-like splitting amplitudes for three-parton QCD scattering amplitudes at third loop order. To achieve our results, we perform a collinear expansion of three-loop scattering amplitudes using a new expansion-by-subgraph technology, which is based on the method of regions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Tracking discontinuities in parameter space

We develop a geometric framework in Feynman-parameter space to determine constraints on the sequential discontinuities of Feynman integrals. Our method is based on tracking the deformation of the integration contour as external kinematics are analytically continued. This procedure imposes powerful constraints on the analytic structure of Feynman integrals, providing crucial inputs for their bootstrap. We demonstrate the usefulness of this framework by applying it to integrals in dimensional regularization, with higher propagator powers, and to examples with non-uniform transcendental weight. The method is illustrated with several one- and two-loop calculations.

Differential and Algebraic Geometry↗
DOE OSTI2026

Radiative corrections to superallowed beta decays at $\mathcal{O}\left({\alpha}^2Z\right)$

We compute $\mathcal{O}\left({\alpha}^2Z\right)$ radiative corrections to superallowed β decays with a heavy-particle effective field theory that systematically describes the interactions of low-energy ultrasoft photons with nuclei. We calculate two-loop virtual and one-loop real-virtual amplitudes by reducing the Feynman integrals to a set of master integrals, which we solve analytically using a variety of techniques. These techniques can be applied to other phenomenologically interesting observables. The ultrasoft corrections can then be combined with contributions arising from the exchange of potential photons to obtain the complete $\mathcal{O}\left({\alpha}^2Z\right)$ correction to the decay rate, with resummation of large logarithms of the electron energy times the nuclear radius. We find that $\mathcal{O}\left({\alpha}^2Z\right)$ ultrasoft loops induce a relative correction to the decay rate that ranges from 0.7 ∙ 10 −3 in the decay of 10 C to 3.6 ∙ 10 −3 in the decay of 54 Co, and will thus impact the extraction of V ud at the permille level. We show that the inclusion of these corrections reduces the residual renormalization scale dependence of the decay rate to a negligible level, making missing ultrasoft perturbative corrections a subdominant source of theoretical uncertainty.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗