Search NASA⌕ Search

SEARCH · Search NASA

Results for “VERTEX FUNCTION”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

Equilibrium fluid interface behavior under low- and zero-gravity conditions

We describe here some of our recent mathematical work, which forms a basis for the Interface Configuration Experiment scheduled for USML-2. The work relates to the design of apparatus that exploits microgravity conditions for accurate determination of contact angle. The underlying motivation for the procedures rests on a discontinuous dependence of the capillary free surface interface S on the contact angle gamma, in a cylindrical capillary tube whose section (base) omega contains a protruding corner with opening angle 2 alpha. Specifically, in a gravity-free environment, omega can be chosen so that, for all sufficiently large fluid volume, the height of S is uniquely determined as a (single-valued) function mu(x,y) entirely covering the base; the height mu is bounded over omega uniformly in gamma throughout the range absolute value of (gamma -(pion/2)) less than or equal to alpha, while for absolute value of (gamma - (pion/2)) greater than alpha fluid will necessarily move to the corner and uncover the base, rising to infinity (or falling to negative infinity) at the vertex, regardless of volume. We mention here only that procedures based on the phenomenon promise excellent accuracy when gamma is close pion/2 but may be subject to experimental error when gamma is close to zero (orpion), as the 'singular' part of the domain over which the fluid accumulates (or disappears) when a critical angle gamma theta is crossed then becomes very small and may be difficult to observe. We ignore the trivial case gamma is equal to pion/2 (planar free surface), to simplify the discussion.

Concus, Paul↗
DOE OSTI2023

Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequences. This paper addresses the problem of architecture-preserving V-polytope provable repair of DNNs. A V-polytope defines a convex bounded polytope using its vertex representation. V-polytope provable repair guarantees that the repaired DNN satisfies the given specification on the infinite set of points in the given V-polytope. An architecture-preserving repair only modifies the parameters of the DNN, without modifying its architecture. The repair has the flexibility to modify multiple layers of the DNN, and runs in polynomial time. It supports DNNs with activation functions that have some linear pieces, as well as fully-connected, convolutional, pooling and residual layers. To the best our knowledge, this is the first provable repair approach that has all of these features. We implement our approach in a tool called APRNN. Using MNIST, ImageNet, and ACAS Xu DNNs, we show that it has better efficiency, scalability, and generalization compared to PRDNN and REASSURE, prior provable repair methods that are not architecture preserving.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Measurement of Neutron Multiplicity in Charged Current Neutrino Interactions on Oxygen

The Accelerator Neutrino Neutron Interaction Experiment (ANNIE) is a 26-ton gadolinium-doped water Cherenkov detector located 100~meters downstream in the Booster Neutrino Beam (BNB) at the Fermi National Accelerator Laboratory (Fermilab). Its primary goals are to (1) measure the neutron yield from $\nu_\mu$ interactions as a function of momentum transfer $Q^2$ so that neutrino-nucleus interaction models can be better constrained, and (2) demonstrate the power of novel, fast-timing detectors with the first deployment of Large Area Picosecond PhotoDetectors (LAPPDs). Current knowledge of neutrino-nucleus interactions fall short in modeling the topologies of such interactions, leading to inaccurate reconstruction of event kinematics such as particle energy, direction, and vertex. As a consequence, the accuracy of cross section measurements is impacted, which is necessary for precise physics measurements. Neutrons are an indication of inelasticity and affect the determination of the energy of the parent neutrino. Quantifying the neutron yield is a step towards reducing the associated uncertainties, and thus improving our understanding of these complex interactions and benefiting the next generation of long-baseline neutrino experiments. ANNIE will make use of LAPPDs to measure neutron multiplicity of CC-0$\pi$ $\nu_\mu$ interactions on oxygen, making it the first experiment to deploy an array of these photodetectors. Because the LAPPD is a novel photodetection technology, much customization is required to integrate it into existing electronics. The first half of this thesis covers the significant progress made towards the first deployment of the LAPPD system. From its test stand at Fermilab, the LAPPD system was systematically tested and put together until deployment readiness was achieved. I present my contributions to the design, fabrication, and testing of the waterproof housing and cables, and the commissioning of the LVHV board that powers the LAPPD and its readout electronics. These efforts brought the LAPPD system significantly closer to deployment, and eventually first data. The second half of this thesis presents the vertex and energy reconstruction algorithms developed to analysis the beam data with PMT-only information. While much progress has been made towards the deployment of LAPPDs, with several in the detector tank, efforts to integrate the LAPPD datastream are in progress. Thus, I developed a ring edge detection technique using PMT data to fit the muon vertex and determine its energy. The analysis in this thesis finds average neutron yields of $\Bar{n}_{data} = 0.452 \pm 0.039 (\text{stat}) \pm 0.27 (\text{sys})$ for a selection of muon neutrino candidates in the fiducial volume of ANNIE and corrected with an averaged neutron detection efficiency. An equivalent analysis for simulated beam data results in an average neutron yield of $\Bar{n}_{MC} = 0.582 \pm 0.018 (\text{stat}) \pm 0.25 (\text{sys})$. Future work includes application of efficiency corrections at a positional level, quantification of all systematic uncertainties, and neutron multiplicity measurements with other event topologies.

