Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Comparing SeaWiFS Reprocessing Versions (R3 vs. R4)

Satellite observations of global ocean chlorophyll from SeaWiFS were recently reprocessed to incorporate calibration and algorithm improvements. Here, comparisons are made between the newly reprocessed SeaWiFS Level-3 chlorophyll product and the previous version using in situ measurements. The results show that the newly reprocessed SeaWiFS data matches up better with the surface measurements than the previous version did. Globally, the slope of the match-ups improves to 0.85 from 0.78 in log-log scale. A significant trend that contributed to this improvement was the overall decrease in SeaWiFS chlorophyll levels less than 1.0 mg m(exp -3). Regional analyses reveal that the matchups improve in every oceanic basin, except the Antarctic. However, SeaWiFS continues to exhibit poor correspondence with in situ data in the North Atlantic where the match-ups have a slope of 0.54. Also, an examination of monthly images for May 1999 revealed that the number and magnitude of high-value chlorophyll pixels had increased in the high-latitude open ocean of the South Pacific.

Casey, Nancy W.↗
NASA NTRS2003

Possible Class of Nearby Gamma-Ray Burst/Gravitational Wave Sources

A possible subclass of gamma-ray bursts - those with few, wide pulses, spectral lags of order one to several seconds, and soft spectra - has been identified. Their Log[N]-Log[Fp] distribution approximates a -3/2 power-law, suggesting homogeneity and relatively nearby sources. These mostly dim bursts account for approximately 50% of the BATSE sample of long bursts near that instrument s trigger threshold, suggesting that this subluminous class constitutes a more common variety than the more familiar burst sources which lie at truly cosmological distances. Theoretical scenarios predicted such a class, motivated by their exemplar GRB 980425 (SN 1998bw) lying at a distance of approximately 38 Mpc. The observations are explained by invoking off-axis viewing of the GRB jet and/or bulk Lorentz factors of order a few. Long-lag bursts show a tendency to concentrate near the Supergalactic Plane with a quadrupole moment of -0.10 plus or minus 0.04, similar to that for SNe type Ib/c within the same volume. The rate of the observed subluminous bursts is of order 1/4 that of SNe Ib/c. Evidence for a sequential relationship between SNe Ib/c and GRBs is critiqued for two cases, as simultaneity of the SN and GRB events may be important for detection of the expected gravitational wave signal; at most, SN to GRB delays appear to be a few days. SN asymmetries and ultrarelativistic GRB jets suggest the possibility of rapid rotation in the pre-collapse objects, a primary condition required for highly nonaxisymmetric SN collapse to produce strong gravitational waves.

Norris, Jay P.↗
NASA NTRS2003

Increasing the Operational Value of Event Messages

Assessing the health of a space mission has traditionally been performed using telemetry analysis tools. Parameter values are compared to known operational limits and are plotted over various time periods. This presentation begins with the notion that there is an incredible amount of untapped information contained within the mission s event message logs. Through creative advancements in message handling tools, the event message logs can be used to better assess spacecraft and ground system status and to highlight and report on conditions not readily apparent when messages are evaluated one-at-a-time during a real-time pass. Work in this area is being funded as part of a larger NASA effort at the Goddard Space Flight Center to create component-based, middleware-based, standards-based general purpose ground system architecture referred to as GMSEC - the GSFC Mission Services Evolution Center. The new capabilities and operational concepts for event display, event data analyses and data mining are being developed by Lockheed Martin and the new subsystem has been named GREAT - the GMSEC Reusable Event Analysis Toolkit. Planned for use on existing and future missions, GREAT has the potential to increase operational efficiency in areas of problem detection and analysis, general status reporting, and real-time situational awareness.

Li, Zhenping↗
NASA NTRS2003

Retrieval of Ozone Column Content from Airborne Sun Photometer Measurements During SOLVE II: Comparison with SAGE III, POAM III,THOMAS and GOME Measurements

