Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “turing”

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 73 records · Page 4

The Effects of Thermal Metamorphism on the Amino Acid Content of the CI-Like Chondrite Y-86029

Carbonaceous chondrites con-tain a diverse suite of amino acids that varies in abundance and structural diversity depending on the degree of aqueous alteration and thermal histo-ry that the parent body experienced [1 - 3]. We recently determined the amino acid contents of several fragments of the Sutter's Mill CM2 chon-drite [4]. In contrast with most other CM2 chon-drites, the Sutter's Mill meteorites showed minimal evidence for the presence of indigenous amino acids. A notable difference between the Sutter's Mill meteorites and other CM2 chondrites are that the Sutter's Mill stones were heated to tempera-tures of 150 - 400 C [4], whereas most other CM2 chondrites do not show evidence for thermal met-amorphism [5]. Because empirical studies have shown that amino acids rapidly degrade in aqueous solutions above 150 C and the presence of miner-als accelerates this degradation [6], a plausible explanation for the lack of amino acids observed in the Sutter's Mill meteorites is that they were destroyed during metamorphic alteration. Fewer CI chondrites have been analyzed for amino acids because only a small number of these meteorites have been recovered. Nevertheless, indigenous amino acids have been reported in the CI chondrites Ivuna and Orgueil [7]. Here we report on the amino acid analysis of the CI-like chondrite, Yamato 86029 (Y-86029; sample size of 110 mg). Just as the Sutter's Mill meteorites were thermally metamporphosed CM2 chondrites, Y-86029 has experienced thermal metamorphism at higher temperatures than Orgueil and Ivuna (normal CI chondrites) experienced, possibly up to 600 C [8].

Burton, A. S.↗

Noble Gases in Two Fragments of Different Lithologies from the Almahata Sitta Meteorite

The Almahata Sitta meteorite, whose preat-mospheric body was the asteroid 2008 TC3, fell on October 7, 2008 in the Nubian Desert in northern Sudan [e.g., 1, 2]. Numer-ous fragments have been recovered during several expeditions organized from December 2008 [2]. The meteorite was classified as an anomalous polymict ureilite with several different kinds of chondritic fragments [e.g., 3-5]. Noble gas studies performed on several fragments from the meteorite showed cosmic-ray expo-sure ages of about 20 My [e.g., 6-8], although slightly shorter ages were also reported in [9, 10]. Concentrations of trapped heavy noble gases are variable among the fragments of different lithologies [9, 10]. We report noble gas data on two samples from the #1 and #47 fragments [2], which were the same as those re-ported by Ott et al. [9]. Experimental Procedure: Weights of bulk samples #1 and #47 used in this work were 16.1 mg and 17.6 mg, respectively. Noble gases were extracted by stepwise heating at the tempera-tures of 800, 1200 and 1800˚C for #1 and 600, 800, 1000, 1200, 1400, 1600 and 1800˚C for #47. Concentrations and isotopic ra-tios of noble gases were measured with a modified-VG5400/MS-III at the Geochemical Research Center, University of Tokyo. Results and Discussion: Cosmogenic He and Ne are domi-nant in both #1 and #47, but trapped Ar, Kr and Xe concentra-tions are much higher in #47 than in #1, showing that noble gas compositions in #47 are similar to those of ureilites. 3He/21Ne and 22Ne/21Ne of cosmogenic He and Ne are 4.8 and 1.12 for #1 and 3.6 and 1.06 for #47, respectively, both of which plot on a Bern line [11]. This indicates negligible loss of cosmogenic 3He from #1 in our sample, unlike the low 3He/21Ne of 3.1 for #1 by Ott et al. [9]. Concentrations of cosmogenic 3He and 21Ne (10-8 cc/g) are 30 and 6.3 for #1 and 32 and 9.0 for #47, respectively, which are higher than those in [9] and give cosmic-ray exposure ages of ca. 20 My depending on assumed production rates. Rela-tive abundances of trapped 36Ar, 84Kr and 132Xe for #1 resemble those of Q-component, which is a dominant trapped noble gas component in chondrites. In contrast to #1, #47 plots below a trend for ureilites [12] as well as Q, which implies a partial loss of trapped 36Ar from the lithology of #47.

