SEARCH · Engineering Papers

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

All sources NASA NTRS DOE OSTI

DOE OSTI2024

Higher-order tails and RG flows due to scattering of gravitational radiation from binary inspirals

Abstract We establish and develop a novel methodology to treat higher-order non-linear effects of gravitational radiation that is scattered from binary inspirals, which employs modern scattering-amplitudes methods on the effective picture of the binary as a composite particle. We spell out our procedure to study such effects: assembling tree amplitudes via generalized-unitarity methods and employing the closed-time-path formalism to derive the causal effective actions, which encompass the full conservative and dissipative dynamics. We push through to a new state of the art for these higher-order effects, up to the third subleading tail effect, at order$$ {G}_N^5 $$ G N 5 and the 5-loop level, which corresponds to the 8.5PN order. We formulate the consequent dissipated energy for these higher-order corrections, and carry out a renormalization analysis, where we uncover new subleading RG flow of the quadrupole coupling. For all higher-order tail effects we find perfect agreement with partial observable results in PN and self-force theories, where available.

Physics↗

DOE OSTI2023

Understanding the transient large amplitude oscillatory shear behavior of yield stress fluids

A full understanding of the sequence of processes exhibited by yield stress fluids under large amplitude oscillatory shearing is developed using multiple experimental and analytical approaches. A novel component rate Lissajous curve, where the rates at which strain is acquired unrecoverably and recoverably are plotted against each other, is introduced and its utility is demonstrated by application to the analytical responses of four simple viscoelastic models. Using the component rate space, yielding and unyielding are identified by changes in the way strain is acquired, from recoverably to unrecoverably and back again. The behaviors are investigated by comparing the experimental results with predictions from the elastic Bingham model that is constructed using the Oldroyd–Prager formalism and the recently proposed continuous model by Kamani, Donley, and Rogers in which yielding is enhanced by rapid acquisition of elastic strain. The physical interpretation gained from the transient large amplitude oscillatory shear (LAOS) data is compared to the results from the analytical sequence of physical processes framework and a novel time-resolved Pipkin space. The component rate figures, therefore, provide an independent test of the interpretations of the sequence of physical processes analysis that can also be applied to other LAOS analysis frameworks. Each of these methods, the component rates, the sequence of physical processes analysis, and the time-resolved Pipkin diagrams, unambigiously identifies the same material physics, showing that yield stress fluids go through a sequence of physical processes that includes elastic deformation, gradual yielding, plastic flow, and gradual unyielding.

Kamani, Krutarth M. (ORCID:0000000338975420)↗

DOE OSTI2024

Northwest Combined Heat and Power Technical Assistance Partnership: Final Scientific/Technical Report

During the years of 2018 through 2023, The Washington State University Energy Program (WSU EP) operated the Northwest Combined Heat and Power Technical Assistance Partnership under contract to the US Department of Energy’s Advanced Manufacturing Office (AMO), a part of DOE’s larger Office of Energy Efficiency and Renewable Energy. This contract provided direction and funding for providing technical outreach, information and technical/economic analysis services in support of expanding development of Combined Heat and Power (CHP) over a four state region in the Pacific Northwest. The states served included Alaska, Idaho, Oregon and Washington. During the duration of this contract, the WSU EP delivered performed specific assigned tasks and provided services of various generally prescribed types, with the overall goal of increasing adoption of CHP as an efficient heat and power supply in the region. Indications – though not formally evaluated to our knowledge – are that this goal was achieved. Over many years, the WSU team has provided support for CHP developments in these states under similar previous Department of Energy contracts, and many such projects have been built. While the early-phase outreach, education and techno-economic assessments that the NW CHP TAP provides rarely immediately result in project construction, there is no doubt that the WSU EP team has had substantial influence in the construction of a number of important CHP projects in the region. Examples of projects implemented directly under the current team’s guidance and services during this contract cycle include an 875 kilowatt biomass fueled CHP system installed at the University of Idaho, and 5 megawatt natural gas fueled CHP system at the University of Montana ( UM Breaks Ground on New Power Facility, Slashes Emissions 30% (umt.edu) ). Many other CHP systems recently installed are also either directly or at least partially the result of information and technical services provided by the team. Finally, though much more difficult to quantify and less glamorous, the team has helped countless organizations to understand CHP and determine whether and how CHP may be a fit for them, before they consider paying for engineering services. Whether the ultimate outcome has been to include CHP or not, the expert skills provided by the NW CHP TAP team have provided real value to these organizations considering this relatively complex technology. Over the duration of the contract our team provided 71 Initial Technical Assessments and 17 Advanced Technical Assessments; 53 End-User Engagements and 33 Stakeholder Engagements of various types; 42 Technical Profiles (Project Profiles, Program Profiles and Policy Profiles), and produced 14 technical articles for the Department of Energy. Unfortunately, these quantities provide no measure of the value that the team has provided. Only our clients can judge that, and we are confident that they are pleased with the benefits we have offered them.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

