Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “trace contract”

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 NTRS2012

TraceContract

TraceContract is an API (Application Programming Interface) for trace analysis. A trace is a sequence of events, and can, for example, be generated by a running program, instrumented appropriately to generate events. An event can be any data object. An example of a trace is a log file containing events that a programmer has found important to record during a program execution. Trace - Contract takes as input such a trace together with a specification formulated using the API and reports on any violations of the specification, potentially calling code (reactions) to be executed when violations are detected. The software is developed as an internal DSL (Domain Specific Language) in the Scala programming language. Scala is a relatively new programming language that is specifically convenient for defining such internal DSLs due to a number of language characteristics. This includes Scala s elegant combination of object-oriented and functional programming, a succinct notation, and an advanced type system. The DSL offers a combination of data-parameterized state machines and temporal logic, which is novel. As an extension of Scala, it is a very expressive and convenient log file analysis framework.

Kavelund, Klaus↗
NASA NTRS2012

Requirements-Driven Log Analysis Extended Abstract

Imagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is diffcult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i; o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology. So is there an easier way to incorporate formal methods-based approaches than the full edged test revolution? Fortunately the answer is affirmative. A relatively simple approach is to benefit from possibly already existing logging infrastructure, which after all is part of most systems put in production. A log is a sequence of events, generated by special log recording statements, most often manually inserted in the code by the programmers. An event can be considered as a data record: a mapping from field names to values. We can analyze such a log using formal methods, for example checking it against a formal specification. This separates running the system for analyzing its behavior. It is not meant as an alternative to testing since it does not address the important in- put generation problem. However, it offers a solution which testing teams might accept since it has low impact on the existing process. A single person might be assigned to perform such log analysis, compared to the entire testing team changing behavior.

log analysis↗
NASA NTRS2023

Protracted oxygenation across the Cambrian–Ordovician transition: A key initiator of the Great Ordovician Biodiversification Event?

Fluctuations in marine oxygen concentrations have been invoked as a primary driver for changes in biodiversity throughout Earth history. Expansions in reducing marine conditions are commonly invoked as key causal mechanisms for mass extinctions, while increases in marine oxygenation are becoming an increasingly common causal mechanism invoked for biodiversification events. Here we utilize a multiproxy approach to constrain local and global marine paleoredox conditions throughout the late Cambrian–Early Ordovician from two drill core successions in Baltoscandia. Local paleoredox proxies such as manganese concentrations and iron speciation reveal that both sites in the Baltic paleobasin had persistently anoxic and predominantly euxinic (anoxic and sulfidic) bottom water conditions throughout the study interval. Corresponding trace metal datasets indicate nuanced contraction and expansion of global anoxic and euxinic conditions along continental margins during the late Cambrian–Early Ordovician. Lastly, thallium isotope data from these locally reducing sections suggest a global expansion of oxygenated shelf and deeper marine environments from the late Cambrian into the Early Ordovician. This evidence for increasingly oxic marine environments coincides with increases in burrowing depth and tiering in marine animals, as well as diversification of body fossils throughout this ~8-million-year interval. The collective geochemical datasets provide some of the first direct paleoredox evidence for an increase in marine oxygen concentrations as a key mechanism for the Ordovician radiation of marine life

anoxia↗
NASA NTRS1978

Lidar remote sensing of tropospheric pollutants and trace gases - Programs of NASA Langley Research Center

NASA Langley Research Center is engaged in a number of in-house and contracted programs to develop, evaluate, and apply lidar techniques to remote measurements of pollutant gases, trace molecules, and aerosols. The differential absorption lidar (DIAL) research programs include the development and evaluation of a UV DIAL system for remote measurements of SO2 and O3 concentrations and aerosol dispersion in urban and power-plant stack plumes, a near-IR DIAL system for vertical measurements of water vapor concentrations, and a high-power tunable IR DIAL system which will measure the concentration of gas species that have absorption features in the 1.4- to 4.4-micron wavelength range. The lidar programs which deal with aerosol measurements include the evaluation of a mobile ruby lidar system for use in plume dispersion model verification and the development of a high-spectral-resolution lidar system for measurement of aerosol extinction and backscattering coefficients. System characteristics and measurement sensitivities are discussed, and comparisons are made between simulations and experimental results.

Browell, E. V.↗
NASA NTRS1971

Cardiocirculatory responses to exercise - Physiologic study by noninvasive techniques.