Nagao, K.↗

Aircraft Analysis Using the Layered and Extensible Aircraft Performance System (LEAPS)

The Layered and Extensible Aircraft Performance System (LEAPS) is a new air- craft analysis tool being developed by members of the Aeronautics Systems Analysis Branch (ASAB) and the Vehicle Analysis Branch (VAB) at NASA Langley Research Center. LEAPS will enable the analysis of advanced aircraft concepts and architec- tures that include electric and hybrid-electric propulsion systems. The development of LEAPS is motivated by the analysis gaps found in traditional aircraft analysis tools such as the Flight Optimization System (FLOPS). FLOPS has been the tool of choice of the ASAB for over 30 years and has proven to be a reliable analysis tool for conventional aircraft. However, FLOPS is not suitable to analyze the cur- rent unconventional vehicles that are of interest to industry, government agencies, and academia. In contrast, LEAPS is being developed with a flexible architecture that leverages new analysis methodologies that will enable the analysis of unconven- tional aircraft. This paper presents the first complete working version of LEAPS by showing the analysi at include fuel-based and hybrid-electric conceptual aircraft.

Capristan, Francisco M.↗

Aqueous Alteration in the Kuiper Belt: Evidence from Hydrated Interplanetary Dust Particles

Edgeworth-Kuiper belt objects (EKBOs) formed in the outer reaches of the protoplanetary disk and thus avoided much of the high tempera-ture processing experienced by bodies in the inner solar system. For this reason, they contain a wealth of information on the nature of nebular solids and the chemical conditions in the earliest solar system. Astronomical observations of EKBOs have been limited largely to the surface chemistry of the ices covering these small and difficult to observe bodies. The mineralogy of EKBO objects are poorly known, but clues regarding their mineralogical makeup come from studies of samples from short period comets (e.g. Wild2), and interplanetary dust particles (IDPs) produced by collisions in the Kuiper belt. Interplanetary dust particles from objects in the solar system (mainly comets and asteroids) spiral in to-wards the Sun under the influence of Poynting-Robertson (PR) drag forces and accumulate solar flare energetic particle tracks. Recent work has shown that the observed solar flare track densities (~1010-1011/sq.cm) in these IDPs are ~two orders of magnitude higher than expected if they were derived from main belt asteroids or Jupiter family comets and thus require an origin from outer solar system source bodies such as EKBOs. The track-rich IDPs include representatives from the two major groups of IDPs: the chondritic-porous, anhydrous IDPs and the chondritic-smooth, hydrated IDPs, although rare IDPs with mineralogies intermediate between these two groups are known. Here, we report on the mineralogy, composition, organic matter content, and isotopic characteristics of track-rich hydrated IDPs, and implications for aqueous alteration in outer solar system bodies.

Keller, L. P.↗

Thermoviscoelastic modelling of high strain thin-ply composites by means of multiscale plate and beam model

High strain thin-ply (HS-TPC) technology is being increasingly adopted for high-performanceaerospace applications. Albeit many of these structures such as deployable booms can bemodeled as one-dimensional beam problems, there is a lack of themoviscoelastic beam mod-els to efficiently and accurately simulate HS-TPC. This work will use mechanics of struc-ture genome (MSG) to construct linear thermoviscoelastic beam models that can homogenizethree-dimensional heterogeneous materials made of constituents with time- and temperature-dependent behavior. The formulation derives the transient strain energy based on integralformulation for thermorheologically simple materials subject to finite temperature changeswith the restriction that the strain is small. A lenticular boom is used as a numerical exampleto verify the MSG-based linear thermoviscoelastic beam model against MSG-based shell/platemodel, which has already been validated against experimental data provided by NASA, anddirect numerical simulations performed in a finite element commercial package.

Orzuri Rique Garaizar↗

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↗

Second Time-Resolved Observations of Precipitation Structure and Storm Intensity With a Constellation of Smallsats (TROPICS) Mission Applications Workshop

