Search NASA⌕ Search

SEARCH · Search NASA

Results for “Core Logging”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Comparison of VLBI radio-core and X-ray flux densities of extragalactic radio sources

The relation between compact radio core and X-ray emission in extragalactic radio sources, suggested by Worral et al. (1987) and Kembhavi et al. (1986), is investigated by comparing the X-ray flux densities observed in 56 extragalactic radio sources with the Einstein Observatory with the compact radio-core flux densities derived from published VLBI maps for these radio sources. It was found that the radio to X-ray spectral index distribution had a small dispersion, whereas the log-log plot of the flux densities showed no correlation. This implies that the basic level of X-ray emission is determined by the radio-core emission, but that the exact value depends on other parameters.

Bloom, Steven D.↗
NASA NTRS2002

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗
NASA NTRS2016

Carbon Solubility in Silicon-Iron-Bearing Metals during Core Formation on Mercury

Recent results obtained from the MErcury Surface, Space ENvironment, GEochemistry, and Ranging (MESSENGER) spacecraft showed the surface of Mercury has high S abundances (approximately 4 wt%) and low Iron(II) Oxide abundances (less than 2 wt%). Based on these extreme values, the oxygen fugacity of Mercury's surface materials was estimated to be approximately 3 to 7 log(sub 10) units below the IW buffer (Delta IW-3 to Delta IW-7). This highly reducing nature of the planet has resulted in a large core and relatively thin mantle, extending to only approximately 420 km depth (corresponding to a core-mantle boundary pressure of approximately 4-7 GPa) within the planet. Furthermore, MESSENGER results have suggested the presence of carbon on the surface of the planet. Previous experimental results from have also suggested the possibility of a primary floatation crust on Mercury composed of graphite, produced after a global magma ocean event. With these exotic conditions of this compositional end-member planet, it begs the question, what is the core composition of Mercury? Although no definitive conclusion has been reached, previous studies have made advances towards answering this question. Riner et al. and Chen et al. looked at iron sulfide systems and implemented various crystallization and layered core scenarios to try and determine the composition and structure of Mercury's core. Malavergne et al. examined core crystallization scenarios in the presence of sulfur and silicon. Hauck et al. used the most recent geophysical constraints from the MESSENGER spacecraft to model the internal structure of Mercury, including the core, in a iron-sulfur-silicon system. More recently, Chabot et al. conducted a series of metal-silicate partitioning experiments in a iron-sulfur-silicon system. These results showed the core of Mercury has the potential to contain more than 15 wt% silicon. However, with the newest results from MESSENGER's low altitude campaign, carbon is another potential light element that could be incorporated into Mercury's core. The goal of this study is to determine the carbon concentration at graphite saturation in various silicon-iron bearing metals relevant to possible mercurian core compositions. Future experiments will include the addition of sulfur into these metals.

Vander Kaaden, Kathleen E.↗
NASA NTRS1989

Non-LTE analysis of extremely helium-rich stars. The hot sdO stars LSE 153, 259 and 263

Results of a non-LTE fine analysis based mainly on high-resolution CASPEC spectra for three extremely helium-rich sdO stars are discussed in order to explain hydrogen deficiency in single stars. High temperature (Teff = 70,000 to 75,000 K) and a position in the log Teff - log g diagram were found close to the Eddington limit. Various abundance estimates are derived for hydrogen (upper limits only), carbon, nitrogen, and magnesium. Hydrogen is reduced to less than 10 percent by number in LSE 153 and LSE 263, and to less than 5 percent in LSE 259. The hydrogen deficiency is accompanied by nitrogen- and carbon-enrichment in LSE 153 and LSE 259 only. In LSE 263, carbon is depleted by about 1 dex. Stellar masses obtained by assuming that a core mass-luminosity relation holds for these stars, were found to be in the range 0.6-0.9 solar mass, yielding luminosities log L/L:solar = 3.7-4.5. Two of the program stars (LSE 153 and 259) appear to be possible successors of the R CrB and helium B stars, whereas the third star (LSE 263) displays a much lower carbon content in its photosphere making it an exceptional case among the known hydrogen deficient stars.

Husfeld, D.↗
NASA NTRS1999

A Complete Sample of Hot Post-AGB Stars in Globular Clusters