During the Second SAGE 111 Ozone Loss and Validation Experiment (SOLVE II), the 14- channel NASA Ames Airborne Trackmg Sunphotometer (AATS-14) was mounted on the NASA DC-8 and successfully measured spectra of total and aerosol optical depth (TOD and AOD) during the sunlit portions of eight science flights. Values of ozone column content above the aircraft have been derived from the AATS-14 data by using a linear least squares method. For each AATS-14 measured TOD spectrum, this method iteratively finds the ozone column content that yields the best match between measured and calculated TOD. The calculations assume the known Chappuis ozone band shape and a three-parameter AOD shape (quadratic in log-log space). Seven of the AATS-14 channels (each employing an interference filter with a nominal full-width at half maximum bandpass of -5 nm) are within the Chappuis band, with center wavelengths between 452.9 nm and 864.5 nm. One channel (604.4 nm) is near the peak, and three channels (499.4, 519.4 and 675.1 nm) have ozone absorption within 30-40% of that at the peak. For the typical DC-8 SOLVE II cruising altitudes of approx. 8-12 km and the background stratospheric aerosol conditions that prevailed during SOLVE 11, absorption of incoming solar radiation by ozone comprised a significant fraction of the aerosol-plus-ozone optical depth measured in the four AATS-14 channels centered between 499.4 and 675.1 nm. Typical AODs above the DC-8 ranged from 0.003-0.008 in these channels. For comparison, an ozone overburden of 0.3 atm-cm (300 DU) translates to ozone optical depths of 0.009,0.014, 0.041, and 0.012, respectively, at these same wavelengths. In this paper, we compare AATS-14 values of ozone column content with temporally and spatially near-coincident values derived from measurements acquired by the Stratospheric Aerosol and Gas Experiment III (SAGE III) and the Polar Ozone and Aerosol Measurement 111 (POAM III) satellite sensors. We also compare AATS-14 ozone retrievals during selected DC-8 latitudinal and longitudinal transects with total column ozone data acquired by the Total Ozone Mapping Spectrometer (TOMS) and the Global Ozone Monitoring Experiment (GOME) satellite sensors. To enable this comparison, the amount of ozone in the column below the aircraft is estimated by combining SAGE and/or POAM data with high resolution, fast response in-situ ozone measurements acquired during the DC-8 ascent at the start of each science flight.

Livingston, J.↗
NASA NTRS2002

Controls on Variations of Surface Energy, Water, and Carbon Budgets within Large-Scale Amazon Basin

A key research focus of the LBA Research Program is understanding the space-time variations in interlinked surface energy, water, and carbon budgets, the controls on these variations, and the implications of these controls on the carbon sequestering capacity of the large scale forest-pasture system that dominates the Amaz6nia landscape. Quantification of these variations and controls are investigated by a combination of in situ measurements, remotely sensed measurements from space, and a realistically forced hydrometeorological model coupled to a carbon assimilation model, capable of simulating details within the surface energy and water budgets along with the principle processes of photosynthesis and respiration. Herein we describe the results of an investigation concerning the space-time controls of carbon sources and sinks distributed over the large scale Amazon basin. The results are derived from a carbon-water-energy budget retrieval system for the large scale Amazon basin, which uses a coupled carbon assimilation-hydrometeorological model as an integrating system, forced by both in situ meteorological measurements and remotely sensed radiation and precipitation fluxes obtained from a combination of GOES, SSM/I, TOMS, and TRh4M satellite measurements. Results include validation of (a) retrieved surface radiation and precipitation fluxes based on 30-min averaged surface measurements taken at Ji-Parani in Rondania and Manaus in Amazonas, and (b) modeled sensible, latent, and C02 fluxes based on tower measurements taken at Reserva Jaru, Manaus and Fazenda Nossa Senhora. The space-time controls on carbon sequestration are partitioned into sets of factors classified by: (1) above canopy meteorology, (2) incoming surface radiation, (3) precipitation interception, and (4) indigenous stomatal processes varied over the different land covers of pristine rainforest, partially, and fully logged rainforests, and pasture lands. These are the principle meteorological, thermodynamical, hydrological, and biophysical control paths which perturb net carbon fluxes and sequestration, produce time-space switching of carbon sources and sinks, undergo modulation through atmospheric boundary layer feedbacks, and respond to any discontinuous intervention on the landscape itself such as produced by human intervention in converting rainforest to pasture or conducting selective/clearcut logging operations. The results demonstrate how relative carbon sequestration capacity of the Amazonian ecosystem responds to these controls, and how interpretation of space-time heterogeneities in carbon sequestration depends on a fairly exact quantification of the interacting non-linear properties of photosynthesis in response to incoming solar flux, air-canopy temperatures, and leaf water interception -- and soil respiration in response to upper layer soil temperature and water content. The results also show how the interpretation of the control processes is highly sensitive to the scales at which the surface fluxes are analyzed.

