Search NASA⌕ Search

SEARCH · Search NASA

Results for “Expression systems”

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 757 records · Page 42

Energy and maximum norm estimates for nonlinear conservation laws

We have devised a technique that makes it possible to obtain energy estimates for initial-boundary value problems for nonlinear conservation laws. The two major tools to achieve the energy estimates are a certain splitting of the flux vector derivative f(u)(sub x), and a structural hypothesis, referred to as a cone condition, on the flux vector f(u). These hypotheses are fulfilled for many equations that occur in practice, such as the Euler equations of gas dynamics. It should be noted that the energy estimates are obtained without any assumptions on the gradient of the solution u. The results extend to weak solutions that are obtained as point wise limits of vanishing viscosity solutions. As a byproduct we obtain explicit expressions for the entropy function and the entropy flux of symmetrizable systems of conservation laws. Under certain circumstances the proposed technique can be applied repeatedly so as to yield estimates in the maximum norm.

Olsson, Pelle↗

Classification of rain regimes by the three-dimensional properties of reflectivity fields

An automated scheme to characterize precipitation echoes within small windows in the radar field is presented and applied to previously subjectively classified tropical rain cloud systems near Darwin, Australia. The classification parameters are (a) E(sub e), effective efficiency, as determined by cloud-top and cloud-base water vapor saturation mixing ratios; (b) BBF, brightband fraction, as determined by the fraction of the radar echo area in which the maximal reflectivity occurs within +/- 1.5 km of the 0 C isotherm level; and (c) del(sub r) Z, radial reflectivity gradients (dB/km). These classification criteria were applied to tropical rain cloud systems near Darwin, Australia, and to winter convective rain cloud systems in Israel. Both sets of measurements were made with nearly identical networks of C-band radars and rain gauge networks. The results of the application of these objective classification criteria to several independently predetermined rain regimes in Darwin have shown that better organized rain systems have smaller del(sub r) Z and larger BBF. Similarly, smaller del(sub r)Z and larger BBF were also observed from maritime rain cloud systems, as compared to continental rain cloud systems with the same degree of organization. Continental rain cloud system, regardless of their degree of organization, have larger depths, as expressed by E(sub e). The rainfall analyses presented in this study are based exclusively on rain gauge measurements, while radar information was used only to classify the individual gauge measurements.

Rosenfeld, Daniel↗

Genetic models in applied physiology: selected contribution: effects of spaceflight on immunity in the C57BL/6 mouse. II. Activation, cytokines, erythrocytes, and platelets

This portion of the study quantified the effects of a 12-day space shuttle mission (Space Transport System-108/UF-1) on body and lymphoid organ masses, activation marker expression, cytokine secretion, and erythrocyte and thrombocyte characteristics in C57BL/6 mice. Animals in flight (Flt group) had 10-12% lower body mass compared with ground controls housed either in animal enclosure modules or under standard vivarium conditions (P < 0.001) and the smallest thymus and spleen masses. Percentages of CD25(+) lymphocytes, CD3(+)/CD25(+) T cells, and NK1.1(+)/CD25(+) natural killer cells from Flt mice were higher compared with both controls (P < 0.05). In contrast, CD71 expression was depressed in the Flt and animal enclosure module control mice compared with vivarium control animals (P < 0.001). Secretion of interferon-gamma, IL-2, and IL-4, but not tumor necrosis factor-alpha and IL-5, by splenocytes from Flt mice was decreased relative to either one or both ground controls (P < 0.05). Flt mice also had high red blood cell and thrombocyte counts compared with both sets of controls; low red blood cell volume and distribution width, percentage of reticulocytes, and platelet volume were also noted (P < 0.05) and were consistent with dehydration. These data indicate that relatively short exposure to the spaceflight environment can induce profound changes that may become significant during long-term space missions.

Flight Experiment↗

Heavy-ion radiobiology: new approaches to delineate mechanisms underlying enhanced biological effectiveness

