Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

Silicon micromachined accelerometer/seismometer and method of making the same

A silicon-based microaccelerometer for seismic application is provided using a low-resonant frequency (10 Hz), large proof mass (1 gram), and high Q suspension to achieve high sensitivity of less than 1 ng with a bandwidth a 0.05 to 50 Hz. The proof mass is cut away from a planar substrate in the form of a disk using abrasive cutting, which disk closely fits but does not touch a surrounding angular frame. The spring of the microaccelerometer between the angular frame and the proof mass is provided from two continuous, 3 microns thick membranes. The fixed capacitive electrodes are provided on separate, subsequently bonded substrates, and movable capacitive plates are provided on the membranes. By fabricating capacitive plates on the separate substrates, the gap between the fixed and movable capacitive plates in the differential capacitive sensor is closely controlled. The use of continuous membranes for the spring produces a shock resistant, robust sensor.

Martin, Richard D.↗
NASA NTRS2010

Fiber Breakage Model for Carbon Composite Stress Rupture Phenomenon: Theoretical Development and Applications

Stress rupture failure of Carbon Composite Overwrapped Pressure Vessels (COPVs) is of serious concern to Science Mission and Constellation programs since there are a number of COPVs on board space vehicles with stored gases under high pressure for long durations of time. It has become customary to establish the reliability of these vessels using the so called classic models. The classical models are based on Weibull statistics fitted to observed stress rupture data. These stochastic models cannot account for any additional damage due to the complex pressure-time histories characteristic of COPVs being supplied for NASA missions. In particular, it is suspected that the effects of proof test could significantly reduce the stress rupture lifetime of COPVs. The focus of this paper is to present an analytical appraisal of a model that incorporates damage due to proof test. The model examined in the current paper is based on physical mechanisms such as micromechanics based load sharing concepts coupled with creep rupture and Weibull statistics. For example, the classic model cannot accommodate for damage due to proof testing which every flight vessel undergoes. The paper compares current model to the classic model with a number of examples. In addition, several applications of the model to current ISS and Constellation program issues are also examined.

Murthy, Pappu L. N.↗
NASA NTRS2010

Formal Verification of Large Software Systems

We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

Yin, Xiang↗
NASA NTRS2009

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗
NASA NTRS2010

A Critique of a Phenomenological Fiber Breakage Model for Stress Rupture of Composite Materials