The changes from rest to exercise were determined for certain phases of the cardiac cycle in ten healthy male subjects who underwent submaximal, physiologically paced bicycle ergometry. ECGs, phonocardiograms, and carotid pu lse tracings were recorded. The preejection period and isovolumic contraction time decreased with exercise. Changes in left ventricular ejection time appeared to depend on the severity or the duration of stress. Pulse transmission time did not change significantly. The data obtained in the study and comparison of these results to those obtained by invasive methods indicate that noninvasive techniques, when used in the manner suggested, are appropriate means for detecting a variety of cardiocirculatory changes during exercise.

Pigott, V. M.↗
NASA NTRS2010

Uterine Contraction Modeling and Simulation

Building a training system for medical personnel to properly interpret fetal heart rate tracing requires developing accurate models that can relate various signal patterns to certain pathologies. In addition to modeling the fetal heart rate signal itself, the change of uterine pressure that bears strong relation to fetal heart rate and provides indications of maternal and fetal status should also be considered. In this work, we have developed a group of parametric models to simulate uterine contractions during labor and delivery. Through analysis of real patient records, we propose to model uterine contraction signals by three major components: regular contractions, impulsive noise caused by fetal movements, and low amplitude noise invoked by maternal breathing and measuring apparatus. The regular contractions are modeled by an asymmetric generalized Gaussian function and least squares estimation is used to compute the parameter values of the asymmetric generalized Gaussian function based on uterine contractions of real patients. Regular contractions are detected based on thresholding and derivative analysis of uterine contractions. Impulsive noise caused by fetal movements and low amplitude noise by maternal breathing and measuring apparatus are modeled by rational polynomial functions and Perlin noise, respectively. Experiment results show the synthesized uterine contractions can mimic the real uterine contractions realistically, demonstrating the effectiveness of the proposed algorithm.

Liu, Miao↗
NASA NTRS1993

Mongoose: Creation of a Rad-Hard MIPS R3000

This paper describes the development of a 32 Bit, full MIPS R3000 code-compatible Rad-Hard CPU, code named Mongoose. Mongoose progressed from contract award, through the design cycle, to operational silicon in 12 months to meet a space mission for NASA. The goal was the creation of a fully static device capable of operation to the maximum Mil-883 derated speed, worst-case post-rad exposure with full operational integrity. This included consideration of features for functional enhancements relating to mission compatibility and removal of commercial practices not supported by Rad-Hard technology. 'Mongoose' developed from an evolution of LSI Logic's MIPS-I embedded processor, LR33000, code named Cobra, to its Rad-Hard 'equivalent', Mongoose. The term 'equivalent' is used to infer that the core of the processor is functionally identical, allowing the same use and optimizations of the MIPS-I Instruction Set software tool suite for compilation, software program trace, etc. This activity was started in September of 1991 under a contract from NASA-Goddard Space Flight Center (GSFC)-Flight Data Systems. The approach affected a teaming of NASA-GSFC for program development, LSI Logic for system and ASIC design coupled with the Rad-Hard process technology, and Harris (GASD) for Rad-Hard microprocessor design expertise. The program culminated with the generation of Rad-Hard Mongoose prototypes one year later.

Lincoln, Dan↗
NASA NTRS1996

Effects of H2O Vapor on Vibrational Relaxation in Expanding and Contracting Flows

As opposed to previous explanations based on the effects of anharmonicity of simple diatomic molecules, traces of water vapor are suggested to be the most likely cause of the anomalously fast vibrational relaxation of such gases observed in supersonic and hypersonic nozzles. The mechanism is the strong V-VR coupling with H2O molecules that dramatically facilitates the collisional transfer of vibrational energy. Slight moisture content is thus a real world aspect of gas dynamics that must be considered in characterizations of shock tubes, reflected shock tunnels, and expansion tubes.

Meador, Willard E.↗
NASA NTRS1983

Anodizing Process

This anodizing process traces its origin to the 1960's when Reynolds Metals Company, under contract with Goddard Space Flight Center, developed a multipurpose anodizing electrolyte (MAE) process to produce a hard protective finish for spacecraft aluminum. MAE produces a high-density, abrasion-resistant film prior to the coloring step, in which the pores of the film are impregnated with a metallic form of salt. Tru-Color product applications include building fronts, railing, curtain walls, doors and windows.

Source record↗
NASA NTRS1993

Grand challenge scientific questions in coupled modeling