Shortly after the discovery of polonium and radium by Marie Curie and her husband and colleague, Pierre Curie, it was learned that exposure to these alpha-particle emitters produced deleterious biological effects. The mechanisms underlying the increased biological effectiveness of densely ionizing radiations, including alpha particles, neutrons and highly energetic heavy charged particles, remain an active area of investigation. In this paper, we review recent advances in several areas of the radiobiology of these densely ionizing radiations, also known as heavy ions. Advances are described in the areas of DNA damage and repair, chromosome aberrations, mutagenesis, neoplastic transformation in vitro, genomic instability, normal tissue radiobiology and carcinogenesis in vivo. We focus on technical innovations, including novel applications of pulsed-field gel electrophoresis, fluorescence in situ hybridization (FISH), linkage analysis, and studies of gene expression and protein expression. We also highlight the use of new cellular and animal systems, including those with defined DNA repair deficiencies, as well as epithelial cell model systems to assess neoplastic transformation both in vitro and in vivo. The studies reviewed herein have had a substantial impact on our understanding of the genotoxic effects of heavy ions as well as their distinct effects on tissue homeostasis. The use of these radiations in cancer therapy is also discussed. The use of both heavy-ion and proton therapy is on the upswing in several centers around the world, due to their unique energy deposition characteristics that enhance the therapeutic effect and help reduce damage to normal tissue.

Review, Academic↗

Closed-Loop Performance Measures for Flight Controllers Subject to Neutron-Induced Upsets

It has been observed that atmospheric neutrons can produce single event upsets in digital flight control hardware. The phenomenon has been studied extensively at the chip level, and now system level experiments are underway. In this paper analytical closed-loop performance measures for the tracking error are developed for a plant that is stabilized by a recoverable computer system subject to neutron induced upsets. The underlying model is a Markov jump-linear system with process noise. The steady-state tracking error is expressed in terms of a generalized observability Gramian.

Gray, W. Steven↗

OPALS: A COTS-based Tech Demo of Optical Communications

I. Objective: Deliver video from ISS to optical ground terminal via an optical communications link. a) JPL Phaeton/Early Career Hire (ECH) training project. b) Implemented as Class-D payload. c) Downlink at approx.30Mb/s. II. Flight System a) Optical Head Beacon Acquisition Camera. Downlink Transmitter. 2-axis Gimbal. b) Sealed Container Laser Avionics Power distribution Digital I/O board III. Implementation: a) Ground Station - Optical Communications Telescope Laboratory at Table Mountain Facility b) Flight System mounted to ISS FRAM as standard I/F. Attached externally on Express Logistics Carrier.

optical communications↗

Implementing Connected Component Labeling as a User Defined Operator for SciDB

We have implemented a flexible User Defined Operator (UDO) for labeling connected components of a binary mask expressed as an array in SciDB, a parallel distributed database management system based on the array data model. This UDO is able to process very large multidimensional arrays by exploiting SciDB's memory management mechanism that efficiently manipulates arrays whose memory requirements far exceed available physical memory. The UDO takes as primary inputs a binary mask array and a binary stencil array that specifies the connectivity of a given cell to its neighbors. The UDO returns an array of the same shape as the input mask array with each foreground cell containing the label of the component it belongs to. By default, dimensions are treated as non-periodic, but the UDO also accepts optional input parameters to specify periodicity in any of the array dimensions. The UDO requires four stages to completely label connected components. In the first stage, labels are computed for each subarray or chunk of the mask array in parallel across SciDB instances using the weighted quick union (WQU) with half-path compression algorithm. In the second stage, labels around chunk boundaries from the first stage are stored in a temporary SciDB array that is then replicated across all SciDB instances. Equivalences are resolved by again applying the WQU algorithm to these boundary labels. In the third stage, relabeling is done for each chunk using the resolved equivalences. In the fourth stage, the resolved labels, which so far are "flattened" coordinates of the original binary mask array, are renamed with sequential integers for legibility. The UDO is demonstrated on a 3-D mask of O(1011) elements, with O(108) foreground cells and O(106) connected components. The operator completes in 19 minutes using 84 SciDB instances.

UDO↗

Consequences of Prenatal Stress on Appetite Control and the Energy Expenditure Pathway

