Search NASA⌕ Search

SEARCH · Search NASA

Results for “Grain refinement”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2024

Welding of Crack Sensitive Aluminum Alloys for Liquid Rocket Propulsion Applications

In this welding test campaign, electron beam welding (EBW) and manual gas tungsten arc welding (GTAW) processes were utilized to join an additively manufactured aluminum alloy nozzle to a wrought aluminum flange. Both aluminum alloys were 6061, which in their conventional form are susceptible to solidification cracking issues. The AM nozzle utilized a novel high-performance modified version of 6061 which exhibits crack resistant properties during the AM process and during welding. When manually conducting GTAWs a filler wire with the same modified version of 6061 was utilized to weld different combinations of 6061 coupons (either modified or unmodified). Due to the grain refinement technology in the modified 6061, either as filler material or base material, there was complete elimination of weld solidification cracking. During EBW development a combination of wrought 6061 with a modified and additively manufactured 6061 was investigated. The EBWs developed exhibited no crack like defects. Each weld development program utilized non-destructive evaluation, metallography, and mechanical testing to determine the final weld acceptance. Mechanical testing involved hardness evaluation and tension testing on welded coupons. Both welding techniques were successfully developed and exhibited adequate properties for the final test articles and met all requirements of the development campaign. These welds were ultimately developed to be utilized on a set of all-aluminum liquid rocket nozzles to demonstrate additively manufactured aluminum alloys for propulsion applications. These aluminum nozzles were tested at NASA Marshall Space Flight Center’s hot fire test facility and subsequently underwent a test campaign involving a variety of chamber pressures and liquid propellant combinations. Following the hot fire test campaign each weldment was investigated for post operation performance and any defects that may have evolved during testing.

Welding↗
NASA NTRS1995

SPITFIRE-1

The purpose of this effort is to develop low-cost rapid forming superplastic aluminum that will be evaluated in pilot production trials for automotive SPF components. The alloy development study conducted under SPITFIRE-1 showed that the addition of CU or Mn to the base 5083 aluminum alloy refined the grain size, leading to enhanced superplastic properties. In SPITFIRE-2, these alloy variants will be further refined and studied to meet the target properties established earlier in the program. Mechanical properties, component forming and post-forming properties will be evaluated. Also, the alloy production process, including thermomechanical processing (TMP) optimization to reduce production cost, will be investigated during SPITFIRE-2. After identifying preferred compositions and production processing, the most promising alloy will be manufactured into production coils for verification during SPITFIRE-3. Components will be produced from these coils in SPITFIRE-4, and the process and component performance will be assessed.

Ryntz, Edward F.↗
NASA NTRS1992

Correlation of deformation mechanisms with the tensile and compressive behavior of NiAl and NiAl(Zr) intermetallic alloys

To identify the mechanisms controlling strength and ductility in powder-extruded NiAl and NiAl + 0.05 at. pct Zr, tensile and compressive testing was performed from 300 to 1300 K for several grain sizes. Grain size refinement significantly increased yield stress in both alloys and, in some cases, slightly lowered the ductile-to-brittle transition temperature (DBTT), although no room-temperature tensile ductility was observed even in the finest grain size specimens. The small Zr addition increased the DBTT and changed the low-temperature fracture mode from intergranular in NiAl to a combination of intergranular and transgranular in the Zr-doped alloy. Scanning electron microscopy of compression specimens deformed at room temperature revealed the presence of grain-boundary cracks in both alloys. These cracks were due to the incompatibility of strain in the polycrystalline material, owing to the lack of five independent slip systems. The tendency to form grain-boundary cracks, in addition to the low fracture stress of these alloys, contributed to the lack of tensile ductility at low temperatures.

Bowman, R. R.↗
NASA NTRS1983

Influence of thermomechanical processing on elevated temperature slow plastic flow properties of B2 aluminide Fe-39.8at.% Al

A study of the elevated temperature slow plastic flow properties of the B2 aluminide Fe-39.8at.% Al was undertaken. Polycrystalline materials possessing several different microstructures were produced by the hot extrusion of prealloyed powder and, in some cases, postextrusion heat treatments. Compression tests were conducted in air at 1200, 1300 and 1400 K. Such testing revealed that the extrusion temperature affected the active deformation mechanisms where material extruded at 1505 K had a stress exponent about twice that of the intermetallic extruded at 1200 K. Grain size refinement to about 10 microns was found to strengthen the Fe-39.8at.% Al material; unfortunately, the effectiveness of such strengthening is limited to a homologous temperature of about 0.75 for strain rates of commercial interest (less than 10 to the -7th/sec).

