Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “partitioned 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 451 records · Page 25

Parallel implicit unstructured grid Euler solvers

A mesh-vertex finite volume scheme for solving the Euler equations on triangular unstructured meshes is implemented on a multiple-instruction/multiple-data stream parallel computer. An explicit four-stage Runge-Kutta scheme is used to solve two-dimensional flow problems. A family of implicit schemes is also developed to solve these problems, where the linear system that arises at each time step is solved by a preconditioned GMRES algorithm. Two partitioning strategies are employed: one that partitions triangles and the other that partitions vertices. The choice of the preconditioner in a distributed memory setting is discussed. All of the methods are compared both in terms of elapsed times and convergence rates. It is shown that the implicit schemes offer adequate parallelism at the expense of minimal sequential overhead. The use of a global coarse grid to further minimize this overhead is also investigated. The schemes are implemented on a distributed memory parallel computer, the Intel iPSC/860.

TRT-THEORETICAL↗

Three-Dimensional High-Order Spectral Volume Method for Solving Maxwell's Equations on Unstructured Grids

A three-dimensional, high-order, conservative, and efficient discontinuous spectral volume (SV) method for the solutions of Maxwell's equations on unstructured grids is presented. The concept of discontinuous 2nd high-order loca1 representations to achieve conservation and high accuracy is utilized in a manner similar to the Discontinuous Galerkin (DG) method, but instead of using a Galerkin finite-element formulation, the SV method is based on a finite-volume approach to attain a simpler formulation. Conventional unstructured finite-volume methods require data reconstruction based on the least-squares formulation using neighboring cell data. Since each unknown employs a different stencil, one must repeat the least-squares inversion for every cell at each time step, or to store the inversion coefficients. In a high-order, three-dimensional computation, the former would involve impractically large CPU time, while for the latter the memory requirement becomes prohibitive. In the SV method, one starts with a relatively coarse grid of triangles or tetrahedra, called spectral volumes (SVs), and partition each SV into a number of structured subcells, called control volumes (CVs), that support a polynomial expansion of a desired degree of precision. The unknowns are cell averages over CVs. If all the SVs are partitioned in a geometrically similar manner, the reconstruction becomes universal as a weighted sum of unknowns, and only a few universal coefficients need to be stored for the surface integrals over CV faces. Since the solution is discontinuous across the SV boundaries, a Riemann solver is thus necessary to maintain conservation. In the paper, multi-parameter and symmetric SV partitions, up to quartic for triangle and cubic for tetrahedron, are first presented. The corresponding weight coefficients for CV face integrals in terms of CV cell averages for each partition are analytically determined. These discretization formulas are then applied to the integral form of the Maxwell equations. All numerical procedures for outer boundary, material interface, zonal interface, and interior SV face are unified with a single characteristic formulation. The load balancing in a massive parallel computing environment is therefore easier to achieve. A parameter is introduced in the Riemann solver to control the strength of the smoothing term. Important aspects of the data structure and its effects to communication and the optimum use of cache memory are discussed. Results will be presented for plane TE and TM waves incident on a perfectly conducting cylinder for up to fifth order of accuracy, and a plane wave incident on a perfectly conducting sphere for up to fourth order of accuracy. Comparisons are made with exact solutions for these cases.

Liu, Yen↗

Efficient shallow Ritz method for 1D diffusion problems

This paper studies the shallow Ritz method for solving the one-dimensional diffusion problem. It is shown that the shallow Ritz method improves the order of approximation dramatically for non-smooth problems. To realize this optimal or nearly optimal order of the shallow Ritz approximation, we develop a damped block Newton (dBN) method that alternates between updates of the linear and non-linear parameters. Per each iteration, the linear and the non-linear parameters are updated by exact inversion and one step of a modified, damped Newton method applied to a reduced non-linear system, respectively. The computational cost of each dBN iteration is $\mathcal{O}$(n). Starting with the non-linear parameters as a uniform partition of the interval, numerical experiments show that the dBN is capable of efficiently moving mesh points to nearly optimal locations. In conclusion, to improve the efficiency of the dBN further, we propose an adaptive damped block Newton (AdBN) method by combining the dBN with the adaptive neuron enhancement (ANE) method [28].

Diffusion problems↗