43 PARTICLE ACCELERATORS↗
DOE OSTI2023

First measurement of Λ c + production down to p T = 0 in p p and p -Pb collisions at s N N = 5.02 TeV

The production of prompt $Λ_{c}^{+}$ baryons has been measured at midrapidity in the transverse momentum interval 0 < p T < 1 GeV/c for the first time, in pp and p–Pb collisions at a center-of-mass energy per nucleon-nucleon collision $\sqrt{s_{NN}}$ = 5.02 TeV . The measurement was performed in the decay channel $Λ_{c}^{+}$ → p$K_{S}^{0}$ by applying new decay reconstruction techniques using a Kalman-Filter vertexing algorithm and adopting a machine-learning approach for the candidate selection. The p T -integrated $Λ_{c}^{+}$ production cross sections in both collision systems were determined and used along with the measured yields in Pb–Pb collisions to compute the p T -integrated nuclear modification factors R pPb and R AA of $Λ_{c}^{+}$ baryons, which are compared to model calculations that consider nuclear modification of the parton distribution functions. The $Λ_{c}^{+}$/D 0 baryon-to-meson yield ratio is reported for pp and p–Pb collisions. Comparisons with models that include modified hadronization processes are presented, and the implications of the results on the understanding of charm hadronization in hadronic collisions are discussed. A significant (3.7σ) modification of the mean transverse momentum of $Λ_{c}^{+}$ baryons is seen in p –Pb collisions with respect to pp collisions, while the p T -integrated $Λ_{c}^{+}$/D 0 yield ratio was found to be consistent between the two collision systems within the uncertainties.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2024

MEASURING CLAS12 D(E, E′Π±) CROSS SECTIONS FOR E4NU

