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 1,405 records · Page 78

No-Core Shell Model Analysis of Light Nuclei

The fundamental description of both structural properties and reactions of light nuclei in terms of constituent protons and neutrons interacting through nucleon-nucleon and three-nucleon forces is a long-sought goal of nuclear theory. I will briefly present a promising technique, built upon the ab initio no-core shell model, which emerged recently as a candidate to reach such a goal: the no-core shell model/resonating-group method. This approach, capable of describing simultaneously both bound and scattering states in light nuclei, complements a microscopic cluster technique with the use of two-nucleon realistic interactions, and a microscopic and consistent description of the nucleon clusters. I will discuss applications to light nuclei binary scattering processes and fusion reactions that power stars and Earth based fusion facilities, such as the deuterium–3He fusion, and outline the progress toward the inclusion of the three-nucleon force into the formalism and the treatment of three-body clusters.

Physics↗

Enantioselective α-functionalizations of ketones via allylic substitution of silyl enol ethers

The enantioselective construction of carbon-heteroatom and carbon-carbon bonds that are alpha to ketones leads to the formation of substructures that are ubiquitous in natural products, pharmaceuticals and agrochemicals. Traditional methods to form such bonds have relied on combining ketone enolates with electrophiles. Reactions with heteroatom-based electrophiles require special reagents in which the heteroatom, which is typically nucleophilic, has been rendered electrophilic by changes to the oxidation state. The resulting products usually require post-synthetic transformations to unveil the functional group in the final desired products. Moreover, different catalytic systems are typically required for the reaction of different electrophiles. In this work, we report a strategy for the formal enantioselective α-functionalization of ketones to form products containing a diverse array of substituents at the alpha position with a single catalyst. This strategy involves an unusual reversal of the role of the nucleophile and electrophile to form C-N, C-O, C-S and C-C bonds from a series of masked ketone electrophiles and a wide range of conventional heteroatom and carbon nucleophiles catalysed by a metallacyclic iridium catalyst.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Frequency up-conversion in nonpolar a-plane GaN/AlGaN based multiple quantum wells optimized for applications with silicon solar cells

We have described a method for structural parameters optimization of GaN/AlGaN multiple quantum well based up-converter for silicon solar cells. It involves a systematic tuning of individual step quantum wells by use of the genetic algorithm for global optimization. In quantum well structures, the up-conversion process can be achieved by utilizing nonlinear optical effects based on intersubband transitions. Both single and double step quantum wells have been tested in order to maximize the second order susceptibility derived from the density matrix formalism. The results obtained for single step wells proved slightly better and have been further pursued to obtain a more complex design, optimized for conversion of an entire range of incident photon energies.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Quantum dynamics of water dissociative chemisorption on rigid Ni(111): An approximate nine-dimensional treatment

The quantum dynamics of water dissociative chemisorption on the rigid Ni(111) surface is investigated using a recently developed nine-dimensional potential energy surface. The quantum dynamical model includes explicitly seven degrees of freedom of D{sub 2}O at fixed surface sites, and the final results were obtained with a site-averaging model. The mode specificity in the site-specific results is reported and analyzed. Finally, the approximate sticking probabilities for various vibrationally excited states of D{sub 2}O are obtained considering surface lattice effects and formally all nine degrees of freedom. The comparison with experiment reveals the inaccuracy of the density functional theory and suggests the need to improve the potential energy surface.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

The Zintl pnictides Yb10CdSb9 and Yb14CdSb11: New candidate thermoelectric materials

