Qu-antitative analysis of diffraction by liquids using a pink-spectrum X-ray source
Explore the source record for details and available documents.
Singh, Saransh↗
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.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.
Tkachuk, Oksana↗
A Comprehensive Chandra Study of the Disk Wind in the Black Hole Candidate 4U 1630-472
The mechanisms that drive disk winds are a window into the physical processes that underlie the disk. Stellar-mass black holes are an ideal setting in which to explore these mechanisms, in part because their outbursts span a broad range in mass accretion rate. We performed a spectral analysis of the disk wind found in six Chandra/HETG observations of the black hole candidate 4U 1630−472, covering a range of luminosities over two distinct spectral states. We modeled both wind absorption and extended wind re-emission components using PION, a selfconsistent photoionized absorption model. In all but one case, two photoionization zones were required in order to obtain acceptable fits. Two independent constraints on launching radii, obtained via the ionization parameter formalism and the dynamical broadening of the re-emission, helped characterize the geometry of the wind. The innermost wind components (r ≃ 10(sup 2-3)GM/c(exp 2)) tend toward small volume filling factors, high ionization, densities up to n ≃ 10(sup 15-16) cm(exp -3), and outflow velocities of ∼0.003c. These small launching radii and large densities require magnetic driving, as they are inconsistent with numerical and analytical treatments of thermally driven winds. Outer wind components (r ≃ 10(exp 5)GM/c(exp 2)) are significantly less ionized and have filling factors near unity. Their larger launching radii, lower densities (n ≃ 10(exp 12) cm(exp -3)), and outflow velocities (∼0.0007c) are nominally consistent with thermally driven winds. The overall wind structure suggests that these components may also be part of a broader MHD outflow and perhaps better described as magneto-thermal hybrid winds.
Black hole physics↗
Statistical analysis of direct-strike lightning data (1980 to 1982)
Electromagnetic measurements are being made during direct lightning strikes by NASA Langley Center using a specially instrumented F-106B aircraft. The research is to aid refinement, characterization, and understanding of the lightning-aircraft interaction process and the lightning hazards to aircraft. Statistical methods are applied to characterize some aspects of the lightning data obtained from 176 strikes to the aircraft. Specific attention is given to the problem of estimating the upper extreme quantiles of the distributions of peak-to-peak values for currents and rates of change in the magnetic and flux densities. A formal treatment via a general location-scale family of models allows the estimation method to be adapted to the realized shapes the distributions. The shapes are examined by probability plotting methods.
Lee, L. D.↗
Project-domain Science Traceability and Alignment Framework (P-STAF): Analysis of a Payload Architecture
Large science-focused space missions often have multiple instruments working together to address broad science goals. Systems engineers on these types of projects must work with the project scientists to evaluate trades and make decisions that result in a system that efficiently serves the mission science goals. This collaboration is more effective if the systems engineers understand both the traceability from the L1 customer requirements to the selected instruments and the contributions of each instrument in the context of the whole payload suite. These relationships might be understood implicitly by the science team on a project, but there is value in formally codifying them so this understanding can be accessed and formally analyzed by a broader systems engineering effort. We first described a framework for this communication, called the Project-domain Science Traceability and Alignment Framework (P-STAF), in the IEEE 2017 paper “A Framework for Extending the Science Traceability Matrix: Application to the Planned Europa Mission.” This paper shows how that basic framework can be leveraged to not only formally capture these relationships between the instruments and the customer needs, but also how that information can be codified in an analyzable graph that can be queried to provide a better understanding of mission risks and scope. This work was drawn from the application of P-STAF to the Europa Clipper mission, but generic example networks are used to illustrate the power of this technique.
Reinholtz, Kirk↗
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↗
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)↗
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↗
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.↗
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↗
Testing deviations from GR at cosmological scales including dynamical dark energy, massive neutrinos, functional or binned parametrizations, and spatial curvature
Here we introduce a new version of the Integrated Software in Testing General Relativity (ISiTGR) which is a patch to the software CAMB and CosmoMC . ISiTGR is intended to test deviations from GR at cosmological scales using cosmological datasets. While doing so, it allows for various extensions to the standard flat Λ cold dark matter model. In this new release, we have support for the following: (1) dynamical dark energy parametrizations with a constant or time-dependant equation of state; (2) a consistent implementation of anisotropic shear to model massive neutrinos throughout the full formalism; (3) multiple commonly used parametrizations of modified growth (MG) parameters; (4) functional, binned and hybrid time and scale dependencies for all MG parameters; (5) spatially flat or curved backgrounds. ISiTGR is designed to allow cosmological analyses to take full advantage of ongoing and future surveys to test simultaneously or separately various extensions to the standard model. We describe here the formalism and its implementation in the cosmic microwave background (CMB) code, the Integrated Sachs-Wolfe effect, and the 3 × 2 point statistics. Next, we apply ISiTGR to current datasets from Planck-2018, Planck-2015, Dark Energy Survey YR1 release, baryonic acoustic oscillations (BAO), redshift space distortions (BAO/RSD) from the BOSS Data Release 12, the 6DF Galaxy Survey and the SDSS Data Release 7 Main Galaxy Sample, and Supernova from the Pantheon compilation, joint SNLS/SDSS data analysis and the Hubble Space Telescope. We derive constraints on MG parameters for various combinations of the five features above and find that general relativity is consistent with current datasets in all cases.
79 ASTRONOMY AND ASTROPHYSICS↗
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↗
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↗
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.↗
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↗
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↗
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↗
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.↗