Established research has illustrated that moderate exposure to stress in the womb influences both adult phonotype and genotype for several physiological pathways, especially in males. Proposed explanations include adaptions made by the fetus resulting from a limited supply of nutrients, referred to as the thrifty phenotype. In this study, we examine this fetal programming effect on the appetite control and energy expenditure pathways in prenatally stressed adult male offspring. Subjects were male rats born from time-mated female rats exposed to unpredictable, variable prenatal stress (UVPS) throughout gestation. An analysis of the adult male rat offspring genetic expression of epididymal fat pads and the plasma concentrations of hormones involved in appetite control and energy expenditure pathways showed a significantly diminished expression of leptin and adiponectin compared to unstressed controls. Leptin and adiponectin are both major hormones involved in the appetite control and energy expenditure pathways, with leptin regulating energy balance due to its function as an inhibitor of hunger, and adiponectin modulating glucose levels and fatty acid breakdown. We observed higher leptin concentrations within the prenatally stressed male plasma, and lower expression of leptin (OB) and adiponectin (ADIPOQ) genes from the epididymal fat pads. We suggest that elevated leptin in the plasma elicited a negative feedback effect on OB expression levels, decreasing their quantification compared to control animals. Further analysis will include plasma quantification of insulin and glucose, as well as expression of ghrelin, a peptide which acts on the central nervous system and the bodys perception of hunger.

appetite control↗

Unpredictable Variable Prenatal Stress Programs Expression of Genes Involved in Appetite Control and Energy Expenditure

Exposure to stress in the womb shapes neurobiological and physiological outcomes of offspring in later life, including body weight regulation and metabolic profiles. Our previous work utilizing a centrifugation-induced hypergravity demonstrated significantly increased (8-15) body mass in male, but not female, rats exposed throughout gestation to chronic 2-g from conception to birth. We reported the same outcome in adult offspring exposed throughout gestation to Unpredictable Variable Prenatal Stress (UVPS). Here we examine gene expression changes using our UVPS model to identify a potential role for prenatal stress in this hypergravity programming effect. Specifically we focused on appetite control and energy expenditure pathways in prenatally stressed adult (90-day-old) male Sprague-Dawley rats. Time-mated female rats were exposed throughout their 22-day pregnancy to UVPS consisting of white noise, strobe light, and tube restraint individually once per day on an unpredictable schedule for 15, 30 or 60 min. To control for potential changes in postnatal maternal care, newborn pups were fostered to non-manipulated, newly parturient dams. At 90-days of age, we analyzed plasma concentrations of hormones involved in appetite control and energy expenditure (leptin and adiponectin), and quantified expression of key genes in epididymal fat pads harvested from adult male offspring and controls. Leptin regulates energy balance by inhibiting hunger, and adiponectin modulates glucose levels and fatty acid breakdown. Our findings indicate significantly elevated plasma leptin concentrations and reduced expression of epididymal fat leptin (OB) and adiponectin (ADIPOQ) genes compared to controls. Analyses presently underway include quantification of plasma insulin and glucose, and the expression of ghrelin, a peptide that acts on the central nervous system and the body's perception of hunger. Collectively, these findings will further understanding of the consequences of UVPS on body weight regulation and metabolism, and provide further insight into the effect of gravity modulation on mammalian fetal development.

Appetite Control↗

Impact of Analytic Derivatives on Optimization of N-Impulse Orbit Transfer

Several formulations are possible for the optimization of N-impulse two-body orbit transfers. One formulation that assumes the firstN−1impulses are design variables and implements Lambert’s algorithm in the final leg is here considered. This paper presents a derivation for the analytic expressions of the gradients needed to optimize this formulation. The impact of using these analytic expressions on the optimization computational cost is also presented. A linear system of equations is developed that approximates the Lambert’s problem solution in a way that is suitable for computing the analytic gradients. The derivations of the analytic gradients, as well as numerical case studies for 2-impulse and 3-impulse orbit transfers, are presented. The numerical case studies highlights a significant reduction in the computational cost, measured in terms of the number of function calls.

Ahmed Ellithy↗

Disentangling the Entangled Linkages of Magnetic Helicity