Data Fusion and Mining Techniques to Map Water Use and Drought across Spatial and Temporal Scales

As the world’s water resources come under increasing tension due to dual stressors of climate change and population growth, accurate knowledge of water consumption through evapotranspiration (ET) over a range in spatial scales will be critical in developing adaptation strategies. Remote sensing methods for monitoring consumptive water use (e.g, ET) are becoming increasingly important, especially in areas of significant water and food insecurity. One method to estimate ET from satellite-based methods, the Atmosphere Land Exchange Inverse (ALEXI) model uses the change in mid-morning land surface temperature to estimate the partitioning of sensible and latent heat fluxes which are then used to estimate daily ET. This presentation will outline several recent enhancements to the ALEXI modeling system, with a focus on global ET and drought monitoring. Until recently, ALEXI has been limited to areas with high resolution temporal sampling of geostationary sensors. The use of geostationary sensors makes global mapping a complicated process, especially for real-time applications, as data from as many as five different sensors are required to be ingested and harmonized to create a global mosaic. However, our research team has developed a new and novel method of using twice-daily observations from polar-orbiting sensors such as MODIS and VIIRS to estimate the mid-morning rise in LST that is used to drive the energy balance estimations within ALEXI. This allows the method to be applied globally using a single sensor (in this case, initially MODIS with a planned transition to VIIRS) rather than a global compositing of all available geostationary data. Other advantages of this new method include the higher spatial resolution provided by MODIS and VIIRS and the increased sampling at high latitudes where oblique view angles limit the utility of geostationary sensors. This presentation will focus on global applications for mapping water use and drought using data mining and data fusion across spatial scales extending from 5-km to 30-m “field-scale” estimates.

Christopher Hain↗

Economic Extraction and Recovery of REEs and Production of Clean Value-Added Products from Low-Rank Coal Fly Ash

The University of North Dakota (UND) Energy & Environmental Research Center (EERC) teamed with Pacific Northwest National Laboratory (PNNL) , the North Dakota Industrial Commission Lignite Research Program, and commercial partners Basin Electric Power Cooperative, Great River Energy, and Southern Company to execute a Cooperative Agreement funded by the U.S. Department of Energy’s (DOE’s) National Energy Technology Laboratory (NETL) focused on identifying unique pathways and pretreatments to extract rare-earth elements (REEs) from low-rank coal (LRC) ash in a more economical and environmentally benign manner than current methods. The EERC drew upon the unique and deep knowledge of the team regarding LRC geochemistry, ash transformation mechanisms during combustion, and fly ash chemistry in the approach to understand the portioning of REEs in LRC ash. A comprehensive characterization effort was undertaken to fully establish the form, associations, and partitioning of the REEs and other elements/minerals of interest in fly ash, as well as the ash chemistry, mineralogy, and morphology. Using this information, the team tested methods of REE extraction to take advantage of the unique and advantageous properties of LRC ash. Multiple complementary approaches were evaluated that combined both novel and proven methods to develop an extractive process for REEs and other high-value metals from LRC ash that provide technological and economic progress on the current state of the art. Methodologies were also evaluated for the potential to synergistically remove toxic metals while extracting other high-value metals from the ash, generating a clean, safe ash material as a value-added product. This would eliminate waste and offer significant additional revenue potential. Based on laboratory-scale testing, an initial high-level technical and economic analysis to estimate operating expenses and product revenues to guide future phases of technology development was implemented. By focusing on minimizing process steps and consumptive use of extraction solutions, a tunable, economically viable process for REE extraction from LRC ash was developed. The tunable process has the ability to be adjusted to adapt to the differing ash chemical and physical properties that are characteristic of LRC ash. This is key to deployment as a commercial process. In demonstrating the process, the EERC was able to illustrate mixed REE concentration greater than the goal of 2 wt%. High-level economic analysis of the process with LRC ash of moderate REE levels demonstrated the potential of the process, but recovery of just the REEs was insufficient to cover operational costs. With the additional extraction of other high-value metals found in LRC ash, the process economics approach would break even, and it is anticipated that with process optimization, the developed process could potentially be economically sound. The same economic analysis performed utilizing LRC ash with high levels of REEs showed the recovery of the REEs alone would make the process economically viable even without further optimization.

