Search NASA⌕ Search

SEARCH · Search NASA

Results for “IMPACT”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Investigation of MMOD Impact on STS-115 Shuttle Payload Bay Door Radiator

The Orbiter radiator system consists of eight individual 4.6 m x 3.2 m panels located with four on each payload bay door. Forward panels #1 and #2 are 2.3 cm thick while the aft panels #3 and #4 have a smaller overall thickness of 1.3 cm. The honeycomb radiator panels consist of 0.028 cm thick Aluminum 2024-T81 facesheets and Al5056-H39 cores. The face-sheets are topped with 0.005 in. (0.127 mm) silver-Teflon tape. The radiators are located on the inside of the shuttle payload bay doors, which are closed during ascent and reentry, limiting damage to the on-orbit portion of the mission. Post-flight inspections at the Kennedy Space Center (KSC) following the STS-115 mission revealed a large micrometeoroid/orbital debris (MMOD) impact near the hinge line on the #4 starboard payload bay door radiator panel. The features of this impact make it the largest ever recorded on an orbiter payload bay door radiator. The general location of the damage site and the adjacent radiator panels can be seen in Figure 2. Initial measurements of the defect indicated that the hole in the facesheet was 0.108 in. (2.74 mm) in diameter. Figure 3 shows an image of the front side damage. Subsequent observations revealed exit damage on the rear facesheet. Impact damage features on the rear facesheet included a 0.03 in. diameter hole (0.76 mm), a approx.0.05 in. tall bulge (approx.1.3 mm), and a larger approx.0.2 in. tall bulge (approx.5.1 mm) that exhibited a crack over 0.27 in. (6.8 mm) long. A large approx.1 in. (25 mm) diameter region of the honeycomb core was also damaged. Refer to Figure 4 for an image of the backside damage to the panel. No damage was found on thermal blankets or payload bay door structure under the radiator panel. Figure 5 shows the front facesheet with the thermal tape removed. Ultrasound examination indicated a maximum facesheet debond extent of approximately 1 in. (25 mm) from the entry hole. X-ray examinations revealed damage to an estimated 31 honeycomb cells with an extent of 0.85 in. x 1.1 in. (21.6 x 27.9 mm). Pieces of the radiator at and surrounding the impact site were recovered during the repair procedures at KSC. They included the thermal tape, front facesheet, honeycomb core, and rear facesheet. These articles were examined at JSC using a scanning electron microscope (SEM) with an energy dispersive x-ray spectrometer (EDS). Figure 6 shows SEM images of the entry hole in the facesheet. The asymmetric height of the lip may be attributed to projectile shape and impact angle. Numerous instances of a glass-fiber organic matrix composite were observed in the facesheet tape sample. The fibers were approximately 10 micrometers in diameter and variable lengths. EDS analysis indicated a composition of Mg, Ca, Al, Si, and O. Figures 7 and 8 present images of the fiber bundles, which were believed to be circuit board material based on similarity in fiber diameter, orientation, consistency, and composition. A test program was initiated in an attempt to simulate the observed damage to the radiator facesheet and honeycomb. Twelve test shots were performed using projectiles cut from a 1.6 mm thick fiberglass circuit board substrate panel. Results from test HITF07017, shown in figures 9 and 10, correlates with the observed impact features reasonably well. The test was performed at 4.14 km/sec with an impact angle of 45 degrees using a cylindrical projectile with a diameter and length of 1.25 mm. The fiberglass circuit board material had a density of 1.65 g/cu cm, giving a projectile mass of 2.53 mg. An analysis was performed using the Bumper code to estimate the probability of impact to the shuttle from a 1.25 mm diameter particle. Table 1 shows a 1.6% chance (impact odds = 1 in 62) of a 1.25 mm or larger MMOD impact on the radiators of the vehicle during a typical ISS mission. There is a 0.4% chance (impact odds = 1 in 260) that a 1.25 mm or larger MMOD particle would impact the RCC wing leading edge and nose cap during a typical miion. Figure 11 illustrates the vulnerable areas of the wing leading edge reinforced carbon-carbon (RCC), an area of the vehicle that is very sensitive to impact damage. The highlighted red, orange, yellow, and light green areas would be expected to experience critical damage if impacted by an OD particle such as the one that hit the RH4 radiator panel on STS-115.