Ultraviolet images of globular clusters are often dominated by one or two "UV-bright" stars. The most luminous of these are believed to be post-AGB stars, which go through a luminous UV-bright phase as they leave the AGB and move rapidly across the HR diagram toward their final white dwarf state. During the two flights of the ASTRO observatory in 1990 and 1995, the Ultraviolet Imaging Telescope (UIT, Stecher 1997, PASP, 109, 584) was used to obtained ultraviolet (1600 A) images of 14 globular clusters. These images provide a complete census of hot (> 8000 K) post-AGB stars in the observed globular clusters, because the 40' field of view of UIT is large enough to image the entire population of most Galactic globulars, and because the dominant cool star population is suppressed in ultraviolet images, allowing UV-bright stars to be detected into the cluster core. We have begun a program of optical and STIS ultraviolet spectroscopy to determine the fundamental stellar parameters (\log L, T_eff, \log g) of all the hot post-AGB candidates discovered on the UIT images. Among the goals of our program are to test theoretical post-AGB lifetimes across the HR diagram, and to estimate the mass of the currently forming white dwarfs in globular clusters. Two trends are already apparent in our survey. First, the UV-selected sample has removed a bias against the detection of the hottest post-AGB stars, and resulted in the discovery of five cluster post-AGB stars with Teff > 50,000 K. Second, most of the new discoveries have been lower luminosity (2.5 $<$\log L $<$ 3.0) than expected for stars which leave the AGB during the thermally pulsating phase.

Landsman, W.↗
NASA NTRS1980

Numerical calculations of the collapse of nonrotating, magnetic gas clouds

Results of the first self-consistent numerical calculations of the dynamic collapse of a magnetized protostellar gas cloud are presented. Symmetry about an axis parallel to the initial magnetic field direction has been assumed, so that the calculations could be performed on a two-dimensional grid. Also, the cloud was taken to be nonrotating and isothermal, and the magnetic field was assumed to remain frozen in to the gas. As starting models for the calculations, gas spheres with uniform density and magnetic field were used. The time evolution of the clouds has been calculated for roughly two initial free-fall times, at which point the central density has increased by a factor of approximately 10,000 to 1,000,000. Several such calculations have been performed for different values of the cloud's initial thermal, magnetic, and gravitational energies. In virtually all cases it is found that, once a flattened core forms in the cloud, the central magnetic field strength, B, varies with gas density, rho, according to (d log B/d log rho) = 1/2. This behavior is independent of the initial energy ratios mentioned above. It is also found that the magnetic field is able to prevent completely the collapse of part of the outer envelope of the cloud.

Scott, E. H.↗
NASA NTRS1997

A Survey of Distant Clusters of Galaxies Selected by X-Rays

I will discuss the results of a new survey of X-ray selected, distant clusters of galaxies that has been undertaken by our group at.CfA (Vikhlinin, McNamara, Forman, Jones). We have analyzed the inner 17.5 arcminute region of roughly 650 ROSAT PSPC images of high latitude fields to compile a complete, flux-limited sample of clusters with a mean flux limit roughly 20 times more sensitive than the Einstein Medium Sensitivity Survey. The goal of our survey, which presently contains 233 extended X-ray sources, is to study cluster evolution over cosmological timescales. We have obtained optical images for nearly all of the faintest sources using the 1.2 m telescope of the Fred L. Whipple Observatory, and when including POSS images of the brighter sources, we have nearly completed the identification of all of the extended sources. Roughly 80% of the sources were identified as clusters of galaxies. We have measured redshifts for 42 clusters using the MMT, and including additional measurements from the literature, roughly 70 clusters in our catalog have spectroscopic redshifts. Using CCD photometry and spectroscopic redshifts, we have determined a magnitude-redshift relation which will allow redshifts of the remaining clusters in our sample to be determined photometrically to within a delta z over z of roughly ten percent. I will discuss the Log(N)-Log(S) relation for our sample and compare it to other determinations. In addition, I will discuss the evolution of core radii of clusters.

McNamara, Brian↗
NASA NTRS2024

Percolative Sulfide Core Formation in Oxidized Meteorite Parent Bodies

