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,657 records · Page 92

Quantum effects on dislocation motion from ring-polymer molecular dynamics

Quantum motion of atoms known as zero-point vibration was recently proposed to explain a long-standing discrepancy between theoretically computed and experimentally measured low-temperature plastic strength of iron and possibly other metals with high atomic masses. This finding challenges the traditional notion that quantum motion of atoms is relatively unimportant in solids comprised of heavy atoms. Here we report quantum dynamic simulations of quantum effects on dislocation motion within the exact formalism of Ring-Polymer Molecular Dynamics (RPMD). To extend the reach of quantum atomistic simulations to length and time scales relevant for extended defects in materials, we implemented RPMD in the open-source code LAMMPS thus making the RPMD method widely available to the community. We use our RPMD/LAMMPS approach for direct calculations of dislocation mobility and its effects on the yield strength of α-iron. Our simulation results establish that quantum effects are noticeable at temperatures below 50 K but account for only a modest (≈13% at T = 0 K) overall reduction in the Peierls barrier, at variance with the factor of two reduction predicted earlier based on the more approximate framework of harmonic transition state theory. Our results confirm that zero-point vibrations provide ample additional agitation for atomic motion that increases with decreasing temperature, however its enhancing effect on dislocation mobility is largely offset by an increase in the effective atom size, an effect known as quantum dispersion that has not been accounted for in the previous calculations.

36 MATERIALS SCIENCE↗

A flexible experimental setup for femtosecond time-resolved broad-band ellipsometry and magneto-optics

A versatile experimental setup for femtosecond time-resolved ellipsometry and magneto-optical Kerr effect measurements in the visible light range is described. The apparatus is based on the pump-probe technique and combines a broad-band probing beam with an intense near-infrared pump. According to Fresnel scattering matrix formalism, the analysis of the reflected beam at different polarization states of the incident probe light allows one to determine the diagonal and the off-diagonal elements of the dielectric tensor in the investigated sample. Moreover, the pump-probe method permits to study the dynamics of the dielectric response after a short and intense optical excitation. The performance of the experimental apparatus is tested on CrO{sub 2} single crystals as a benchmark.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Freely cooling granular gases with short-ranged attractive potentials

We treat the case of an undriven gas of inelastic hard-spheres with short-ranged attractive potentials via an extension of the pseudo-Liouville operator formalism. New evolution equations for the granular temperature and coordination number are obtained. The granular temperature exhibits deviation from both Haff’s law and the case of long-ranged potentials. We verify this departure using soft-sphere discrete element method simulations. Excellent agreement is found for the duration of the simulation even beyond where exclusively binary collisions are expected. Simulations show the emergence of strong spatial-velocity correlations on the length scale of the last peak in the pair-correlation function but do not show strong correlations beyond this length scale. We argue that molecular chaos may remain an adequate approximation if the system is modelled as a Smoluchowski type equation with aggregation and break-up processes.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Reduced scaling Hilbert space variational Monte Carlo

We show that for both single-Slater-Jastrow and Jastrow geminal power wave functions the formal cost scaling of Hilbert space variational Monte Carlo can be reduced from fifth to fourth order in the system size, thus bringing it in line with the long-standing scaling of its real space counterpart. While traditional quantum chemistry methods can reduce costs related to the two-electron integral tensor through various tensor decomposition methods, we show that such approaches are ineffective in the presence of Hilbert space Jastrow factors. Instead, we develop a simple semi-stochastic approach that can take similar advantage of the near-sparsity of this four-index tensor. Through demonstrations on alkanes of increasing length, we show that accuracy and overall statistical uncertainty are not meaningfully affected and that a total cost crossover is reached as early as 50 electrons when using a minimal basis. Further study will be needed to assess where the crossover occurs in more compact molecular geometries and larger basis sets and to explore how in that context the crossover can be accelerated.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

High pressure structural and lattice dynamics study of α-In2Se3

Layered α-In2Se3 has been studied using a combined in situ synchrotron angle-dispersive powder x-ray diffraction and Raman spectroscopy study in a diamond anvil cell up to 60+ GPa, at room temperature. Helium, which remains fairly hydrostatic up to the highest pressure in this study, was used as the pressure-transmitting medium. The results from both experimental methods reveal a pressure-induced structural phase transition from α-In2Se3 to a monoclinic β'-In2Se3 structure at ≈1 GPa, in agreement with previous studies. Based on our detailed measurements using both experimental techniques and the F-f formalism, the β'-In2Se3 structure remains stable up to 45 GPa, without a clear indication of a phase transition toward the previously reported β-In2Se3 phase. Above this pressure, In2Se3 adopts a disordered solid-solution-like orthorhombic structure, phase IV. The results are discussed in comparison with the relevant previous studies of α-In2Se3 under pressure.