Hyde, J.↗
NASA NTRS2016

Micrometeorite Impact Test of Flex Solar Array Coupon

Spacecraft with solar arrays operate throughout the near earth environment and are increasingly planned for outer planet missions. An often overlooked test condition for solar arrays that is applicable to these missions is micrometeorite impacts and possibly electrostatic discharge (ESD) events resulting from these impacts. The Marshall Space Flight Center (MSFC) is partnering with Space Systems/Loral, LLC (SSL) to examine the results of simulated micrometeorite impacts on the electrical performance of an advanced, lightweight flexible solar array design. The test is performed at NASA MSFC's Microlight Gas Gun Facility. The SSL-provided coupons consist of three strings, each string with two solar cells in series. Five impacts will be induced at various locations on a powered test coupon under different string voltage (0 volts - 150 volts) and string current (1.1 amperes - 1.65 amperes) conditions. The maximum specified test voltage and current represent margins of 1.5 times for both voltage and current. The test parameters are chosen to demonstrate new array design robustness to any ESD event caused by plasma plumes resulting from a simulated micrometeorite impact. A second unpowered coupon will undergo two impacts: one impact on the front side and one impact on the back side. Following the impact testing, the second coupon will be exposed to a thermal cycle test to determine possible damage propagation and further electrical degradation due to thermally-induced stress. The setup, checkout, and results from the impact testing are discussed. The challenges for impact testing include precise coupon alignment to control impact location; pressure management during the impact process; and measurement of the true transient electrical response during impact on the powered coupon. Results from pre- and post-test visual and electrical functional testing are also discussed.

Wright, K. H.↗
NASA NTRSDate not supplied

Apollo Sample 64455: Petrologic and Geochemical Characterization of a Glass-Coated Impact Melt Rock

Introduction and Background: Impact melts are a key product of the impact cratering process. Impact melts can turbulently entrain pre-existing rock fragments, and melt part of those entrained materials until thermal equilibrium is achieved [1–3]. Lunar impact melt rocks are valuable for determining the precise ages of basin-forming and cratering events, which anchor the cratering chronology and dynamics of the entire solar system [4, and references therein]. Additionally, entrained clasts can inform on the petrology and age of crustal materials that predate the melt-forming impact. In lithologies where no pristine samples are available, entrained materials may hold the record of endogenous lunar volatiles, provided we can untangle their impact histories as high temperature impact melt can heat the clasts and may alter their native volatiles or isotopic signatures [5–6]. Here, we characterize an Apollo 16 sample, 64455,70B, in an effort to understand the physical, microstructural, and geochemical consequences of impact melt contact metamorphism. We acquired optical light and x-ray maps of the sample, as well as quantitative analyses via electron probe microanalysis (EPMA). These tasks allow us to better understand the interaction between impact melts and entrained clasts, ultimately closing knowledge gaps in high-temperature impact processing on planetary surfaces. Sample Description: Sample 64455 is an oblong crystalline rock encased in glass to form an egg-like shape [7–8]. The impact melt coating has altered the outer (1 to 2 mm) rind of the crystalline rock and has preserved schlieren. The interior crystalline rock is likely a crystalline impact melt rock based on its bulk Ir content of 2.25 parts per billion [9]. The composition of the impact melt glass rind cannot be solely derived from the crystalline interior, the glassy rind is more aluminous and less magnesian [10]. Neither the crystalline interior nor the glassy rind were radiometrically age dated, although several studies investigated its cosmogenic isotopes and exposure ages, which reveal the sample was exposed on the lunar surface for ~1–2 Ma [11–13]. Preliminary Results: The interior crystalline rock consists primarily of plagioclase with interstitial pyroxene and olivine. Plagioclase grains are zoned and compositions range from An97–89, while pyroxene compositions generally range from En68Fs19Wo13 to En82Fs15Wo3 and olivine are Fo77 to Fo85. Minor phases include Fe-Ni metal, Ca-phosphates, a K- and Si-rich phase, sulfides, and Fe-phosphides. The glass rind contains approximately 44 wt.% SiO2, 25 wt.% Al2O3, 6 wt.% FeO, 8 wt.% MgO, and 14 wt.% CaO, with other oxides at <1 wt.% each, although the composition of the glass becomes more variable closest to the crystalline rock. The rind consists of rounded plagioclase, pyroxene, and olivine crystals with interstitial melt. In some locations, the rounded crystals are surrounded by closely-packed, blade-like crystals, <5 µm in width. These results indicate that the crystalline interior has partially melted where in contact with the high-temperature impact melt and while further investigation is needed, pyroxene may have preferentially melted relative to olivine and plagioclase. Future Work: We plan to conduct electron backscatter diffraction (EBSD) mapping in order to determine crystallinity and crystal orientation. Next using transmission electron microscopy (TEM) data in conjunction with EBSD and EPMA information, we will model the diffusion of moderately volatile elements between the melt and remnant crystals.

