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.

34 records · Page 2

Carbonate stability in the earth's mantle - A vibrational spectroscopic study of aragonite and dolomite at high pressures and temperatures

The structural changes of aragonite and dolomite taking place at high pressures and temperatures were investigated by measuring the Raman spectra of these materials to pressures of 23 and 28 GPa (generated in a diamond anvil cell), respectively; in addition, the IR spectra of aragonite were measured to 40 GPa. The spectroscopic data demonstrated that, at 300 K, dolomite and aragonite samples were stable to pressures of 28 and 41 GPa, respectively. No phase transitions were observed following heating of aragonite and dolomite to temperatures of 2000 K and 800 K, respectively. The mode Grueneisen parameters indicate that the carbonate group in these two minerals is relatively insensitive to pressure, with the dominant compaction mechanism being the compression of the Ca and Mg polyhedra.

Kraft, Susan↗

Enhancement of biological control agents for use against forest insect pests and diseases through biotechnology

Research and development efforts in our research group are focused on the generation of more efficacious biological control agents through the techniques of biotechnology for use against forest insect pests and diseases. Effective biological controls for the gypsy moth and for tree fungal wilt pathogens are under development. The successful use of Gypchek, a formulation of the Lymantria dispar nuclear polyhedrosis virus (LdNPV), in gypsy moth control programs has generated considerable interest in that agent. As a consequence of its specificity, LdPNV has negligible adverse ecological impacts compared to most gypsy moth control agents. However, LdNPV is not competitive with other control agents in terms of cost and efficacy. We are investigating several parameters of LdNPV replication and polyhedra production in order to enhance viral potency and efficacy thus mitigating the current disadvantages of LdNPV for gypsy moth control, and have identified LdNPV variants that will facilitate these efforts. Tree endophytic bacteria that synthesize antifungal compounds were identified and an antibiotic compound from one of these bacteria was characterized. The feasibility of developing tree endophytes as biological control agents for tree vascular fungal pathogens is being investigated.

Slavicek, James M.↗

Distance estimation and collision prediction for on-line robotic motion planning

An efficient method for computing the minimum distance and predicting collisions between moving objects is presented. This problem is incorporated into the framework of an in-line motion-planning algorithm to satisfy collision avoidance between a robot and moving objects modeled as convex polyhedra. In the beginning, the deterministic problem where the information about the objects is assumed to be certain is examined. L(1) or L(infinity) norms are used to represent distance and the problem becomes a linear programming problem. The stochastic problem is formulated where the uncertainty is induced by sensing and the unknown dynamics of the moving obstacles. Two problems are considered: First, filtering of the distance between the robot and the moving object at the present time. Second, prediction of the minimum distance in the future in order to predict the collision time.

Kyriakopoulos, K. J.↗

Distance estimation and collision prediction for on-line robotic motion planning

An efficient method for computing the minimum distance and predicting collisions between moving objects is presented. This problem has been incorporated in the framework of an in-line motion planning algorithm to satisfy collision avoidance between a robot and moving objects modeled as convex polyhedra. In the beginning the deterministic problem, where the information about the objects is assumed to be certain is examined. If instead of the Euclidean norm, L(sub 1) or L(sub infinity) norms are used to represent distance, the problem becomes a linear programming problem. The stochastic problem is formulated, where the uncertainty is induced by sensing and the unknown dynamics of the moving obstacles. Two problems are considered: (1) filtering of the minimum distance between the robot and the moving object, at the present time; and (2) prediction of the minimum distance in the future, in order to predict possible collisions with the moving obstacles and estimate the collision time.

Kyriakopoulos, K. J.↗

Surface acquisition through virtual milling

Surface acquisition deals with the reconstruction of three dimensional objects from a set of data points. The most straightforward techniques require human intervention, a time consuming proposition. It is desirable to develop a fully automated alternative. Such a method is proposed in this paper. It makes use of surface measurements obtained from a 3-D laser digitizer - an instrument which provides the (x,y,z) coordinates of surface data points from various viewpoints. These points are assembled into several partial surfaces using a visibility constraint and a 2-D triangulation technique. Reconstruction of the final object requires merging these partial surfaces. This is accomplished through a procedure that emulates milling, a standard machining operation. From a geometrical standpoint the problem reduces to constructing the intersection of two or more non-convex polyhedra.

Marshal L Merriam↗

A mixed volume grid approach for the Euler and Navier-Stokes equations

An approach for solving the compressible Euler and Navier-Stokes equations upon meshes composed of nearly arbitrary polyhedra is described. Each polyhedron is constructed from an arbitrary number of triangular and quadrilateral face elements, allowing the unified treatment of tetrahedral, prismatic, pyramidal, and hexahedral cells, as well the general cut cells produced by Cartesian mesh approaches. The basics behind the numerical approach and the resulting data structures are described. The accuracy of the mixed volume grid approach is assessed by performing a grid refinement study upon a series of hexahedral, tetrahedral, prismatic, and Cartesian meshes for an analytic inviscid problem. A series of laminar validation cases are made, comparing the results upon differing grid topologies to each other, to theory, and experimental data. A computation upon a prismatic/tetrahedral mesh is made simulating the laminar flow over a wall/cylinder combination.

