Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal Methods”

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 901 records · Page 50

Graphic Processor Realization of the Formal Solution of the Problem of Radiation Transfer in the Neutron Star Atmosphere

The realization (on the CUDA platform) of the search for the formal solution to the problem of radiation transfer in the strongly magnetized plasma in the atmosphere of a neutron star on graphic processors with the CUDA architecture. The solution is obtained using the Galerkin method with finite elements. The realization of graphic processors makes it possible to substantially accelerate computations in constructing models for the atmospheres of neutron stars.

79 ASTRONOMY AND ASTROPHYSICS↗

Synthesis, Structure, and Properties of the Complex Zintl Phase Eu 9 Zn 4.5 As 9 : A Candidate Topological Insulator and Thermoelectric Material

Reported are the synthesis and detailed analysis of the crystal and electronic structure of the novel Zintl phase Eu 9 Zn 4.5 As 9 . This material was identified in the densely populated Eu–Zn–As compositional space. For structure determination and for property measurements, suitable single crystals of this compound were grown from either Sn- or Pb-flux. Single-crystal X-ray diffraction methods indicate that Eu 9 Zn 4.5 As 9 crystallizes in the orthorhombic crystal system with the space group Pnma (a = 12.1953(7) Å, b = 4.3730(2) Å, c = 42.674(2) Å) and is formally isostructural to Ca 9 Mn 4+x Sb 9 , the less common “9–4–9” type. The structure is heavily disordered, with multiple partially occupied sites, yet, according to the Zintl-Klemm formalism, a charge-balanced composition (Eu 2+ ) 9 (Zn 2+ ) 4.5 (As 3− ) 9 is attained. Electronic structure calculations for a model, disorder-free structure indicate no energy gap between the valence and the conduction bands and suggest (semi)metallic behavior. Preliminary susceptibility measurements confirm the expected divalent nature of Eu 2+ ([Xe] 4 f 7 ground state).

Zintl phases↗

Thermodynamics of Highly Concentrated Aqueous Electrolytes: Based on Boltzmann's eponymous equation

This sharply focused book invites the reader to explore the chemical thermodynamics of highly concentrated aqueous electrolytes from a different vantage point than traditional methods. The book's foundation is deeply rooted in Ludwig Boltzmann's eponymous equation. The pathway from micro to macro thermodynamics is explained heuristically, in a step-by-step approach. Concepts and mathematical formalism are explained in detail to captivate and maintain interest as the algebra twists and turns. Every significant result is derived in a lucid and piecemeal fashion. Application of the theory is exemplified with examples. It is amazing to realize that Boltamann's simple equation contains sufficient information from which such an elaborate theory can emerge. This book is suitable for undergraduate and graduate level classes in chemical engineering, chemistry, geochemistry, environmental sciences, and those studying aerosol particles in the troposphere. Students interested in understanding how thermodynamic theories may be developed would be inspired by the methodology. The author wishes that readers get as much excitement reading this book as he did writing it.

Ally, Moonis↗

DCIS integration tests for Lungmen nuclear power plant - 370

The factory acceptance tests (FAT) for distributed control and information systems (DCIS) of Lungmen nuclear power plant (LMNPP) Units 1 and 2 were separately performed by individual suppliers for their supplied scopes. The FAT also included overlap interface tests between the separately supplied scopes, but did not include an overall integration test. There were concerned by the regulator and the public over the lack of an integration test, which was believed to be indispensable to verify the correctness and completeness of a digital system of such large scale ever applied by Taiwan Power Company (Taipower). To address these concerns and enhance confidence in the DCIS, the DCIS integration tests, including reactor water level integration test, reactor pressure integration test, integration test for turbine generator and reactor protection system, integration test for proper plant response to safety and non-safety network equipment failures, and DCIS dynamic integration test, were performed at site during Unit 1| site tests. It is to be noted that these tests were beyond the post construction tests, the pre-operational tests, and the start-up tests, which are the normal industry practice and formally required by the regulator. A common goal for these integration tests is to verify the capability of the DCIS to transmit signal/data properly across various suppliers' equipment to actuate the final equipment. The methods and principle, the test purpose/test items/acceptance criteria and the test results for these tests are described. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Drell-Yan q T resummation of fiducial power corrections at N 3 LL