A C Stadermann↗
NASA NTRS2025

Large Impact Features on Ganymede and Callisto as Revealed By Geological Mapping and Morphometry

The icy Galilean satellites are host to a broad range of impact feature morphologies. Hypotheses seeking to explain the diversity of these impact features consider the effects of impact melt, the physical state of the subsurface at the time of impact, and the impactor characteristics. As part of a larger effort to assess the role of these factors in the formation and evolution of these impact features, we have performed topographic and geological mapping of 19 large impact features on Ganymede and Callisto. These are divided into two main morphological groups: craters (subdivided into pit, dome, and anomalous dome craters), and penepalimpsests/palimpsests. The transitions from pit, dome, to anomalous dome craters appear to be size-dependent up to diameters of ∼170 km. The morphologies of pit and dome craters appear to be independent of their age or geologic context. The impacts that formed them only affected a cold, rigid ice layer, with the development of pits and raised annuli on their floors possibly stemming from the evolution of a pocket of impact melt. The subdued rims and floors of anomalous dome craters indicate the increasing effect of a weak, warm ice layer on impact feature morphology with increasing size, but their prominent annuli and pits indicate that mobilization of impact melt is also a factor. The very low topographic relief of older penepalimpsests and palimpsests indicates that their impacts penetrated the ice shell to mobilize very large volumes of pre-existing liquid from a subsurface layer, with little contribution to the final feature morphology from impact melt. Penepalimpsests are distinguished from palimpsests by the higher frequency of concentric ridges within their interiors, indicating a generally more robust state of the subsurface that could better support the rotation and uplift of solid material during impact, even if a crater-like depression could not be supported. A few impact features seem to be transitional between anomalous dome craters and penepalimpsests, and the overlap of anomalous dome craters, penepalimpsests, and palimpsests in terms of diameter as well as age indicates that impactor size and subsurface properties over time are major factors in determining which of these morphologies emerges.

Oliver L White↗
NASA NTRSDate not supplied

Zircon (U-Th)/He Impact Crater Thermochronometry and the Effects of Shock Microstructures on Helium Diffusion Kinetics