The synthesis of new materials is the lifeline of solid-state science, and it continues to offer us unique opportunities for testing various theoretical formulations and models on a practical material. Such an avenue, therefore, provides a breeding ground for technological innovations and advancements that can completely revolutionize our world. Here, we report the results of our exploratory syntheses in the Yb–Cd–Sb compositional space that lead to the identification of two new Zintl antimonides, namely, Yb10CdSb9 and Yb14CdSb11. Their crystal structures were established via single-crystal X-ray diffraction methods; the basic electronic and transport properties of the new materials were also characterized. Yb10CdSb9 crystallizes in a disordered variant of the tetragonal Ca10LiMgSb9 structure type with unit cell parameters a = 11.8473(8) Å and c = 17.1302(12) Å (space group P42/mnm). Yb14CdSb11 crystallizes in the tetragonal Ca14AlSb11 structure type with unit cell parameters: a = 16.605(3) Å and c = 12.144(7) Å (space group I41/acd). Although the structures of both compounds can be rationalized within the framework of the Zintl formalism, based on the partitioning of the valence electrons in the much disordered Yb10CdSb9 phase, the charge is indicative of a slightly electron-rich composition. Electronic structure calculations in both cases support the notion of intrinsic semiconductor behavior, as expected for a Zintl phase. The temperature dependence of the electrical resistivity of a single crystal of Yb10CdSb9 is in line with that, and the evolution of the Seebeck coefficient indicates an electron-dominated transport mechanism, and a respectable power factor of 0.71 μW/cm K2 at 460 K can be calculated for Yb10CdSb9. The electrical resistivity of Yb14CdSb11, however, evolves in a semimetallic manner, which could suggest an overdoped sample or degenerate semiconducting behavior.

Ogunbunmi, Michael O. (ORCID:0000000253409198)↗

𝐴𝑏 initio density-matrix approach to exciton coherence: Phonon scattering, Coulomb interactions, and radiative recombination

Relaxation processes following light excitation in semiconductors are key in materials-based quantum technology applications. These processes are broadly studied in atomically thin transition-metal dichalcogenides, quasi-two-dimensional excitonic semiconductors in which atomistic design allows for tunable excited-state properties, such as relaxation lifetimes and photoinduced coherence. In this work, we present a density-matrix-based approach to compute exciton relaxation within a many-body ab initio perspective. We expand our previously developed Lindblad density-matrix formalism to capture multichannel electron-hole pair relaxation processes, including phonon and Coulomb scattering as well as radiative recombination, and we study their effect on the time-resolved excited-state propagation. Using monolayer MoSe 2 as a prototypical example, we examine many-body effects on the time-dependent dynamics of photoactive excitations, exploring how the electron-hole pair interactions are reflected in variations of the excitation energy, spectral signature, and state coherence. In conclusion, our method supplies a detailed understanding of exciton relaxation mechanisms in realistic materials, offering a previously unexplored pathway to study excited-state dynamics in semiconductors from first principles.

Band structure methods↗

On the effect of Ga and In substitutions in the Ca 11 Bi 10 and Yb 11 Bi 10 bismuthides crystallizing in the tetragonal Ho 11 Ge 10 structure type

The Ga- and In-substituted bismuthides Ca 11 Ga x Bi 10– x , Ca 11 In x Bi 10– x , Yb 11 Ga x Bi 10– x , and Yb 11 In x Bi 10– x ( x < 2) can be readily synthesized employing molten Ga or In metals as fluxes. They crystallize in the tetragonal space group I 4/ mmm and adopt the Ho 11 Ge 10 structure type (Pearson code tI 84; Wyckoff sequence n 2 m j h 2 e 2 d ). The structural response to the substitution of Bi with smaller and electron-poorer In or Ga has been studied by single-crystal X-ray diffraction methods for the case of Ca 11 In x Bi 10– x [ x = 1.73 (2); octabismuth undecacalcium diindium]. The refinements show that the In atoms substitute Bi only at the 8 h site. The refined interatomic distances show an unconventional – for this structure type – bond-length distribution within the anionic sublattice. The latter can be viewed as consisting of isolated Bi 3- anions and [In 4 Bi 8 20- ] clusters for the idealized Ca 11 In 2 Bi 8 model. Formal electron counting and first-principle calculations show that the peculiar bonding in this compound drives the system toward an electron-precise state, thereby stabilizing the observed bond-length pattern.