01 COAL, LIGNITE, AND PEAT↗

Reduction of truncation errors in modal analysis

A condensation method and computer program are described for large discrete parameter vibration analysis of complex structures that greatly reduces truncation errors and provides accurate definition of modes in a selected frequency range. A dynamic transformation is obtained from the partitioned equations of motion that relates modes not explicitly in the condensed solution to the retained modes at a selected system frequency. The generalized mass and stiffness matrices, obtained with existing modal synthesis methods, are reduced using this transformation and solved. Revised solutions are then obtained using new transformations at the calculated eigenvalues and are also used to assess the accuracy of the results. Computations are made tractable by simplified forms of the transformation that result with various modal synthesis methods. Three examples using the dynamic transformation in conjunction with a General Electric stiffness coupling method and the method of Craig and Bampton indicate large reductions in truncation errors and demonstrate the method for sequential groups of modes.

Kuhar, E. J.↗

Solving finite element equations on concurrent computers

This paper discusses the development of a concurrent algorithm for the solution of systems of equations arising in finite element applications. The approach is based on a hybrid of direct elimination method and preconditioned conjugate iteration. Two different preconditioners are used; diagonal scaling and a concurrent implementation of incomplete LU factorization. First, an automatic procedure is used to partition the finite element mesh into sub-structures. The particular mesh partition is chosen to minimize an estimate of the cost for evaluating the solution using this algorithm on a concurrent computer. These procedures are implemented in a finite element program on the JPL/CalTech MARK III hypercube computer. An overview of the structure of this program is presented. The performance of the solution method is demonstrated with the aid of a number of numerical test runs, and its advantages for concurrent implementations are discussed. Efficiency and speed-up factors over sequential machines for the numerical examples are highlighted.

Nour-Omid, B.↗

An unsupervised feature extraction method for high dimensional image data compaction

A new on-line unsupervised feature extraction method for high-dimensional remotely sensed image data compaction is presented. This method can be utilized to solve the problem of data redundancy in scene representation by satellite-borne high resolution multispectral sensors. The algorithm first partitions the observation space into an exhaustive set of disjoint objects. Then, pixels that belong to an object are characterized by an object feature. Finally, the set of object features is used for data transmission and classification. The example results show that the performance with the compacted features provides a slight improvement in classification accuracy instead of any degradation. Also, the information extraction method does not need to be preceded by a data decompaction.

Ghassemian, Hassan↗

Optimized Lie–Trotter–Suzuki decompositions for two and three non-commuting terms

Lie–Trotter–Suzuki decompositions are an efficient way to approximate operator exponentials exp ( t H ) when H is a sum of n (non-commuting) terms which, individually, can be exponentiated easily. They are employed in time-evolution algorithms for tensor network states, digital quantum simulation protocols, path integral methods like quantum Monte Carlo, and splitting methods for symplectic integrators in classical Hamiltonian systems. Here, we provide optimized decompositions up to order t 6 . The leading error term is expanded in nested commutators (Hall bases) and we minimize the 1-norm of the coefficients. For n = 2 terms, several of the optima we find are close to those in McLachlan (1995). Generally, our results substantially improve over unoptimized decompositions by Forest, Ruth, Yoshida, and Suzuki. We explain why these decompositions are sufficient to efficiently simulate any one- or two-dimensional lattice model with finite-range interactions. This follows by solving a partitioning problem for the interaction graph.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Photochemical partitioning of the reactive nitrogen and chlorine reservoirs in the high-latitude stratosphere

The correlated set of measurements in the lower stratosphere from polar missions of the NASA ER-2 is used to derive partitioning of the major components of the reactive nitrogen and inorganic chlorine reservoirs. The results provide a consistent method for comparing distributions, and hence the controlling processes, between different areas of the near-polar regions. Clear evidence of the effects of heterogeneous processes in the atmosphere is found. Values for NO2, ClONO2, N2O5, and Cl2O2 are derived in a simplified steady-state model based on in situ NO, ClO, O3, temperature, and pressure measurements, laboratory-measured reaction rates; and modeled photodissociation rates. Values for the reservoir totals are independently derived from measurements of N2O, organic chlorine, and total reactive nitrogen. The relative abundances of the measured and derived species within the reservoirs are calculated, and the longer-lived species HCl and HNO3 are estimated as the residuals of their respective reservoirs.