The NASA Time-Resolved Observations of Precipitation structure and storm Intensity with a Constellation of Smallsats (TROPICS) mission is a constellation of state-of-the-science observing platforms that will measure temperature and humidity soundings and precipitation with spatial resolution comparable to current operational passive microwave (PMW) sounders but with unprecedented temporal resolution (Mission Website).1 TROPICS is a cost-capped ($30.2 million), Venture-class mission funded by the NASA Earth Science Division (ESD) and led by Principal Investigator Dr. William Blackwell from the Massachusetts Institute of Technology Lincoln Laboratory (MIT LL). The mission consists of a constellation of six, three-unit (3U) CubeSats (approximately 10×10×34 cm), each hosting a 12-channel PMW spectrometer based on the Micro-sized Microwave Atmospheric Satellite-2 (MicroMAS-2) developed at MIT LL, but with a substantially improved design. TROPICS will provide imagery near 91 and 205 GHz, temperature sounding near 118 GHz, and moisture sounding near 183 GHz. Spatial resolution at nadir will be around 27 km for temperature and 17 km for moisture and precipitation with a swath width of approximately 2,000 km from a 550-km orbit altitude. Both the spatial resolution and swath width are similar to the Advanced Technology Microwave Sounder (ATMS) that is being flown as part of the Suomi National Polar-orbiting Partnership (SNPP) and National Oceanic and Atmospheric Administration (NOAA) Joint Polar Satellite System (JPSS). In addition, TROPICS meets many of the requirements outlined in the 2007 Decadal Survey for the Precision and All-Weather Tempera-ture and Humidity (PATH) mission, which was originally envisioned as a microwave instrument in geostationary orbit. TROPICS enables temporal resolution approaching that of geostationary orbit but at a much lower cost, demonstrating a technology that could impact the design of future Earth-observing missions. The satellites for the TROPICS mission were delivered to NASA in 2019 for launches planned in the 2021–2022 timeframe. The primary mission objective of TROPICS is to relate temperature, humidity, and precipitation structure to the evolution of tropical cyclone (TC) intensity.

remote sensing↗

Assembly and Integration Process of the High-Density Detector Array Readout Modules for the Simons Observatory

The Simons Observatory will measure the cosmic microwave background tempera-ture and polarization using a suite of new telescopes in the Atacama Desert in Chile. The Simons Observatory will use dichroic transition edge sensor (TES) bolometer arrays spanning six frequency bands from 27 to 280 GHz. The Simons Observa-tory will pioneer the use of a densely packed multiplexing architecture based on the microwave SQUID multiplexer ( 𝜇mux), housing ∼2000 microwave resonators, each coupled to a TES. The Simons Observatory aims to multiplex each array of ∼2000 detectors with a single pair of coaxial cables and requires a multiplexing factor of ∼1000 . The Simons Observatory cryogenic readout system is called the universal microwave multiplexing module (UMM). The UMM couples to both horn and lenslet-coupled detector arrays and is integrated into the universal focal-plane module (UFM) after being independently characterized. We present processes we have developed for highly repeatable and automated integration methods of UMMs, which will be needed for the production of the 49 UFMs required for the first stage of the Simons Observatory.

CMB↗

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk 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.

Termination↗

Analytical Needs in a Sample Receiving Facility: Input from the MSR Operation Definition Team