Most models of planetary differentiation involve the formation of metallic cores during or after extensive silicate melting, but some volatile-rich reservoirs in the protoplanetary disk did not accrete substantial amounts of Fe,Ni-metal. Instead, their potential core-forming assemblages were dominated by Fe,Ni-sulfides and oxides due to high ƒ O 2 and ƒ S 2 . Derivative melts from these assemblages may have been capable of percolative migration leading to core formation prior to silicate melting. However, no direct evidence for this process has been reported in meteoritic literature. Similarly, while many iron meteorites are thought to represent cores of their respective parent bodies, no direct evidence for Fe,Ni-sulfide/oxide cores have been reported to-date. The most promising potential for such evidence may be found in the anomalous noble metal trace element proportions of restitic oxidized primitive achondrites (i.e., brachinites, log ƒ O 2 ~IW-1), which are similar to those found in sulfides of Rumuruti-type chondrites (RCs) that contain only trace amounts of Fe,Ni-metal at log ƒ O 2 ≥ IW-1. This work addresses the following outstanding questions: (1) Are molten sulfides in oxidized meteorite assemblages capable of percolative melt migration? (2) How is this process recorded in the noble metal (i.e., siderophile/chalcophile) trace element geochemistry of relevant meteorites? (3) Did O,S-rich meteorite parent bodies form sulfide cores?

S. D. Crossley↗
NASA NTRS1992

Determination of nitrogen to carbon abundance ratios from transition layer emission lines

We have finished studying the nitrogen to carbon abundance ratios for stars with different effective temperatures T(sub eff) and luminosities using transition layer emission lines and using spectra available in the IUE archives. The N/C abundance ratio determinations using transition layer emission lines are as accurate as the photospheric abundance determinations as found by comparison of results obtained by both methods for the same stars. Our measurements confirm photospheric abundance determinations in regions of the HR diagram where they can be obtained. Our studies have extended the temperature range to higher temperatures. They have shown the exact positions in the HR diagram where the mixing due to the outer convection zones reaches deep enough to bring nuclear processed material to the surface. This occurs at effective temperatures which are higher by delta log T(sub eff) approximately 0.04 or roughly 400 K than expected theoretically. Since the depth of the convection zone increases rapidly with decreasing T(sub eff) this may indicate considerable overshoot beyond the lower boundary of the convection zone. Our N/C abundance ratio determinations from transition layer emission lines have confirmed that the actual enrichment observed for some cool giants is larger than expected theoretically, again indicating a larger degree of mixing in several stars either from below or from above. For the supergiants it probably indicates overshoot above the convective core in the progenitor main sequence stars. For the more massive giants this may also be the case, though we did not find a correlation between delta log N/C and the absolute magnitudes, but these are rather uncertain. As byproducts of these studies we also found anomalies in Si/C and N/C abundance ratios for F giants which can be understood as the relict of surface abundance changes for their main sequence progenitors due to diffusion. This anomaly disappears for G giants, for which the depths of the convection zones are apparently deep enough to wipe out these element separations (Bohm-Vitense 1992).

Boehm-Vitense, Erika↗
NASA NTRS2009

Architectural Analysis of Complex Evolving Systems of Systems