Whittenberger, J. D.↗
NASA NTRS1985

Ductility in rapidly solidified NiAl

An attempt is made to refine the grain structure of equiatomic NiAl by means of rapid solidification processing, and to examine the effect of small grain size on room temperature ductility. Free melt spinning was used to produce the rapidly solidified material. Room temperature bend testing of both as-spun and heat-treated NiAl ribbon was conducted by free bending the ribbon around a mandrel of successively smaller diameter until failure occurred. Room-temperature plastic deformation was exhibited both before and after a 1-h heat treatment at 1000 C. Heat treatment increased the observed ductility.

Gaydosh, D. J.↗
NASA NTRS1988

High-strength silicon carbides by hot isostatic pressing

Silicon carbide has strong potential for heat engine hardware and other high-temperature applications because of its low density, good strength, high oxidation resistance, and good high-temperature creep resistance. Hot isostatic pressing (HIP) was used for producing alpha and beta silicon carbide (SiC) bodies with near-theoretical density, ultrafine grain size, and high strength at processing temperatures of 1900 to 2000 C. The HIPed materials exhibited ultrafine grain size. Furthermore, no phase transformation from beta to alpha was observed in HIPed beta-SiC. Both materials exhibited very high average flexural strength. It was also shown that alpha-SiC bodies without any sintering aids, when HIPed to high final density, can exhibit very high strength. Fracture toughness K (sub C) values were determined to be 3.6 to 4.0 MPa m (sup 1/2) for HIPed alpha-SiC and 3.7 to 4.1 MPa m (sup 1/2) for HIPed beta-SiC. In the HIPed specimens strength-controlling flaws were typically surface related. In spite of improvements in material properties such as strength and fracture toughness by elimination of the larger strength-limiting flaws and by grain size refinement, HIPing has no effect on the Weibull modulus.

Dutta, Sunil↗
NASA NTRS1989

High-strength silicon carbides by hot isostatic pressing

Silicon carbide has strong potential for heat engine hardware and other high-temperature applications because of its low density, good strength, high oxidation resistance, and good high-temperature creep resistance. Hot isostatic pressing (HIP) was used for producing alpha and beta silicon carbide (SiC) bodies with near-theoretical density, ultrafine grain size, and high strength at processing temperatures of 1900 to 2000 C. The HIPed materials exhibited ultrafine grain size. Furthermore, no phase transformation from beta to alpha was observed in HIPed beta-SiC. Both materials exhibited very high average flexural strength. It was also shown that alpha-SiC bodies without any sintering aids, when HIPed to high final density, can exhibit very high strength. Fracture toughness K (sub C) values were determined to be 3.6 to 4.0 MPa m (sup 1/2) for HIPed alpha-SiC and 3.7 to 4.1 MPa m (sup 1/2) for HIPed beta-SiC. In the HIPed specimens strength-controlling flaws were typically surface related. In spite of improvements in material properties such as strength and fracture toughness by elimination of the larger strength-limiting flaws and by grain size refinement, HIPing has no effect on the Weibull modulus.

Dutta, Sunil↗
NASA NTRS1969

Generation of sonic power during welding

Generation of intense sonic and ultrasonic power in the weld zone, close to the puddle, reduces the porosity and refinement of the grain. The ac induction brazing power supply is modified with long cables for deliberate addition of resistance to that circuit. The concept is extensible to the molding of metals and plastics.

Mc Campbell, W. M.↗
NASA NTRSDate not supplied

Metallic Powder Core Tubular Wire (PCTW) Development for Additive Manufacturing