Smith, Eric A.↗
NASA NTRS2000

Mass Storage Performance Information System

The purpose of this task is to develop a data warehouse to enable system administrators and their managers to gather information by querying the data logs of the MDSDS. Currently detailed logs capture the activity of the MDSDS internal to the different systems. The elements to be included in the data warehouse are requirements analysis, data cleansing, database design, database population, hardware/software acquisition, data transformation, query and report generation, and data mining.

Scheuermann, Peter↗
NASA NTRS2004

Accelerated Electrons in the LLBL as Observed by Interball on February 15, 1996

We analyze electron observations in the low latitude boundary layer (LLBL) with the Interball Tail satellite under a southward-duskward magnetosheath magnetic field. It is well known that the LLBL is characterized by bi-directional electron velocity distributions, which leads to an enhancement of the electron temperature. It is also well known that the electron temperature within the LLBL increases with a decrease of the LLBL number density. We found that the parallel electron velocity distribution changes self-consistently with varying number density. Namely, the shape of the parallel velocity distribution does not change in a log-log scale indicating that electron parallel velocities increase proportionately as the number density decreases. This suggests a possible role for the Fermi acceleration mechanism. We also discuss the LLBL topology that is provided by electron velocity distributions.

Vaisberg, O. L.↗
NASA NTRS2004

RXTE All-Sky Slew Survey. Catalog of X-Ray Sources at B Greater Than 10 deg

We report results of a serendipitous hard X-ray (3-20 keV), nearly all-sky (absolute value of b greater than l0 deg.) survey based on RXTE/PCA observations performed during satellite reorientations in 1996-2002. The survey is 80% (90%) complete to a 4(sigma) limiting flux of approx. = 1.8 (2.5) x 10(exp -l1) erg/s sq cm in the 3-20 keV band. The achieved sensitivity in the 3-8 keV and 8-20 keV subbands is similar to and an order of magnitude higher than that of the previously record HEAO-1 A1 and HEAO-1 A4 all-sky surveys, respectively. A combined 7 x 10(exp 3) sq. deg area of the sky is sampled to flux levels below l0(exp -11) erg/ s sq cm (3-20 keV). In total 294 sources are detected and localized to better than 1 deg. 236 (80%) of these can be confidently associated with a known astrophysical object; another 22 likely result from the superposition of 2 or 3 closely located known sources. 35 detected sources remain unidentified, although for 12 of these we report a likely soft X-ray counterpart from the ROSAT all-sky survey bright source catalog. Of the reliably identified sources, 63 have local origin (Milky Way, LMC or SMC), 64 are clusters of galaxies and 100 are active galactic nuclei (AGN). The fact that the unidentified X-ray sources have hard spectra suggests that the majority of them are AGN, including highly obscured ones (N(sub H) greater than l0(exp 23)/sq cm). For the first time we present a log N-log S diagram for extragalactic sources above 4 x l0(exp -12) erg/ s sq cm at 8-20 keV. Key words. cosmo1ogy:observations - diffuse radiation - X-rays general

Revnivtsev, M.↗
NASA NTRS2003

Ising model of cardiac thin filament activation with nearest-neighbor cooperative interactions

We have developed a model of cardiac thin filament activation using an Ising model approach from equilibrium statistical physics. This model explicitly represents nearest-neighbor interactions between 26 troponin/tropomyosin units along a one-dimensional array that represents the cardiac thin filament. With transition rates chosen to match experimental data, the results show that the resulting force-pCa (F-pCa) relations are similar to Hill functions with asymmetries, as seen in experimental data. Specifically, Hill plots showing (log(F/(1-F)) vs. log [Ca]) reveal a steeper slope below the half activation point (Ca(50)) compared with above. Parameter variation studies show interplay of parameters that affect the apparent cooperativity and asymmetry in the F-pCa relations. The model also predicts that Ca binding is uncooperative for low [Ca], becomes steeper near Ca(50), and becomes uncooperative again at higher [Ca]. The steepness near Ca(50) mirrors the steep F-pCa as a result of thermodynamic considerations. The model also predicts that the correlation between troponin/tropomyosin units along the one-dimensional array quickly decays at high and low [Ca], but near Ca(50), high correlation occurs across the whole array. This work provides a simple model that can account for the steepness and shape of F-pCa relations that other models fail to reproduce.

Evaluation Studies↗
NASA NTRS2002

Composition and physiological profiling of sprout-associated microbial communities