Absolute age determination of impact cratering events remains difficult and often controversial; a challenge that has resulted in < 50% of known impact craters regarded as accurately and precisely dated. Besides conventional 40Ar/39Ar and U-Pb methods, zircon (U-Th)/He (ZHe) dating of impactites has been applied to large- to medium-sized impact structures. ZHe dates can be fully reset in minutes at 1000°C, which is commonly reached in central sections of the melt sheet, whereas resetting of ZHe at <300°C, which might be encountered near the crater margins or persist in post-impact hydrothermal systems, may take >103-6 years. There is a critical need to quantify the effects of shock-induced microstructures and impact metamorphism on helium diffusion kinetics in well-characterized, variably shocked zircon to further establish the reliability of (U-Th)/He for dating impacts. For this purpose, we investigated suevite and impact melt samples from two impact structures, the Chicxulub multi-ring basin and the Ries complex crater, which enables us to compare zircon helium diffusion kinetics from impact structures with differing sizes, ages, and hydrothermal system longevities. Shock microstructures were characterized by backscattered-electron (BSE) imaging prior to diffusion step-heating fractional release experiments using light-bulb furnace with prograde and retrograde incremental 10°C steps from 250°C to 600°C. Afterward, we characterize the diffusion domain sizes and their interconnectivity within the shocked zircon grains using electron backscatter diffraction (EBSD). We find that zircon with few shock microstructures exhibit no significant deviation from helium diffusion kinetics of undamaged zircon. In contrast, zircon grains with planar deformation features (PDFs) and granular textures classified by BSE and EBSD are characterized by a dramatic decrease in helium retentivity, similar to radiation damaged grains, due to a reduction in the effective domain size and the introduction of interconnected fast diffusion pathways created by shock microstructures. A subset of grains were dated by ZHe after the external morphology of the grains was determined by BSE imaging. The euhedral grains yielded a weighted mean age within the uncertainty of the accepted impact ages, whereas the grains with PDFs or granular textures exhibited younger ages. Thus, these diffusion experiments and ZHe dates suggest that the dramatic decrease in domain size likely renders shocked grains more susceptible to impact-induced hydrothermal resetting and subsequent overprinting. Hence, characterization of shock microstructures is critical for determining accurate impact ages using ZHe methods especially when applied to previously unconstrained craters. The thermochronometer also offers the opportunity to determine the magnitude and duration of post-impact hydrothermal circulation.

zircon↗
NASA NTRS2023

Exploration Medical Capability IMPACT Medical Database – Medical Item Database (MedID) Content Development Methods

The Informing Mission Planning via Analysis of Complex Tradespaces (IMPACT) project encompasses a suite of computational tools that are used to inform systematic trade study evaluations and research prioritizations regarding the optimization of spaceflight medical systems, including the provision of risk assessment metrics, for a given design reference mission (DRM). The IMPACT Medical Database (IMPACT-MD) is the component that virtually houses the clinical and engineering data for medical conditions, capabilities, and resources used to support these analyses. In addition, IMPACT-MD also provides data to the associated SysML model to support the Level 2, Level 3, and Level 4 requirements development needed for IMPACT. IMPACT-MD contains an internal Evidence Library (EL) sub-component that hosts the clinical evidence, treatment and outcome metric data, and incidence data for each medical condition identified for exploration-class missions. Furthermore, a separate Medical Item Database (MedID) sub-component hosts the engineering data and physical attributes (e.g., mass, volume, power, etc.) associated with each medical resource item identified to address the requisite medical conditions. The IMPACT project is conducted under the Exploration Medical Capability (ExMC) element of the Human Research Program (HRP) within NASA's Space Operations Mission Directorate (SOMD). The reader is referred to the documents in Appendix A for a more complete overview of the IMPACT tool suite and functionality as well as further detail on any associated aspects of the project. The primary purpose of this document is to describe the methods utilized in the collection and verification of engineering data content during the project development phase for the MedID sub-component of the IMPACT-MD project. Engineering content data (both existing and new/future) will be stored in IMPACT-MD for use by the IMPACT project. This document will detail the content development and data credibility for the engineering data housed within the MedID subcomponent of IMPACT-MD, which is used to inform the IMPACT 1.0 project deliverables.

Exploration Medical Capability↗
NASA NTRS1979

Flight design system level C requirements. Solid rocket booster and external tank impact prediction processors

The prediction of the SRB and ET impact areas requires six separate processors. The SRB impact prediction processor computes the impact areas and related trajectory data for each SRB element. Output from this processor is stored on a secure file accessible by the SRB impact plot processor which generates the required plots. Similarly the ET RTLS impact prediction processor and the ET RTLS impact plot processor generates the ET impact footprints for return-to-launch-site (RTLS) profiles. The ET nominal/AOA/ATO impact prediction processor and the ET nominal/AOA/ATO impact plot processor generate the ET impact footprints for non-RTLS profiles. The SRB and ET impact processors compute the size and shape of the impact footprints by tabular lookup in a stored footprint dispersion data base. The location of each footprint is determined by simulating a reference trajectory and computing the reference impact point location. To insure consistency among all flight design system (FDS) users, much input required by these processors will be obtained from the FDS master data base.