Feng, Shiyu↗

Stabilization by modification of the Lagrangian

In order to reduce the error growth during a numerical integration, a method of stabilization of the differential equations of the Keplerian motion is offered. It is characterized by the use of the eccentric anomaly as an independent variable in such a way that the time transformation is given by a generalized Lagrange formalism. The control terms in the equations of motion obtained by this modified Lagrangian give immediately a completely Liapunov-stable set of differential equations. In contrast to other publications, here the equation of time integration is modified by a control term which leads to an integral which defined the time element for the perturbed Keplerian motion.

Baumgarte, J. W.↗

Photorefraction Screens Millions for Vision Disorders

Who would have thought that stargazing in the 1980s would lead to hundreds of thousands of schoolchildren seeing more clearly today? Collaborating with research ophthalmologists and optometrists, Marshall Space Flight Center scientists Joe Kerr and the late John Richardson adapted optics technology for eye screening methods using a process called photorefraction. Photorefraction consists of delivering a light beam into the eyes where it bends in the ocular media, hits the retina, and then reflects as an image back to a camera. A series of refinements and formal clinical studies followed their highly successful initial tests in the 1980s. Evaluating over 5,000 subjects in field tests, Kerr and Richardson used a camera system prototype with a specifically angled telephoto lens and flash to photograph a subject s eye. They then analyzed the image, the cornea and pupil in particular, for irregular reflective patterns. Early tests of the system with 1,657 Alabama children revealed that, while only 111 failed the traditional chart test, Kerr and Richardson s screening system found 507 abnormalities.

Source record↗

Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets

This paper focuses on the application of a Petri Net-based diagnosis method on a planetary rover prototype.The diagnosis is performed by using a model-based method in the context of health management of hybrid systems.In system health management, the diagnosis task aims at determining the current health state of a system and the fault occurrences that lead to this state. The Hybrid Particle Petri Nets (HPPN) formalism is used to model hybrid systems behavior and degradation, and to define the generation of diagnosers to monitor the health states of such systems under uncertainty. At any time, the HPPN-based diagnoser provides the current diagnosis represented by a distribution of beliefs over the health states. The health monitoring methodology is demonstrated on the K11 rover. A hybrid model of the K11 is proposed and experimental results show that the approach is robust to real system data and constraints.

health monitoring↗

From the ternary Eu(Au/In) 2 and EuAu 4 (Au/In) 2 with remarkable Au/In distributions to a new structure type: The gold-rich Eu 5 Au 16 (Au/In) 6 structure

The ternary Eu(Au/In) 2 (EuAu 0.46 In 1.54 (2) ) (I), EuAu 4 (Au/In) 2 (EuAu 4+x In 2–x with x = 0.75(2) (II), 0.93(2), and 1.03(2)), and Eu 5 Au 16 (Au/In) 6 (Eu 5 Au 17.29 In 4.71(3) ) (III) have been synthesized, and their structures were characterized by single-crystal X-ray diffraction. I and II crystallize with the CeCu 2 -type (Pearson Symbol oI 12; Imma ; Z = 4; a = 4.9018(4) Å; b = 7.8237(5) Å; c = 8.4457(5) Å) and the YbAl 4 Mo 2 -type (tI14; I4/ mmm ; Z = 2; a = 7.1612(7) Å; c = 5.5268(7) Å) and exhibit significant Au/In disorder. I is composed of an Au/In-mixed diamond-related host lattice encapsulating Eu atoms, while the structure of II features ribbons of distorted, squared Au 8 prisms enclosing Eu, Au, and In atoms. Combination of these structural motifs leads to a new structure type as observed for Eu 5 Au 16 (Au/In) 6 (Eu 5 Au 17.29 In 4.71(3) ) (oS108; Cmcm ; Z = 4; a = 7.2283(4) Å; b = 9.0499(6) Å; c = 34.619(2) Å), which formally represents a one-dimensional intergrowth of the series EuAu 2 –“EuAu 4 In 2 ”. The site preferences of the disordered Au/In positions in II were investigated for different hypothetical “EuAu 4 (Au/In) 2 ” models using the projector-augmented wave method and indicate that these structures attempt to optimize the frequencies of the heteroatomic Au–In contacts. Furthermore, a chemical bonding analysis on two “EuAu 5 In” and “EuAu 4 In 2 ” models employed the TB-LMTO-ASA method and reveals that the subtle interplay between the local atomic environments and the bond energies determines the structural and site preferences for these systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A linear response framework for quantum simulation of bosonic and fermionic correlation functions