We consider Drell-Yan production pp → V*X → LX at small q T << Q, where q T and Q are the total transverse momentum and invariant mass of the leptonic final state L. Experimental measurements require fiducial cuts on L, which in general introduce enhanced, linear power corrections in q T /Q. We show that they can be unambiguously predicted from factorization, and resummed to the same order as the leading-power contribution. For the fiducial q T spectrum, they constitute the complete linear power corrections. We thus obtain predictions for the fiducial q T spectrum to N 3 LL and next-to-leading-power in q T /Q. Matching to full NNLO ($α$$^{2}_{s}$), we find that the linear power corrections are indeed the dominant ones, and once included by factorization, the remaining fixed-order corrections become almost negligible below q T ≲ 40 GeV. We also discuss the implications for more complicated observables, and provide predictions for the fiducial Φ* spectrum at N 3 LL+NNLO. We find excellent agreement with ATLAS and CMS measurements of q T and Φ*. We also consider the $p$$^{ℓ}_{T}$ spectrum. We show that it develops leptonic power corrections in q T /(Q – 2$p$$^{ℓ}_{T}$), which diverge near the Jacobian peak $p$$^{ℓ}_{T}$ ~ Q/2 and must be kept to all powers to obtain a meaningful result there. Doing so, we obtain for the first time an analytically resummed result for the $p$$^{ℓ}_{T}$ spectrum around the Jacobian peak at N 3 LL+NNLO. Our method is based on performing a complete tensor decomposition for hadronic and leptonic tensors. We show that in practice this is equivalent to often-used recoil prescriptions, for which our results now provide rigorous, formal justification. Our tensor decomposition yields nine Lorentz-scalar hadronic structure functions, which for Z/γ* → ℓℓ or W → ℓν directly map onto the commonly used angular coefficients, but also holds for arbitrary leptonic final states. In particular, for suitably defined Born-projected leptons it still yields a LO-like angular decomposition even when including QED final-state radiation. Finally, we also discuss the application to q T subtractions. Including the unambiguously predicted fiducial power corrections significantly improves their performance, and in particular makes them applicable near kinematic edges where they otherwise break down due to large leptonic power corrections.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Monte Carlo simulations for understanding the transport properties of metallic nanowires

We report the conductance calculation of metallic nanowires of different metals under the application of a tensile force. The elongation induced by the tensile force was simulated by means of the canonical Monte Carlo method combined with the embedded atom method to compute the energy of the system. We studied nanowires composed of Ag, Au, Pt and Cu. The conductance was calculated by means of the Landauer formula and the non-equilibrium Green function formalism. As previously verified experimentally and using other simulation techniques, the conductance is quantized. In addition to this, we have found that there is a strong correlation between the magnitude of the conductance and the width of the nanowire at its thinnest point. Conductance histograms were analyzed for all the different metals.

36 MATERIALS SCIENCE↗

Cuboidal Liquid Crystal Phases Under Multiaxial Geometrical Frustration.

Cuboidal liquid crystal phases - the so-called blue phases - consist of a network of topological defects arranged into a cubic symmetry. They exhibit striking optical properties, including Bragg reflection in the visible range and fast response times. Confining surfaces can interfere with the packing of such a network, leading to structures that have not been explored before. In this work, a Landau-de Gennes free energy formalism for the tensor alignment field Q is used to investigate the behavior of chiral liquid crystals under non-isotropic confinement. The underlying free energy functional is solved by relying on a Monte Carlo method that facilitates efficient exploration of configuration space. The results of simulations are expressed in terms of phase diagrams as a function of chirality and temperature for three families of spheroids: oblate, spherical, and prolate. Upon deformation, blue phases adapt and transform to accommodate the geometrical constraints, thereby resulting in a wider range of thermal stability. For oblate spheroids, confinement interferes with the development of a full blue phase structure, resulting on a combination of half skyrmions. For prolate spheroids, the blue phases are hybridized and exhibit features of blue phases I and II. More generally, it is shown that mechanical deformation provides an effective means to control, manipulate and stabilize blue phases and cholesterics confined in tactoids.

Palacio-Betancur, Viviana↗