Stress rupture is not a critical failure mode for most composite structures, but there are a few applications where it can be critical. One application where stress rupture can be a critical design issue is in Composite Overwrapped Pressure Vessels (COPV's), where the composite material is highly and uniformly loaded for long periods of time and where very high reliability is required. COPV's are normally required to be proof loaded before being put into service to insure strength, but it is feared that the proof load may cause damage that reduces the stress rupture reliability. Recently, a fiber breakage model was proposed specifically to estimate a reduced reliability due to proof loading. The fiber breakage model attempts to model physics believed to occur at the microscopic scale, but validation of the model has not occurred. In this paper, the fiber breakage model is re-derived while highlighting assumptions that were made during the derivation. Some of the assumptions are examined to assess their effect on the final predicted reliability.

Reeder, James R.↗
NASA NTRS2010

Simulated Service and Stress Corrosion Cracking Testing for Friction Stir Welded Spun Form Domes

Damage tolerance testing development was required to help qualify a new spin forming dome fabrication process for the Ares 1 program at Marshall Space Flight Center (MSFC). One challenge of the testing was due to the compound curvature of the dome. The testing was developed on a sub-scale dome with a diameter of approximately 40 inches. The simulated service testing performed was based on the EQTP1102 Rev L 2195 Aluminum Lot Acceptance Simulated Service Test and Analysis Procedure generated by Lockheed Martin for the Space Shuttle External Fuel Tank. This testing is performed on a specimen with an induced flaw of elliptical shape generated by Electrical Discharge Machining (EDM) and subsequent fatigue cycling for crack propagation to a predetermined length and depth. The specimen is then loaded in tension at a constant rate of displacement at room temperature until fracture occurs while recording load and strain. An identical specimen with a similar flaw is then proof tested at room temperature to imminent failure based on the critical offset strain achieved by the previous fracture test. If the specimen survives the proof, it is then subjected to cryogenic cycling with loads that are a percentage of the proof load performed at room temperature. If all cryogenic cycles are successful, the specimen is loaded in tension to failure at the end of the test. This standard was generated for flat plate, so a method of translating this to a specimen of compound curvature was required. This was accomplished by fabricating a fixture that maintained the curvature of the specimen rigidly with the exception of approximately one-half inch in the center of the specimen containing the induced flaw. This in conjunction with placing the center of the specimen in the center of the load train allowed for successful testing with a minimal amount of bending introduced into the system. Stress corrosion cracking (SCC) tests were performed using the typical double beam assembly and with 4-point loaded specimens under alternate immersion conditions in a 3.5% NaCl environment for 90 days. In addition, experiments were conducted to determine the threshold stress intensity factor for SCC (K1SCC) of Al-Li 2195 which to our knowledge has not been determined previously. The successful simulated service and stress corrosion testing helped to provide confidence to continue to Ares 1 scale dome fabrication.

Stewart, Thomas J.↗
NASA NTRS2006

Covering a Crucible with Metal Containing Channels

In a procedure that partly resembles the lost-wax casting process, a crucible made of a brittle material (ceramic, quartz, or glass) is covered with a layer of metal containing channels. The metal cover and the channels can serve any or all of several purposes, depending upon the application: Typically, the metal would serve at least partly to reinforce the crucible. The channels could be used as passages for narrow objects that could include thermocouples and heat-transfer strips. Alternatively or in addition, channels could be used as flow paths for liquid or gaseous coolants and could be positioned and oriented for position- or direction-selective cooling. In some cases, the channels could be filled with known gases and sealed so that failure of the crucibles could be indicated by instruments that detect the gases. The process consists of three main steps. In the first step, a pattern defining the channels is formed by wrapping or depositing a material in the desired channel pattern on the outer surface of the crucible. The pattern material can be a plastic, wax, low-ash fibrous material, a soluble material, or other suitable material that can subsequently be removed easily. In a proof-of-concept demonstration (see figure), the crucible was an alumina cylinder and the mold material was plastic tie-down tape. In the second step, the patterned crucible is coated with metal. In one variation of the second step, a very thin layer containing or consisting of an electrically conductive material (e.g., gold, silver, or carbon) is painted or otherwise deposited on the mold-covered crucible, then the covering metal required for the specific application is electrodeposited on the very thin conducting layer. In another variation of the second step, the metal coat is formed by chemical vapor deposition. In the proof-of-concept demonstration, a layer of nickel 0.003 in. ( 0.08 mm) thick was electrodeposited. In the third step, the patterned material is removed. This is generally done by heating the crucible assembly until the patterned material melts and runs out, vaporizes, and/or decomposes to an ash, leaving the channels. Alternatively, if the patterned material is soluble, it can be removed by use of a suitable solvent. In the proof-of-concept demonstration, the tape was burned away by heating the assembly to a temperature of 600 C.

Grugel, Richard N.↗
NASA NTRS2011

Development of Sample Verification System for Sample Return Missions

This paper describes the development of a proof of-concept sample verification system (SVS) for in-situ mass measurement of planetary rock and soil sample in future robotic sample return missions. Our proof-of-concept SVS device contains a 10 cm diameter pressure sensitive elastic membrane placed at the bottom of a sample canister. The membrane deforms under the weight of accumulating planetary sample. The membrane is positioned in proximity to an opposing substrate with a narrow gap. The deformation of the membrane makes the gap to be narrower, resulting in increased capacitance between the two nearly parallel plates. Capacitance readout circuitry on a nearby printed circuit board (PCB) transmits data via a low-voltage differential signaling (LVDS) interface. The fabricated SVS proof-of-concept device has successfully demonstrated approximately 1pF/gram capacitance change

Electrodes↗
NASA NTRS2012

Composite Stress Rupture: A New Reliability Model Based on Strength Decay

A model is proposed to estimate reliability for stress rupture of composite overwrap pressure vessels (COPVs) and similar composite structures. This new reliability model is generated by assuming a strength degradation (or decay) over time. The model suggests that most of the strength decay occurs late in life. The strength decay model will be shown to predict a response similar to that predicted by a traditional reliability model for stress rupture based on tests at a single stress level. In addition, the model predicts that even though there is strength decay due to proof loading, a significant overall increase in reliability is gained by eliminating any weak vessels, which would fail early. The model predicts that there should be significant periods of safe life following proof loading, because time is required for the strength to decay from the proof stress level to the subsequent loading level. Suggestions for testing the strength decay reliability model have been made. If the strength decay reliability model predictions are shown through testing to be accurate, COPVs may be designed to carry a higher level of stress than is currently allowed, which will enable the production of lighter structures

Reeder, James R.↗
NASA NTRS2012

Damage Tolerance Behavior of Friction Stir Welds in Aluminum Alloys

Friction stir welding is a solid state welding process used in the fabrication of various aerospace structures. Self-reacting and conventional friction stir welding are variations of the friction stir weld process employed in the fabrication of cryogenic propellant tanks which are classified as pressurized structure in many spaceflight vehicle architectures. In order to address damage tolerance behavior associated with friction stir welds in these safety critical structures, nondestructive inspection and proof testing may be required to screen hardware for mission critical defects. The efficacy of the nondestructive evaluation or the proof test is based on an assessment of the critical flaw size. Test data describing fracture behavior, residual strength capability, and cyclic mission life capability of friction stir welds at ambient and cryogenic temperatures have been generated and will be presented in this paper. Fracture behavior will include fracture toughness and tearing (R-curve) response of the friction stir welds. Residual strength behavior will include an evaluation of the effects of lack of penetration on conventional friction stir welds, the effects of internal defects (wormholes) on self-reacting friction stir welds, and an evaluation of the effects of fatigue cycled surface cracks on both conventional and selfreacting welds. Cyclic mission life capability will demonstrate the effects of surface crack defects on service load cycle capability. The fracture data will be used to evaluate nondestructive inspection and proof test requirements for the welds.

McGill, Preston↗
NASA NTRS2012

Compact Water Vapor Exchanger for Regenerative Life Support Systems

Thermal and environmental control systems for future exploration spacecraft must meet challenging requirements for efficient operation and conservation of resources. Regenerative CO2 removal systems are attractive for these missions because they do not use consumable CO2 absorbers. However, these systems also absorb and vent water to space along with carbon dioxide. This paper describes an innovative device designed to minimize water lost from regenerative CO2 control systems. Design studies and proof-of-concept testing have shown the feasibility of a compact, efficient membrane water vapor exchanger (WVX) that will conserve water while meeting challenging requirements for operation on future spacecraft. Compared to conventional WVX designs, the innovative membrane WVX described here has the potential for high water recovery efficiency, compact size, and very low pressure losses. The key innovation is a method for maintaining highly uniform flow channels in a WVX core built from water-permeable membranes. The proof-of-concept WVX incorporates all the key design features of a prototypical unit, except that it is relatively small scale (1/23 relative to a unit sized for a crew of six) and some components were fabricated using non-prototypical methods. The proof-of-concept WVX achieved over 90% water recovery efficiency in a compact core in good agreement with analysis models. Furthermore the overall pressure drop is very small (less than 0.5 in. H2O, total for both flow streams) and meets requirements for service in environmental control and life support systems on future spacecraft. These results show that the WVX provides very uniform flow through flow channels for both the humid and dry streams. Measurements also show that CO2 diffusion through the water-permeable membranes will have negligible effect on the CO2 partial pressure in the spacecraft atmosphere.

Izenson, Michael G.↗
NASA NTRS2012

Checkout and Standard Use Procedures for the Mark III Space Suit Assembly

The operational pressure range is the range to which the suit can be nominally operated for manned testing. The top end of the nominal operational pressure range is equivalent to 1/2 the proof pressure. Structural pressure is 1.5 times the specified test pressure for any given test. Proof pressure is the maximum unmanned pressure to which the suit was tested by the vendor prior to delivery. The maximum allowable working pressure (MAWP) is 90% of the proof pressure. The pressure systems RVs are set to keep components below their MAWPs. If the suit is pressurized over its MAWP, the suit will be taken out of service and an in-depth inspection/review of the suit will be performed before the suit is put back in service. The procedures outlined in this document should be followed as written. However, the suit test engineer (STE) may make redline changes real-time, provided those changes are recorded in the anomaly section of the test data sheet. If technicians supporting suit build-up, check-out, and/or test execution believe that a procedure can be improved, they should notify their lead. If procedures are incorrect to the point of potentially causing hardware damage or affecting safety, bring the problem to the technician lead and/or STE s attention and stop work until a solution (temporary or permanent) is authorized. Certain steps in the procedure are marked with a DV , for Designated Verifier. The Designated Verifier for this procedure is an Advanced Space Suit Technology Development Laboratory technician, not directly involved in performing the procedural steps, who will verify that the step was performed as stated. The steps to be verified by the DV were selected based on one or more of the following criteria: the step was deemed significant in ensuring the safe performance of the test, the data recorded in the step is of specific interest in monitoring the suit system operation, or the step has a strong influence on the successful completion of test objectives. Prior to all manned test activities, Advanced Suit Test Data Sheet (TDS) Parts A-E shall be completed to verify system and team are ready for test. Advanced Suit TDS Parts F-G shall be completed at the end of the suited activity. Appendix B identifies tha appropriate Mark III suit emergency event procedures.

Valish, Dana J.↗
NASA NTRS2014

The Inclusion of Arbitrary Load Histories in the Strength Decay Model for Stress Rupture

Stress rupture is a failure mechanism where failures can occur after a period of time, even though the material has seen no increase in load. Carbon/epoxy composite materials have demonstrated the stress rupture failure mechanism. In a previous work, a model was proposed for stress rupture of composite overwrap pressure vessels (COPVs) and similar composite structures based on strength degradation. However, the original model was limited to constant load periods (holds) at constant load. The model was expanded in this paper to address arbitrary loading histories and specifically the inclusions of ramp loadings up to holds and back down. The broadening of the model allows for failures on loading to be treated as any other failure that may occur during testing instead of having to be treated as a special case. The inclusion of ramps can also influence the length of the "safe period" following proof loading that was previously predicted by the model. No stress rupture failures are predicted in a safe period because time is required for strength to decay from above the proof level to the lower level of loading. Although the model can predict failures during the ramp periods, no closed-form solution for the failure times could be derived. Therefore, two suggested solution techniques were proposed. Finally, the model was used to design an experiment that could detect the difference between the strength decay model and a commonly used model for stress rupture. Although these types of models are necessary to help guide experiments for stress rupture, only experimental evidence will determine how well the model may predict actual material response. If the model can be shown to be accurate, current proof loading requirements may result in predicted safe periods as long as 10(13) years. COPVs design requirements for stress rupture may then be relaxed, allowing more efficient designs, while still maintaining an acceptable level of safety.

Reeder, James R.↗
NASA NTRS2011

Supersonic Retropropulsion Flight Test Concepts

NASA's Exploration Technology Development and Demonstration Program has proposed plans for a series of three sub-scale flight tests at Earth for supersonic retropropulsion, a candidate decelerator technology for future, high-mass Mars missions. The first flight test in this series is intended to be a proof-of-concept test, demonstrating successful initiation and operation of supersonic retropropulsion at conditions that replicate the relevant physics of the aerodynamic-propulsive interactions expected in flight. Five sub-scale flight test article concepts, each designed for launch on sounding rockets, have been developed in consideration of this proof-of-concept flight test. Commercial, off-the-shelf components are utilized as much as possible in each concept. The design merits of the concepts are compared along with their predicted performance for a baseline trajectory. The results of a packaging study and performance-based trade studies indicate that a sounding rocket is a viable launch platform for this proof-of-concept test of supersonic retropropulsion.

Exploration Technology Development and Demonstrati↗
NASA NTRS2017

Drag-Free Control and Drag Force Recovery of Small Satellites

Drag-free satellites provide autonomous precision orbit determination, accurately map the static and time varying components of Earth's mass distribution, aid in our understanding of the fundamental force of gravity, and will ultimately open up a new window to our universe through the detection and observation of gravitational waves. At the heart of this technology is a gravitational reference sensor, which (a) contains and shields a free-floating proof mass from all non-gravitational forces, and (b) precisely measures the position of the test mass inside the sensor. Thus, both test mass and spacecraft follow a pure geodesic in spacetime. By tracking the position of a low Earth orbiting drag-free satellite we can directly determine the detailed shape of geodesics and through analysis, the higher order harmonics of the Earths geopotential. This paper explores two different drag-free control systems on small satellites. The first drag-free control system is a continuously compensated single thruster 3-unit CubeSat with a suspension-free spherical proof-mass. A feedback control system commands the thruster and Attitude and Determination Control System to fly the tender spacecraft with respect to the test mass. The spheres position is sensed with a LED-based differential optical shadow sensor, its electric charge controlled by photoemission using UV LEDs, and the spacecraft position is maintained with respect to the sphere using an ion electrospray propulsion system. This configuration is the most fuel-efficient drag-free system possible today. The second drag-free control system is an electro-statically suspended cubical proof-mass that is operated with a low duty cycle, limiting suspension force noise over brief, known time intervals on a small GRACE-II -like satellite. The readout is performed using a laser interferometer, which is immune to the dynamic range limitations of voltage references. This system eliminates the need for a thruster, enabling drag-free control systems for passive satellites. In both cases, the test mass position, GPS tracking data, and commanded actuation, either thrust or suspension system, can be analyzed to estimate the 3-axis drag forces acting on the satellite. The data produces the most precise maps of upper atmospheric drag forces and with additional information, detailed models that describe the dynamics of the upper atmosphere and its impact on all satellites that orbit the Earth. This paper highlights the history, applications, design, laboratory technology development and highly detailed simulation results of each control system.

Small Satellites↗
NASA NTRS2014

Biomaterials Out of Thin Air: In Situ, On-Demand Printing of Advanced Biocomposites: A New Materials Design and Production Technique Using 3D-Printed Arrays of Bioengineered Cells

We have completed the proof of concept described in our Phase I proposal, a two-material array of nonstructural proteins. We created an implementation of each step in our technology concept and demonstrated its critical functionality. The biological chassis and printing hardware we created as part of this work can be re-used for future work by inserting a material coding region upstream of the fluorescent tag. Overall, we showed that our technology concept is sound. The mission benefit analyses, as described in our Phase I proposal, are complete and contained in this report. These calculations show that our technology can save hundreds of kilograms of upmass for a potential planetary human habit construction mission: the mass per habitat module can be reduced by approximately one third if the biomaterials are manufactured on Earth and included in the mission upmass, and the full 240 kg per module can be saved if the materials are derived entirely from in situ resources. Mass savings between these two extremes is expected for an actual mission, depending on the level of in situ resource extraction technology. We have shown that continued advancement of this technology concept for use in a space mission environment is justified. Our survey of future development pathways proved extremely informative in light of the lessons learned from our proof of concept work and mission scenario analyses. For example, we were able for the first time to distinguish between the levels of functionality provided by production of structural proteins, other polymers such as polysaccharides, and true organic-inorganic composites such as bone and mineralized shell. This new information represents a significant advance in formulating specific applications, and key enabling technologies, for our proposed concept. We surveyed potential collaborations with other projects and synergies with enabling technologies that are developing. We have received requests for collaboration from other institutions, including labs at Stanford University and Drexel University. We have also received visits from industry, including Organovo, a tissue engineering company, and Autodesk, a major 3D and materials design software company. Finally, we have been in touch with the team behind the 2013 NIAC Phase ll 'Super Ball Bot-Structures for Planetary Landing and Exploration' and are planning to develop our biomaterial printing technology with the goal of enabling tensegrity-based rovers such as theirs to use lighter, more robust materials. A smooth transition from TRL 2 to TRL 3 assumes that the implementations of the technology concept which demonstrate critical functionality are also pathways for future development; while this is the case for most hardware or software projects, the multidisciplinary nature of our project, particularly the biological aspect of it, means that this is not always true. For example, as part of this work we showed that although there are large number of known genetic parts that correspond to non-structural materials, this is not true for sequences for structural organic proteins, let alone biominerals. These realizations allowed us to further subdivide our concept into more detailed development areas, some of which are clearly established at TRL 3, others of which were newly identified sub-technologies moved from TRL 1 to TRL 2. Similarly, although a single feasibility /benefit analysis is sufficient for advancement from TRL 2 to TRL 3, not all potential benefits to a technology concept as broad in scope as ours are apparent at TRL 2. Both our future pathways survey and our proof of concept work highlighted that the true mass savings potential of our technology concept cannot be quantified without modification of existing materials modelling tools to take into account the possibility of positional materials properties customization. Therefore, we have simultaneously both advanced one potential set of applications of our technology concept from TRL 2 to TRL 3 and also identified a previously unknown set of applications and advanced it from TRL 1 to TRL 2. Overall, we have moved the original formulation of our concept forward from TRL 2 to TRL 3, and the expanded formulation of it presented in this document has been advanced from a combination of TRL 1 and early 1RL 2 to an overall late TRL 2. We have also identified the key areas necessary for both short-term and long-term advancement, and made recommendations for specific future work in the most promising directions. With future work on a 1-2 year timeframe to continue advancement to overall TRL 3, we will be well positioned to begin work on a specific space mission technology insertion path.

Biology↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗
NASA NTRSDate not supplied

Meteorite Sample Section Repair at NASA Johnson Space Center

Introduction: Meteorite thin and thick sections are routinely shipped from NASA Johnson Space Center to fulfill sample allocation requests from principle investigators around the world. Sections are also re-turned to JSC when researchers are finished studying them since, in most cases, they can be reused for other studies. The sections are very fragile unfortunately, and sometimes return to us needing repairs. The fol-lowing should give you an idea of how we repair sections here in the very lab where they were created. NOTE: Please do not attempt to repair ANSMET meteorite sections that are in your possession. We will perform the repairs for you at NASA JSC if you send the section back to us. Section Delamination: The majority of the meteorite sections that we produce here are secured to the glass slide using a high quality, two-part epoxy. Occasionally, we are asked to use superglue if the researcher wishes to dismount the section from the slide. Both epoxy and superglue are excellent adhesives, but they both tend to embrittle with time which results in delamination from the slide. Exposure to vacuum can also degrade the adhesion between the sample section and the glass slide. Repeated handling of the slide edges can accelerate delamination and, as a preventive measure, the outer 1-2 mm of epoxy is trimmed from newly created sections at JSC. If conductive tapes (copper, carbon, etc.) are used on the section during analysis, great care must be taken in removing the tape so that the epoxy is not pulled up with it. If in doubt, the tape can be left on the section when it is returned to JSC. Before we perform any repairs to sample sections, carbon, gold, or other coatings are removed. We accomplish this using a slurry of 0.05 micron alumina and 190 proof ethyl alcohol applied to a felt polishing pad fitted to a rotating lap wheel. Coatings are re-moved in this manner from all sections that are re-turned to JSC. The extent of the delamination determines how we proceed with the section repair. If the meteorite sample area of the section is not disturbed, then we carefully remove the delaminated epoxy. This is done using a binocular microscope with a 6X zoom, cut-proof gloves, and a very sharp, single edged razor blade. We cut the delaminated epoxy with the blade angled away from the sample area and using very light pressure. The trimmed section is then cleaned in an ultrasonic bath of 200 proof ethyl alcohol for no more than 10 seconds and carefully dried using a lint-free clean room wipe. The section is then placed into a lab oven at 110o F in preparation for epoxy. We mix the resin and hardener components of the low viscosity epoxy and very small amounts are applied to the cut edges of the section using a needle probe and the binocular microscope. Warming the epoxy helps secure the existing section by filling any voids between the glass slide and the section. After the new epoxy cures, we give the section a light polish on a lap wheel fitted with cotton polishing paper that is charged with 1 micron diamond paste. If the section has delaminated to the point of sample area being lifted from the glass, then it may be irreparable. We employ the above technique along with clamping the section in a Teflon pad arrangement in order to flatten the sample while the epoxy cures. Otherwise, the sample will tend to curl. This works to some degree, but once the sample area curls, it seldom re-turns to the original flatness without cracking or bending. Canada Balsam and Crystalbond: We repair damaged sections that had originally been prepared using Canada Balsam or Crystalbond adhesives through the gradual application of heat. We take great care with these samples since these bonding materials tend to get brittle with age. The section is heated in gradual steps (40-50o F per hour) to the melting point of the adhesive. We repair the sample while the adhesive is fluid and then the section is cooled in the same gradual manner in which it was heated. Slide Cracks and Breaks: Accidents happen. Especially with something as small and fragile as a thin/thick section. We all know someone who has driven a microscope objective into a section. As bad as the damage may look, the section can be repaired in most instances. NOTE: Please do not try to tape or glue section pieces back together prior to returning the dam-aged section. This practice usually renders the section irreparable. If the glass slide is cracked but the section is still in one piece, we repair it by infilling the crack with the low viscosity epoxy mentioned earlier. If the slide is in pieces, we can reassemble it with epoxy on a new backer slide. This is a tricky task as the pieces need to be in the correct plane with respect to each other, especially if the sample area is split among several pieces.

Meteorite↗