Magnetic helicity, H, measures magnetic linkages in a volume. The early theoretical development of helicity focused on magnetically closed systems in V bounded by ∂V. For magnetically closed systems, V ∈ R -3 = V + V∗, no magnetic flux threads the boundary, n̂ · B|∂V = 0. Berger & Field (1984) and Finn & Antonsen (1985) extended the definition of helicity to relative helicity, H, for magnetically open systems where magnetic flux may thread the boundary. Berger (1999, 2003) expressed this relative helicity as two gauge invariant terms that describe the self helicity of magnetic field that closes inside V and the mutual helicity between the magnetic field that threads the boundary ∂V and the magnetic field that closes inside V. The total magnetic field that permeates V entangles magnetic fields that are produced by current sources J in V with magnetic fields that are produced by current sources J∗ in V∗. Building on this fact, we extend Berger’s expressions for relative magnetic helicity to eight gauge invariant quantities that simultaneously characterize both of these self and mutual helicities and attribute their origins to currents J in V and/or J∗ in V∗, thereby disentangling the domain of origin for these entangled linkages. We arrange these eight terms into novel expressions for internal and external helicity (self) and internal-external helicity (mutual) based on their domain of origin. The implications of these linkages for interpreting magnetic energy is discussed and new boundary observables are proposed for tracking the evolution of the field that threads the boundary.

Analytical mathematics↗

Gene Expression Dynamics Inspector (GEDI): for integrative analysis of expression profiles

Genome-wide expression profiles contain global patterns that evade visual detection in current gene clustering analysis. Here, a Gene Expression Dynamics Inspector (GEDI) is described that uses self-organizing maps to translate high-dimensional expression profiles of time courses or sample classes into animated, coherent and robust mosaics images. GEDI facilitates identification of interesting patterns of molecular activity simultaneously across gene, time and sample space without prior assumption of any structure in the data, and then permits the user to retrieve genes of interest. Important changes in genome-wide activities may be quickly identified based on 'Gestalt' recognition and hence, GEDI may be especially useful for non-specialist end users, such as physicians. AVAILABILITY: GEDI v1.0 is written in Matlab, and binary Matlab.dll files which require Matlab to run can be downloaded for free by academic institutions at http://www.chip.org/~ge/gedihome.html Supplementary information: http://www.chip.org/~ge/gedihome.html.

Database Management Systems↗

Sensitivity analysis of automatic flight control systems using singular value concepts

A sensitivity analysis is presented that can be used to judge the impact of vehicle dynamic model variations on the relative stability of multivariable continuous closed-loop control systems. The sensitivity analysis uses and extends the singular-value concept by developing expressions for the gradients of the singular value with respect to variations in the vehicle dynamic model and the controller design. Combined with a priori estimates of the accuracy of the model, the gradients are used to identify the elements in the vehicle dynamic model and controller that could severely impact the system's relative stability. The technique is demonstrated for a yaw/roll damper stability augmentation designed for a business jet.

Herrera-Vaillard, A.↗

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently focused on parametric specifications where events take data values as parameters. These techniques exist on a spectrum inhabited by both efficient and expressive techniques. These characteristics are usually shown to be conflicting - in state-of-the-art solutions, efficiency is obtained at the cost of loss of expressiveness and vice-versa. To seek a solution to this conflict we explore a new point on the spectrum by defining an alternative runtime verification approach.We introduce a new formalism for concisely capturing expressive specifications with parameters. Our technique is more expressive than the currently most efficient techniques while at the same time allowing for optimizations.

state machines↗

A Multifaceted Approach to Modernizing NASA's Advanced Multi-Mission Operations System (AMMOS) System Architecture

The Advanced Multi-Mission Operations Systems (AMMOS) is NASA's premier space mission operations product line offering for use in deep-space robotic and astrophysics missions. The general approach to AMMOS modernization over the course of its 29-year history exemplifies a continual, evolutionary approach with periods of sponsor investment peaks and valleys in between. Today, the Multimission Ground Systems and Services (MGSS) office-the program office that manages the AMMOS for NASA-actively pursues modernization initiatives and continues to evolve the AMMOS by incorporating enhanced capabilities and newer technologies into its end-user tool and service offerings. Despite the myriad of modernization investments that have been made over the evolutionary course of the AMMOS, pain points remain. These pain points, based on interviews with numerous flight project mission operations personnel, can be classified principally into two major categories: 1) information-related issues, and 2) process-related issues. By information-related issues, we mean pain points associated with the management and flow of MOS data across the various system interfaces. By process-related issues, we mean pain points associated with the MOS activities performed by mission operators (i.e., humans) and supporting software infrastructure used in support of those activities. In this paper, three foundational concepts-Timeline, Closed Loop Control, and Separation of Concerns-collectively form the basis for expressing a set of core architectural tenets that provides a multifaceted approach to AMMOS system architecture modernization intended to address the information- and process-related issues. Each of these architectural tenets will be further explored in this paper. Ultimately, we envision the application of these core tenets resulting in a unified vision of a future-state architecture for the AMMOS-one that is intended to result in a highly adaptable, highly efficient, and highly cost-effective set of multimission MOS products and services.