The native microfloras of various types of sprouts (alfalfa, clover, sunflower, mung bean, and broccoli sprouts) were examined to assess the relative effects of sprout type and inoculum factors (i.e., sprout-growing facility, seed lot, and inoculation with sprout-derived inocula) on the microbial community structure of sprouts. Sprouts were sonicated for 7 min or hand shaken with glass beads for 2 min to recover native microfloras from the surface, and the resulting suspensions were diluted and plated. The culturable fraction was characterized by the density (log CFU/g), richness (e.g., number of types of bacteria), and diversity (e.g., microbial richness and evenness) of colonies on tryptic soy agar plates incubated for 48 h at 30 degrees C. The relative similarity between sprout-associated microbial communities was assessed with the use of community-level physiological profiles (CLPPs) based on patterns of utilization of 95 separate carbon sources. Aerobic plate counts of 7.96 +/- 0.91 log CFU/g of sprout tissue (fresh weight) were observed, with no statistically significant differences in microbial cell density, richness, or diversity due to sprout type, sprout-growing facility, or seed lot. CLPP analyses revealed that the microbial communities associated with alfalfa and clover sprouts are more similar than those associated with the other sprout types tested. Variability among sprout types was more extensive than any differences between microbial communities associated with alfalfa and clover sprouts from different sprout-growing facilities and seed lots. These results indicate that the subsequent testing of biocontrol agents should focus on similar organisms for alfalfa and clover, but alternative types may be most suitable for the other sprout types tested. The inoculation of alfalfa sprouts with communities derived from various sprout types had a significant, source-independent effect on microbial community structure, indicating that the process of inoculation alters the dynamics of community development regardless of the types of organisms involved.

NASA Center KSC↗
NASA NTRS2001

Fractal dimension analysis of weight-bearing bones of rats during skeletal unloading

Fractal analysis was used to quantify changes in trabecular bone induced through the use of a rat tail-suspension model to simulate microgravity-induced osteopenia. Fractal dimensions were estimated from digitized radiographs obtained from tail-suspended and ambulatory rats. Fifty 4-month-old male Sprague-Dawley rats were divided into groups of 24 ambulatory (control) and 26 suspended (test) animals. Rats of both groups were killed after periods of 1, 4, and 8 weeks. Femurs and tibiae were removed and radiographed with standard intraoral films and digitized using a flatbed scanner. Square regions of interest were cropped at proximal, middle, and distal areas of each bone. Fractal dimensions were estimated from slopes of regression lines fitted to circularly averaged plots of log power vs. log spatial frequency. The results showed that the computed fractal dimensions were significantly greater for images of trabecular bones from tail-suspended groups than for ambulatory groups (p < 0.01) at 1 week. Periods between 1 and 4 weeks likewise yielded significantly different estimates (p < 0.05), consistent with an increase in bone loss. In the tibiae, the proximal regions of the suspended group produced significantly greater fractal dimensions than other regions (p < 0.05), which suggests they were more susceptible to unloading. The data are consistent with other studies demonstrating osteopenia in microgravity environments and the regional response to skeletal unloading. Thus, fractal analysis could be a useful technique to evaluate the structural changes of bone.

Non-NASA Center↗
NASA NTRS2001

Analysis of fractal dimensions of rat bones from film and digital images

OBJECTIVES: (1) To compare the effect of two different intra-oral image receptors on estimates of fractal dimension; and (2) to determine the variations in fractal dimensions between the femur, tibia and humerus of the rat and between their proximal, middle and distal regions. METHODS: The left femur, tibia and humerus from 24 4-6-month-old Sprague-Dawley rats were radiographed using intra-oral film and a charge-coupled device (CCD). Films were digitized at a pixel density comparable to the CCD using a flat-bed scanner. Square regions of interest were selected from proximal, middle, and distal regions of each bone. Fractal dimensions were estimated from the slope of regression lines fitted to plots of log power against log spatial frequency. RESULTS: The fractal dimensions estimates from digitized films were significantly greater than those produced from the CCD (P=0.0008). Estimated fractal dimensions of three types of bone were not significantly different (P=0.0544); however, the three regions of bones were significantly different (P=0.0239). The fractal dimensions estimated from radiographs of the proximal and distal regions of the bones were lower than comparable estimates obtained from the middle region. CONCLUSIONS: Different types of image receptors significantly affect estimates of fractal dimension. There was no difference in the fractal dimensions of the different bones but the three regions differed significantly.