Most convective field experiments in the past (e.g., SESAME, CCOPE, CINDE) have attempted to resolve only the immediate scales of moist convection using network arrays that spanned two or three atmospheric scales at most. Furthermore, these scales have been defined more on practical considerations (cost, manpower, etc.) than on a clear understanding of their theoretical significance. Unfortunately, this has precluded a description of the entire life cycle of MCS's and their interaction with larger scale systems, the land surface, and trace species. Fortunately, the following factors now make it possible to attempt to simulate scale contraction processes from the synoptic scale down to the cloud scale, as well as interactions between complex meteorological, land surface, precipitation, chemical, and hydrologic processes with coupled, multiscale models: the availability of new technology to sample meteorological fields at high temporal and spatial resolution over a broad region made possible by the weather observing modernization program; increased computer power and improved numerical approaches to run limited area models with nonhydrostatic precipitation physics so as to explicitly resolve MCS (Mesoscale Convective System) processes; and four dimensional assimilation of non-conventional data to provide dynamically consistent datasets for diagnostic analysis of nonlinear scale-interactive dynamics. Several examples of scale-interactive processes which present grand challenges for coupled, multiscale modeling were presented.

Koch, Steven↗
NASA NTRS2006

Three Years of Global Positioning System Experience on International Space Station

The International Space Station global positioning system (GPS) receiver was activated in April 2002. Since that time, numerous software anomalies surfaced that had to be worked around. Some of the software problems required waivers, such as the time function, while others required extensive operator intervention, such as numerous power cycles. Eventually enough anomalies surfaced that the three pieces of code included in the GPS unit have been re-written and the GPS units upgraded. The technical aspects of the problems are discussed, as well as the underlying causes that led to the delivery of a product that has had so many problems. The technical aspects of the problems included physical phenomena that were not well understood, such as the affect that the ionosphere would have on the GPS measurements. The underlying causes were traced to inappropriate use of legacy software, changing requirements, inadequate software processes, unrealistic schedules, incorrect contract type, and unclear ownership responsibilities..

Gomez, Susan↗
NASA NTRS2005

Three Years of Global Positioning System Experience on International Space Station

The International Space Station global positioning systems (GPS) receiver was activated in April 2002. Since that time, numerous software anomalies surfaced that had to be worked around. Some of the software problems required waivers, such as the time function, while others required extensive operator intervention, such as numerous power cycles. Eventually, enough anomalies surfaced that the three pieces of code included in the GPS unit have been re-written and the GPS units were upgraded. The technical aspects of the problems are discussed, as well as the underlying causes that led to the delivery of a product that has had numerous problems. The technical aspects of the problems included physical phenomena that were not well understood, such as the affect that the ionosphere would have on the GPS measurements. The underlying causes were traced to inappropriate use of legacy software, changing requirements, inadequate software processes, unrealistic schedules, incorrect contract type, and unclear ownership responsibilities.

Gomez, Susan↗
NASA NTRS1976

On the origin of the solar system and of Jupiter and its satellites

The evolution of the middle part of the primitive solar nebula is traced through seven stages: (1) a gravitational instability which clumps condensed material into bodies of appreciable size; (2) the formation of a larger body as a result of mutual collisions; (3) gravitational condensation of the gas in the nebula; (4) subsequent hydrodynamic collapse of the gas onto a heavy-element planetary core; (5) the attainment of a highly distended hydrostatic configuration and its subsequent slow gravitational contraction; (6) the formation of a gaseous disk around proto-Jupiter; and (7) the formation of the Galilean satellites (and Amalthea) within this disk. Different theories on the origin of the primitive solar nebula are reviewed, models of Jupiter are evaluated, and the origin and evolution of the planet are traced through the indicated stages. It is proposed that Jupiter's current excess luminosity is due mostly to a loss of internal energy generated during the initially more rapid contraction period and, to a lesser degree, to the planet's current release of gravitational energy. The question of when the icy constituent was added to the outer two Galilean satellites is considered.

Cameron, A. G. W.↗
NASA NTRS1995

Utilization of UARS Data in Validation of Photochemical and Dynamical Mechanism in Stratospheric Models

We proposed model-data intercomparison studies for UARS data. In the past three months, we have been working on constructing analysis tools to diagnose the UARS data. The 'Trajectory mapping' technique, which was developed by Morris (1994), is adaptable to generate synoptic maps of trace gas data from asynoptic observations. An in-house trajectory model (kinematic methods following Merrill et al., 1986 and Pickering et al., 1994) has been developed in AER under contract with NASA/ACMAP and the trajectory mapping tool has been applied to analyze UARS measurement.

Rodriquez, Jose M.↗
NASA NTRS1996

Evolutionary status of the pre-protostellar core L1498