Seale, R. H.↗
NASA NTRS1996

Temporal Evolution of SL-9 Impact Sites on Jupiter and Global Maps of Jupiter from Multi-Observatory Visible and Infrared Images

The objective of this research was to investigate the temporal behavior of the impact features on Jupiter created by the fragments of the Shoemaker Levy-9 comet that collided with the planet in July 1994. The primary observations used in the study were ground based images of Jupiter acquired from the Swedish Solar Vacuum Tube on the island of La Palma in the Canary Islands. The measurement of position of the impact features in images acquired immediately after the impact over a period of a few days revealed that the apparent drift rates were too high and that a repetitive pattern could be seen in the longitude position on successive rotations. This could be explained only by the fact that the measured longitudes of the impact sites were being affected by parallax due to a significant elevation of the impact debris above the nominal cloud top altitude value used for image navigation. Once the apparent positions are analyzed as a function of the meridian angle, the parallax equation can be used to infer the height of the impact features above the cloud deck, once the true impact position (longitude) for the feature is known. Due to their inherent high spatial resolution, the HST measurements of the impact site locations have been accepted widely. However, these suffer from the parallax themselves since few of them were obtained at central meridian. Ground based imaging have the potential to improve this knowledge as they do observe most of the impact sites on either side of the central meridian, except for the degraded resolution. Measurements over a large number of images enables us to minimize the position error through regression and thus estimate both the actual impact site location devoid of parallax bias, and also of the altitude level of the impact debris above the cloud deck. With rapid imaging there is the potential to examine the time evolution of the altitude level. Several hundred ground based images were processed, navigated and subjected to the impact site location measurements. HST images were also acquired and used to calibrate the results and to improve the sample. The resources available enabled an in-depth study only of impact site A, however, many more images have since become available through the global network observations through Lowell Observatory.

Limaye, Sanjay S.↗
NASA NTRS2002

Oceanic Impact: Mechanisms and Environmental Perturbations

The contents include the following: Oceanic impacts-a growing field of fundamental geoscience. Shock metamorphism on the ocean floor (numerical simulations). Numerical modeling of impact-induced modifications of the deep-sea floor. Computer modelling of the water resurge at a marine impact: the Lockne crater, Sweden. Experimental investigation of the role of water in impact vaporization chemistry. Calcareous plankton stratigraphy around the Pliocene Eltanin asteroid impact area (SE Pacific): documentation and application for geological and paleoceanographic reconstruction. Composition of impact melt debris from the Eltanin impact strewn field, Bellingshausen Sea. Iridium concentrations and abundances of meteoritic ejecta from the Eltanin impact in sediment cores from Polarstern expedition ANT XII/4. Unmelted meteoritic debris collected from Eltanin ejecta in Polarstern cores from expedition ANT XII/4. Impact tsunami-Eltanin. Ancient impact structures on modern continental shelves: The Chesapeake Bay, Montagnais, and Toms Canyon craters, Atlantic margin of North America. The Mjolnir marine impact crater porosity anomaly. Kardla (Hiiu-maa Island, Estonia) - the buried and well-preserved Ordovician marine impact structure. Long-term effect of the Kardla crater (Hiiu-maa, Estonia) on Late Ordovician carbonate sedimentation. The middle Devonian Kaluga impact crater (Russia): new interpretation of marine setting.

Gersonde, Rainer↗
NASA NTRS2005

An Impact Genesis for Loki Patera?