The return of scientifically selected samples from Mars would provide a rare opportunity forinvestigation with the full range of the latest technology available, but to take full advantageof this opportunity, it is important to plan ahead to ensure the pristine nature of the samplesupon arrival within the Earth environment until scientific investigations can begin.The NASA/ESA science community-driven MSR Science Planning Group – Phase 2 (MSPG2)delivered recommendations and guidance regarding curation (1) and science (2, 3) activities tobe performed on the samples under containment. High-level requirements for the infrastruc-ture were also developed by MSPG2 (4). In order to prepare infrastructure-targeted input forthe ESA and NASA facility studies planned in the 2022-2023 timeframe, the agency-led MSROperational Scenarios Definition Team (MOSDT) was assembled to conceptualize the sampleoperations that will inform future architecture teams. Emphasis was placed on the respon-sibility of MOSDT to use community-defined requirements and to represent the view of the international scientific community.All necessary and sufficient instruments and analytical needs described in MSPG2 were inte-grated in MOSDT main deliverable, the operational workflow (see Hays et al, this conference).In MSPG2, notional instruments were split between curation analytical needs, and objective-driven (time-sensitive and sterilization-sensitive) science analytical needs. In MOSDT, whilethe first phases of curation, “pre-Basic Characterization” and “Basic Characterization” wererather streamlined and separate from other analytical needs, “Preliminary Examination” and“Science” instruments were not always physically segregated. In addition to the necessary andsufficient instruments described by MSPG2, the MOSDT recommended additional supportequipment for sterilization, cleanliness and contamination monitoring.It was sometimes necessary for the MOSDT to rely on assumptions to integrate instruments inthe activity workflow. In general, the assumptions were very conservative to limit contaminationand cross-contamination risks. It is expected that future work to refine limits of contaminationwill enable optimization of instrumentation.The community was consulted during the course of the MOSDT work. This abstract’s aimis two-fold: on one hand, inform the scientific community and overall MSR stakeholders, tobring their attention on the analytical needs currently considered as necessary and sufficient;on the other hand, to solicit feedback from a larger community audience to optimize and refineanalytical needs during the next phases of MSR ground-segment preparation.Disclaimer: The decision to implement Mars Sample Return will not be finalized until NASA’scompletion of the program’s National Environmental Policy Act (NEPA) process. This docu-ment is being made available for informational purposes only.[1] Tait et al. (2021) Preliminary planning for Mars Sample Return (MSR) curation activities ina Sample Receiving Facility (SRF). Astrobiology in press, doi:10.1089/ast.2021.0105. [2] Toscaet al. (2021) Time-sensitive aspects of Mars Sample Return (MSR) science. Astrobiologyin press, doi:10.1089/ast.2021.0115. [3] Velbel et al. (2021) Planning implications relatedto sterilization-sensitive science investigations associated with Mars Sample Return (MSR).Astrobiology in press, doi:10.1089/ast.2021.0113. [4] Carrier et al. (2021) Science and curationconsiderations for the design of a Mars Sample Return (MSR) Sample Receiving Facility (SRF).Astrobiology in press, doi:10.1089/ast.2021.0110.

Mars Sample Return↗

Advancing Dust Tolerant Mechanisms for a Sustained Exploration of the Moon

