Search NASA⌕ Search

SEARCH · Search NASA

Results for “MAUD”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

MILK : a Python scripting interface to MAUD for automation of Rietveld analysis

Modern diffraction experiments ( e.g. in situ parametric studies) present scientists with many diffraction patterns to analyze. Interactive analyses via graphical user interfaces tend to slow down obtaining quantitative results such as lattice parameters and phase fractions. Furthermore, Rietveld refinement strategies ( i.e. the parameter turn-on-off sequences) tend to be instrument specific or even specific to a given dataset, such that selection of strategies can become a bottleneck for efficient data analysis. Managing multi-histogram datasets such as from multi-bank neutron diffractometers or caked 2D synchrotron data presents additional challenges due to the large number of histogram-specific parameters. To overcome these challenges in the Rietveld software Material Analysis Using Diffraction ( MAUD ), the MAUD Interface Language Kit ( MILK ) is developed along with an updated text batch interface for MAUD . The open-source software MILK is computer-platform independent and is packaged as a Python library that interfaces with MAUD . Using MILK , model selection ( e.g. various texture or peak-broadening models), Rietveld parameter manipulation and distributed parallel batch computing can be performed through a high-level Python interface. A high-level interface enables analysis workflows to be easily programmed, shared and applied to large datasets, and external tools to be integrated with MAUD . Through modification to the MAUD batch interface, plot and data exports have been improved. The resulting hierarchical folders from Rietveld refinements with MILK are compatible with Cinema: Debye–Scherrer , a tool for visualizing and inspecting the results of multi-parameter analyses of large quantities of diffraction data. In this manuscript, the combined Python scripting and visualization capability of MILK is demonstrated with a quantitative texture and phase analysis of data collected at the HIPPO neutron diffractometer.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1988

Iridium, shocked minerals, and trace elements across the Cretaceous/Tertiary boundary at Maud Rise, Wedell Sea, and Walvis Ridge, South Atlantic Ocean

Sediments spanning a 5 meter section across the Cretaceous-Tertiary boundary at ODP holes 689B and 690D, Maud Rise, Wedell Sea and hole 527, Walvis Ridge, are being analyzed for shock deformation, PGE's and other trace elements (including REE's). Mineral separates from each sample were studied with optical microscopy to determine the distribution and microstructural state of quartz and feldspar present in the sediments. Samples from Maud Rise were taken of the K/T transition and at about 50 cm intervals above and below it. These samples consist of carbonate-rich sediments, with the K/T transition marked by a change from white Maastrichtian oozes to a greenish ooze with higher concentrations of altered volcanic clay and vitric ash. The Walvis Ridge site is characterized by more clay-rich sediments with average carbonate content about 60 to 70 percent. Initial results from RNAA studies indicate that iridium is present in all the Maud Rise samples in concentrations equal to or greater than 0.01 ppb (whole-rock basis). Preliminary results from optical microscopy indicate the occurrence of shock mosaicism in quartz and feldspar in all of the samples studied. The pervasiveness of shock mosaicism and presence of planar features to 2 meters from the K/T boundary indicates that a single impact or volcanic explosion 66 ma may be ruled out as responsible for the K/T event. A similar conclusion may be drawn independently from the distribution of iridium and other trace elements. Regardless of the source of the shock waves and sediment contamination, multiple events are required over a ca.0.5 my timespan; currently we favor endogenous sources.

Huffman, Alan R.↗
DOE OSTI2024

Ekman-driven salt transport as a key mechanism for open-ocean polynya formation at Maud Rise

Open-ocean polynyas formed over the Maud Rise, in the Weddell Sea, during the winters of 2016–2017. Such polynyas are rare events in the Southern Ocean and are associated with deep convection, affecting regional carbon and heat budgets. Using an ocean state estimate, we found that during 2017, early sea ice melting occurred in response to enhanced vertical mixing of heat, which was accompanied by mixing of salt. The melting sea ice compensated for the vertically mixed salt, resulting in a net buoyancy gain. An additional salt input was then necessary to destabilize the upper ocean. This came from a hitherto unexplored polynya-formation mechanism: an Ekman transport of salt across a jet girdling the northern flank of the Maud Rise. Such transport was driven by intensified eastward surface stresses during 2015–2018. Our results illustrate how highly localized interactions between wind, ocean flow and topography can trigger polynya formation in the open Southern Ocean.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2017