Response functions are a fundamental aspect of physics; they represent the link between experimental observations and the underlying quantum many-body state. However, this link is often under-appreciated, as the Lehmann formalism for obtaining response functions in linear response has no direct link to experiment. Within the context of quantum computing, and via a linear response framework, we restore this link by making the experiment an inextricable part of the quantum simulation. This method can be frequency- and momentum-selective, avoids limitations on operators that can be directly measured, and can be more efficient than competing methods. As prototypical examples of response functions, we demonstrate that both bosonic and fermionic Green’s functions can be obtained, and apply these ideas to the study of a charge-density-wave material on the ibm_auckland superconducting quantum computer. The linear response method provides a robust framework for using quantum computers to study systems in physics and chemistry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Designing field-controllable graphene-dot-graphene single molecule switches: A quantum-theoretical proof-of-concept under realistic operating conditions

A theoretical proof of the concept that a particularly designed graphene-based moletronics device, constituted by two semi-infinite graphene subunits, acting as source and drain electrodes, and a central benzenoid ring rotator (a “quantum dot”), could act as a field-controllable molecular switch is outlined and analyzed with the density functional theory approach. Besides the ideal (0 K) case, we also consider the operation of such a device under realistic operating (i.e., finite-temperature) conditions. An in-depth insight into the physics behind device controllability by an external field was gained by thorough analyses of the torsional potential of the dot under various conditions (absence or presence of an external gating field with varying strength), computing the torsional correlation time and transition probabilities within the Bloembergen-Purcell-Pound formalism. Both classical and quantum mechanical tunneling contributions to the intramolecular rotation were considered in the model. The main idea that we put forward in the present study is that intramolecular rotors can be controlled by the gating field even in cases when these groups do not possess a permanent dipole moment (as in cases considered previously by us [I. Petreska et al., J. Chem. Phys. 134, 014708-1–014708-12 (2011)] and also by other groups [P. E. Kornilovitch et al., Phys. Rev. B 66, 245413-1–245413-7 (2002)]). Consequently, one can control the molecular switching properties by an external electrostatic field utilizing even nonpolar intramolecular rotors (i.e., in a more general case than those considered so far). Molecular admittance of the currently considered graphene-based molecular switch under various conditions is analyzed employing non-equilibrium Green’s function formalism, as well as by analysis of frontier molecular orbitals’ behavior.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Quantum theory of an optical maser. VI - Transient behavior.

The transient behavior of a laser is discussed using the quantum theory as did Scully and Lamb. The formal solution of the density-matrix equation is expressed in terms of exponentially decaying eigenmodes. Some of the lower decay constants are obtained numerically. The equations for the moments of the density matrix are then derived and solved by a truncation method. The equations of motion are integrated numerically for the case where the average number of photons in a laser cavity has the realistically large value 1.3 x 100,000. An alternative Fokker-Planck-equation approach is discussed.

Wang, Y. K.↗

Theory and calculation of resonances and autoionization of two-electron atoms and ions

Techniques for calculating the electron scattering from one-electron hydrogen-like targets on the basis of the Feshback formalism, are discussed. The principal similarities between resonance parameters in the Feshbach formalism and the corresponding Breit-Wigner quantities, are described in detail. Special attention is devoted to a description of the Fano line shape parameter q, and a technique for formulating it in terms of a projector operator is proposed. The theoretical methods are illustrated by numerical calculations for 1S, 3P, and 1D states of H(-) below the first excited threshold of the target atom. Calculations of 1,3S 1,3P, 1,3D states for He are also presented.

Temkin, A.↗

A generalized procedure for constructing an upwind-based TVD scheme