What happens when a large impact event takes place on a satellite with a thin crust and lithosphere? In the early Solar System impact cratering and volcanism were the dominate processes shaping the surfaces of the terrestrial planets. Impact events may have triggered additional volcanism by uplifting partially molten mantle material to the surface, where it melts due to pressure release. Subsequently, the shattered crust may have provided pathways for magma to reach the surface creating a longer term hot spot. As the crusts of the terrestrial planets thickened, the ability of impacts to trigger volcanism diminished [1]. However, the highly-volcanic jovian satellite Io is located in a "high-impact" area of the Solar System [2], a victim of material attracted by Jupiter s gravitational field. In 1994 huge impacts were observed when fragments of comet Shoemaker- Levy 9 impacted Jupiter. The large icy satellites of Jupiter (Europa, Ganymede and Callisto) are pockmarked with many impact craters. Yet no impact features have been found on Io [3]. This is because of rapid resurfacing of Io due to volcanism, estimated at approx.1 cm/year [4] which over short geological time erases evidence of impacts. Io, however, has a lithosphere over a molten or partially-molten mantle [e.g., 5], and the effects of a sufficiently large impact may extend far beyond the evolution of the impact crater alone. At least one example of impact-triggered volcanism may exist in the Solar System today: the Loki Patera complex on Io.

Thorsos, I. E.↗
NASA NTRS2009

Impact Testing on Reinforced Carbon-Carbon Flat Panels with Ice Projectiles for the Space Shuttle Return to Flight Program

Following the tragedy of the Orbiter Columbia (STS-107) on February 1, 2003, a major effort commenced to develop a better understanding of debris impacts and their effect on the space shuttle subsystems. An initiative to develop and validate physics-based computer models to predict damage from such impacts was a fundamental component of this effort. To develop the models it was necessary to physically characterize reinforced carbon-carbon (RCC) along with ice and foam debris materials, which could shed on ascent and impact the orbiter RCC leading edges. The validated models enabled the launch system community to use the impact analysis software LS-DYNA (Livermore Software Technology Corp.) to predict damage by potential and actual impact events on the orbiter leading edge and nose cap thermal protection systems. Validation of the material models was done through a three-level approach: Level 1--fundamental tests to obtain independent static and dynamic constitutive model properties of materials of interest, Level 2--subcomponent impact tests to provide highly controlled impact test data for the correlation and validation of the models, and Level 3--full-scale orbiter leading-edge impact tests to establish the final level of confidence for the analysis methodology. This report discusses the Level 2 test program conducted in the NASA Glenn Research Center (GRC) Ballistic Impact Laboratory with ice projectile impact tests on flat RCC panels, and presents the data observed. The Level 2 testing consisted of 54 impact tests in the NASA GRC Ballistic Impact Laboratory on 6- by 6-in. and 6- by 12-in. flat plates of RCC and evaluated three types of debris projectiles: Single-crystal, polycrystal, and "soft" ice. These impact tests helped determine the level of damage generated in the RCC flat plates by each projectile and validated the use of the ice and RCC models for use in LS-DYNA.

Melis, Matthew E.↗
NASA NTRS2009

Impact Testing on Reinforced Carbon-Carbon Flat Panels With BX-265 and PDL-1034 External Tank Foam for the Space Shuttle Return to Flight Program

Following the tragedy of the Orbiter Columbia (STS-107) on February 1, 2003, a major effort commenced to develop a better understanding of debris impacts and their effect on the space shuttle subsystems. An initiative to develop and validate physics-based computer models to predict damage from such impacts was a fundamental component of this effort. To develop the models it was necessary to physically characterize reinforced carbon-carbon (RCC) along with ice and foam debris materials, which could shed on ascent and impact the orbiter RCC leading edges. The validated models enabled the launch system community to use the impact analysis software LS-DYNA (Livermore Software Technology Corp.) to predict damage by potential and actual impact events on the orbiter leading edge and nose cap thermal protection systems. Validation of the material models was done through a three-level approach: Level 1-fundamental tests to obtain independent static and dynamic constitutive model properties of materials of interest, Level 2-subcomponent impact tests to provide highly controlled impact test data for the correlation and validation of the models, and Level 3-full-scale orbiter leading-edge impact tests to establish the final level of confidence for the analysis methodology. This report discusses the Level 2 test program conducted in the NASA Glenn Research Center (GRC) Ballistic Impact Laboratory with external tank foam impact tests on flat RCC panels, and presents the data observed. The Level 2 testing consisted of 54 impact tests in the NASA GRC Ballistic Impact Laboratory on 6- by 6-in. and 6- by 12-in. flat plates of RCC and evaluated two types of debris projectiles: BX-265 and PDL-1034 external tank foam. These impact tests helped determine the level of damage generated in the RCC flat plates by each projectile and validated the use of the foam and RCC models for use in LS-DYNA.