NASA NTRS1995

International GPS (Global Positioning System) Service for Geodynamics

The International GPS (Global Positioning System) Service for Geodynamics (IGS) began formal operation on January 1, 1994. This first annual report is divided into sections, which mirror different aspects of the service. Section (1) contains general information, including the history of the IGS, its organization, and the global network of GPS tracking sites; (2) contains information on the Central Bureau Information System; (3) describes the International Earth Rotation Service (IERS); (4) details collecting and distributing IGS data in Data Center reports; (6) describes how the IGS Analysis Centers generate their products; (7) contains miscellaneous contributions from other organizations that share common interests with the IGS.

Zumberge, J. F.↗

DOE OSTI2020

Expanded capabilities of the CarMa code in modeling resistive wall mode dynamics with 3-D conductors

In this work, an improved version of the CarMa code is presented, called CarMa-D, for the analysis of resistive wall modes (RWMs) in fusion devices, simultaneously considering the effects of volumetric three-dimensional conducting structures, plasma dynamics, toroidal rotation or drift-kinetic damping. Unlike static CarMa, CarMa-D does not rely on the simplifying assumptions such as neglecting the plasma mass, toroidal rotation and kinetic damping. The new coupling strategy is based on matrix-based Padé rational functions approximation of plasma a response. The arising mathematical model is formally equivalent to the original CarMa model, but with a higher number of degrees of freedom to model the dynamics of the plasma. CarMa-D overcomes the main limitations of the original CarMa, in particular: (i) the massless assumption for the plasma is removed, allowing modeling of global modes growing both on ideal kink time scales and in the typical RWM growth rate regime, with a suitable treatment of the model; (ii) the effects of toroidal plasma flow and drift kinetic damping can be included into the new model, providing a powerful tool to study macroscopic phenomena where both plasma dynamics and 3-D conducting structures play important roles.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2025

Indications for Freeze-Out of Charge Fluctuations in the Quark-Gluon Plasma at the LHC

The D-measure of net-charge fluctuations quantifies the variance of net charge in strongly interacting matter. It was introduced over 20 years ago as a potential signal of quark-gluon plasma (QGP) in heavy-ion collisions, where it is expected to be suppressed due to the fractional electric charges of quarks. Measurements have been performed at RHIC and LHC, but the conclusion has been elusive in the absence of quantitative calculations for both scenarios. We address this issue by employing a recently developed formalism of density correlations and incorporate resonance decays, local charge conservation, and experimental kinematic cuts. We find that the hadron gas scenario is in fair agreement with the ALICE data for $\sqrt{{𝑠}_{\textrm{NN}}}$ = 2.76 TeV Pb–Pb collisions only when a very short rapidity range of local charge conservation is enforced, while the QGP scenario is in excellent agreement with experimental data and largely insensitive to the range of local charge conservation. A Bayesian analysis of the data utilizing different priors yields moderate evidence for the freeze-out of charge fluctuations in the QGP phase relative to hadron gas. The upcoming high-fidelity measurements from LHC Run 2 will serve as a precision test of the two scenarios.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2023

A Search for Technosignatures Around 11,680 Stars with the Green Bank Telescope at 1.15–1.73 GHz

