Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Polyhedra”

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.

138 records · Page 8

High Fidelity CFD Analysis and Validation of Rotorcraft Gearbox Aerodynamics Under Operational and Oil-Out Conditions

This document represents the evolving formal documentation of the NPHASE-PSU computer code. Version 3.15 is being delivered along with the software to NASA in 2013.Significant upgrades to the NPHASE-PSU have been made since the first delivery of draft documentation to DARPA and USNRC in 2006. These include a much lighter, faster and memory efficient face based front end, support for arbitrary polyhedra in front end, flow-solver and back-end, a generalized homogeneous multiphase capability, and several two-fluid modelling and algorithmic elements. Specific capability installed for the NASA Gearbox Windage Aerodynamics NRA are included in this version: Hybrid Immersed Overset Boundary Method (HOIBM) [Noack et. al (2009)] Periodic boundary conditions for multiple frames of reference, Fully generalized immersed boundary method, Fully generalized conjugate heat transfer, Droplet deposition, bouncing, splashing models, and, Film transport and breakup.

Gears↗

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

Pichardie, David↗

DNS of Laminar to Turbulent Transition on NACA 0012 Airfoil with Sand Grain Roughness

The Lattice-Boltzmann-based solver PowerFLOW is used to perform direct numerical simulations of the transitional flow over an airfoil at Reynolds number equal to 0.657 million. The leading edge of the airfoil is covered with sand particles, represented by polyhedra, to mimic the grit used in experiments. The sensitivity of the laminar to turbulent transition to the size of these particles, grid resolution, spanwise length is evaluated and rectangular trips are also tested.

Ribeiro, A. F. P.↗

Spatial and Temporal Deconfliction of Trajectories in the Presence of Uncertainties

Demonstration of conflict-free movement for multi-agent teams in challenging scenarios is crucial in developing trust and trustworthiness in an autonomous transport system. Tolerance verification queries are explored as a mechanism to enforce spatial and temporal deconfliction for a cooperating team of Unmanned Aerial Systems (UAS) with prescribed heterogeneous path-following performance. Obstacles in the environment are modelled as set of polyhedra, whereas each vehicle’s trajectory is represented as a sequence of polynomial curves with C2 continuity, expressed in a Bernstein basis. Each vehicle is modelled as a point mass and a safety distance, informed by the geometry of the UAS and the worst-case path-following error. This defines a tube around the trajectories where each UAS is most likely to fly through. In addition, obstacles in the environment have an associated safety buffer around them to account for the uncertainty in their location and geometric description. The tolerance verification queries explored in this paper combine the safety distance information from each UAS and environmental hazard to compute trajectories that are contained within the safe configuration space. Tolerance verification is also compared with other proximity queries to determine the suitability of each method along the different steps of the trajectory generation algorithm. This paper analyzes the fitness and performance of three proximity queries – collision, tolerance verification, and distance computations – between polyhedral and polynomial curves to ensure deconfliction between obstacles and vehicles, but also between polynomial curves to guarantee safe separation among cooperating UAS.

trajectory generation↗

Mechanical twinning of monazite expels radiogenic Pb

Mechanical twins form by the simple shear of the crystal lattice during deformation In order to test the potential of narrow twins in monazite to record the timing of their formation, a ~1,700 Ma monazite grain deformed at ~980 Ma was investigated by electron backscattered diffraction (EBSD), transmission electron microscopy (TEM) and atom probe tomography (APT). APT 208Pb/232Th ages indicate that the twin was entirely reset by radiogenic Pb-loss during its formation at conditions far below the monazite closure temperature. The results are consistent with a model where Pb is liberated during rupture of REE-O bonds in the large REEO9 polyhedra during twinning. Liberated Pb is likely to migrate along fast diffusion pathways such as crystal defects. The combination of a quantitative microstructural investigation and nanogeochronology provides a new approach for understanding the history of accessory phases.

monazite↗

Microgravity Effects on Nonequilibrium Melt Processing of Neodymium Titanate: Thermophysical Properties, Atomic Structure, Glass Formation and Crystallization