The goal of this collaborative project between FC-MD, APL, and GSFC and supported by NASA IV&V Software Assurance Research Program (SARP), was to develop a tool, Dynamic SAVE, or Dyn-SAVE for short, for analyzing architectures of systems of systems. The project team was comprised of the principal investigator (PI) from FC-MD and four other FC-MD scientists (part time) and several FC-MD students (full time), as well as, two APL software architects (part time), and one NASA POC (part time). The PI and FC-MD scientists together with APL architects were responsible for requirements analysis, and for applying and evaluating the Dyn-SAVE tool and method. The PI and a group of FC-MD scientists were responsible for improving the method and conducting outreach activities, while another group of FC-MD scientists were responsible for development and improvement of the tool. Oversight and reporting was conducted by the PI and NASA POC. The project team produced many results including several prototypes of the Dyn-SAVE tool and method, several case studies documenting how the tool and method was applied to APL s software systems, and several published papers in highly respected conferences and journals. Dyn-SAVE as developed and enhanced throughout this research period, is a software tool intended for software developers and architects, software integration testers, and persons who need to analyze software systems from the point of view of how it communicates with other systems. Using the tool, the user specifies the planned communication behavior of the system modeled as a sequence diagram. The user then captures and imports the actual communication behavior of the system, which is then converted and visualized as a sequence diagram by Dyn-SAVE. After mapping the planned to the actual and specifying parameter and timing constraints, Dyn-SAVE detects and highlights deviations between the planned and the actual behavior. Requirements based on the need to analyze two inter-system communication protocols that are representative of protocols used in the Aerospace industry have been specified. The protocols are related: APL s Common Ground System (CGS) as used in the MErcury Surface, Space ENvironment, GEochemistry, and Ranging (MESSENGER) and the Radiation Belt Space Probes (RBSP) missions. The analyzed communications were implementations of the Telemetry protocol and the CCSDS File Delivery Protocol (CFDP) protocol. Based on these requirements, three prototypes of Dyn-SAVE were developed and applied to these protocols. The application of Dyn-SAVE to these protocols resulted in the detection of several issues. Dyn-SAVE was also applied to several Testbeds that have previously been used for experimentation earlier on this project, as well as, to other protocols and logs for testing its broader applicability. For example, Dyn-SAVE was used to analyze 1) the communication pattern between a web browser and a web server, 2) the system log of a computer in order to detect offnominal computer shut-down behavior, and 3) the actual test cases of NASA Goddard s Core Flight System (CFS) and automatically generated test cases in order to determine the overlap between the two sets of test cases. In all cases, Dyn-SAVE assisted in providing insightful conclusions about each of the cases identified above.

Lindvall, Mikael↗
NASA NTRS1974

Violation of the Vogt-Russell theorem for homogeneous nondegenerate stars

A systematic study is made of the number and types of solutions of the equilibrium equations of stellar structure, in the case of homogeneous stars of Population I over the mass range 2-1000 solar masses, with four different opacity representations. A variant of the usual fitting method permits the simultaneous investigation of convergence and tendency toward multiplicity of the solutions. Quadratic interpolation and extrapolation of Carson's new opacity tables produces a very large opacity at low temperatures that greatly affects the loose outer layers of massive stars, while leaving the cores practically unaffected. As a result, over a small mass range, well above 100 solar masses, triple solutions exist, always near an effective temperature of log Te = 4.73. A simple classification of the known exceptions to the Vogt-Russell theorem on the uniqueness of stellar structure is given.

Stothers, R.↗
NASA NTRS1975

Observations and theory of Mg II lines in early type stars. II - Theory and predicted profiles. III - The observations and a comparison with the predictions

Profiles of the UV Mg II lines in the spectra of early type stars are computed in a grid of model atmospheres with effective temperatures between 8000 and 35,000 K and log g values of 2.5 to 4.0 using the LTE and non-LTE theories of line formation. The theoretical results indicate that the line cores are strengthened by non-LTE effects over the entire temperature range, resonance-line wings are weaker in the cooler models than in the LTE case, and very large deviations from LTE occur in the hot low-gravity models. These predictions are compared with the equivalent widths of the UV Mg II lines in 106 stars and of the visual lines in 48 stars (spectral types O4 to A3). The observed equivalent widths of normal stars in luminosity classes II through V are found to agree with the predictions over the entire range from O8 to A2 if a certain Mg/H abundance is adopted. The line intensities observed in supergiants, Be, Bp, and Ap stars are discussed.

Snijders, M. A. J.↗
NASA NTRS1995

A Unique Facility For Metabolic and Thermoregulatory Studies

A unique exercise facility has been developed and used to perform tipper body ergometry tests for space applications. Originally designed to simulate the muscular, cardiovascular and thermoregulatory responses to working in zero gravity, this facility may be used to conduct basic thermoregulatory investigations applicable to multiple sclerosis patients. An environmental chamber houses the tipper body ergometer and permits control of temperature, air now and humidify. The chamber is a closed system and recirculate-s air after conditioning if. A Cybex Lipper body ergometer has been mounted horizontally on the wall of the environmental chamber. In this configuration, the subject lies underneath the arm crank on a supine seat in order to turn the crank. The supine seat can be removed in order to introduce other equipment into the chamber such as a stool to allow upright arm cranking, or a treadmill to allow walk-run experiments. Physiological and environmental signals are fed into a Strawberry Tree data acquisition system while being monitored and logged using the Workbench software program. Physiological monitoring capabilities include 3-lead EKG using an H-P patient monitor, 5 site skin temperature and core temperature using YSI thermistors, and O2 consumption and CO2 production using AMFTFK Applied Electrochemistry analyzers and sensors. This comprehensive data acquisition set tip allows for calculation of various thermoregulatory indices including heat storage, evaporative heat loss, latent heat loss, and metabolic rate. The current system is capable of adding more data acquisition channels if needed. Some potential studies that could be carried out using the facility include: 1) An investigation into the efficiency of cooling various segments of the body to lower Tc 1-2 F. 2) A series of heat and mass balance studies comparing various LCG configurations.