Neutrino experiments need neutrino event generators such as GENIE to simulate neutrinonucleus (¿A) interactions in order to measure neutrino oscillations. We need eA data to validate GENIE. GENIE d(e, e') cross sections do not match data in the pion production region. Further analysis of this region can help constrain GENIE models. The goal of this project was to compare 4.244 GeV CLAS12 d(e, e'p±) cross sections to GENIE predictions. We analyzed data from the Fall 2019 run period of Run Group B (RG-B). We applied particle identification, fiducial, and vertex cuts on electron and charged pion candidates. We compared the measured data with events generated with GENIE and another generator called onepigen. We used onepigen to simulate single charged pion production and to calculate radiative corrections for the data. We submitted GENIE and onepigen events to the GEant4 Monte-Carlo (GEMC) simulation of CLAS12 and applied the same cuts we used on the data. We plotted cross sections as functions of W and binned the events in Q2, ¿pq, and Pp. We used 2D (Q2), 3D (Q2 with ¿pq or Pp), and 4D (Q2, ¿pq, and Pp) binning schemes. We found GENIE describes d(e, e'p±) cross sections better than expected. GENIE describes the data remarkably well in the 2D bins and some 3D and 4D bins. There are many discrepancies between GENIE and data in the other 3D and 4D bins. The results show that, relative to data, GENIE cross sections increase as Q2 increases, decrease as Pp increases, and fit best at low ¿pq. These results will help guide improvements to GENIE in order to reduce the systematic uncertainties in neutrino-oscillation experiments.

Fogler, Caleb [Old Dominion Univ., Norfolk, VA (Un↗
DOE OSTI2022

Dynamical exponent of a quantum critical itinerant ferromagnet: A Monte Carlo study

Here we consider the effect of the coupling between two-dimensional (2D) quantum rotors near an XY ferromagnetic quantum critical point and spins of itinerant fermions. We analyze how this coupling affects the dynamics of rotors and the self-energy of fermions. A common belief is that near a q = 0 ferromagnetic transition, fermions induce an Ω/q Landau damping of rotors (i.e., the dynamical critical exponent is z = 3) and Landau overdamped rotors give rise to non-Fermi liquid fermionic self-energy Σ∝ω 2/3 . This behavior has been confirmed in previous quantum Monte Carlo (QMC) studies. Here we show that for the XY case the behavior is different. We report the results of large-scale quantum Monte Carlo simulations, which show that at small frequencies z = 2 and Σ∝ω 1/2 . We argue that the new behavior is associated with the fact that a fermionic spin is by itself not a conserved quantity due to spin-spin coupling to rotors, and a combination of self-energy and vertex corrections replaces 1/q in the Landau damping by a constant. We discuss the implication of these results to experiments.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Encapsulation of Ba in InSb Framework Introduces Chirality in Clathrate-Like BaIn 4 Sb 4

The discovery of Zintl compounds remains a powerful strategy for identifying materials with tunable electronic and thermal transport properties. During a concerted search for new inorganic clathrates with In–Sb frameworks, we discovered BaIn 4 Sb 4 . The composition of this phase deviates from that expected for a type-I clathrate with tetrahedral coordination of all In and Sb atoms (Ba 8 In 31 Sb 15 ). Instead, in the chiral structure of BaIn 4 Sb 4 (space group P 3 1 21, No. 152), a part of the In atoms have a trigonal planar coordination of 1In + 2Sb, forming Sb 2 –In–In–Sb 2 nonplanar fragments isostructural to diborane(4) B 2 H 4 with D 2 d symmetry. Ba atoms are located inside 16-vertex In 8 Sb 8 polyhedra, which share vertices and edges to form a chiral framework around the 3 1 screw axes. The title compound is electron-balanced, [Ba 2+ ][In 2+ ] 2 [In 3+ ] 2 [Sb3–] 4 , which was confirmed by characterization of the charge and heat transport properties. BaIn 4 Sb 4 exhibits a low thermal conductivity and high Seebeck coefficient, suggesting its untapped potential for thermoelectric applications. Finally, density functional theory (DFT) calculations indicate that chemical doping may enhance carrier concentration and improve the originally low electrical conductivity, thus enhancing thermoelectric performance.

electrical properties↗
DOE OSTI2022

Derivation of closed-form ellipsoidal X-ray mirror shapes from Fermat's principle

Ellipsoidal and plane-elliptical surfaces are widely used as reflective, point-to-point focusing elements in many optical systems, including X-ray optics. Here the classical optical path function approach of Fermat is applied to derive a closed-form expression for these surfaces that are uniquely described by the object and image distances and the angle of incidence at a point on a mirror surface. A compact description facilitates design, modeling, fabrication, and testing to arbitrary accuracy. Congruent surfaces in two useful coordinate systems — a system centered on the ellipsoid's axes of symmetry and a mirror-centered or `vertex' system with the surface tangent to the xy plane at the mirror's center — are presented. Expressions for the local slope and radii of curvature are derived from the result, and the first several terms of the Maclauren series expansion are provided about the mirror center.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1993

Domain decomposition methods for nonconforming finite element spaces of Lagrange-type

In this article, we consider the application of three popular domain decomposition methods to Lagrange-type nonconforming finite element discretizations of scalar, self-adjoint, second order elliptic equations. The additive Schwarz method of Dryja and Widlund, the vertex space method of Smith, and the balancing method of Mandel applied to nonconforming elements are shown to converge at a rate no worse than their applications to the standard conforming piecewise linear Galerkin discretization. Essentially, the theory for the nonconforming elements is inherited from the existing theory for the conforming elements with only modest modification by constructing an isomorphism between the nonconforming finite element space and a space of continuous piecewise linear functions.

Cowsar, Lawrence C.↗
NASA NTRS2005

METHOD OF PRODUCING AND ACCELERATING AN ION BEAM

A method of producing and accelerating an ion beam comprising the steps of providing a magnetic field with a cusp that opens in an outward direction along a centerline that passes through a vertex of the cusp: providing an ionizing gas that sprays outward through at least one capillary-like orifice in a plenum that is positioned such that the orifice is on the centerline in the cusp, outward of the vortex of the cusp; providing a cathode electron source, and positioning it outward of the orifice and off of the centerline; and positively charging the plenum relative to the cathode electron source such that the plenum functions as m anode. A hot filament may be used as the cathode electron source, and permanent magnets may be used to provide the magnetic field.

Foster, John E.↗
DOE OSTI2020

Convergence acceleration of Monte Carlo many-body perturbation methods by using many control variates

Herein, the use of many control variates is proposed as a method to accelerate the second- and third-order Monte Carlo (MC) many-body perturbation (MC-MP2 and MC-MP3) calculations. A control variate is an exactly integrable function that is strongly correlated or anti-correlated with the target function to be integrated by the MC method. Evaluating both integrals as well as their covariances in the same MC run, one can effect a mutual cancellation of the statistical uncertainties and biases in the MC integrations, thereby accelerating its convergence considerably. Six and thirty-six control variates, whose integrals are known a priori, are generated for MC-MP2 and MC-MP3, respectively, by systematically replacing one or more two-electron-integral vertexes of certain configurations by zero-valued overlap-integral vertexes in their Goldstone diagrams. The variances and co- variances of these control variates are computed at a marginal cost, enhancing the overall efficiency of the MC-MP2 and MC-MP3 calculations by a factor of up to 14 and 20, respectively.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2024

The ATLAS experiment at the CERN Large Hadron Collider: a description of the detector configuration for Run 3

The ATLAS detector is installed in its experimental cavern at Point 1 of the CERN Large Hadron Collider. During Run 2 of the LHC, a luminosity of ℒ = 2 × 10 34 cm -2 s -1 was routinely achieved at the start of fills, twice the design luminosity. For Run 3, accelerator improvements, notably luminosity levelling, allow sustained running at an instantaneous luminosity of ℒ = 2 × 10 34 cm -2 s -1 , with an average of up to 60 interactions per bunch crossing. The ATLAS detector has been upgraded to recover Run 1 single-lepton trigger thresholds while operating comfortably under Run 3 sustained pileup conditions. A fourth pixel layer 3.3 cm from the beam axis was added before Run 2 to improve vertex reconstruction and b-tagging performance. New Liquid Argon Calorimeter digital trigger electronics, with corresponding upgrades to the Trigger and Data Acquisition system, take advantage of a factor of 10 finer granularity to improve triggering on electrons, photons, taus, and hadronic signatures through increased pileup rejection. The inner muon endcap wheels were replaced by New Small Wheels with Micromegas and small-strip Thin Gap Chamber detectors, providing both precision tracking and Level-1 Muon trigger functionality. Trigger coverage of the inner barrel muon layer near one endcap region was augmented with modules integrating new thin-gap resistive plate chambers and smaller-diameter drift-tube chambers. Tile Calorimeter scintillation counters were added to improve electron energy resolution and background rejection. Upgrades to Minimum Bias Trigger Scintillators and Forward Detectors improve luminosity monitoring and enable total proton-proton cross section, diffractive physics, and heavy ion measurements. These upgrades are all compatible with operation in the much harsher environment anticipated after the High-Luminosity upgrade of the LHC and are the first steps towards preparing ATLAS for the High-Luminosity upgrade of the LHC. This paper describes the Run 3 configuration of the ATLAS detector.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Effect of realistic out-of-plane dopant potentials on the superfluid density of overdoped cuprates

Recent experimental papers on hole-doped overdoped cuprates have argued that a series of observations showing unexpected behavior in the superconducting state imply the breakdown of the quasiparticle-based Landau–BCS paradigm in that doping range. In contrast, some of the present authors have argued that a phenomenological “dirty d-wave” theoretical analysis explains essentially all aspects of thermodynamic and transport properties in the superconducting state, provided the unusual effects of weak, out-of-plane dopant impurities are properly accounted for. Here we attempt to place this theory on a more quantitative basis by performing ab initio calculations of dopant impurity potentials for LSCO and Tl-2201. These potentials are more complex than the pointlike impurity models considered previously, and require calculation of forward scattering corrections to transport properties. Including realistic, ARPES-derived band structures, Fermi liquid renormalizations, and vertex corrections, we show that the theory can explain semiquantitatively the unusual superfluid density measurements of the two most studied overdoped materials.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2023

Measurement of the production of a $W$ boson in association with a charmed hadron in $pp$ collisions at $\sqrt{s}$ = $\mathrm{13 TeV}$ with the ATLAS detector

The production of a $W$ boson in association with a single charm quark is studied using 140 fb –1 of $\sqrt{s}$ = $13$ $\mathrm{TeV}$ proton-proton collision data collected with the ATLAS detector at the Large Hadron Collider. The charm quark is tagged by the presence of a charmed hadron reconstructed with a secondary-vertex fit. The $W$ boson is reconstructed from the decay to either an electron or a muon and the missing transverse momentum present in the event. The charmed mesons reconstructed are D + → K – π + π + and D *+ → D 0 π + → (K – π + ) π + and the charge conjugate decays in the fiducial regions where $p$ T ($e,μ$) > 30 GeV, |$η(e,μ)$| < 2.5, $p$ T (D (*) ) > 8 GeV, and |$η$(D (*) )| < 2.2. The integrated and normalized differential cross sections as a function of the pseudorapidity of the lepton from the $W$ boson decay, and of the transverse momentum of the charmed hadron, are extracted from the data using a profile likelihood fit. The measured total fiducial cross sections are ${σ}_{fid}^{OS – SS}$ (W – + D + ) = 50.2 ± 0.2 ${(stat)}_{–2.3}^{+2.4}$(syst) pb, ${σ}_{fid}^{OS – SS}$ (W + + D – ) = 48.5 ± 0.2 ${(stat)}_{–2.2}^{+2.3}$(syst) pb, ${σ}_{fid}^{OS – SS}$ (W – + D *+ ) = 51.1 ± 0.4 ${(stat)}_{–1.8}^{+1.9}$(syst) pb, ${σ}_{fid}^{OS – SS}$ (W + + D *– ) = 50.0 ± 0.4 ${(stat)}_{–1.8}^{+1.9}$(syst) pb. Results are compared with the predictions of next-to-leading-order quantum chromodynamics calculations performed using state-of-the-art parton distribution functions. Additionally, the ratio of charm to anticharm production cross sections is studied to probe the $s$-$\bar{s}$ quark asymmetry. The ratio is found to be ${R}_{c}^{±}$= 0.971 ± 0.006 (stat) ± 0.011 (syst). The ratio and cross-section measurements are consistent with the predictions obtained with parton distribution function sets that have a symmetric $s$-$\bar{s}$ sea, indicating that any $s$-$\bar{s}$ asymmetry in the Bjorken-x region relevant for this measurement is small.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1992

Time dependent heat transfer rates in high Reynolds number hypersonic flowfields

Time dependent heat transfer rates have been calculated from time dependent temperature measurements in the vicinity of shock-wave boundary-layer interactions due to conical compression ramps on an axisymmetric body. The basic model is a cylindrical body with a 10 degree conical nose. Four conical ramps, 20, 25, 30, and 35 degrees serve as shock wave generators. Flowfield surveys have been made in the vicinity of the conical ramp vertex, the separation point, and the reattachment point. A significant effort was made to characterize the natural frequencies and relative powers of the resulting fluctuations in heat transfer rates. This research effort, sponsored jointly by NASA and the Air Force, was conducted in the Air Force Flight Dynamics Directorate High Reynolds Facility. The nominal freestream Mach number was 6, and the freestream Reynolds numbers ranged from 2.2 million/ft to 30.0 million/ft. Experimental results quantify temperature response and the resulting heat transfer rates as a function of ramp angle and Reynolds number. The temperature response within the flowfield appears to be steady-state for all compression ramp angles and all Reynolds numbers, and hence, the heat transfer rates appear to be steady-state.

Flanagan, Michael J.↗
DOE OSTI2020

Graph Theory and IC Component Design Analysis

Graph analysis in large integrated circuit (IC) designs is an essential tool for verifying design logic and timing via dynamic timing analysis (DTA). IC designs resemble graphs with each logic gate as a vertex and the conductive connections between gates as edges. Using DTA digital statistical correlations, graph condensation, and graph partitioning, it is possible to identify high-entropy component centers and paths within an IC design. Identification of high-entropy component centers (HECC) enables focused DTA, effectively lowering the computational complexity of DTA on large integrated circuit graphs. In this paper, a devised methodology termed IC layout subgraph component center identification (CCI) is used to identify described. CCI lowers DTA computationally complexity by condensing IC graphs into reduced subgraphs in which dominant logic functions are verified.

42 ENGINEERING↗
DOE OSTI2020

Landau diagrams in AdS and S-matrices from conformal correlators

Quantum field theories in AdS generate conformal correlation functions on the boundary, and in the limit where AdS is nearly flat one should be able to extract an S-matrix from such correlators. We discuss a particularly simple position-space procedure to do so. It features a direct map from boundary positions to (on-shell) momenta and thereby relates cross ratios to Mandelstam invariants. This recipe succeeds in several examples, includes the momentum-conserving delta functions, and can be shown to imply the two proposals in based on Mellin space and on the OPE data. Interestingly the procedure does not always work: the Landau singularities of a Feynman diagram are shown to be part of larger regions, to be called ‘bad regions’, where the flat-space limit of the Witten diagram diverges. To capture these divergences we introduce the notion of Landau diagrams in AdS. As in flat space, these describe on-shell particles propagating over large distances in a complexified space, with a form of momentum conservation holding at each bulk vertex. As an application we recover the anomalous threshold of the four-point triangle diagram at the boundary of a bad region.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Calibration of a soft secondary vertex tagger using proton-proton collisions at s = 13 TeV with the ATLAS detector

Several processes studied by the ATLAS experiment at the Large Hadron Collider produce low-momentum b-flavored hadrons in the final state. This paper describes the calibration of a dedicated tagging algorithm that identifies b-flavored hadrons outside of hadronic jets by reconstructing the soft secondary vertices originating from their decays. The calibration is based on a proton-proton collision dataset at a center-of-mass energy of 13 TeV corresponding to an integrated luminosity of 140 fb -1 . Scale factors used to correct the algorithm’s performance in simulated events are extracted for the b-tagging efficiency and the mistag rate of the algorithm using a data sample enriched in $t\overline{t}$ events. Several orthogonal measurement regions are defined, binned as a function of the multiplicities of soft secondary vertices and jets containing a b-flavored hadron in the event. The mistag rate scale factors are estimated separately for events with low and high average numbers of interactions per bunch crossing. The results, which are derived from events with low missing transverse momentum, are successfully validated in a phase space characterized by high missing transverse momentum and therefore are applicable to new physics searches carried out in either phase space regime.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