Temperature and Snowfall in Western Queen Maud Land Increasing Faster than Climate Model Projections

East Antarctic Ice Sheet (EAIS) mass balance is largely driven by snowfall. Recently, increased snowfall in Queen Maud Land led to years of EAIS mass gain. It is difficult to determine whether these years of enhanced snowfall are anomalous or part of a longer-term trend, reducing our ability to assess the mitigating impact of snowfall on sea level rise. We determine that the recent snowfall increases in western Queen Maud Land (QML) are part of a long-term trend (+5.2 +/- 3.7% decade(exp -1)) and are unprecedented over the past two millennia. Warming between 1998 and 2016 is significant and rapid (+1.1 +/- 0.7 C decade(exp -1)). Using these observations, we determine that the current accumulation and temperature increases in QML from an ensemble of global climate simulations are too low, which suggests that projections of the QML contribution to sea level rise are potentially overestimated with a reduced mitigating impact of enhanced snowfall in a warming world.

WAIS↗
NASA NTRS1988

Evidence of volcanic ash at a K-T boundary section: Ocean drilling program hole 690 C, Maud Rise, Weddell Sea off East Antarctica

Rare vitric volcanogenic ash but more abundant clay minerals considered volcanogenic in origin are associated with an expanded and essentially complete K-T boundary sequence from Ocean Drilling Project (ODP) Hole 690 C on Maud Rise in the Weddell Sea off East Antarctica. Results at this writing are preliminary and are still based to some extent on shipboard descriptions. Further shore-based studies are in progress. It would appear, however, that the presence of volcanic ash and altered ash in the Danian section beginning at the biostratigraphically and paleomagnetically determined K-T boundary on Maud Rise can be cited as evidence of significant volcanic activity within the South Atlantic-Indian Ocean sector of the Southern Ocean coincident with the time of biotic crises at the end of the Maestrichtian. This is a postulated time of tectonic and volcanic activity within this Southern Hemisphere region, including possible initiation of the Reunion hot spot and a peak in explosive volcanism on Walvis Ridge (1) among other events. A causal relationship with the biotic crisis is possible and volcanism should be given serious consideration as a testable working hypothesis to explain these extinctions.

Wise, S. W.↗
NASA NTRS2003

Modelling protein functional domains in signal transduction using Maude

Modelling of protein-protein interactions in signal transduction is receiving increased attention in computational biology. This paper describes recent research in the application of Maude, a symbolic language founded on rewriting logic, to the modelling of functional domains within signalling proteins. Protein functional domains (PFDs) are a critical focus of modern signal transduction research. In general, Maude models can simulate biological signalling networks and produce specific testable hypotheses at various levels of abstraction. Developing symbolic models of signalling proteins containing functional domains is important because of the potential to generate analyses of complex signalling networks based on structure-function relationships.

Signal Transduction↗
DOE OSTI2023

Synoptic Drivers of Atmospheric River Induced Precipitation Near Dronning Maud Land, Antarctica

Atmospheric rivers (ARs) that reach the Antarctic Ice Sheet (AIS) transport anomalous moisture from lower latitudes and can impact the AIS via extreme precipitation and increased downward longwave radiation. ARs contribute significantly to the interannual variability of precipitation over the AIS and thus are likely to play a key role in understanding future changes in the surface mass balance of the AIS. Dronning Maud Land (DML) is one of four maxima in AR frequency over coastal East Antarctica, with AR precipitation explaining 77% of the interannual variability in precipitation for this region. We employ a 16-node self-organizing map (SOM) trained with MERRA-2 sea-level pressure anomalies to identify synoptic-scale environments associated with landfalling ARs in and around DML. Node composites of atmospheric variables reveal common drivers of precipitation associated with ARs reaching DML including anomalous high-low surface pressure couplets, anomalously high integrated water vapor, and coastal barrier jets. Using a quasi-geostrophic framework, we find that upward vertical motion associated with the occlusion process of attendant cyclones dominates atmospheric lift in AR environments. We further identify mechanisms that explain the variability in AR precipitation intensity across nodes, such as the lift associated with the occlusion process of attendant cyclones and the spatial coincidence of ascent induced by the occlusion process and frontogenesis. Here, the latter suggests that ARs making landfall during the mature phase of cyclogenesis result in higher precipitation intensity compared to landfalling ARs that occur during the occluded phase.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1987