The relationships between materials processing and structure can vary between terrestrial and reduced gravity environments. As one case study, we compare the nonequilibrium melt processing of a rare-earth titanate, nominally 83TiO 2 -17Nd 2 O 3 , and the structure of its glassy and crystalline products. Density and thermal expansion for the liquid, supercooled liquid, and glass are measured over 300–1850 °C using the Electrostatic Levitation Furnace (ELF) in microgravity, and two replicate density measurements were reproducible to within 0.4%. Cooling rates in ELF are 40–110 °C s −1 lower than those in a terrestrial aerodynamic levitator due to the absence of forced convection. X-ray/neutron total scattering and Raman spectroscopy indicate that glasses processed on Earth and in microgravity exhibit similar atomic structures, with only subtle differences that are consistent with compositional variations of ~2 mol. % Nd 2 O 3 . The glass atomic network contains a mixture of corner- and edge-sharing Ti-O polyhedra, and the fraction of edge-sharing arrangements decreases with increasing Nd 2 O 3 content. X-ray tomography and electron microscopy of crystalline products reveal substantial differences in microstructure, grain size, and crystalline phases, which arise from differences in the melt processes.

thermophysical properties↗

Multi-plane moment-of-fluid interface reconstruction in 3D

Moment-of-fluid (MOF) methods for interface reconstruction approximate the region occupied by material in each mesh element only through reference to its geometric moments. Here, we present a 3D MOF method that represents the material (POM) in each cell as the convex intersection of the cell and multiple half-spaces, each selected to minimize the least-squares error between computed moments of the approximated material and provided reference moments. This optimization problem is highly non-linear and non-convex, making the numerical result very sensitive to the initial guess. To create an effective initial guess in each cell, we construct an ellipsoid from 0th–2nd order reference moments such that its shape corresponds with that of the POM. Within this ellipsoid we inscribe a polyhedron, and initialize the minimization problem with the half-spaces defined by each of its faces. The inscribed polyhedron has minimally 4 faces, and using up to 3rd order moments permits optimization over up to 20 unknown values. We therefore define MOF methods that utilize 4, 5, or 6 half-spaces, correspondingly initialized with the faces of a single inscribed tetrahedron, triangular prism, or hexahedron. Stability of the non-linear optimization is further improved with a prepossessing step that normalizes the reference moments according to the axes of the reference ellipsoid. Using this approach, the non-linear least-squares solver reliably converges to a near-global minimum from a single initial guess. We demonstrate accuracy and robustness using single-cell and multi-cell examples over a wide spectrum of geometry. In particular, we demonstrate our ability to exactly reproduce several important and complex features defined by up to four half-spaces, such as corners, filaments, filament tips, and embedded material in the cell.

3D interface reconstruction↗

Nanometer-Scale Fullerene-Type Conjugated Covalent Cages Based on Triazine: Design, Doping with Li + , and H 2 /CO 2 Adsorption

Spherical and hollow molecular cages based on planar triazine (C 3 N 3 ) hubs and aromatic phenylene connectors have been developed. The cages exhibit topologies akin to C 20 , C 60 , and C 70 fullerenes with diameters that range from 2.3 to 4.9 nm. Apertures into the cage interiors are tuned by varying the aromatic connectors situated between the C 3 N 3 -units. The stabilities of the C 3 N 3 cages increase with size owing to reduced bending strain of planar nodes and connectors that make up the spherical aromatic networks. Doping of the cages with Li + reveals the capacity of the cages for significant adsorption of gaseous H 2 and CO 2 . The design of graphene-like spherical cages is also discussed.

DFT calculations↗

Spherical Congeners of Polyaromatic Compounds Approaching C 20 - and C 60 -Fullerene-Type Structures

A series of three symmetric, hollow spherical, and shape-persistent molecular organic cages analogous to C 20 and C 60 were examined by computational modeling, analyzing structural elements, strain indicators, and physical properties relevant for potential applications. The compounds are covalent aromatic cages based on 1,3,5-substituted benzene nodes linked by paraphenylene or para-pyrenylene-connectors, with diameters varying from 2.3 to 4.2 nm. The apertures in the cage interior are varied by virtue of the cage type (C 20 - or C 60 -type cage) and the linear connectors placed between the C 6 H 3 -units. NBO and MESP analyses indicate the presence of electrophilic and nucleophilic sites in the molecular skeleton. In the cages with the phenylene-connectors, the HOMO−LUMO gaps are close to 4.0 eV. In the cage coated with an enlarged polyaromatic spacer (pyrene-unit), the gap is reduced by approximately 0.4 eV.