We conducted a search for narrowband radio signals over four observing sessions in 2020–2023 with the $L$-band receiver (1.15–1.73 GHz) of the 100 m diameter Green Bank Telescope. We pointed the telescope in the directions of 62 TESS Objects of Interest, capturing radio emissions from a total of ~11,680 stars and planetary systems in the ~9' beam of the telescope. All detections were either automatically rejected or visually inspected and confirmed to be of anthropogenic nature. We also quantified the end-to-end efficiency of radio SETI pipelines with a signal injection and recovery analysis. The UCLA SETI pipeline recovers 94.0% of the injected signals over the usable frequency range of the receiver and 98.7% of the injections when regions of dense radio frequency interference are excluded. In another pipeline that uses incoherent sums of 51 consecutive spectra, the recovery rate is ~15 times smaller at ~6%. The pipeline efficiency affects calculations of transmitter prevalence and SETI search volume. Accordingly, we developed an improved Drake figure of merit and a formalism to place upper limits on transmitter prevalence that take the pipeline efficiency and transmitter duty cycle into account. Based on our observations, we can state at the 95% confidence level that fewer than 6.6% of stars within 100 pc host a transmitter that is continuously transmitting a narrowband signal with an equivalent isotropic radiated power (EIRP) > 10 13 W. For stars within 20,000 ly, the fraction of stars with detectable transmitters (EIRP > 5 × 10 16 W) is at most 3 × 10 -4 . Finally, we showed that the UCLA SETI pipeline natively detects the signals detected with AI techniques by Ma et al.

79 ASTRONOMY AND ASTROPHYSICS↗

NASA NTRS1998

Recent Results of NASA's Space Environments and Effects Program