NASA Discipline Musculoskeletal↗
NASA NTRS2000

Spontaneous fluctuations in cerebral blood flow: insights from extended-duration recordings in humans

To determine the dependence of cerebral blood flow (CBF) on arterial pressure over prolonged time periods, we measured beat-to-beat changes in mean CBF velocity in the middle cerebral artery (transcranial Doppler) and mean arterial pressure (Finapres) continuously for 2 h in six healthy subjects (5 men and 1 woman, 18-40 yr old) during supine rest. Fluctuations in velocity and pressure were quantified by the range [(peak - trough)/mean] and coefficients of variation (SD/mean) in the time domain and by spectral analysis in the frequency domain. Mean velocity and pressure over the 2-h recordings were 60 +/- 7 cm/s and 83 +/- 8 mmHg, associated with ranges of 77 +/- 8 and 89 +/- 10% and coefficients of variation of 9.3 +/- 2.2 and 7.9 +/- 2.3%, respectively. Spectral power of the velocity and pressure was predominantly distributed in the frequency range of 0.00014-0.1 Hz and increased inversely with frequency, indicating characteristics of an inverse power law (1/f(alpha)). However, linear regression on a log-log scale revealed that the slope of spectral power of pressure and velocity was steeper in the high-frequency (0.02-0.5 Hz) than in the low-frequency range (0.002-0.02 Hz), suggesting different regulatory mechanisms in these two frequency ranges. Furthermore, the spectral slope of pressure was significantly steeper than that of velocity in the low-frequency range, consistent with the low transfer function gain and low coherence estimated at these frequencies. We conclude that 1) long-term fluctuations in CBF velocity are prominent and similar to those observed in arterial pressure, 2) spectral power of CBF velocity reveals characteristics of 1/f(alpha), and 3) cerebral attenuation of oscillations in CBF velocity in response to changes in pressure may be more effective at low than that at high frequencies, emphasizing the frequency dependence of cerebral autoregulation.

NASA Discipline Cardiopulmonary↗
NASA NTRS1999

Cardiac interbeat interval dynamics from childhood to senescence : comparison of conventional and new measures based on fractals and chaos theory

BACKGROUND: New methods of R-R interval variability based on fractal scaling and nonlinear dynamics ("chaos theory") may give new insights into heart rate dynamics. The aims of this study were to (1) systematically characterize and quantify the effects of aging from early childhood to advanced age on 24-hour heart rate dynamics in healthy subjects; (2) compare age-related changes in conventional time- and frequency-domain measures with changes in newly derived measures based on fractal scaling and complexity (chaos) theory; and (3) further test the hypothesis that there is loss of complexity and altered fractal scaling of heart rate dynamics with advanced age. METHODS AND RESULTS: The relationship between age and cardiac interbeat (R-R) interval dynamics from childhood to senescence was studied in 114 healthy subjects (age range, 1 to 82 years) by measurement of the slope, beta, of the power-law regression line (log power-log frequency) of R-R interval variability (10(-4) to 10(-2) Hz), approximate entropy (ApEn), short-term (alpha(1)) and intermediate-term (alpha(2)) fractal scaling exponents obtained by detrended fluctuation analysis, and traditional time- and frequency-domain measures from 24-hour ECG recordings. Compared with young adults (<40 years old, n=29), children (<15 years old, n=27) showed similar complexity (ApEn) and fractal correlation properties (alpha(1), alpha(2), beta) of R-R interval dynamics despite lower spectral and time-domain measures. Progressive loss of complexity (decreased ApEn, r=-0.69, P<0.001) and alterations of long-term fractal-like heart rate behavior (increased alpha(2), r=0.63, decreased beta, r=-0.60, P<0.001 for both) were observed thereafter from middle age (40 to 60 years, n=29) to old age (>60 years, n=29). CONCLUSIONS: Cardiac interbeat interval dynamics change markedly from childhood to old age in healthy subjects. Children show complexity and fractal correlation properties of R-R interval time series comparable to those of young adults, despite lower overall heart rate variability. Healthy aging is associated with R-R interval dynamics showing higher regularity and altered fractal scaling consistent with a loss of complex variability.

NASA Discipline Cardiopulmonary↗
NASA NTRS1999

Heart rate dynamics before spontaneous onset of ventricular fibrillation in patients with healed myocardial infarcts