NASA Langley Research Center (LaRC) in Hampton, VA, and the Center for Welding, Joining, and Coating Research (CWJCR) in the Department of Metallurgical and Materials Engineering at the Colorado School of Mines (CSM) in Golden, CO, have collaborated for nearly fifteen years to develop metallic powder core tubular wire (PCTW) feedstock for additive manufacturing (AM) using electron beam deposition. The motivation for this development was to offset dealloying observed during deposition of titanium and aluminum alloy solid wire feedstock in the LaRC electron beam freeform fabrication (EBF3) system and to explore novel alloy compositions by tailoring the powder fill. EBF3 is a fusion-based AM process that is performed under vacuum and is consequently prone to vaporization loss of low vapor pressure alloying elements. Research spanning four graduate student research projects succeeded in developing the basic methodology to fabricate PCTW, the mass balance equations used to define the powder fill, microstructure control through particulate inoculation, and the feasibility of producing metal matrix composite materials. Metallic PCTW is comprised of a thin foil sheath wrapped around a powder blend. Fabrication of PCTW at CSM was accomplished using a tubular wire mill system to first bend a flat strip into a u-shaped cross section, deposit a powder fill, create a lap joint to seal the wire, and draw to final diameter. Powder management systems were developed to ensure uniform mixing of powder constituents and identify feed rates for optimum fill ratios. Processing parameters were successfully developed for titanium and aluminum alloy sheaths to account for material work hardening during drawing. Mass balance equations were developed to account for compositional contributions of the sheath and powder fill. PCTW composition can be adjusted through selection of the sheath or powder materials. PCTWs were successfully developed to offset Al loss in deposits of Ti-6-4 and Mg loss in Al 6061, resulting in deposits that were within the composition limits for each material. Ti-6-4 deposits were fabricated using PCTW comprised of commercially pure (CP) titanium sheath and a fill of pre-alloyed Ti-6-4 powder with additions of elemental Al and V powders. Additions of both elements were required to account for the CP Ti from the sheath, and Al was further enhanced to offset documented losses in EBF3 deposits. For Al 6061 deposits, composition was modulated through the choice of sheath material. The PCTW was made using an Al 5052 sheath to supplement Mg content and a fill composition of pre-alloyed 6061 powder with additions of Si and Cu.The slower solidification rate of the EBF3 process compared with laser powder bed fusion processes can lead to coarse-grained microstructures and mechanical property anisotropy. EBF3deposits of Ti-6-4 exhibited large epitaxially grown β grains, which result in degraded mechanical properties in the deposition direction. Microstructure refinement was achieved through a combination of electron beam modulation and the use of a PCTW designed for Ti-6-4 deposits and modified by the addition of powder made from Fe and B. Resulting deposits exhibited reductions in β grain size, α phase colony intercept length and lath width, and an increased volume fraction of β phase. The mechanism of microstructure refinement was related to precipitation of boride particles. Hardness testing confirmed that mechanical property anisotropy was reduced and an overall increase in hardness was achieved.Metal matrix composite (MMC) materials offer strength and stiffness benefits over unreinforced materials. Two methods were investigated using PCTW technology for producing Al 6061 basedMMC materials; the direct addition of SiC reinforcing particles and the in-situ generation of reinforcements through reaction synthesis of precursor powders. Al 6061 based MMCs reinforced with SiC exhibited particle clustering and formation of aluminum carbides during deposition. The application of a Ni coating to the SiC particles prior to incorporation into the powder fill eliminated aluminum carbide formation and aided particle distribution during deposition. Modulation of beam focus and power further reduced aluminum carbide formation and aided particle distribution. In reaction synthesis, precursor additions undergo an exothermic reaction during deposition to form new ceramic products, generally of finer scale than the initial precursor components. The product phases provide reinforcement in the MMC and act as nucleation sites during solidification, resulting in grain refinement, improved mechanical properties, and reduced susceptibility to solidification cracking. Higher tensile strength and stiffness were demonstrated in Al 6061 based MMCs with 2 vol% reinforcement. These combined research efforts demonstrate the potential of PCTW technology for customizing of alloy composition and achieving microstructure control. A manufacturing process for titanium- and aluminum-based PCTWs was developed based on iterative design, theoretical calculations, and empirical data. PCTW technology successfully mitigated Al loss from Ti-6-4 and Mg loss in Al 6061, resulted in grain refinement in Ti-6-4, and demonstrated fabrication of Al based MMCs

Marcia S Domack↗
NASA NTRS2012

ISS-Experiments of Columnar-to-Equiaxed Transition in Solidification Processing

The main topic of the research project CETSOL in the framework of the Microgravity Application Promotion (MAP) programme of the European Space Agency (ESA) is the investigation of the transition from columnar to equiaxed grain growth during solidification. Microgravity environment allows for suppression of buoyancy-driven melt flow and for growth of equiaxed grains free of sedimentation and buoyancy effects. This contribution will present first experimental results obtained in microgravity using hypo-eutectic AlSi alloys in the Materials Science Laboratory (MSL) on-board the International Space Station (ISS). The analysis of the experiments confirms the existence of a columnar to equiaxed transition, especially in the refined alloy. Temperature evolution and grain structure analysis provide critical values for the position, the temperature gradient and the solidification velocity at the columnar to equiaxed transition. These data will be used to improve modeling of solidification microstructures and grain structure on different lengths scales.