L1498 is a classic example of a dense cold pre-protostellar core. To study the evolutionary status, the structure, dynamics, and chemical properties of this core we have obtained high spatial and high spectral resolution observations of molecules tracing densities of 10(3)-10(5) cm-3. We observed CCS, NH3, C3H2, and HC7N with NASA's DSN 70 m antennas. We also present large-scale maps of C18O and 13CO observed with the AT&T 7 m antenna. For the high spatial resolution maps of selected regions within the core we used the VLA for CCS at 22 GHz, and the Owens Valley Radio Observatory (OVRO) MMA for CCS at 94 GHz and CS (2-1). The 22 GHz CCS emission marks a high-density [n(H2) > 10(4) cm -3] core, which is elongated with a major axis along the SE-NW direction. NH3 and C3H2 emissions are located inside the boundary of the CCS emission. C18O emission traces a lower density gas extending beyond the CCS boundary. Along the major axis of the dense core, CCS, NH3 and C3H2 emission show evidence of limb brightening. The observations are consistent with a chemically differentiated onion-shell structure for the L1498 core, with NH3 in the inner and CCS in the outer parts of the core. The high angular resolution (9"-12") spectral line maps obtained by combining NASA Goldstone 70 m and VLA data resolve the CCS 22 GHz emission in the southeast and northwest boundaries into arclike enhancements, supporting the picture that CCS emission originates in a shell outside the NH3 emitting region. Interferometric maps of CCS at 94 GHz and CS at 98 GHz show that their emitting regions contain several small-scale dense condensations. We suggest that the differences between the CCS, CS, C3H2, and NH3 emission are caused by a time-dependent effect as the core evolves slowly. We interpret the chemical and physical properties of L1498 in terms of a quasi-static (or slowly contracting) dense core in which the outer envelope is still growing. The growth rate of the core is determined by the density increase in the CCS shell resulting from the accretion of the outer low-density gas traced by C18O. We conclude that L1498 could become unstable to rapid collapse to form a protostar in less than 5 x 10(6) yr.

NASA Discipline Exobiology↗
NASA NTRS1975

Design, fabrication and test of a trace contaminant control system

A trace contaminant control system was designed, fabricated, and evaluated to determine suitability of the system concept to future manned spacecraft. Two different models were considered. The load model initially required by the contract was based on the Space Station Prototype (SSP) general specifications SVSK HS4655, reflecting a change from a 9 man crew to a 6 man crew of the model developed in previous phases of this effort. Trade studies and a system preliminary design were accomplished based on this contaminant load, including computer analyses to define the optimum system configuration in terms of component arrangements, flow rates and component sizing. At the completion of the preliminary design effort a revised contaminant load model was developed for the SSP. Additional analyses were then conducted to define the impact of this new contaminant load model on the system configuration. A full scale foam-core mock-up with the appropriate SSP system interfaces was also fabricated.

Source record↗
NASA NTRS1994

The kinetics and dynamics of the coma of Halley's comet

This grant to the University of Michigan supported the efforts of Michael R. Combi to serve as a co-investigator in collaboration with a larger effort by the principal investigator, William Smyth of Atmospheric and Environmental Research, Inc. The overall objective of this project was to analyze in a self-consistent manner unique optical O((sup 1)D) and NH2 ultra-high resolution line profile data of excellent quality and other supporting lower-resolution spectral data for the coma of comet P/Halley by using highly developed and physically-based cometary coma models in order to determine and explain in terms of physical processes the actual dynamics and photochemical kinetics that occur in the coma. The justification for this work is that it provides a valuable and underlying physical base from which to interpret significantly different types of coma observations in a self-consistent manner and hence bring into agreement (or avoid) apparent inconsistencies that arise from non-physically based interpretations. The level of effort for the Michigan component amounted to less than three person-months over a planned period of three years. The period had been extended at no extra cost to four years because the Michigan grant and the AER contract did not have coincident time periods. An effort of somewhat larger scope was undertaken by the PI. The importance of the O((sup 1)D) profiles is that they provide a direct trace of the water distribution in comets. The line profile shape is produced by the convolution of the outflow velocity and thermal dispersion of the parent water molecules with the photokinetic ejection of the oxygen atoms upon photodissociation of the parent water molecules. Our understanding of the NH2 and its precursor ammonia are important for comet-to-comet composition variations as they relate to the cosmo-chemistry of the early solar nebula. Modeling of the distribution of NH2 is necessary in order to infer the ammonia production rates from NH2 observations.

Combi, Michael R.↗