Introduction: “I think dust is probably one of our greatest inhibitors to a nominal operation on the Moon. I think we can overcome other physio-logical or physical or mechanical problems except dust.”– Gene Cernan, Apollo 17 Technical Debrief The Apollo missions revealed the impact of lu-nar dust on mechanisms. Lunar dust particles are jagged and electrostatically charged, giving them the ability to bind or damage mechanisms and alter thermal properties. Reports documented clogged equipment and jammed mechanisms in every mission, regardless of surface duration, as well as clogged mechanisms in the Extravehicular Mobility Suit (EMS), including zippers, wrist and hose locks, faceplates, and sunshades [1-2]. Several astronauts remarked they could not have sustained surface activity much longer because clogged joints would have frozen up completely [2]. Effective dust mitigation strategies are need-ed to support longer duration stays on the lunar surface [3-4]. State of the Art: Technology for mechanisms able to operate in dusty enviroments is advancing rapidly due to the needs of both Mars rovers and the Artemis program. Vacuum-tight connectors are essential for spacesuits and habitats, and their performance can be dependent on cleaning technologies, which have proven difficult on the lunar surface. Several TRL 3-5 technologies are undergoing tests with the expectation to reach TRL 6 within 1-2 years. Some mechanisms will be infused and tested on the VIPER (Volatiles Inves-tigating Polar Exploration Rover) mission planned for mid-2020s. NASA Funded Efforts: NASA has recognized the need for dust tolerant mechanisms, and has partnered with industry to advance the state-of-the-art. At NASA GRC, KSC, and JSC, the Dust Tolerant Mechanisms Project is working to devel-op advanced actuator seals for rotary joints and rotary bearing technologies for long-term sus-tained operation in lunar dust environments. An-other NASA project at NASA GRC, partnered with GSFC, JPL, and KSC is Motors for Dusty & Ex-treme Cold Environments (MDECE). MDECE is developing an unheated magnetically-geared mo-tor that can operate continuously for a long dura-tion at an ambient temperature of -243 ºC (33 K). NASA GRC has the capability to characterize the effects of dust on seals, mechanisms, and other mating surfaces and components under lunar conditions [5]. Through the SBIR/STTR program, NASA has funded several companies to advance dust toler-ant mechanisms via the Dust Tolerant Mecha-nisms sub-topic with applications in surface mobil-ity, spacesuits, connectors, joints, and more. LSIC and Community Efforts: The Lunar Surface Innovation Consortium (LSIC) Dust Miti-gation focus group has fostered collaborations across NASA, industry, and academia to develop solutions that minimizes the impact of lunar dust on robotic and human systems. Community ef-forts have included topical meetings on dust tol-erant mechanisms, featured technology presenta-tions, and feedback to NASA on potential gaps and needs. Testing: In 2021, NASA released NASA-STD-1008 [6]. This NASA Technical Standard estab-lishes minimum requirements and provides guid-ance for testing systems and hardware to be ex-posed to dust in planetary environments. The standard has specific sections dedicated to Mechanisms Testing (e.g. bearings, gears) as well as Seals and Mating Surfaces Testing (e.g. hatches, docking systems). Gaps and Needs: NASA is tracking dust tol-erant mechanisms as a gap in a cross-directorate analysis of capability areas needed to enable fu-ture human space-flight architectures. Two high-priority gap areas include additional facilities for testing mechanisms in lunar-surface conditions, and a better understanding of vulnerabilities to the smallest, nanometer-scale dust particles. Conclusion: Understanding and mitigating lu-nar dust is critical to successful, sustained opera-tions on the lunar surface – whether autonomous or otherwise. This presentation will discuss both the state-of-the-art and open needs in lunar dust tolerant mechanisms, technology impacts, mitiga-tion approaches, testing, LSIC community efforts, and more. References: [1] Gaier, J. R. (2020). The Im-pact of Dust on Lunar Surface Equipment During Apollo. Lunar Dust 2020. [2] GRC, & Gaier, J. R. (2005). The Effects of Lunar Dust on EVA Sys-tems During the Apollo Missions. [3] Johansen, M. R. (2020). An Update on NASA’s Lunar Dust Mitigation Strategy. Lunar Dust 2020. [4] ASI, CSA, ESA, JAXA, & NASA. (2016). Dust Mitiga-tion Gap Assessment Report. [5] Jimenez, N. et al (2022), LPSC Abstract 2572. [6] NASA-STD-1008, 2021.

J I Nunez↗

LIPA: Lunar Ice Perception Algorithm

Introduction: The highest concentration of Lu-nar water-ice stores exists within the Permanently Shadowed Regions (PSRs) of the Lunar South Pole [1-3]. As such, the ability to locate in situ water-ice stores in an accurate, systematic, and safe manner will prove vital for future Lunar activities which rely on hydrogen-based resources. Here we show how the strong absorptive properties of ice can be exploited so that surface ice located in PSRs can be easily differentiated from the surrounding frozen regolith. Testbeds which simulate an icy lunar landscape were created and then systematically imaged using a mid-wave infrared (MWIR) camera system. Testbeds were imaged under two filter modes (1) high-absorption (high-abs) mode: whereby imagery captured were confined to a single central wave-length (CWL) of 3.15 ± 0.03 μm and (2) low-absorption (low-abs) mode: whereby imagery cap-tured were confined to a single CWL of 3.80 ± 0.04 μm (Figure 1). High- and low-absorption modes are related to the absorptive properties of ice at each selected wavelength, respectively. Corresponding images from each filter mode were differenced (i.e., pixels were subtracted) to enhance contrast between ice-bearing and non-ice-bearing pixels, and then fed into a semantic segmen-tation model. The model was trained to detect and differentiate between water, ice, shadows, and lunar regolith. Results: Modeling results accurately discrimi-nated ice from other materials (such as frozen lunar regolith) and were used to visually resolve the spa-tial extent of surface ice. Further, outputs produced through semantic segmentation were used to estimate water-ice contents in collected imagery [(Pixels with Class = “Water Ice”)/(Sum of Pixels)*100]. Summary: These works prove promising for future in situ resource utilization (ISRU) missions which employ robotics in combination with infrared camera systems to advance science objectives (e.g., locate water-ice in frozen regolith) on the lunar sur-face. References: [1] Cannon K. M., Deutsch A. N., Head J. W., and Britt D. T. (2020) Geophysical Re-search Letters, 46, e2020GL088920. [2] Honniball C. I. et al. (2021) Nature Astronomy 5, no. 2, 121-127. [3] Li S. et al. (2018) Proceedings of the National Academy of Sciences, 115(36), 8907-8912.