Kawa, S. R.↗

Modular Certification

Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely "precertified" and used in several different contexts within a single airplane, or across many different airplanes. In this report, we examine the issues in modular certification of software components and propose an approach based on assume-guarantee reasoning. We extend the method from verification to certification by considering behavior in the presence of failures. This exposes the need for partitioning, and separation of assumptions and guarantees into normal and abnormal cases. We then identify three classes of property that must be verified within this framework: safe function, true guarantees, and controlled failure. We identify a particular assume-guarantee proof rule (due to McMillan) that is appropriate to the applications considered, and formally verify its soundness in PVS.

Rushby, John↗

Discontinuous Spectral Difference Method for Conservation Laws on Unstructured Grids

A new, high-order, conservative, and efficient discontinuous spectral finite difference (SD) method for conservation laws on unstructured grids is developed. The concept of discontinuous and high-order local representations to achieve conservation and high accuracy is utilized in a manner similar to the Discontinuous Galerkin (DG) and the Spectral Volume (SV) methods, but while these methods are based on the integrated forms of the equations, the new method is based on the differential form to attain a simpler formulation and higher efficiency. Conventional unstructured finite-difference and finite-volume methods require data reconstruction based on the least-squares formulation using neighboring point or cell data. Since each unknown employs a different stencil, one must repeat the least-squares inversion for every point or cell at each time step, or to store the inversion coefficients. In a high-order, three-dimensional computation, the former would involve impractically large CPU time, while for the latter the memory requirement becomes prohibitive. In addition, the finite-difference method does not satisfy the integral conservation in general. By contrast, the DG and SV methods employ a local, universal reconstruction of a given order of accuracy in each cell in terms of internally defined conservative unknowns. Since the solution is discontinuous across cell boundaries, a Riemann solver is necessary to evaluate boundary flux terms and maintain conservation. In the DG method, a Galerkin finite-element method is employed to update the nodal unknowns within each cell. This requires the inversion of a mass matrix, and the use of quadratures of twice the order of accuracy of the reconstruction to evaluate the surface integrals and additional volume integrals for nonlinear flux functions. In the SV method, the integral conservation law is used to update volume averages over subcells defined by a geometrically similar partition of each grid cell. As the order of accuracy increases, the partitioning for 3D requires the introduction of a large number of parameters, whose optimization to achieve convergence becomes increasingly more difficult. Also, the number of interior facets required to subdivide non-planar faces, and the additional increase in the number of quadrature points for each facet, increases the computational cost greatly.

Liu, Yen↗

Bootstrap data methodology for sequential hybrid model building

A method for modeling engine operation comprising the steps of: 1. collecting a first plurality of sensory data, 2. partitioning a flight envelope into a plurality of sub-regions, 3. assigning the first plurality of sensory data into the plurality of sub-regions, 4. generating an empirical model of at least one of the plurality of sub-regions, 5. generating a statistical summary model for at least one of the plurality of sub-regions, 6. collecting an additional plurality of sensory data, 7. partitioning the second plurality of sensory data into the plurality of sub-regions, 8. generating a plurality of pseudo-data using the empirical model, and 9. concatenating the plurality of pseudo-data and the additional plurality of sensory data to generate an updated empirical model and an updated statistical summary model for at least one of the plurality of sub-regions.

Volponi, Allan J.↗

Understanding Climate-Vegetation Interactions in Global Rainforests Through a GP-Tree Analysis

The tropical rainforests are the largest reserves of terrestrial carbon and, therefore, the future of these rainforests is a question that is of immense importance in the geoscience research community. With the recent severe Amazonian droughts in 2005 and 2010 and on-going drought in the Congo region for more than two decades, there is growing concern that these forests could succumb to precipitation reduction, causing extensive carbon release and feedback to the carbon cycle. However, there is no single ecosystem model that quantifies the relationship between vegetation health in these rainforests and climatic factors. Small scale studies have used statistical correlation measure and simple linear regression to model climate-vegetation interactions, but suffer from the lack of comprehensive data representation as well as simplistic assumptions about dependency of the target on the covariates. In this paper we use genetic programming (GP) based symbolic regression for discovering equations that govern the vegetation climate dynamics in the rainforests. Expecting micro-regions within the rainforests to have unique characteristics compared to the overall general characteristics, we use a modified regression-tree based hierarchical partitioning of the space to build individual models for each partition. The discovery of these equations reveal very interesting characteristics about the Amazon and the Congo rainforests. Our method GP-tree shows that the rainforests exhibit tremendous resiliency in the face of extreme climatic events by adapting to changing conditions.