Williamson, Rebecca C.↗
NASA NTRS2012

Variability of Black Carbon Deposition to the East Antarctic Plateau, 1800-2000 AD

Refractory black carbon aerosols (rBC) from biomass burning and fossil fuel combustion are deposited to the Antarctic ice sheet and preserve a history of emissions and long-range transport from low- and mid-latitudes. Antarctic ice core rBC records may thus provide information with respect to past combustion aerosol emissions and atmospheric circulation. Here, we present six East Antarctic ice core records of rBC concentrations and fluxes covering the last two centuries with approximately annual resolution (cal. yr. 1800 to 2000). The ice cores were drilled in disparate regions of the high East Antarctic ice sheet, at different elevations and net snow accumulation rates. Annual rBC concentrations were log-normally distributed and geometric means of annual concentrations ranged from 0.10 to 0.18 m cro-g/kg. Average rBC fluxes were determined over the time periods 1800 to 2000 and 1963 to 2000 and ranged from 3.4 to 15.5 m /a and 3.6 to 21.8 micro-g/sq m/a, respectively. Geometric mean concentrations spanning 1800 to 2000 increased linearly with elevation at a rate of 0.025 micro-g/kg/500 m. Spectral analysis of the records revealed significant decadal-scale variability, which at several sites was comparable to decadal ENSO variability.

Bisiaux, M. M.↗
NASA NTRS2013

A Scala DSL for RETE-Based Runtime Verification

Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

matching problem↗
NASA NTRS2004

From Research to Operations: Integrating Components of an Advanced Diagnostic System with an Aspect-Oriented Framework

This paper presents some of the challenges associated with bringing software projects from the research world into an operationa1 environment. While the core functional components of research-oriented software applications can have great utility in an operational setting, these applications often lack aspects important in an operational environment such as logging and security. Furthermore, these stand-alone applications, sometimes developed in isolation from one another, can produce data products useful to other applications in a software ecosystem.

Fletcher, Daryl P.↗
NASA NTRS2011

Emission Measure Distribution and Heating of Two Active Region Cores

Using data from the Extreme-ultraviolet Imaging Spectrometer aboard Hinode, we have studied the coronal plasma in the core of two active regions. Concentrating on the area between opposite polarity moss, we found emission measure distributions having an approximate power-law form EM/T(exp 2.4) from log T = 5.55 up to a peak at log T = 6.57. The observations are explained extremely well by a simple nanoflare model. However, in the absence of additional constraints, the observations could possibly also be explained by steady heating.

Tripathi, Durgesh↗
NASA NTRS1983

Modeling of G333.6-0.2 as a spherical H II region

The radio and IR observations of the H II region G333.6-0.2 are matched with a detailed spherical model with a density distribution which has a uniform-density core of radius 0.05 pc, a power-law intermediate zone, and a uniform-density halo. A stellar radiation field is required that is somewhat different from those predicted by available model atmospheres. Of the stellar models of Kurucz, the Teff = 34,000 K and log g = 3.5 model best fits the observed ratio of helium to hydrogen recombination lines. A good fit to all the observations in obtained with an S(2+) ionizing flux which is a factor of 20 times less than predicted by the Kurucz atmosphere. Current model atmospheres may not be appropriate because a single stable star with Teff = 34,000 K fails by at least an order of magnitude to produce the ionizing luminosity. The small radius of the constant-density core implies a short dynamical lifetime of approximately 5000 years for this spherical model; this may indicate that a nonspherical blister geometry is more appropriate for this H II region.

Rubin, R. H.↗