A generalized formulation for constructing second- and higher-order accurate TVD (total variation diminishing) schemes is presented. A given scheme is made TVD by limiting antidiffusive flux differences with some nonlinear functions, so-called limiters. The general idea of the formulation and its mathematical proof of Harten's TVD conditions is shown by applying the Lax-Wendroff method to a scalar nonlinear equation and constant-coefficient system of conservation laws. For the system of equations, several definitions are derived for the argument used in the limiter function and present their performance to numerical experiments. Then the formulation is formally extended to the nonlinear system of equations. It is demonstrated that use of the present procedure allows easy conversion of existing central or upwind, and second- or higher-order differencing schemes so as to preserve monotonicity and to yield physically admissible solutions. The formulation is simple mathematically as well as numerically; neither matrix-vector multiplication nor Riemann solver is required. Roughly twice as much computational effort is needed as compared to conventional scheme. Although the notion of TVD is based on the initial value problem, application to the steady Euler equations of the formulation is also made. Numerical examples including various ranges of problems show both time- and spatial-accuracy in comparison with exact solutions.

Liou, Meng-Sing↗

Summer High School Apprenticeship Research Program (SHARP)

The summer of 1997 will not only be noted by NASA for the mission to Mars by the Pathfinder but also for the 179 brilliant apprentices that participated in the SHARP Program. Apprentice participation increased 17% over last year's total of 153 participants. As indicated by the End-of-the-Program Evaluations, 96% of the programs' participants rated the summer experience from very good to excellent. The SHARP Management Team began the year by meeting in Cocoa Beach, Florida for the annual SHARP Planning Conference. Participants strengthened their Education Division Computer Aided Tracking System (EDCATS) skills, toured the world-renowned Kennedy Space Center, and took a journey into space during the Alien Encounter Exercise. The participants returned to their Centers with the same goals and objectives in mind. The 1997 SHARP Program goals were: (1) Utilize NASA's mission, unique facilities and specialized workforce to provide exposure, education, and enrichment experiences to expand participants' career horizons and inspire excellence in formal education and lifelong learning. (2) Develop and implement innovative education reform initiatives which support NASA's Education Strategic Plan and national education goals. (3) Utilize established statistical indicators to measure the effectiveness of SHARP's program goals. (4) Explore new recruiting methods which target the student population for which SHARP was specifically designed. (5) Increase the number of participants in the program. All of the SHARP Coordinators reported that the goals and objectives for the overall program as well as their individual program goals were achieved. Some of the goals and objectives for the Centers were: (1) To increase the students' awareness of science, mathematics, engineering, and computer technology; (2) To provide students with the opportunity to broaden their career objectives; and (3) To expose students to a variety of enrichment activities. Most of the Center goals and objectives were consistent with the overall program goals. Modem Technology Systems, Inc., was able to meet the SHARP Apprentices, Coordinators and Mentors during their site visits to Stennis Space Center, Ames Research Center and Dryden Flight Research Center. All three Centers had very efficient programs and adhered to SHARP's general guidelines and procedures. MTSI was able to meet the apprentices from the other Centers via satellite in July during the SHARP Video-Teleconference(ViTS). The ViTS offered the apprentices and the NASA and SHARP Coordinators the opportunity to introduce themselves. The apprentices from each Center presented topical "Cutting Edge Projects". Some of the accomplishments for the 1997 SHARP Program year included: MTSI hiring apprentices from four of the nine NASA Centers, the full utilization of the EDCATS by apprentices and NASA/SHARP Coordinators, the distribution of the SHARP Apprentice College and Scholarship Directory, a reunion with former apprentices from Langley Research Center and the development of a SHARP Recruitment Poster. MTSI developed another exciting newsletter containing graphics and articles submitted by the apprentices and the SHARP Management Team.

Source record↗

Development of A Directed Acyclic Graph for Venous Thromboembolism During Spaceflight