Recurring polynyas over the Cosmonaut Sea and the Maud Rise

Two remarkable deep ocean polynyas observed in the Antarctic region during the winter of 1980, here referred to as the Cosmonaut polynya and the Maud Rise polynya, are discussed. It is proposed that both polynyas are products of deep-reaching convection which introduces warmer deep water into the surface layer. Hydrographic data at both sites indicate the existence of localized doming of the pycnocline. This brings warmer, saltier deep water close to the sea surface, which has been demonstrated to be an effective preconditioner for deep-reaching convection. A possible relationship between the two polynyas is sugggested in that both are in the eastern margins of the Weddell Sea.

Comiso, J. C.↗
NASA NTRS2004

Crustal Magnetization Model of Maud Rise in the Southwest Indian Ocean

We modeled the crustal magnetization for the Maud Rise in the south-west Indian Ocean off the coast of East Antarctica using magnetic observations from the Oersted satellite and near-surface surveys complied by the Antarctic Digital Magnetic Anomaly Project (ADMAP). A new inversion modeling scheme of the multi-altitude anomaly fields suggests that the magnetic effects due to crustal thickness variations and remanence involving the normal polarity Cretaceous Quiet Zone (KQZ) become increasingly dominant with altitude. The magnetic crustal thickness effects were modeled in the Oersted data using crustal thickness variations derived from satellite altitude gravity data. Remanent magnetization modeling of the residual Oersted and near-surface magnetic anomalies supports extending the KQZ eastwards to the Astrid Ridge. The remaining near-surface anomalies involve crustal features with relatively high frequency effects that are strongly attenuated at satellite altitudes. The crustal modeling can be extended by the satellite magnetic anomalies across the Indian Ocean Ridge for insight on the crustal properties of the conjugate Agulhas Plateau. The modeling supports the Jurassic reconstruction of Gondwana when the African Limpopo-Zambezi and East Antarctic Princess Astrid coasts were connected as part of a relatively demagnetized crustal block.

Kim, Hyung Rae↗
NASA NTRS1977

Glaciological and marine biological studies at perimeter of Dronning Maud Land, Antarctica

The author has identified the following significant results. A nearly complete map of the Dronning Land coastline from 10 deg W to 29 deg E was produced. Based on this, it was determined that for the past 20 years, the minimum calving rate from this part of the coastline was 60 cu km/year. The drift speeds were measured for ice floes and bergs between 9 and 20 km/day, and it was found that the number of ice floes of a given size decrease exponentially with size, so that each size class covers approximately the same area. A large melt phenomena at blue ice fields around 70 deg 45' S and 26-29 deg E was discovered.

Orheim, O.↗
NASA NTRS2009

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on the finding of two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

Dowek, Gilles↗
NASA NTRS1995

Chemical studies of H chondrites. 4: New data and comparison of Antarctic suites

We report data for the trace elements Au, Co, Sb, Ga, Rb, Ag, Se, Cs, Te, Zn, Cd, Bi, Ti, and In (ordered by putative volatility during nebular condensation and accretion) determined by neutron activation analysis in 13 H5 chondrites from Victoria Land and 20 H4-6 chondrites from Queen Maud Land, Antarctica. These and earlier results provide Antarctic sample suites of 34 chondrites from Victoria Land and 25 from Queen Maud Land. Treatment of data for the most volatile 10 elements (Rb to In) in these studies by multivariate statistical techniques more robust, as well as more conservative, than conventional linear discriminant analysis and logistic regression demonstrates that compositions differ at marginally significant levels. This difference cannot be explained by trivial (terrestrial) causes and becomes more significant, despite the smaller size of the database, when comparisons are limited to data from a single analyst and when all upper limits are eliminated from consideration. The Victoria Land and Queen Maud Land suites have different mean terrestrial ages (approximately 300 kyr and approximately 100 kyr, respectively) and age distributions, suggesting that a time-dependent variation of chondritic sources with different thermal histories is responsible. As a result, these two Antarctic suites are, on average, chemically distinguishable from each other. Since H chondrites serve as a paradigm for other meteorite classes, these results indicate that the near-Earth populations of planetary materials varied with time on the 10(exp 5)-year timescale.

Wolf, Stephen F.↗
NASA NTRS2002

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