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
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.↗
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↗
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↗
NASA NTRS2001

Interpreting Abstract Interpretations in Membership Equational Logic

We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations "for free." Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks and abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specified loss of information during abstraction, and to compare different abstractions with each other.

Fischer, Bernd↗
NASA NTRS1988

Cretaceous-Tertiary boundary in the Antarctic: Climatic cooling precedes biotic crisis

Stable isotopic investigations were conducted on calcareous microfossils across two deep sea Cretaceous-Tertiary boundary sequences on Maud Rise, Weddell Sea, Antarctica. The boundary is taken at the level of massive extinctions in calcareous planktonic microfossils, and coincides with a sharp lithologic change from pure calcareous ooze to calcareous ooze with a large volcanic clay component. The uppermost Maestrichtian is marked by a long-term decrease in delta value of 0 to 18 which spans most of the lower and middle A. mayaroensis Zone and represents a warming trend which culminated in surface water temperatures of about 16 C. At approximately 3 meters below the K-T boundary this warming trend terminates abruptly and benthic and planktonic isotopic records exhibit a rapid increase in delta value of 0 to 18 that continues up to the K-T boundary. The trend towards cooler surface water temperatures stops abruptly at the K-T boundary and delta value of 0 to 18 values remain relatively stable through the Paleocene. Comparison of the Antarctic sequence with the previously documented deep sea records in the South Atlantic reveal shifts of similar magnitude in the latest Maestrichtian. It is indicated that the Southern Ocean underwent the most significant, and apparently permanent, climatic change. The latest Cretaceous oxygen isotopic shift recorded at Maud Rise and other deep sea sites is similar in magnitude to large positive delta valve of 0 to 18 shifts in the middle Eocene, at the Eocene/Oligocene boundary and in the middle Miocene that marked large scale climatic transitions which ultimately lead to cryospheric development of the Antarctic. The climatic shift at the end of the Cretaceous represents one of the most significant climatic transitions recorded in the latest Phanerozoic and had a profound effect on global climate as well as oceanic circulation.

Stott, Lowell D.↗
NASA NTRS1993

Modeling of topographic effects on Antarctic sea ice using multivariate adaptive regression splines

The role of seafloor topography in the spatial variations of the southern ocean sea ice cover as observed (every other day) by the Nimbus 7 scanning multichannel microwave radiometer satellite in the years 1980, 1983, and 1984 is studied. Bottom bathymetry can affect sea ice surface characteristics because of the basically barotropic circulation of the ocean south of the Antarctic Circumpolar current. The main statistical tool used to quantify this effect is a local nonparametric regression model of sea ice concentration as a function of the depth and its first two derivatives in both meridional and zonal directions. First, we model the relationship of bathymetry to sea ice concentration in two sudy areas, one over the Maud Rise and the other over the Ross Sea shelf region. The multiple correlation coefficient is found to average 44% in the Maud Rise study area and 62% in the Ross Sea study area over the years 1980, 1983, and 1984. Second, a strategy of dividing the entire Antarctic region into an overlapping mosaic of small areas, or windows is considered. Keeping the windows small reduces the correlation of bathymetry with other factors such as wind, sea temperature, and distance to the continent. We find that although the form of the model varies from window to window due to the changing role of other relevant environmental variables, we are left with a spatially consistent ordering of the relative importance of the topographic predictors. For a set of three representative days in the Austral winter of 1980, the analysis shows that an average of 54% of the spatial variation in sea ice concentration over the entire ice cover can be attributed to topographic variables. The results thus support the hypothesis that there is a sea ice to bottom bathymetry link. However this should not undermine the considerable influence of wind, current, and temperature which affect the ice distribution directly and are partly responsible for the observed bathymetric effects.

De Veaux, Richard D.↗