Introduction: Recent studies have reported the development of venous blood flow stasis in astronauts and an occlusive venous thrombosis during spaceflight. Subsequent investigations revealed approximately one quarter of surveilled crew members had some degree of blood flow stasis in the left internal jugular vein. Therefore, NASA’s Human System Risk Board now formally tracks venous thromboembolism (VTE) as a “concern” for human spaceflight. To investigate potential mechanisms by which exposures concomitant with spaceflight (e.g., microgravity, radiation) may contribute to VTE, we developed a causal diagram in the form of a directed acyclic graph (DAG). Methods: The mechanisms by which spaceflight exposures may elevate the risk of VTE and the downstream effects on mission outcomes were critically analyzed, taking into account scientific literature and subject matter expertise consultation, and a DAG was generated. A Level-of-Evidence score for each causal relationship was assigned based on assessing the literature against a set of criteria derived from the A. Bradford Hill Causal Guidelines. Results: The set of three main factors that predispose people to VTE (hypercoagulability, endothelial damage, and blood stasis) is known as Virchow’s Triad. In constructing the DAG for VTE we articulated various mechanisms by which the principal spaceflight hazards (microgravity, radiation, closed hostile environment, isolation and confinement, distance from Earth) are thought to interact with or cause the components in Virchow’s triad. We found sufficient evidence to at least speculate that fluid shifts from microgravity, compensatory alterations in hematologic indices, spaceflight atmospheric conditions, and oxidative stress/inflammation from radiation may be potential contributors to VTE development. Discussion: Developing the DAG entailed a systematic and repeatable approach for visualizing relationships between contributing factors that may lead to VTE in spaceflight. Articulating pathways linking spaceflight exposures to VTE risk factors and possible VTE development enables subject matter experts from different domains to construct a shared mental model. Assignment of levels of evidence scores to the relationships helps identify knowledge and capability gaps that should be considered for further investigation. Furthermore, the DAG highlights modifiable variables and may therefore facilitate the development of new VTE risk mitigation strategies.

Alexander Svoronos↗

Analysis of Three Body Decays in Quasi-Real Photoproduction

This thesis presents preliminary measurements of the moments of angular distribution for the K?K+ mesonic final state using a quasi-real, linearly polarised photon. Two of the main points of focus for this analysis were the development of the formalism for photoproduced vector-pseudoscalar decay and the tools by which the analysis was carried out. The formalism described how the moments of angular distribution could be extracted from the angular decay variables, and how they related to resonance decays in terms of partial waves. In extracting the moments, it was found that adapted Markov Chain Monte Carlo (MCMC) methods proved to be more effective in terms of extracting results from the data compared to the sole use of gradient descent based fitting algorithms. These measurements are complementary to other decay channels and production mechanisms, with the global aim of probing the existence of exotic mesons. Data from this analysis was taken by the CLAS collaboration at the Thomas Jefferson National Accelerator Facility (JLab) by scattering from a liquid hydrogen target using a 10.6 GeV electron. This work was done within the MesonEx program at CLAS12 that aims to map the spectrum of mesons, and in doing so, gain a greater understanding of Quantum ChromoDynamics (QCD) and the strong force.

Wishart, Robert↗

Forces and stress in second order Møller-Plesset perturbation theory for condensed phase systems within the resolution-of-identity Gaussian and plane waves approach

The forces acting on the atoms as well as the stress tensor are crucial ingredients for calculating the structural and dynamical properties of systems in the condensed phase. Here, these derivatives of the total energy are evaluated for the second-order Møller-Plesset perturbation energy (MP2) in the framework of the resolution of identity Gaussian and plane waves method, in a way that is fully consistent with how the total energy is computed. This consistency is non-trivial, given the different ways employed to compute Coulomb, exchange, and canonical four center integrals, and allows, for example, for energy conserving dynamics in various ensembles. Based on this formalism, a massively parallel algorithm has been developed for finite and extended system. The designed parallel algorithm displays, with respect to the system size, cubic, quartic, and quintic requirements, respectively, for the memory, communication, and computation. All these requirements are reduced with an increasing number of processes, and the measured performance shows excellent parallel scalability and efficiency up to thousands of nodes. Additionally, the computationally more demanding quintic scaling steps can be accelerated by employing graphics processing units (GPU’s) showing, for large systems, a gain of almost a factor two compared to the standard central processing unit-only case. In this way, the evaluation of the derivatives of the RI-MP2 energy can be performed within a few minutes for systems containing hundreds of atoms and thousands of basis functions. With good time to solution, the implementation thus opens the possibility to perform molecular dynamics (MD) simulations in various ensembles (microcanonical ensemble and isobaric-isothermal ensemble) at the MP2 level of theory. Geometry optimization, full cell relaxation, and energy conserving MD simulations have been performed for a variety of molecular crystals including NH{sub 3}, CO{sub 2}, formic acid, and benzene.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