Two-dimensional electronic–vibrational spectroscopy: Exploring the interplay of electrons and nuclei in excited state molecular dynamics

Two-dimensional electronic-vibrational spectroscopy (2DEVS) is an emerging spectroscopic technique which exploits two different frequency ranges for the excitation (visible) and detection (infrared) axes of a 2D spectrum. In contrast to degenerate 2D techniques, such as 2D electronic or 2D infrared spectroscopy, the spectral features of a 2DEV spectrum report cross correlations between fluctuating electronic and vibrational energy gaps rather than autocorrelations as in the degenerate spectroscopies. The center line slope of the spectral features reports on this cross correlation function directly and can reveal specific electronic-vibrational couplings and rapid changes in the electronic structure, for example. The involvement of the two types of transition moments, visible and infrared, makes 2DEVS very sensitive to electronic and vibronic mixing. 2DEV spectra also feature improved spectral resolution, making the method valuable for unraveling the highly congested spectra of molecular complexes. The unique features of 2DEVS are illustrated in this paper with specific examples and their origin described at an intuitive level with references to formal derivations provided. Although early in its development and far from fully explored, 2DEVS has already proven to be a valuable addition to the tool box of ultrafast nonlinear optical spectroscopy and is of promising potential in future efforts to explore the intricate connection between electronic and vibrational nuclear degrees of freedom in energy and charge transport applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Exact closed-form unitary transformations of fermionic operators

Unitary transformations play a fundamental role in many-body physics, and except for special cases, they are not expressible in closed form. We present closed-form expressions for unitary transformations generated by a single fermionic operator for Hermitian and anti-Hermitian generators. We demonstrate the usefulness of these expressions in formal analyses of unitary transformations and numerical applications to Hamiltonian downfolding in quantum computing and Heisenberg dynamics. Furthermore, this work paves the way for new analytical treatments of unitary transformations and numerical many-body methods for fermions.

74 ATOMIC AND MOLECULAR PHYSICS↗

Exchange-correlation contributions to thermodynamic properties of the homogeneous electron gas from a cumulant Green's function approach

Thermodynamic properties of the interacting homogeneous electron gas are calculated using a finite-temperature cumulant Green's function approach over a broad range of densities and temperatures up to the warm dense matter regime $T ~ T_F$, where $T_F$ is the Fermi degeneracy temperature. These properties can be separated into independent particle and exchange-correlation contributions, and our focus here is on the latter. In this work our approach is based on the Galitskii-Migdal-Koltun and electron number sum rules from the finite temperature many-body Green's function formalism, together with an extension of the cumulant Green's function to finite temperature. Previously this approach yielded exchange-correlation energies and potentials in good agreement with quantum Monte-Carlo calculations. Here the method is extended for various thermodynamic quantities including the chemical potential, total energy, Helmholtz free-energy, electronic equation of state, specific heat, and isothermal compressibility, which optionally include spin dependence. We find that the exchange-correlation contributions are weakly varying at low temperature but exhibit significant temperature dependence in the WDM regime, as well as a crossover from exchange- to correlation-dominated behavior. In contrast to the $T = 0^+$ limit, we also find that renormalization effects are largely but not completely suppressed at finite temperature. Comparisons with other approaches at various levels of approximation are also discussed.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Learning Conservation Laws in Unknown Quantum Dynamics

We present a learning algorithm for discovering conservation laws given as sums of geometrically local observables in quantum dynamics. This includes conserved quantities that arise from local and global symmetries in closed and open quantum many-body systems. The algorithm combines the classical shadow formalism for estimating expectation values of observable and data analysis techniques based on singular value decompositions and robust polynomial interpolation to discover all such conservation laws in unknown quantum dynamics with rigorous performance guarantees. Our method can be directly realized in quantum experiments, which we illustrate with numerical simulations, using closed and open quantum system dynamics in a ℤ 2 gauge theory and in many-body localized spin chains.

Machine learning↗

SU-F-J-130: Margin Determination for Hypofractionated Partial Breast Irradiation