Melis, Matthew E.↗
NASA NTRS2012

A Change Impact Analysis to Characterize Evolving Program Behaviors

Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate path conditions that characterize impacted program behaviors. DiSE, however, cannot reason about the flow of impact between methods and will fail to generate path conditions for certain impacted program behaviors. In this work, we present iDiSE, an extension to DiSE that performs an interprocedural analysis. iDiSE combines static and dynamic calling context information to efficiently generate impacted program behaviors across calling contexts. Information about impacted program behaviors is useful for testing, verification, and debugging of evolving programs. We present a case-study of our implementation of the iDiSE algorithm to demonstrate its efficiency at computing impacted program behaviors. Traditional notions of coverage are insufficient for characterizing the testing efforts used to validate evolving program behaviors because they do not take into account the impact of changes to the code. In this work we present novel definitions of impacted coverage metrics that are useful for evaluating the testing effort required to test evolving programs. We then describe how the notions of impacted coverage can be used to configure techniques such as DiSE and iDiSE in order to support regression testing related tasks. We also discuss how DiSE and iDiSE can be configured for debugging finding the root cause of errors introduced by changes made to the code. In our empirical evaluation we demonstrate that the configurations of DiSE and iDiSE can be used to support various software maintenance tasks

Rungta, Neha Shyam↗
NASA NTRS2013

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗
NASA NTRS2016

Subsurface Morphology and Scaling of Lunar Impact Basins

Impact bombardment during the first billion years after the formation of the Moon produced at least several tens of basins. The Gravity Recovery and Interior Laboratory (GRAIL) mission mapped the gravity field of these impact structures at significantly higher spatial resolution than previous missions, allowing for detailed subsurface and morphological analyses to be made across the entire globe. GRAIL-derived crustal thickness maps were used to define the regions of crustal thinning observed in centers of lunar impact basins, which represents a less unambiguous measure of a basin size than those based on topographic features. The formation of lunar impact basins was modeled numerically by using the iSALE-2D hydrocode, with a large range of impact and target conditions typical for the first billion years of lunar evolution. In the investigated range of impactor and target conditions, the target temperature had the dominant effect on the basin subsurface morphology. Model results were also used to update current impact scaling relationships applicable to the lunar setting (based on assumed target temperature). Our new temperature-dependent impact-scaling relationships provide estimates of impact conditions and transient crater diameters for the majority of impact basins mapped by GRAIL. As the formation of lunar impact basins is associated with the first approximately 700 Myr of the solar system evolution when the impact flux was considerably larger than the present day, our revised impact scaling relationships can aid further analyses and understanding of the extent of impact bombardment on the Moon and terrestrial planets in the early solar system.

Miljkovic, K.↗
DOE OSTI2024

A model for oblique impacts on material surfaces

Many practical situations of material damage, wear, and erosion involve collisions between small particles and surfaces at inclined angles. While there are many well-validated models of normal incidence impact situations, elastic-plastic models for oblique incidence impact events are lacking. Here the finite element method is used to predict the normal and tangential coefficient of restitution in oblique impacts for hard, elastic spheres impacting an elastic-perfectly plastic material surface. The proposed model covers various impact angles ranging from 0° to 45°, within a limiting impact velocity below which the effects of heating are negligible. The normal coefficient of restitution follows power-laws with respect to normalized values of the impact velocity. Interestingly, the tangential coefficient of restitution follows a linear relationship with impact velocity. Together, these results provide a semi-empirical set of equations predicting oblique impact rebounds (both velocity and trajectory) for a wide range of conditions and material properties, with which experimental results can be rapidly interpreted. As a result, Laser-Induced Particle Impact Test (LIPIT) data are also presented for aluminum particles impacting aluminum substrates, at impact angles of 25° and 40°; the results compare favorably with the model and validate the general use of such models for the analysis of experimental data.