Aromatic compounds↗

Gas-mediated trace element incorporation into rhyolite-hosted topaz: A synchrotron microbeam XAS study

Magmatic gas exsolving during late-stage cooling of shallow magmas has been considered an important facilitator of low-pressure alteration and metal transport. However, the chemical properties of such gas, particularly its metal transport mechanisms and capacity, remain elusive. Trace elements in minerals produced by gas-mediated surface reaction or precipitation from gas capture details of gas composition and reaction pathways. However, interpretation of mineral trace element contents is dependent on understanding crystallographic controls on gas/mineral partitioning. Here, this work investigates the structural accommodation of As, Mn, Ga, Ge, Fe, and Ti in vapor-deposited topaz of vesicular topaz rhyolite from the Thomas Range, Utah, through single-crystal synchrotron microbeam X-ray techniques on picogram quantities of those trace elements. X-ray absorption near edge structure (XANES) data indicates that these elements are incorporated into topaz as As 5+ , Fe 3+ , Mn 3+ , Ti 4+ , Ga 3+ , and Ge 4+ . Extended X-ray absorption fine structure (EXAFS) analysis for these trace elements, compared to EXAFS of structural Al and Si, reveals that As 5+ and Ge 4+ are incorporated directly into the tetrahedral site of the topaz structure, with the octahedral site accommodating Mn 3+ , Fe 3+ , Ga 3+ , and Ti 4+ . For As 5+ and Fe 3+ , the structural impact of substitution extends to at least second neighbors (other elements were only resolvable to first neighbors). Further interpretation of the EXAFS results suggests that the substitution of Ti 4+ results in increased distortion of the octahedral site, while the other trace elements induce more uniform expansion correlating in magnitude to their ionic radius. Comparison of quantified X-ray fluorescence (XRF) data for two topaz crystals from this rhyolite reveals variable trace element concentrations for As 5+ , Fe 3+ , Ga 3+ , and Ti 4+ , reflective of a source gas undersaturated in these trace elements changing in concentration over the period of topaz deposition. The identical Ge 4+ content of the two topaz crystals suggests that Ge 4+ in the gas was buffered by the growth of another Ge 4+ -bearing phase, such as quartz. The very low Mn 3+ content in the topaz crystals does not reflect the abundance of Mn 3+ in the gas (saturation of Mn is evidenced by coexisting bixbyite). Instead, it suggests a strong Jahn-Teller inhibitory effect to the substitution of Mn 3+ for Al 3+ in the distorted octahedral site of topaz. It is proposed that exsolution of an HF-enriched gas from cooling rhyolitic magma led to local scouring of Al, Si, and trace metals from the magma. Once topaz crystals nucleated, self-catalyzed reactions that recycle HF led to continued growth of topaz.

36 MATERIALS SCIENCE↗

The crystal structure of feitknechtite (β-MnOOH) and a new MnOOH polymorph

Studies suggest that feitknechtite (β-MnOOH) is a prevalent, and perhaps necessary, intermediate phase during the synthesis of birnessite-like phases, the abiotic oxidation of Mn2+, and the transformation of biogenic hexagonal phyllomanganates to more complex Mn oxides in laboratory and natural systems. Researchers have generally described feitknechtite as consisting of pyrochroite-like (or cadmium iodide-like) Mn-O octahedral layers, but a detailed crystal structure has not been reported. For this work, we used TEM/SAED and powder XRD and Rietveld refinements to derive the unit cell and, for the first time, report a complete structure description for feitknechtite (β-MnOOH). Rietveld refinements were also completed for three natural feitknechtite/hausmannite samples, and time-resolved synchrotron XRD experiments were used to follow the thermal transformation of feitknechtite to hausmannite. Additionally, we identified and report the structure for a second, and perhaps novel, MnOOH polymorph (proposed designation ε-MnOOH), mixed with the synthetic feitknechtite, that is similar to β-MnOOH but with a different layer stacking.

58 GEOSCIENCES↗