Estefan, Jeff A.↗

Automated Rendezvous and Capture System Development and Simulation for NASA

The United States does not have an Automated Rendezvous and Capture/Docking (AR and C) capability and is reliant on manned control for rendezvous and docking of orbiting spacecraft. This reliance on the labor intensive manned interface for control of rendezvous and docking vehicles has a significant impact on the cost of the operation of the International Space Station (ISS) and precludes the use of any U.S. expendable launch capabilities for Space Station resupply. The Soviets have the capability to autonomously dock in space, but their system produces a hard docking with excessive force and contact velocity. Automated Rendezvous and Capture/Docking has been identified as a key enabling technology for the Space Launch Initiative (SLI) Program, DARPA Orbital Express and other DOD Programs. The development and implementation of an AR&C capability can significantly enhance system flexibility, improve safety, and lower the cost of maintaining, supplying, and operating the International Space Station. The Marshall Space Flight Center (MSFC) has conducted pioneering research in the development of an automated rendezvous and capture (or docking) (AR and C) system for U.S. space vehicles. This AR&C system was tested extensively using hardware-in-the-loop simulations in the Flight Robotics Laboratory, and a rendezvous sensor, the Video Guidance Sensor was developed and successfully flown on the Space Shuttle on flights STS-87 and STS-95, proving the concept of a video- based sensor. Further developments in sensor technology and vehicle and target configuration have lead to continued improvements and changes in AR&C system development and simulation. A new Advanced Video Guidance Sensor (AVGS) with target will be utilized on the Demonstration of Autonomous Rendezvous Technologies (DART) flight experiment in 2004.

Roe, Fred D.↗

Thermal analysis of the vertical bridgman semiconductor crystal growth technique

The quality of semiconductor crystals grown by the vertical Bridgman technique is strongly influenced by the axial and radial variations of temperature within the charge. The relationship between the thermal parameters of the vertical Bridgman system and the thermal behavior of the charge are examined. Thermal models are developed which are capable of producing results expressable in analytical form and which can be used without recourse to extensive computer work for the preliminary thermal design of vertical Bridgman crystal growth systems. These models include the effects of thermal coupling between the furnace and the charge, charge translation rate, charge diameter, thickness and thermal conductivity of the confining crucible, thermal conductivity change and liberation of latent heat at the growth interface, and infinite charge length. The hot and cold zone regions, considered to be at spatially uniform temperatures, are separated by a gradient control region which provides added thermal design flexibility for controlling the temperature variations near the growth interface.

Jasinski, T. J.↗

Expansion-driven Weibel instability in magnetohydrodynamics: Linear theory for static systems

The Weibel dispersion relation is obtained in the magnetohydrodynamic (MHD) approximation by including a tensor expression for temperature. MHD gives an upper cutoff wavenumber for Weibel growth identical to kinetic theory if the electron drift velocity is included in the evolution of the electron temperature. MHD overestimates growth rates compared to kinetic theory and gives maximum growth at larger wavenumbers, but it only leads to divergent results as temperature anisotropy tends to infinity. Thermal conduction in MHD lowers the growth rates and shifts maximum growth to smaller wavenumbers, but flux-limited or nonlocal thermal conduction is found to significantly limit these effects. The results are used as a first step in evaluating the potential of MHD to simulate expansion-driven Weibel instability, which occurs due to the temperature tensor only cooling in the direction of expansion. Finally, the small temperature anisotropy found in expansion-driven Weibel instability means that MHD could be an adequate model because growth rates are much less than the electron plasma frequency, and wavelengths are much greater than the Debye length.

Davies, J. R. [Univ. of Rochester, NY (United Stat↗