Coirier, William J.↗

[Formian 2 and a Formian Function for Processing Polyhedric Configurations]

The work began in October 1994 with the following objectives: (1) to produce an improved version of the programming language Formian; and (2) to create a means for computer aided handling of polyhedric configurations including the geodesic forms of all kinds. A new version of Formian, referred to as Formian 2, is being implemented to operate in the Windows 95 environment. It is an ideal tool for configuration management in a convenient and user-friendly manner. The second objective was achieved by creating a standard Formian function that allows convenient handling of all types of polyhedric configurations. In particular, the focus of attention is on polyhedric configurations that are of importance in architectural and structural engineering fields. The natural medium for processing of polyhedric configurations is a programming language that incorporates the concepts of 'formex algebra'. Formian is such a programming language in which the processing of polyhedric configurations can be carried out using the standard elements of the language. A description of this function is included in a chapter for a book entitled 'Beyond the Cube: the Architecture of space Frames and Polyhedra'. A copy of this chapter is appended.

Nooshin, H.↗

A Parallel Cartesian Approach for External Aerodynamics of Vehicles with Complex Geometry

This workshop paper presents the current status in the development of a new approach for the solution of the Euler equations on Cartesian meshes with embedded boundaries in three dimensions on distributed and shared memory architectures. The approach uses adaptively refined Cartesian hexahedra to fill the computational domain. Where these cells intersect the geometry, they are cut by the boundary into arbitrarily shaped polyhedra which receive special treatment by the solver. The presentation documents a newly developed multilevel upwind solver based on a flexible domain-decomposition strategy. One novel aspect of the work is its use of space-filling curves (SFC) for memory efficient on-the-fly parallelization, dynamic re-partitioning and automatic coarse mesh generation. Within each subdomain the approach employs a variety reordering techniques so that relevant data are on the same page in memory permitting high-performance on cache-based processors. Details of the on-the-fly SFC based partitioning are presented as are construction rules for the automatic coarse mesh generation. After describing the approach, the paper uses model problems and 3- D configurations to both verify and validate the solver. The model problems demonstrate that second-order accuracy is maintained despite the presence of the irregular cut-cells in the mesh. In addition, it examines both parallel efficiency and convergence behavior. These investigations demonstrate a parallel speed-up in excess of 28 on 32 processors of an SGI Origin 2000 system and confirm that mesh partitioning has no effect on convergence behavior.

Aftosmis, M. J.↗

Science Using an Electrostatic Levitation Furnace in the MUCAT Sector at the APS

The original motivation for the construction of the BESL prototype was to obtain the first proof of a 50-year-old hypothesis regarding the solidification of liquid metals. Since the 1950s it has been known that under proper conditions liquid metals can be cooled below their melting temperature (undercooled) without crystallizing to the stable solid phase. In 1952 Frank proposed that this was because the atoms in the metallic liquid were arranged with the symmetry of an icosahedron, a Platonic solid consisting of 20 tetrahedra (4-sided pyramid-shaped polyhedra) arranged around a common center. Since this local atomic order is incompatible with the long-range translational periodicity of crystal phases, a barrier is formed to the formation of small regions of the crystal phase, the nucleation barrier. A proof of Frank's hypothesis required a direct correlation between measured icosahedral order in the undercooled liquid and the nucleation barrier. The tendency of sample containers to catalyze nucleation obscured this relation, requiring containerless techniques. Combining containerless processing techniques for electrostatically levitated droplets (ESL) with x-ray synchrotron methods, a team from Washington University, St. Louis, MO, NASA Marshall Space Flight Center, and MUCAT at the APS demonstrated an increasing icosahedral order in TiZrNi liquids with decreasing temperature below the melting temperature. The increased icosahedral order caused the transformation of the liquid to a metastable icosahedral quasicrystal phase, instead of the stable tetrahedrally-coordinated crystal intermetallic, giving the first clear demonstration of the connection between the nucleation barrier and the local structure of the liquid, verifying Frank's hypothesis for this alloy.

Goldman, A.↗

Polyhedron Modeling of Rubble-Pile Asteroids

We report on progress in modeling of asteroids as collections of rigid polyhedra ("rubble piles"). Such models are (idealized) candidates for asteroid structures: aggregates of irregular rocky subunits that are held together by self-gravity and friction. We have taken several steps toward greater realism and physical interest in construction of the models (although the gravitational fields are being treated in a simplified manner). -

Korycansky, D. G.↗

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↗