Sturz, Laszlo↗
NASA NTRS2000

Effects of Thermal and Mechanical Processing on Microstructures and Desired Properties of Particle-Strengthened Cu-Cr-Nb Alloys

Ternary Cu-Cr-Nb alloys, particularly Cu-8 Cr-4 Nb (in at.%), have demonstrated good thermal stability as well as high strength and conductivity at elevated temperatures. The initial powder material has a bimodal size distribution of Cr2Nb precipitates. Primary Cr2Nb precipitates are approx. 1 micron, and secondary Cr2Nb particles are 30-200 nm. The particle coarsening was analyzed and found to follow LSW-type behavior, This study provides a detailed examination of the stability and strengthening effects of Cr2Nb particles. This investigation also revealed that the primary particles provide direct grain boundary pinning and indirect grain boundary strengthening but virtually no Orowan strengthening. The secondary particles found within grains do provide Orowan strengthening. For extruded material, grain bound-ary strengthening (Hall-Petch effect) accounts for two-thirds of the strength with Orowan effects contributing the remainder. The proven advantages of Cu-Cr-Nb were the motivation to improve these attributes via microstructural refinement. Mechanical milling (MM) of Cu- 4 Cr-2 Nb and Cu-8 Cr-2 Nb produced an increase in hot pressed Vickers hardness of 122% and 96%, respectively. The increase in hardness was more due to Cu grain-size refinement than to Cr,,Nb refinement. This study also demonstrated enhanced stability of MM Cu-4 Cr-2 Nb. Hot pressed 4 h milled Cu-4 Cr-2 Nb experienced only a 22% drop in hardness when annealed at 1273 K for 50 h versus a 30% drop for extruded Cu-8 Cr-4 Nb. The goal of improving the strength and stability of Cu-4 Cr-2 Nb to better than such properties for as- extruded Cu-8 Cr-4 Nb has been met. In addition, a figure-of-merit (FOM) coupling hardness and thermal conductivity was maximized for the case of 4 h milled Cu-4 Cr-2 Nb material. Overall, Cu-Cr-Nb alloys not only possess high strength, conductivity and thermal stability but also can be further developed to improve strength and stability.

Anderson, Kenneth Reed↗
NASA NTRS1999

Computer Modeling of Electrostatic Aggregation of Granular Materials in Planetary and Astrophysical Settings

Electrostatic forces strongly influence the behavior of granular materials in both dispersed (cloud) systems and semi-packed systems. These forces can cause aggregation or dispersion of particles and are important in a variety of astrophysical and planetary settings. There are also many industrial and commercial settings where granular matter and electrostatics become partners for both good and bad. This partnership is important for human exploration on Mars where dust adheres to suits, machines, and habitats. Long-range Coulombic (electrostatic) forces, as opposed to contact-induced dipoles and van der Waals attractions, are generally regarded as resulting from net charge. We have proposed that in addition to net charge interactions, randomly distributed charge carriers on grains will result in a dipole moment regardless of any net charge. If grains are unconfined, or fluidized, they will rotate so that the dipole always induces attraction between grains. Aggregates are readily formed, and Coulombic polarity resulting from the dipole produces end-to-end stacking of grains to form filamentary aggregates. This has been demonstrated in USML experiments on Space Shuttle where microgravity facilitated the unmasking of static forces. It has also been demonstrated in a computer model using grains with charge carriers of both sign. Model results very closely resembled micro-g results with actual sand grains. Further computer modeling of the aggregation process has been conducted to improve our understanding of the aggregation process, and to provide a predictive tool for microgravity experiments slated for Space Station. These experiments will attempt to prove the dipole concept as outlined above. We have considerably enhanced the original computer model: refinements to the algorithm have improved the fidelity of grain behavior during grain contact, special attention has been paid to simulation time steps to enable establishment of a meaningful, quantitative time axis, and calibration of rounding accuracies have been conducted to test cumulative numerical influences in the model. The model has been run for larger grain populations, variable initial cloud densities, and we have introduced random net charging to individual grains, as well as a net charge to the cloud as a whole. The model uses 3 positive and 3 negative charges randomly distributed on each grain, with up to 160 grains contained within various size "boxes" that define the initial number densities in the clouds. Each charge represents localized charged region on a grain, but does not necessarily imply single quantized charge carriers. The Coulomb equations are then allowed to interact for each monopole: dipoles and any higher order charge coupling is a natural product of these "free" interactions over which the modeler exerts no influence. The charges are placed on surfaces of grains at random locations. A series of runs was conducted for neutral grains that had a perfect balance of negative and positive char carriers. Runs were also conducted with grains having additional fractional charges ranging between 0 and 1. By adding fractional charges of one sign, the model created grain populations in which all grains had excess charges the same sign, giving the cloud an overall net charge. This simulates clouds subjected to ionizing radiation (e. protoplanetary debris disk around a protosun), or any other process of charge biasing in a grain population (e.g., volcanic plumes). In another run series, random fractional charges of either sign were added to the grains so th some grains had a slight net positive charge while others had a slight net negative charge. This simulates triboelectrically-charged grain populations in which acquisition of an electron by one surface is at the expense creating a hole elsewhere. This dual sign charging was applied in two ways: in one case the cloud remained neutral by ensuring that all grain excess charges added to zero; in the other case, the cloud was permitted slight net char by not imposing a charge-balance condition. Additional information is contained in the original.