Chemistry↗

Reference dosimetry for helical tomotherapy: Practical implementation and a multicenter validation

Purpose: The aim of this study was to implement a protocol for reference dosimetry in tomotherapy and to validate the beam output measurements with an independent dosimetry system. Methods: Beam output was measured at the reference depth of 10 cm in water for the following three cases: (1) a 5 x 10 cm{sup 2} static machine specific reference field (MSR), (2) a rotational 5 x 10 cm{sup 2} field without modulation and no tabletop in the beam, (3) a plan class specific reference (PCSR) field defined as a rotational homogeneous dose delivery to a cylindrical shaped target volume: plan with modulation and table-top movement. The formalism for reference dosimetry of small and nonstandard fields [Med.Phys.35: 5179-5186, 2008] and QA recommendations [Med.Phys.37: 4817-4853, 2010] were adopted in the dose measurement protocol. All ionization chamber measurements were verified independently using alanine/EPR dosimetry. As a pilot study, the beam output was measured on tomotherapy Hi-art systems at three other centers and directly compared to the centers specifications and to alanine dosimetry. Results: For the four centers, the mean static output at a depth of 10 cm in water and SAD = 85 cm, measured with an A1SL chamber following the TG-148 report was 6.238 Gy/min {+-} 0.058 (1 SD); the rotational output was 6.255 Gy/min {+-} 0.069 (1 SD). The dose stated by the center was found in good agreement with the measurements of the visiting team: D{sub center}/D{sub visit} = 1.000 {+-} 0.003 (1 SD). The A1SL chamber measurements were all in good agreement with Alanine/EPR dosimetry. Going from the static reference field to the rotational/non modulated field the dose rate remains constant within 0.2% except for one center where a deviation of 1.3% was detected. Conclusions: Following the TG-148 report, beam output measurements in water at the reference depth using a local protocol, as developed at different centers, was verified. The measurements were found in good agreement with alanine/EPR dosimetry. The presented methodology may provide a good concept for reference dosimetry.

61 RADIATION PROTECTION AND DOSIMETRY↗

Quantum Locality?

Robert Griffiths has recently addressed, within the framework of a ‘consistent quantum theory’ (CQT) that he has developed, the issue of whether, as is often claimed, quantum mechanics entails a need for faster-than-light transfers of information over long distances. He argues, on the basis of his examination of certain arguments that claim to demonstrate the existence of such nonlocal influences, that such influences do not exist. However, his examination was restricted mainly to hidden-variable-based arguments that include in their premises some essentially classical-physics-type assumptions that are fundamentally incompatible with the precepts of quantum physics. One cannot logically prove properties of a system by attributing to the system properties alien to that system. Hence Griffiths’ rejection of hidden-variable-based proofs is logically warranted. Griffiths mentions the existence of a certain alternative proof that does not involve hidden variables, and that uses only macroscopically described observable properties. He notes that he had examined in his book proofs of this general kind, and concluded that they provide no evidence for nonlocal influences. But he did not examine the particular proof that he cites. An examination of that particular proof by the method specified by his ‘consistent quantum theory’ shows that the cited proof is valid within that restrictive framework. This necessary existence, within the ‘consistent’ framework, of long range essentially instantaneous influences refutes the claim made by Griffiths that his ‘consistent’ framework is superior to the orthodox quantum theory of von Neumann because it does not entail instantaneous influences. An added section responds to Griffiths’ reply, which cites a litany of ambiguities that seem to restrict, devastatingly, the scope of his CQT formalism, apparently to buttress his claim that my use of that formalism to validate the nonlocality theorem is flawed. But the vagaries that he cites do not upset the proof in question. It is show here in detail why the precise statement of this theorem justifies the specified application of CQT. It is also shown, in response to his challenge, why a putative proof of locality that he has proposed is not valid.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Realizability-preserving DG-IMEX method for the two-moment model of fermion transport