genetic programming↗

Global Aerodynamic Modeling Using Automated Local Model Networks in Real Time

A novel method is presented for automated real-time global aerodynamic modeling using local model networks, known as Smoothed Partitioning with Localized Trees in Real Time (SPLITR), as part of NASA’s Learn-to-Fly technology development initiative. The global nonlinear aerodynamics are partitioned into several local regions known as cells, with the dimension, location, and timing of each partition automatically selected based on a residual characterization procedure, under the constraints of real-time operation. Regression trees represent the successive partitioning of the global flight envelope and describe the evolution of the cell structure. Recursive equation-error least-squares parameter estimation in the time domain is used to estimate a model that represents the local aerodynamics in each region, so that it can be updated independently with non-contiguous data in the range of each cell over time. A weighted superposition of these piecewise local models across the flight envelope forms a global nonlinear model that also accurately captures the local aerodynamics. The SPLITR approach is demonstrated using both simulation and flight data, and the results are analyzed in terms of model predictive capabilities as well as interpretability. The results show that SPLITR can be used to automatically partition complex nonlinear aerodynamic behavior, produce an accurate model, and provide valuable physical insight into the local and global aerodynamics.

Weinstein, Rose↗

Comparison of dynamic crystallization techniques on Apollo 15 quartz normative basalts

The paper compares dynamic crystallization techniques used on Apollo 15 quartz normative basalts which show differences related to their method. The variation of pyroxene core major element chemistry with cooling rate is confirmed, and it is shown that the Fe loss from liquid is shifted toward the En-Di joint; it is suggested that the nucleation temperature and breakdown of equilibrium partitioning as a function of cooling rate dictate the core composition. It is concluded that the different crystallization behavior that results from the Fe-capsule and Fe-loop container methods is related to the nucleation kinetics.

Lofgren, G. E.↗

Workshop on Oxygen in the Terrestrial Planets