Purpose: To determine the Planning Target Volume (PTV) margin for Hypofractionated Partial Breast Irradiation (HPBI) using the van Herk formalism (M=2.5∑+0.7σ). HPBI is a novel technique intended to provide local control in breast cancer patients not eligible for surgical resection, using 40 Gy in 5 fractions prescribed to the gross disease. Methods: Setup uncertainties were quantified through retrospective analysis of cone-beam computed tomography (CBCT) data sets, collected prior to (prefraction) and after (postfraction) treatment delivery. During simulation and treatment, patients were immobilized using a wing board and an evacuated bag. Prefraction CBCT was rigidly registered to planning 4-dimensional computed tomography (4DCT) using the chest wall and tumor, and translational couch shifts were applied as needed. This clinical workflow was faithfully reproduced in Pinnacle (Philips Medical Systems) to yield residual setup and intrafractional error through translational shifts and rigid registrations (ribs and sternum) of prefraction CBCT to 4DCT and postfraction CBCT to prefraction CBCT, respectively. All ten patients included in this investigation were medically inoperable; the median age was 84 (range, 52–100) years. Results: Systematic (and random) setup uncertainties (in mm) detected for the left-right, craniocaudal and anteroposterior directions were 0.4 (1.5), 0.8 (1.8) and 0.4 (1.0); net uncertainty was determined to be 0.7 (1.5). Rotations >2° in any axis occurred on 8/72 (11.1%) registrations. Conclusion: Preliminary results suggest a non-uniform setup margin (in mm) of 2.2, 3.3 and 1.7 for the left-right, craniocaudal and anteroposterior directions is required for HPBI, given its immobilization techniques and online setup verification protocol. This investigation is ongoing, though published results from similar studies are consistent with the above findings. Determination of margins in breast radiotherapy is a paradigm shift, but a necessary step in moving towards hypofractionated regiments, which may ultimately redefine the standard of care for this select patient population.

60 APPLIED LIFE SCIENCES↗

The Effect of the Polarization Characteristics of Probe Light on the Signal of Optically Detected Magnetic Resonance in Magnetometric and Gyroscopic Quantum Sensors

We consider the effect of the polarization characteristics of probe light on the signal of optically detected magnetic resonance in quantum sensors, including quantum magnetometers based on the phenomenon of electron paramagnetic resonance and quantum gyroscopes employing both the electron and nuclear magnetic resonance. Relationships between the magnetic resonance signal magnitude and parameters of the optical system elements, which are based on the Stokes–Mueller formalism, are derived and verified. It is found that the main destructive influence in the signal in a standard two-beam scheme is produced by phase delays introduced by both metallic and dielectric mirrors. Methods for compensation of this destructive influence are proposed and verified.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Multi-phenomenology Yield Characterization

This report serves as the first delivery of a four-year applied science effort to transform and advance the error bounds for the yield estimate of an explosion. Each year’s delivery will be in this form, culminating in the submission of this work for peer review to a scientific journal. Importantly, the yearly progress reports can then also be viewed as expanding drafts working towards a formal journal article submission. For the first tranche of funding, we collaborated with Air Force Technical Applications Center (AFTAC) scientists to identify unclassified real-world data that demonstrate and validate our advanced error propagation methods. Collaboration includes visits to AFTAC and telecons. For this development, we illustrate the fusion of seismic, acoustic, optical, and surface effect signatures from an explosion. The mathematics and code being adapted to this specific application (Williams et al., 2021) involves physics models of multiple sensor signatures. We have also identified related physics models and have integrated them into code. Current methods of underground explosion yield estimation for the Threshold Test Ban Treaty (TTBT) have served the US treaty monitoring mission well for decades. A research objective of the Defense Nuclear Nonproliferation Research and Development (DNN R&D) office of the National Nuclear Security Administration (NNSA) has always been to provide new technical capabilities for monitoring lower thresholds. The general model and error propagation code to be developed in this project is based on significant advances in error modeling and propagation needed to analyze data at lower detection thresholds. The second tranche of funding for this project began on May 1, 2022, and planned work for the second tranche includes: i) completing the integration of physical model code into the general error model framework; this code accommodates a wide range of linear/nonlinear source models, fixed/ random effects, and frequentist/Bayesian analyses (the purpose of which is not to dictate to users how to analyze data, but instead to allow users the maximum flexibility in their work); ii) illustrative application of code to identified data, and; iii) initial planning with AFTAC researchers on delivery of code to the Common Development Environment at AFTAC, and continued writing of the planned final journal article submission (year two of this progress report), with particular emphasis on descriptions of data identified for this effort.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗

Semi-classical Kinetic Theory for Massive Spin-half Fermions with Leading-order Spin Effects

We consider the quantum kinetic-theory description for interacting massive spin-half fermions using the Wigner function formalism. We derive a general kinetic theory description assuming that the spin effects appear at the classical and quantum level. To track the effect of such different contributions we use the semi-classical expansion method to obtain the generalized dynamical equations including spin, analogous to classical Boltzmann equation. This approach can be used to obtain a collision kernel involving local as well as non-local collisions among the microscopic constituent of the system and eventually, a framework of spin hydrodynamics ensuring the conservation of the energy-momentum tensor and total angular momentum tensor.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Sufficient Conditions for the Equivalent Convergence of Sequences of Different Approximants for Two-Dimensional Continued Fractions

By the method of fundamental inequalities, we study the equivalent convergence of two figured approximants for two-dimensional continued fractions, namely, the approximants obtained from the problem of correspondence of two-dimensional continued fractions to some formal double power series and the problem of equivalence of two-dimensional continued fractions. We also establish sufficient conditions under which the indicated two approximants of two-dimensional continued fractions converge to the same limit.

97 MATHEMATICS AND COMPUTING↗

Assessing the impact of substrate-level enzyme regulations limiting ethanol titer in Clostridium thermocellum using a core kinetic model

Clostridium thermocellum is a promising candidate for consolidated bioprocessing because it can directly ferment cellulose to ethanol. Despite significant efforts, achieved yields and titers fall below industrially relevant targets. This implies that there still exist unknown enzymatic, regulatory, and/or possibly thermodynamic bottlenecks that can throttle back metabolic flow. By (i) elucidating internal metabolic fluxes in wild-type C. thermocellum grown on cellobiose via 13 C-metabolic flux analysis ( 13 C-MFA), (ii) parameterizing a core kinetic model, and (iii) subsequently deploying an ensemble-docking workflow for discovering substrate-level regulations, this paper aims to reveal some of these factors and expand our knowledgebase governing C. thermocellum metabolism. Generated 13 C labeling data were used with 13 C-MFA to generate a wild-type flux distribution for the metabolic network. Notably, flux elucidation through MFA alluded to serine generation via the mercaptopyruvate pathway. Using the elucidated flux distributions in conjunction with batch fermentation process yield data for various mutant strains, we constructed a kinetic model of C. thermocellum core metabolism (i.e. k-ctherm138). Subsequently, we used the parameterized kinetic model to explore the effect of removing substrate-level regulations on ethanol yield and titer. Upon exploring all possible simultaneous (up to four) regulation removals we identified combinations that lead to many-fold model predicted improvement in ethanol titer. In addition, by coupling a systematic method for identifying putative competitive inhibitory mechanisms using K-FIT kinetic parameterization with the ensemble-docking workflow, we flagged 67 putative substrate-level inhibition mechanisms across central carbon metabolism supported by both kinetic formalism and docking analysis.

59 BASIC BIOLOGICAL SCIENCES↗

Polarizable Frozen Density Embedding with External Orthogonalization

In this work, we report a polarizable subsystem density functional theory to describe electronic properties of molecules embedded on a metal cluster. Interaction between the molecule and metal cluster is described using frozen density embedding (FDE). Substituting the nonadditive kinetic potential (NAKP) by approximate functionals is circumvented by enforcing external orthogonality (EO) through a projection operator. The computationally expensive freeze/thaw (FT) cycles are bypassed by including a polarization term in the embedding operator. Furthermore, the combination of polarization and EO permits supermolecular basis set calculations, which was not possible for strongly interacting systems with existing kinetic energy functionals. To test the method, we described the ground state density of pyridine, water, and benzene on a silver cluster. Performing FT on top of EO results in exact density embedding for this category of systems and is thus used for benchmarking the method. We find that the density is reproduced to within 0.15e, and the dipole and quadrupole moments are within 18% of the reference points for subsystem separations ranging from bonding to noninteracting distances. Additionally, our formalism allows the flexibility of incorporating different density functionals to the molecular and the metallic subsystems reducing the overall computational cost.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