Building on the framework of Zhang & Shu [1], [2], we develop a realizability-preserving method to simulate the transport of particles (fermions) through a background material using a two-moment model that evolves the angular moments of a phase space distribution function f . The two-moment model is closed using algebraic moment closures; e.g., as proposed by Cernohorsky & Bludman [3] and Banach & Larecki [4]. Variations of this model have recently been used to simulate neutrino transport in nuclear astrophysics applications, including core-collapse supernovae and compact binary mergers. We employ the discontinuous Galerkin (DG) method for spatial discretization (in part to capture the asymptotic diffusion limit of the model) combined with implicit-explicit (IMEX) time integration to stably bypass short timescales induced by frequent interactions between particles and the background. Appropriate care is taken to ensure the method preserves strict algebraic bounds on the evolved moments (particle density and flux) as dictated by Pauli's exclusion principle, which demands a bounded distribution function (i.e., f ϵ [0,1]). This realizability-preserving scheme combines a suitable CFL condition, a realizability-enforcing limiter, a closure procedure based on Fermi-Dirac statistics, and an IMEX scheme whose stages can be written as a convex combination of forward Euler steps combined with a backward Euler step. The IMEX scheme is formally only first-order accurate, but works well in the diffusion limit, and — without interactions with the background — reduces to the optimal second-order strong stability-preserving explicit Runge-Kutta scheme of Shu & Osher [5]. Numerical results demonstrate the realizability-preserving properties of the scheme. As a result, we also demonstrate that the use of algebraic moment closures not based on Fermi-Dirac statistics can lead to unphysical moments in the context of fermion transport.

97 MATHEMATICS AND COMPUTING↗

On the inclusion of the diagonal Born-Oppenheimer correction in surface hopping methods

The diagonal Born-Oppenheimer correction (DBOC) stems from the diagonal second derivative coupling term in the adiabatic representation, and it can have an arbitrary large magnitude when a gap between neighbouring Born-Oppenheimer (BO) potential energy surfaces (PESs) is closing. Nevertheless, DBOC is typically neglected in mixed quantum-classical methods of simulating nonadiabatic dynamics (e.g., fewest-switch surface hopping (FSSH) method). A straightforward addition of DBOC to BO PESs in the FSSH method, FSSH+D, has been shown to lead to numerically much inferior results for models containing conical intersections. More sophisticated variation of the DBOC inclusion, phase-space surface-hopping (PSSH) was more successful than FSSH+D but on model problems without conical intersections. This work comprehensively assesses the role of DBOC in nonadiabatic dynamics of two electronic state problems and the performance of FSSH, FSSH+D, and PSSH methods in variety of one- and two-dimensional models. Our results show that the inclusion of DBOC can enhance the accuracy of surface hopping simulations when two conditions are simultaneously satisfied: (1) nuclei have kinetic energy lower than DBOC and (2) PESs are not strongly nonadiabatically coupled. The inclusion of DBOC is detrimental in situations where its energy scale becomes very high or even diverges, because in these regions PESs are also very strongly coupled. In this case, the true quantum formalism heavily relies on an interplay between diagonal and off-diagonal nonadiabatic couplings while surface hopping approaches treat diagonal terms as PESs and off-diagonal ones stochastically.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Consistency of certain constitutive relations with quantum electromagnetism

Recent work by Philbin [New J. Phys. 12, 123008 (2010)] has provided a Lagrangian theory that establishes a general method for the canonical quantization of the electromagnetic field in any dispersive, lossy, linear dielectric. Working from this theory, we extend the Lagrangian description to reciprocal and nonreciprocal magnetoelectric (bianisotropic) media, showing that some versions of the constitutive relations are inconsistent with a real Lagrangian, and hence with quantization. This amounts to a restriction on the magnitude of the magnetoelectric coupling. Moreover, from the point of view of quantization, moving media are shown to be fundamentally different from stationary magnetoelectrics, despite the formal similarity in the constitutive relations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The Michigan New Technology Training and Research (MNTR) Translational Program in Nuclear Medicine (Final Report)