Coefficient of restitution↗
DOE OSTI2025

Environmental Impacts of Closed-Loop Pumped Storage Hydropower

The goal of this report is to help license applicants, resource agencies, and other members of the hydropower community involved in closed-loop pumped storage hydropower permitting and licensing process, focus the scope of environmental reviews, and more quickly identify impacts with project nexus and potential mitigation measures for these impacts. Pumped storage hydropower (PSH) is an energy storage technology that uses energy to pump water up from a lower reservoir to an upper reservoir where water is stored until electricity is needed and the water is released to a lower reservoir passing through turbines. Closed-loop PSH—PSH that is not continuously connected to a naturally flowing water feature—is one of the lowest greenhouse gas emitting energy storage technologies and is therefore a critical part of the transition to renewable energy (Simon et al. 2023). Proposals for closed-loop PSH facilities in the United States currently account for more than 40% of original licenses and 99% of potential generation capacity in the Federal Energy Regulatory Commission (FERC) hydropower licensing pipeline (Johnson et al. 2023). While closed-loop PSH facilities can have lower environmental impacts than open-loop PSH facilities, no closed-loop facilities have been constructed in the United States to enable direct accounting of project impacts and efficacy of mitigations. Many proposals for closed-loop PSH submitted to FERC are abandoned early in the permitting and licensing process prior to license applications and environmental assessments, so there is little documentation describing potential project impacts and proposed mitigations. The newness of closed-loop PSH proposals in the United States may mean that tribal, federal, and state agencies with authorities for cultural and natural resources protection and management involved in the FERC licensing process may not have experience with closed-loop PSH regulation. Moreover, many proposed closed-loop PSH facilities are in areas that do not have high concentrations of conventional hydropower, so these agencies may also be unfamiliar with the FERC hydropower licensing process. The goal of this report is to help license applicants, resource agencies, and other members of the hydropower community focus the scope of environmental review for the closed-loop PSH development, licensing, and federal authorization process enabling quicker identification of potential impacts, mitigations, and situations where mitigation may not be possible. We found that environmental impacts of closed-loop PSH are highly site-specific, and generalizations about the types of environmental impacts across closed-loop PSH projects are difficult to make. Environmental impacts of closed-loop PSH are like those for open-loop PSH with a few exceptions including water sourcing, which can lead to delays and contention due to potential complexities with water rights, impacts to aquatic resources, and greenhouse gas emission potential. Cultural resource impacts were commonly reported in National Environmental Policy Act (NEPA) documents reviewed and discussed in interviews, but in many cases such impacts cannot be mitigated.

13 HYDRO ENERGY↗
DOE OSTI2025

Impact Testing of Heat Source Exemplars

This report details the heat source impact testing performed at the Shock Thermodynamics Applied Research Facility (STAR). The purpose of these tests were to measure the impact behavior of a heated Ta-10W tantalum/tungsten alloy heat source exemplar. Each exemplar resembled a cylinder with a rectangular through-hole orthogonal to the cylinder axis-of-symmetry. In each test, the exemplar was impacted by a hardened steel impactor accelerated using the STAR air gun. The exemplars were impacted perpendicular to the through-hole and at an an angle to the cylindrical axis-of-symmetry. The exemplar bar stock source, impact angle, and impact velocity were varied throughout the testing series. High-speed video was used to measure dynamic impact behavior while photon doppler velocimetry (PDV) and shorting pins were used to measure the impact velocity. Foam support structures were used to thermally isolate the exemplar and provide a support structure which was non-perturbative to the impact event. Soft-catch techniques were used to minimize secondary impacts and enable recovery for detailed post-shot analysis. Results indicate positive correlation between exemplar fracture and the variables of impact velocity and impact angle. Exemplar fracture occurred consistently along a single corner of the through-hole.

36 MATERIALS SCIENCE↗