The Space Environments and Effects (SEE) Program is a multi-center multi-agency program managed by the NASA Marshall Space Flight Center. The program evolved from the Long Duration Exposure Facility (LDEF), analysis of LDEF data, and recognition of the importance of the environments and environmental effects on future space missions. It is a very comprehensive and focused approach to understanding the space environments, to define the best techniques for both flight and ground-based experimentation, to update the models which predict both the environments and the environmental effects on spacecraft, and finally to ensure that this information is properly maintained and inserted into spacecraft design programs. Formal funding of the SEE Program began initially in FY95. A NASA Research Announcement (NRA) solicited research proposals in the following categories: 1) Engineering environment definitions; 2) Environments and effects design guidelines; 3) Environments and effects assessment models and databases; and, 4) Flight/ground simulation/technology assessment data. This solicitation resulted in funding for eighteen technology development activities (TDA's). This paper will present and describe technical results rom the first set of TDA's of the SEE Program. It will also describe the second set of technology development activities which are expected to begin in January 1998. These new technology development activities will enable the SEE Program to start numerous new development activities in support of mission customer needs.

Minor, Jody L.↗

NASA NTRS2002

Calculation of Scattering Amplitude Without Partial Analysis: Inclusion of Exchange - II

There was a method for calculating the whole scattering amplitude, f(Omega(sub k)), directly. The idea was to calculate the complete wave function Psi numerically, and use it in an integral expression for f, which can be reduced to a 2 dimensional quadrature. The original application was for e-H scattering without exchange. There the Schrodinger reduces a 2-d partial differential equation (pde), which was solved using the finite element method (FEM). Here we extend the method to the exchange approximation. The S.E. can be reduced to a pair of coupled pde's, which are again solved by the FEM. The formal expression for f(Omega(sub k)) consists two integrals, f+/- = f(sub d) +/- f(sub e); f(sub d) is formally the same integral as the no-exchange f. We have also succeeded in reducing f(sub e) to a 2-d integral. Results will be presented at the meeting.

Temkin, Aaron↗

DOE OSTI2023

Third-order Hall effect in the surface states of a topological insulator

Time reversal and inversion symmetric materials fail to yield linear and nonlinear responses since they possess net zero Berry curvature. However, higher-order Hall response can be generated in these systems upon constraining the crystalline symmetries. Motivated by the recently discovered third-order Hall (TOH) response mediated by Berry connection polarizability, namely, the variation of the Berry connection with respect to an applied electric field, here, we investigate the existence of such a Hall effect in the surface states of hexagonal warped topological insulators (e.g., Bi 2 Te 3 ) under the application of only electric field. Using the semiclassical Boltzmann formalism, we investigate the effect of tilt and hexagonal warping on the Berry connection polarizability tensor and, consequently, the TOH effect, provided the Dirac cone remains gapless. We find that the magnitude of the response increases significantly with increasing tilt strength and warping, and therefore, they can provide the tunability of this effect. In addition, we also explore the effect of chemical doping on the TOH response in this system. Interestingly, we show, based on the symmetry analysis, that the TOH can be the leading-order response in this system, which can directly be verified in experiments.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

DOE OSTI2022

Full 3D Kinetic Modeling and Quantification of Positive Streamer Evolution in an Azimuthally Swept Pin-to-Plane Wedge Geometry

Cathode-directed streamer evolution in near atmospheric air is modeled in 3D pin-to-plane geometries using a 3D kinetic Particle-In-Cell (PIC) code that simulates particle-particle collisions via the Direct Simulation Monte Carlo (DSMC) method. Due to the computational challenges associated with a complete 360° volumetric domain, a practical alternative was achieved using a wedge domain and a range of azimuthal angles was explored (5°, 15°, 30°, and 45°) to study possible effects on the streamer growth and propagation due to the finite wedge angle. A DC voltage of 6 kV is administered to a hemispherical anode of radius 100 μm, with a planar cathode held at ground potential, generating an over-volted state with an electric field of 4 MV/m across a 1500 μm gap. The domain is seeded with an initial ion and electron density of 10 18 m -3 at 1 eV temperature confined to a spherical region of radius 100 μm centered at the tip of the anode. The air chemistry model [1] includes standard Townsend breakdown mechanisms (electron-neutral elastic, excitation, ionization, attachment, and detachment collision chemistry and secondary electron emission) as well as streamer mechanisms (photoionization and ion-neutral collisions) via tracking excited state neutrals which can then either quench via collisions or spontaneously emit a photon based on specific Einstein-A coefficients [2, 3]. In this work, positive streamer dynamics are formally quantified for each wedge angle in terms of electron velocity and density as temporal functions of coordinates r, Φ, and z. Applying a random plasma seed for each simulation, particles of interest are tracked with near femtosecond temporal resolution out to 1.4 ns and spatially binned. This process is repeated six times and results are averaged. Prior 2D studies have shown that the reduced electric field, E/n, can significantly impact streamer evolution [4]. We extend the analysis to 3D wedge geometries, to limit computational costs, and examine the wedge angle’s effect on streamer branching, propagation, and velocity. Results indicate that the smallest wedge angle that produced an acceptably converged solution is 30°. The potential effects that a mesh, when under-resolved with respect to the Debye length, can impart on streamer dynamics and numerical heating were not investigated, and we explicitly state here that the smallest cell size was approximately 10 times the minimum λ D in the streamer channel at late times. This constraint on cell size was the result of computational limitations on total mesh count.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1979

Non-force-free solar magnetic fields in magnetohydrostatic equilibrium

The objective of the paper is to examine a class of non-force-free fields analytically. Specifically, magnetic fields in magnetohydrostatic equilibrium with a plasma in a gravitational field are treated in an approximation of two independent variables but three vector components. Spherical coordinates are emphasized, although the formal results for cylindrical and Cartesian coordinates are presented in the appendices. Formal solutions for the magnetic-field components are obtained in terms of the plasma variables, and field line equations are derived. A final equation governing the plasma variables is then obtained. Procedures are developed for analyzing this equation and obtaining sets of self-consistent particular solutions to the governing equations; a number of such sets of solutions are presented. As an example, one solution set is examined, illustrating the application of the results to the analysis of solar observational data.

Comfort, R. H.↗

DOE OSTI2020

Metabolic flux analysis reaching genome wide coverage: lessons learned and future perspectives

13 C-MFA is currently the only technique capable of elucidating intracellular metabolic fluxes. Generally, in 13 C-MFA studies the reactions that can carry flux are mostly pre-specified by only considering canonical pathways and ignoring alternate ones. This may bias flux elucidation and cause labeling data to erroneously confirm implied assumptions. Here, by expanding the scope of the metabolic mapping models to match known genome-scale metabolism such estimation biases can be eliminated. However, this model expansion to genome-scale requires the construction of expanded atom mapping models, more efficient flux estimation algorithms, and formal estimation of confidence levels. Even though significant progress has been made in this direction, a number of challenges remain before widespread adoption by the community.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2020

Imposing strong correlated energy spread on relativistic bunches with transverse deflecting cavities

We demonstrate a novel scheme for imposing or removing large energy chirp on relativistic electron bunches. This method relies on the transverse-to-longitudinal mixing accomplished with a set of transverse deflecting cavities. The working principles of the new concept are explained using the first-order matrix formalism in the approximation of the linear single-particle dynamics. The scheme demonstrates versatility regarding the average beam energy and, hence, positioning along the accelerator beam line. The performance of the scheme is numerically investigated with the elegant particle-tracking code. It is shown that the associated nonlinear effects causing emittance deterioration for the extreme quantities of the total energy spread can be effectively compensated by optimization of the Twiss parameters while relying on the eigenemittance analysis. The impact of the longitudinal space charge effects on the beam dynamics in the proposed scheme is also investigated.

43 PARTICLE ACCELERATORS↗

DOE OSTI2022

Incremental Fermi Large Area Telescope Fourth Source Catalog

We present an incremental version (4FGL-DR3, for Data Release 3) of the fourth Fermi Large Area Telescope (LAT) catalog of γ-ray sources. Based on the first 12 years of science data in the energy range from 50 MeV to 1 TeV, it contains 6658 sources. The analysis improves on that used for the 4FGL catalog over eight years of data: more sources are fit with curved spectra, we introduce a more robust spectral parameterization for pulsars, and we extend the spectral points to 1 TeV. The spectral parameters, spectral energy distributions, and associations are updated for all sources. Light curves are rebuilt for all sources with 1 yr intervals (not 2 month intervals). Among the 5064 original 4FGL sources, 16 were deleted, 112 are formally below the detection threshold over 12 yr (but are kept in the list), while 74 are newly associated, 10 have an improved association, and seven associations were withdrawn. Pulsars are split explicitly between young and millisecond pulsars. Pulsars and binaries newly detected in LAT sources, as well as more than 100 newly classified blazars, are reported. We add three extended sources and 1607 new point sources, mostly just above the detection threshold, among which eight are considered identified, and 699 have a plausible counterpart at other wavelengths. We discuss the degree-scale residuals to the global sky model and clusters of soft unassociated point sources close to the Galactic plane, which are possibly related to limitations of the interstellar emission model and missing extended sources.

79 ASTRONOMY AND ASTROPHYSICS↗

NASA NTRS1992

Towards automated support for extraction of reusable components

A cost effective introduction of software reuse techniques requires the reuse of existing software developed in many cases without aiming at reusability. This paper discusses the problems related to the analysis and reengineering of existing software in order to reuse it. We introduce a process model for component extraction and focus on the problem of analyzing and qualifying software components which are candidates for reuse. A prototype tool for supporting the extraction of reusable components is presented. One of the components of this tool aids in understanding programs and is based on the functional model of correctness. It can assist software engineers in the process of finding correct formal specifications for programs. A detailed description of this component and an example to demonstrate a possible operational scenario are given.

Abd-El-hafiz, S. K.↗

NASA NTRS1991

Towards automated support for extraction of reusable components

Abd-El-hafiz, S. K.↗

NASA NTRS1995

New approaches to optimization in aerospace conceptual design

Aerospace design can be viewed as an optimization process, but conceptual studies are rarely performed using formal search algorithms. Three issues that restrict the success of automatic search are identified in this work. New approaches are introduced to address the integration of analyses and optimizers, to avoid the need for accurate gradient information and a smooth search space (required for calculus-based optimization), and to remove the restrictions imposed by fixed complexity problem formulations. (1) Optimization should be performed in a flexible environment. A quasi-procedural architecture is used to conveniently link analysis modules and automatically coordinate their execution. It efficiently controls a large-scale design tasks. (2) Genetic algorithms provide a search method for discontinuous or noisy domains. The utility of genetic optimization is demonstrated here, but parameter encodings and constraint-handling schemes must be carefully chosen to avoid premature convergence to suboptimal designs. The relationship between genetic and calculus-based methods is explored. (3) A variable-complexity genetic algorithm is created to permit flexible parameterization, so that the level of description can change during optimization. This new optimizer automatically discovers novel designs in structural and aerodynamic tasks.

Gage, Peter J.↗