The Michigan New Technology Training and Research (MNTR) Translational Program in Nuclear Medicine and Molecular Imaging This project established the Michigan New Technology Training and Research (MNTR) translational program, focused on the acceleration of new clinical molecular imaging methods. Molecular imaging approaches to imaging are a very flexible and powerful development, with many recent examples advancing the diagnosis and guiding the management of human disease. These methods depend on the design, synthesis and testing of new radiotracers (molecules designed to target specific cells or tissues in the body), labeled with short-lived radioactive atoms (positron emitters). The new radiotracers are imaged in the human body using positron emission tomography (PET) imaging. The University of Michigan PET Center has considerable experience in the discovery, development, refinement and initial human applications of new PET radiotracers. An emerging impediment to efficient availability of new PET radiotracers, however, involves the regulatory environment at multiple levels. Many potentially successful ideas are delayed or even prevented from entering human use by these barriers. In the current grant, we provided hands-on experience for the next generation of young scientists working in molecular imaging so that they are equipped to effectively move new ideas and radiotracers from the research laboratory to the nuclear medicine clinic (bench-to-bedside). For new radiotracer development, oversight by the Food and Drug Administration (FDA), the Nuclear Regulatory Commission (NRC), and local institutional committees and reviews are required. These aspects of translation from laboratory to clinic are often omitted from the formal training of new scientists, but were provided to three trainees via direct mentorship in the MNTR program. The MNTR training program built on the translational successes of the University of Michigan Division of Nuclear Medicine and capitalized on our strengths (facilities, faculty, a wide-ranging selection of projects, and the experience and commitment to bring new radiotracers into human studies) to systematically train three fellows in radiochemistry and nuclear medicine. Integrated training in development, validation and clinical translation of new PET radiotracers occurred through practical involvement in multiple research projects, each at a different stage along the pathway from bench-to-bedside. Each trainee obtained experience of the entire process over about 2 years. Projects involved development of new radiotracers for neurodegenerative disorders (e.g. Alzheimer disease), movement disorders (e.g. Parkinson disease, progressive supranuclear palsy) and neurodevelopmental syndromes (e.g. Tourette syndrome) as well as new radiochemistry methods for synthesizing radiotracers. Each project was pursued in a close collaboration between the fellow trainee and both the clinical and basic science faculty at the University of Michigan PET Center, and provided an unprecedented opportunity for the highest-level training in academic radiochemistry and nuclear medicine research. The project has resulted in 17 peer-reviewed publications to date, and at least 4 more are in preparation. Additionally, 1 book chapter and 26 conference presentations have resulted from this grant. Upon completion of the MNTR Program, the trainees have emerged as translational scientists wielding the necessary skill-set (practical research experience, multidisciplinary training, regulatory know-how) to embark on successful careers in translational molecular imaging, bringing continued advances in the field to bear on important human disorders. As a metric of the Program’s success, one fellow has already secured employment in the field, while the other two are finishing writing papers; they wish to also stay in the radiochemistry and nuclear medicine community, and are currently applying for jobs.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

Goldstone bosons and a dynamical Higgs field

Higgs inflation uses the gauge variant Higgs field as the inflaton. During inflation the Higgs field is displaced from its minimum, which results in associated Goldstone bosons that are apparently massive. Working in a minimally coupled U(1) toy model, we use the closed-time-path formalism to show that these Goldstone bosons do contribute to the one-loop effective action. Therefore the computation in unitary gauge gives incorrect results. Our expression for the effective action is gauge invariant upon using the background equations of motion.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Relativistic four-component calculations of indirect nuclear spin-spin couplings with efficient evaluation of the exchange-correlation response kernel