Marshall, J.↗
NASA NTRS2002

Dual Microstructure Heat Treatment of a Nickel-Base Disk Alloy Assessed

Gas turbine engines for future subsonic aircraft will require nickel-base disk alloys that can be used at temperatures in excess of 1300 F. Smaller turbine engines, with higher rotational speeds, also require disk alloys with high strength. To address these challenges, NASA funded a series of disk programs in the 1990's. Under these initiatives, Honeywell and Allison focused their attention on Alloy 10, a high-strength, nickel-base disk alloy developed by Honeywell for application in the small turbine engines used in regional jet aircraft. Since tensile, creep, and fatigue properties are strongly influenced by alloy grain size, the effect of heat treatment on grain size and the attendant properties were studied in detail. It was observed that a fine grain microstructure offered the best tensile and fatigue properties, whereas a coarse grain microstructure offered the best creep resistance at high temperatures. Therefore, a disk with a dual microstructure, consisting of a fine-grained bore and a coarse-grained rim, should have a high potential for optimal performance. Under NASA's Ultra-Safe Propulsion Project and Ultra-Efficient Engine Technology (UEET) Program, a disk program was initiated at the NASA Glenn Research Center to assess the feasibility of using Alloy 10 to produce a dual-microstructure disk. The objectives of this program were twofold. First, existing dual-microstructure heat treatment (DMHT) technology would be applied and refined as necessary for Alloy 10 to yield the desired grain structure in full-scale forgings appropriate for use in regional gas turbine engines. Second, key mechanical properties from the bore and rim of a DMHT Alloy 10 disk would be measured and compared with conventional heat treatments to assess the benefits of DMHT technology. At Wyman Gordon and Honeywell, an active-cooling DMHT process was used to convert four full-scale Alloy 10 disks to a dual-grain microstructure. The resulting microstructures are illustrated in the photomicrographs. The fine grain size in the bore can be contrasted with the coarse grain size in the rim. Testing (at NASA Glenn) of coupons machined from these disks showed that the DMHT approach did indeed produce a high-strength, fatigue resistant bore and a creep-resistant rim. This combination of properties was previously unobtainable using conventional heat treatments, which produced disks with a uniform grain size. Future plans are in place to spin test a DMHT disk under the Ultra Safe Propulsion Project to assess the viability of this technology at the component level. This testing will include measurements of disk growth at a high temperature as well as the determination of burst speed at an intermediate temperature.

Gayda, John↗
NASA NTRS1982

Silicon materials task of the Low Cost Solar Array Project: Effect of impurities and processing on silicon solar cells

The effects of impurities and processing on the characteristics of silicon and terrestrial silicon solar cells were defined in order to develop cost benefit relationships for the use of cheaper, less pure solar grades of silicon. The amount of concentrations of commonly encountered impurities that can be tolerated in typical p or n base solar cells was established, then a preliminary analytical model from which the cell performance could be projected depending on the kinds and amounts of contaminants in the silicon base material was developed. The impurity data base was expanded to include construction materials, and the impurity performace model was refined to account for additional effects such as base resistivity, grain boundary interactions, thermal processing, synergic behavior, and nonuniform impurity distributions. A preliminary assessment of long term (aging) behavior of impurities was also undertaken.

Hopkins, R. H.↗
NASA NTRS1991

Recrystallization and superplasticity at 300 C in an aluminum-magnesium alloy