This volume contains abstracts that have been accepted for presentation at the Workshop on Oxygen in the Terrestrial Planets, July 20-23,2004, Santa Fe, New Mexico. The contents include: 1) Experimental Constraints on Oxygen and Other Light Element Partitioning During Planetary Core Formation; 2) In Situ Determination of Fe(3+)/SigmaFe of Spinels by Electron Microprobe: An Evaluation of the Flank Method; 3) The Effect of Oxygen Fugacity on Large-Strain Deformation and Recrystallization of Olivine; 4) Plagioclase-Liquid Trace Element Oxygen Barometry and Oxygen Behaviour in Closed and Open System Magmatic Processes; 5) Core Formation in the Earth: Constraints from Ni and Co; 6) Oxygen Isotopic Compositions of the Terrestrial Planets; 7) The Effect of Oxygen Fugacity on Electrical Conduction of Olivine and Implications for Earth s Mantle; 8) Redox Chemical Diffusion in Silicate Melts: The Impact of the Semiconductor Condition; 9) Ultra-High Temperature Effects in Earth s Magma Ocean: Pt and W Partitioning; 10) Terrestrial Oxygen and Hydrogen Isotope Variations: Primordial Values, Systematics, Subsolidus Effects, Planetary Comparisons, and the Role of Water; 11) Redox State of the Moon s Interior; 12) How did the Terrestrial Planets Acquire Their Water?; 13) Molecular Oxygen Mixing Ratio and Its Seasonal Variability in the Martian Atmosphere; 14) Exchange Between the Atmosphere and the Regolith of Mars: Discussion of Oxygen and Sulfur Isotope Evidence; 15) Oxygen and Hydrogen Isotope Systematics of Atmospheric Water Vapor and Meteoric Waters: Evidence from North Texas; 16) Implications of Isotopic and Redox Heterogeneities in Silicate Reservoirs on Mars; 17) Oxygen Isotopic Variation of the Terrestrial Planets; 18) Redox Exchanges in Hydrous Magma; 19) Hydrothermal Systems on Terrestrial Planets: Lessons from Earth; 20) Oxygen in Martian Meteorites: A Review of Results from Mineral Equilibria Oxybarometers; 21) Non-Linear Fractionation of Oxygen Isotopes Implanted in Lunar Metal Grains: Solar, Lunar or Terrestrial Origin? 22) Isotopic Zoning in the Inner Solar System; 23) Redox Conditions on Small Bodies; 24) Determining the Oxygen Fugacity of Lunar Pyroclastic Glasses Using Vanadium Valence - An Update; 25) Mantle Redox Evolution and the Rise of Atmospheric O2; 26) Variation of Kd for Fe-Mg Exchange Between Olivine and Melt for Compositions Ranging from Alkaline Basalt to Rhyolite; 27) Determining the Partial Pressure of Oxygen (PO,) in Solutions on Mars; 28) The Influence of Oxygen Environment on Kinetic Properties of Silicate Rocks and Minerals; 29) Redox Evolution of Magmatic Systems; 30) The Constancy of Upper Mantlefo, Through Time Inferred from V/Sc Ratios in Basalts: Implications for the Rise in Atmospheric 0 2; 31) Nitrogen Solubility in Basaltic Melt. Effects of Oxygen Fugacity, Melt Composition and Gas Speciation; 32) Oxygen Isotope Anomalies in the Atmospheres of Earth and Mars; 33) The Effect of Oxygen Fugacity on Interdiffusion of Iron and Magnesium in Magnesiowiistite 34) The Calibration of the Pyroxene Eu-Oxybarometer for the Martian Meteorites; 35) The Europium Oxybarometer: Power and Pitfalls; 36) Oxygen Fugacity of the Martian Mantle from PigeoniteMelt Partitioning of Samarium, Europium and Gadolinium; 37) Oxidation-Reduction Processes on the Moon: Experimental Verification of Graphite Oxidation in the Apollo 17 Orange Glasses; 38) Oxygen and Core Formation in the Earth; 39) Geologic Record of the Atmospheric Sulfur Chemistry Before the Oxygenation of the Early Earth s Atmosphere; 40) Comparative Planetary Mineralogy: V/(CrCAl) Systematics in Chromite as an Indicator of Relative Oxygen Fugacity; 41) How Well do Sulfur Isotopes Constrain Oxygen Abundance in the Ancient Atmospheres? 42) Experimental Constraints on the Oxygen Isotope (O-18/ O-16) Fractionation in the Ice vapor and Adsorbant vapor Systems of CO2 at Conditions Relevant to the Surface of Mars; 43) Micro-XANES Measurements on Experimental Spinels andhe Oxidation State of Vanadium in Spinel-Melt Pairs; 44) Testing the Magma Ocean Hypothesis Using Metal-Silicate Partitioning of Te, Se and S; 45) Solubility of Oxygen in Liquid Iron at High Pressure and Consequences for the Early Differentiation of Earth and Mars Metallic Liquid Segregation in Planetesimals; 46) Oxygen Fugacity of Lunar Basalts and the Lunar Mantle. Range of fo2 and the Effectiveness of Oxybarometers; 47) Thermodynamic Study of Dissociation Processes of Molecular Oxygen in Vapor over Oxide Compounds; 48) Oxygen Profile of a Thermo-Haliophilic Community in the Badwater Salt Flat; 49) Oxygen Barometry Using Synchrotron MicroXANES of Vanadium; 50) Mass-Independent Isotopic Fractionation of Sulfur from Sulfides in the Huronian Supergroup, Canada; 51) Mass Independent Isotopes and Applications to Planetary Atmospheres; 52) Electrical Conductivity, Oxygen Fugacity, and Mantle Materials; 53) Crustal Evolution and Maturation on Earth: Oxygen Isotope Evidence; 54) The Oxygen Isotope Composition of the Moon: Implications for Planet Formation; 55) Oxygen Isotope Composition of Eucrites and Implications for the Formation of Crust on the HED Parent Body; and 56) The Role of Water in Determining the Oxygen Isotopic Composition of Planets.

Source record↗