A. Slabic↗

Mantle Plume Magmatism in Elysium Planitia as Constrained by InSight Seismic Observations

Based on cratering statistics, there has been active volcanism in the last 100 Ma and possibly the last 1 to 10 Ma in both central Elysium Planitia and in the Cerberus Fossae region of south-eastern Elysium. Seismic measurements by the InSight mission show a strong concentration of seismicity in Cerberus Fossae which are interpreted as due to magma transport along dike systems. Together, these observations strongly support the existence of geologically recent and possibly of currently active magmatism in Elysium. InSight seismic observations were also used to construct seismic velocity models for the martian mantle. These models are effectively a regional aver-age of the seismic velocity structure for the Elysium region, where both the InSight lander and most of the measured seismic events are located. These seismic velocity models have been interpreted in terms of the lithospheric thickness and mantle potential temperature. Khan et al. found a lithospheric thickness of 400 to 600 km and a mantle potential temperature of 1325 to 1425 °C. Durán et al. found a lithospheric thickness of ~450 km and a mantle potential tempera-ture of 1375-1475 °C. Drilleau et al. found a thermal lithosphere of 420-660 km and a mantle potential temperature of 1380-1560 °C. In this study, we combine these InSight seismic observations with finite element mantle plume magma production models to place new constraints on the properties of the mantle beneath Elysium Planitia.

Walter S Kiefer↗

Hypervelocity Dust Impact in Olivine: Fib/Tem Characterization and Comparison of Experimental and Natural Microcraters

The flux of objects impacting the surfaces of solar system airless bodies is dominated by micrometeoroids less than 1 mm diameter whose impact effects play a major role in the space weathering of airless body surfaces. To obtain better understanding of how small scale impact effects vary as a function of impact speed in an important lunar and asteroidal mineral, we produced artificial microcraters in San Carlos olivine using Fe metal dust particles 0.10 to 5 µm in diameter electrostatically accelerated to speeds between 0.35 to 25 km s-1. The crater morphologies, size distrrubiton and microstruc-tures were characterized by field-emission SEM (FE-SEM) and also by FIB cross sectioning of selected craters for field-emission scanning transmission electron microscopy (FE-STEM). These same techniques were also applied to study a natural 20 µm-diameter microcrater in a olivine grain on the surface of lunar rock 12075. Measured microcrater diameters in the experimental sample range between 0.20 to 5 µm with larger craters having more irregular outlines dominated by spallation fractures. FE-SEM and FE-STEM imaging docu-ment the formation of shock melt in the size population of experimental craters below approximately 1 µm in diameter, corresponding to particle impact speeds in the 10-25 km s-1 range. The natural olivine crater exhibits similar shock melt features along the perimeter of its cavity, but the shock melt also contains nanophase Fe metal particles, something not observed in the experimental samples. FE-STEM imaging of the experimental craters reveals complex shock-generated dislocation and nanofracture microstructures in zones extend-ing 1-2 µm into the olivine from the crater cavity. The natural microcrater shows a lower density of shock-generated disloca-tions that extends a factor of 2 deeper into the the olivine than in the experimental samples.