Variations in thermomechanical processing (TMP) which regulate the microstructural characteristics and superplastic response of an Al-10Mg-0.1Zr alloy at 300 C were evaluated. Mechanical property data revealed that the superplastic ductility can be enhanced by simultaneously increasing the total rolling strain, the reduction per pass, and the duration of reheating intervals between passes during isothermal rolling. Texture and microscopy data were consistent with the development of a refined microstructure by recovery-dominated processes, i.e., continuous recrystallization, during the processing. The mechanisms by which a refined substructure can be progressively converted into a fine-grained structure during repeated cycles of deformation and annealing are addressed. A qualitative description of the complex sequence of developments leading to a microstructure better suited to support superplastic response is presented.

Hales, S. J.↗
NASA NTRS1998

The Generation of Lighting in the Solar Nebula

The process that melted and formed the chondrules, mm-sized glassy beads within meteorites, has not been conclusively identified. Origin by lightning in the solar nebula is consistent with many features of chondrules, but no viable model of lightning has yet been advanced. We present a model demonstrating how lightning could be generated in the solar nebula which differs from previous models in three important aspects. First, we identify a new', powerful charging mechanism that is based on the differences in contact potentials between particles of different composition, a form of triboelectric charging. In the presence of fine silicate grains and fine iron metal grains, large silicate particles (the chondrules) can acquire charges of +10(exp 5) e. Second, we assume that the chondrule precursor particles are selectively concentrated in clumps 1 - 100 km in size by the turbulent concentration mechanism described by Cuzzi et al. (1996). The concentration of these highly charged particles into clumps, in a background of negatively charged metal grains, is what generates the strong electric fields. Third, we make refinements in the estimates of the breakdown electric field and the ionization rate. We calculate that electric fields large enough to trigger breakdown easily could have existed over regions large enough (approx. 100km) to generate very large discharges of electrical energy (approx. 10(exp 16)erg). The discharges would have been sufficiently energetic and frequent to have formed the chondrules. We place constraints on the generation of lightning and conclude that it could not be generated if the abundance of Al-26 in chondrules was as high as the level in the CAls. This conclusion is consistent with isotopic analyses of chondrules. This possibly implies that Al-26 was non-uniformly distributed in the solar nebula or that the chondrules formed several Myr after the CAIs.

Cuzzi, Jeffrey↗
NASA NTRS2024

Tracing Presolar Grain Populations Through Matrix Alteration Histories

Primitive meteorites preserve remnants of evolved stars as presolar grains, from asymptotic and red giant branch stars, novae and supernovae. These grains retain records of the formation mechanisms of the stellar environment from which they condensed, as well as physical and chemical processes in the interstellar medium (ISM), solar nebula and the parent bodies in which they are found. Consequently, their study can refine our understanding of the solar system and external stellar and planetary systems. However, presolar grains and their records can be altered, re-equilibrated with the surrounding matrix, and eventually lost through aqueous and thermal processing on the meteorite parent body. NanoSIMS is the most rapid and effective method for in situ identification of presolar grains via their highly anomalous isotopic ratios. Previous studies have measured variations in presolar grain populations between different matrix regions within the same meteorite thin section. However, most of these studies do not identify if there are any ties between these variations in presolar grain populations and the chemical and mineralogical differences in measured matrix regions. Therefore, the goal of this study is to determine if there is measurable variations in the degree of alteration of different matrix regions within the same thin section, and if mineralogical and chemical changes in matrix regions can be used as indicators for presolar grain preservation. Such a correlation could improve the efficiency of presolar grain identification during searches across large surface areas. To do this, we carried out coordinated scanning electron microscope (SEM) and NanoSIMS analyses, using a new SEM method which measures the ppm concentration of 100 nm to 5 μm sized Mg-, S-, Al-, C- and Ca-rich matrix grains.

presolar grains↗
NASA NTRS2009

From Goal-Oriented Requirements to Event-B Specifications

In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/ hardware/human agents that can realise them. Functional goals assigned to software agents need to be operationalised into specification of services that the agent should provide to realise those requirements. In this paper, we propose an approach for operationalising requirements into specifications expressed in the Event-B formalism. Our approach has the benefit of aiding software designers by bridging the gap between declarative requirements and operational system specifications in a rigorous manner, enabling powerful correctness proofs and allowing further refinements down to the implementation level. Our solution is based on verifying that a consistent Event-B machine exhibits properties corresponding to requirements.

Aziz, Benjamin↗