The traditional methods of analyzing heart rate (HR) variability have failed to predict imminent ventricular fibrillation (VF). We sought to determine whether new methods of analyzing RR interval variability based on nonlinear dynamics and fractal analysis may help to detect subtle abnormalities in RR interval behavior before the onset of life-threatening arrhythmias. RR interval dynamics were analyzed from 24-hour Holter recordings of 15 patients who experienced VF during electrocardiographic recording. Thirty patients without spontaneous or inducible arrhythmia events served as a control group in this retrospective case control study. Conventional time- and frequency-domain measurements, the short-term fractal scaling exponent (alpha) obtained by detrended fluctuation analysis, and the slope (beta) of the power-law regression line (log power - log frequency, 10(-4)-10(-2) Hz) of RR interval dynamics were determined. The short-term correlation exponent alpha of RR intervals (0.64 +/- 0.19 vs 1.05 +/- 0.12; p <0.001) and the power-law slope beta (-1.63 +/- 0.28 vs -1.31 +/- 0.20, p <0.001) were lower in the patients before the onset of VF than in the control patients, but the SD and the low-frequency spectral components of RR intervals did not differ between the groups. The short-term scaling exponent performed better than any other measurement of HR variability in differentiating between the patients with VF and controls. Altered fractal correlation properties of HR behavior precede the spontaneous onset of VF. Dynamic analysis methods of analyzing RR intervals may help to identify abnormalities in HR behavior before VF.

Non-NASA Center↗
NASA NTRS1998

Role of metabolic gases in bubble formation during hypobaric exposures

Our hypothesis is that metabolic gases play a role in the initial explosive growth phase of bubble formation during hypobaric exposures. Models that account for optimal internal tensions of dissolved gases to predict the probability of occurrence of venous gas emboli were statistically fitted to 426 hypobaric exposures from National Aeronautics and Space Administration tests. The presence of venous gas emboli in the pulmonary artery was detected with an ultrasound Doppler detector. The model fit and parameter estimation were done by using the statistical method of maximum likelihood. The analysis results were as follows. 1) For the model without an input of noninert dissolved gas tissue tension, the log likelihood (in absolute value) was 255.01. 2) When an additional parameter was added to the model to account for the dissolved noninert gas tissue tension, the log likelihood was 251.70. The significance of the additional parameter was established based on the likelihood ratio test (P < 0.012). 3) The parameter estimate for the dissolved noninert gas tissue tension participating in bubble formation was 19. 1 kPa (143 mmHg). 4) The additional gas tissue tension, supposedly due to noninert gases, did not show an exponential decay as a function of time during denitrogenation, but it remained constant. 5) The positive sign for this parameter term in the model is characteristic of an outward radial pressure of gases in the bubble. This analysis suggests that dissolved gases other than N2 in tissues may facilitate the initial explosive bubble-growth phase.

NASA Center JSC↗
NASA NTRS1991

A miniaturized fibrinolytic assay for plasminogen activators

This report describes a micro-clot lysis assay (MCLA) for evaluating fibrinolytic activity of plasminogen activators (PA). Fibrin clots were formed in wells of microtiter plates. Lysis of the clots by PA, indicated by change in turbidity (optical density, OD), was monitored with a microplate reader at five minutes intervals. Log-log plots of PA dilution versus endpoint, the time at which the OD value was halfway between the maximum and minimum value for each well, were linear over a broad range of PA concentrations (2-200 International units/ml). The MCLA is a modification and miniaturization of well established fibrinolytic methods. The significant practical advantages of the MCLA are that it is a simple, relatively sensitive, non-radioactive, quantitative, kinetic, fibrinolytic micro-technique which can be automated.

NASA Discipline Cell Biology↗
NASA NTRS2004

Program Monitoring with LTL in EAGLE

We briefly present a rule-based framework called EAGLE, shown to be capable of defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics (MTL), interval logics, forms of quantified temporal logics, and so on. In this paper we focus on a linear temporal logic (LTL) specialization of EAGLE. For an initial formula of size m, we establish upper bounds of O(m(sup 2)2(sup m)log m) and O(m(sup 4)2(sup 2m)log(sup 2) m) for the space and time complexity, respectively, of single step evaluation over an input trace. This bound is close to the lower bound O(2(sup square root m) for future-time LTL presented. EAGLE has been successfully used, in both LTL and metric LTL forms, to test a real-time controller of an experimental NASA planetary rover.

Barringer, Howard↗