Roy Gray Christoffersen↗

Digital Twins of the Environment

Please download and open the zip folder on your system to view the talks. As part of AI-UK'2024 (organized by UK Turing Institute), Jacqueline Le Moigne and Robert Morris (NASA ARC AIST Associate) were part of a Panel on "Digital Twins of the Environment". We described what Earth System Digital Twins (ESDTs) are, how they could be used in the future, which technologies need to be developed for these ESDTs to become a reality and what the state-of-the-art is. No formal presentations were given but 2 videos were generated during the conference and will be posted on the AI-UK website: https://www.turing.ac.uk/events/ai-uk-2024. The 2 videos cover: (1) a recording of the entire Panel featuring Robert Morris/NASA ARC and Jacqueline Le Moigne/ESTOl; (2) a post-panel interview of Jacqueline Le Moigne.

Earth Science Remote Sensing↗

Simple and General Unitarity Conserving Numerical Real-Time Propagators of the Time-Dependent Schrödinger Equation Based on Magnus Expansion

Magnus expansion (ME) provides a general way to expand the real-time propagator of a time-dependent Hamiltonian within the exponential such that the unitarity is satisfied at any order. Here, we use this property and explicit integration of Lagrange interpolation formulas for the time-dependent Hamiltonian within each time interval and derive approximations that preserve unitarity for the differential time evolution operators of general time-dependent Hamiltonians. The resulting second-order approximation is the same as using the average of Hamiltonians for two end points of time. We identify three fourth-order approximations involving commutators of Hamiltonians at different times and also derive a sixth-order expression. A test of these approximations along with other available expressions for a two-state time-dependent Hamiltonian with sinusoidal time dependences provides information on the relative performance of these approximations and suggests that the derived expressions can serve as useful numerical tools for time evolution in time-resolved spectroscopy, quantum control, quantum sensing, real-time ab initio quantum dynamics, and open system quantum dynamics.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Dissecting Tensor Cores via Microbenchmarks: Latency, Throughput and Numeric Behaviors

Tensor Cores have been an important unit to accelerate Fused Matrix Multiplication Accumulation (MMA) in all NVIDIA GPUs since Volta Architecture. To program Tensor Cores, users have to use either legacy wmma APIs or current mma APIs. Legacy wmma APIs are more easy-to-use but can only exploit limited features and power of Tensor Cores. Specifically, wmma APIs support fewer operand shapes and can not leverage the new sparse matrix multiplication feature of the newest Ampere Tensor Cores. However, the performance of current programming interface has not been well explored. Furthermore, the computation numeric behaviors of low-precision floating points (TF32, BF16, and FP16) supported by the newest Ampere Tensor Cores are also mysterious. In this paper, we explore the throughput and latency of current programming APIs. Further, we intuitively study the numeric behaviors of Tensor Cores MMA and profile the intermediate operations including multiplication, addition of inner product, and accumulation. All codes used in this work can be found in https://github.com/sunlex0717/DissectingTensorCores.

97 MATHEMATICS AND COMPUTING↗

The UCAR Africa Initiative: Recent insights, challenges, and opportunities to foster collaborative research for environmental sustainability

Africa is increasingly being exposed to the negative impacts of climate and environmental change, while having less capacity to respond compared to other continents. The vulnerability partially results from unprecedented demographic growth, urbanization, and industrialization. However, the continent has still largely been underserved by the broader Earth System Science (ESS) community, as evidenced by the limited amount of ESS data and research that cover Africa compared to other areas of the world. Here we present the recent University Corporation for Atmospheric Research (UCAR) Africa Initiative that aims to enhance environmental sustainability in Africa by fostering international collaborative research partnerships co-led by African scientists. Specifically, we outline urgent challenges and opportunities identified through an international workshop in six areas of ESS namely (1) air quality and health, (2) weather, (3) climate, (4) land and water, (5) social science perspectives, and (6) developing equitable collaboration and sustainable infrastructure. We highlight examples of successful partnerships and conclude with recommendations to advance collaborative, actionable ESS research that addresses Africa’s critical environmental challenges.

African weather and land variability↗