In this work, we report on the development and implementation of a new scheme for efficient calculation of indirect nuclear spin-spin couplings in the framework of four-component matrix Dirac-Kohn-Sham approach termed matrix Dirac-Kohn-Sham restricted magnetic balance resolution of identity for J and K, which takes advantage of the previous restricted magnetic balance formalism and the density fitting approach for the rapid evaluation of density functional theory exchange-correlation response kernels. The new approach is aimed to speedup the bottleneck in the solution of the coupled perturbed equations: evaluation of the matrix elements of the kernel of the exchange-correlation potential. The performance of the new scheme has been tested on a representative set of indirect nuclear spin-spin couplings. The obtained results have been compared with the corresponding results of the reference method with traditional evaluation of the exchange-correlation kernel, i.e., without employing the fitted electron densities. Overall good agreement between both methods was observed, though the new approach tends to give values by about 4%-5% higher than the reference method. On the average, the solution of the coupled perturbed equations with the new scheme is about 8.5 times faster compared to the reference method.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Simple formalism for efficient derivatives and multi-determinant expansions in quantum Monte Carlo

We present a simple and general formalism to compute efficiently the derivatives of a multi-determinant Jastrow-Slater wave function, the local energy, the interatomic forces, and similar quantities needed in quantum Monte Carlo. Through a straightforward manipulation of matrices evaluated on the occupied and virtual orbitals, we obtain an efficiency equivalent to algorithmic differentiation in the computation of the interatomic forces and the optimization of the orbital parameters. Furthermore, for a large multi-determinant expansion, the significant computational gain afforded by a recently introduced table method is here extended to the local value of any one-body operator and to its derivatives, in both all-electron and pseudopotential calculations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Analytic model of electron transport through and over non-linear barriers

Tunneling barriers are an essential component of electron sources, sensors, detectors, and vacuum nanoelectronics, and a pivotal factor in their performance, but the barriers themselves routinely depart from the analytic models used to model their behavior. Here, a new formalism is developed to analytically and accurately model emission through and over barriers associated with depletion layers, nanotip barriers, and MIM structures. The transmission probability for depletion layer and metal-insulator-metal (MIM) and metaloxide-semiconductor (MOS) barriers is accurately modeled as the electron energy exceeds the barrier height using approaches designed for rapid implementation demanded by simulation codes, and extensible to general barriers. The models supersede conventional thermal and field models in depletion and MIM/MOS barrier studies. Thermal-field methods are used to treat the transmission probability, and shape factor methods to treat the tunneling factor. Analytic formulae for current density are obtained. The methods ease device simulation and characterization of current-voltage relations for emerging technologically interesting barriers with better accuracy.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Cosmological angular trispectra and non-Gaussian covariance

Angular cosmological correlators are infamously difficult to compute due to the highly oscillatory nature of the projection integrals. Motivated by recent development on analytic approaches to cosmological perturbation theory, in this paper we present an efficient method for computing cosmological four-point correlations in angular space, generalizing previous works on lower-point functions. This builds on the FFTLog algorithm that approximates the matter power spectrum as a sum over power-law functions, which makes certain momentum integrals analytically solvable. The computational complexity is drastically reduced for correlators in a "separable" form—we define a suitable notion of separability for cosmological trispectra, and derive formulas for angular correlators of different separability classes. As an application of our formalism, we compute the angular galaxy trispectrum at tree level, with and without primordial non-Gaussianity. This includes effects of redshift space distortion and bias parameters up to cubic order. We also compute the non-Gaussian covariance of the angular matter power spectrum due to the connected four-point function, beyond the Limber approximation. Finally, we demonstrate that, in contrast to the standard lore, the Limber approximation can fail for the non-Gaussian covariance computation even for large multipoles.

79 ASTRONOMY AND ASTROPHYSICS↗