Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 847 records · Page 47
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Is the Martian Water Table Hidden from Radar View?

Mars may possess a global sub-surface groundwater table as an integral part of its current hydrological system, However, the Mars Advanced Radar for Subsurface and Ionospheric Sounding (MARSIS) onboard the 'Mars Express (MEx) spacecraft has yet to make a definitive detection of such a body of liquid water. In this work, we quantify. the conditions that would allow a detection of a deep aquifer and demonstrate that the lack of radar detection doses not uniquely role out the presence of such a body. Specifically, if the overlying crustal material has a conductivity above approximately 10(exp -5) S/m (equivalent to a loss tangent of 0.008), a radar echo frown an aquifer could be sufficiently attenuated by the intetvening medium to prevent its detection by MARSIS. As such, the lack of direct detection by MARSIS -- a "null result" does not rule out the possibility of the water table's existence.

Farrell, W. M.↗
NASA NTRS2014

APGEN Scheduling: 15 Years of Experience in Planning Automation

In this paper, we discuss the scheduling capability of APGEN (Activity Plan Generator), a multi-mission planning application that is part of the NASA AMMOS (Advanced Multi- Mission Operations System), and how APGEN scheduling evolved over its applications to specific Space Missions. Our analysis identifies two major reasons for the successful application of APGEN scheduling to real problems: an expressive DSL (Domain-Specific Language) for formulating scheduling algorithms, and a well-defined process for enlisting the help of auxiliary modeling tools in providing high-fidelity, system-level simulations of the combined spacecraft and ground support system.

sequencing↗
NASA NTRS2016

Deductive Evaluation: Formal Code Analysis With Low User Burden

We describe a framework for symbolically evaluating iterative C code using a deductive approach that automatically discovers and proves program properties. Although verification is not performed, the method can infer detailed program behavior. Software engineering work flows could be enhanced by this type of analysis. Floyd-Hoare verification principles are applied to synthesize loop invariants, using a library of iteration-specific deductive knowledge. When needed, theorem proving is interleaved with evaluation and performed on the fly. Evaluation results take the form of inferred expressions and type constraints for values of program variables. An implementation using PVS (Prototype Verification System) is presented along with results for sample C functions.

Di Vito, Ben. L↗
NASA NTRS2016

Investigation of Damping Physics and CFD Tool Validation for Simulation of Baffled Tanks at Variable Slosh Amplitude

To meet the flight control damping requirement, baffles of various configurations have been devised to increase the natural viscous damping and decrease the magnitude of the slosh forces and torques. In the design of slosh baffles, the most widely used damping equation is the one derived by Miles, which is based on the experiments of Keulegan and Carpenter. This equation has been used in predicting damping of the baffled tanks in different diameters ranging from 12 to 112 inches. The analytical expression of Miles equation is easy to use, especially in the design of complex baffle system. Previous investigations revealed that some experiments had shown good agreements with the prediction method of Miles, whereas other experiments have shown significant deviations. For example, damping from Miles equation differs from experimental measurements by as much as 100 percent over a range of tank diameters from 12 to 112 inches, oscillation amplitudes from 0.1 to 1.5 baffle widths, and baffle depths of 0.3 to 0.5 tank radius. Previously, much of this difference has been attributed to experimental scatter. A systematical study is needed to understand the damping physics of baffled tanks, to identify the difference between Miles equation and experimental measurement, and to develop new semi-empirical relations to better represent the real damping physics. The approach of this study is to use CFD technology to shed light on the damping mechanisms of a baffled tank. First, a 1-D Navier-Stokes equation representing different length scales and time scales in the baffle damping physics is developed and analyzed. A well validated CFD solver, developed at NASA MSFC, Loci-STREAM-VOF, is applied to study vorticity field around the baffle and around the fluid interface to highlight the dissipation mechanisms at different slosh amplitudes. Previous measurement data are then used to validate the CFD damping results. The study found several critical parameters controlling fluid damping from a baffle: local slosh amplitude to baffle thickness (A/t), surface liquid depth to tank radius (h/R), local slosh amplitude to baffle width (A/W); and non-dimensional slosh frequency. The simulation highlights three significant damping regimes where different mechanisms dominate. The study proves that the previously found discrepancies between Miles equation and experimental measurement are not due to the measurement scatter, but rather due to different damping mechanisms at various slosh amplitudes. The limitations on the use of Miles equation are discussed based on the flow regime.

Yang, H. Q.↗
NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗
NASA NTRS2003

Modeled Microgravity-Induced Protein Kinase C Isoform Expression in Human Lymphocytes

In long-term space travel, the crew is exposed to microgravity and radiation that invoke potential hazards to the immune system. T cell activation is a critical step in the immune response. Receptor-mediated signaling is inhibited both in microgravity and modeled microgravity (MMG) as reflected in diminished DNA synthess in peripheral blood lymphocytes and their locomotion through gelled type 1 collagen. Direct activation of Protein Kinase C (PKC) bypassing cell surface events using the phorbol ester PMA rescues MMG-inhibited lymphocyte activation and locomotion, whereas calcium ionophore ionomycin had no rescue effect. Thus calcium-independent PKC isoforms may be affected in MMG-induced locomotion inhibition and rescue. Both calcium-dependent isoforms and calcium-independent PKC isoforms were investigated to assess their expression in lymphocytes in 19 and MMG-culture. Human lymphocytes were cultured and harvested at 24, 48, 72 and 96 hours and serial samples assessed for locomotion using type I collagen and expression of PKC isoforms. Expression of PKC-alpha, -delta and -epsilon was assessed by RT-PCR, flow cytometry and immunoblotting. Results indicated that PKC isoforms delta and epsilon were down-regulated by more than 50% at the transcriptional and translational levels in MMG-cultured lymphocytes compared with 19 controls. Events upstream of PKC such as phosphorylation of Phospholipase C(gamma) (PLC-gamma) in MMG, revealed accumulation of inactive enzyme. Depressed Ca++ -independent PKC isoforms may be a consequence of an upstream lesion in the signal transduction pathway. The differential response among calcium-dependent and calcium-independent isoforms may actually result from MMG intrusion events earlier than, but after ligand-receptor interaction. Keywords: Signal transduction, locomotion, immunity

Sundaresan, A.↗
NASA NTRS2001

The Launch Systems Operations Cost Model

One of NASA's primary missions is to reduce the cost of access to space while simultaneously increasing safety. A key component, and one of the least understood, is the recurring operations and support cost for reusable launch systems. In order to predict these costs, NASA, under the leadership of the Independent Program Assessment Office (IPAO), has commissioned the development of a Launch Systems Operations Cost Model (LSOCM). LSOCM is a tool to predict the operations & support (O&S) cost of new and modified reusable (and partially reusable) launch systems. The requirements are to predict the non-recurring cost for the ground infrastructure and the recurring cost of maintaining that infrastructure, performing vehicle logistics, and performing the O&S actions to return the vehicle to flight. In addition, the model must estimate the time required to cycle the vehicle through all of the ground processing activities. The current version of LSOCM is an amalgamation of existing tools, leveraging our understanding of shuttle operations cost with a means of predicting how the maintenance burden will change as the vehicle becomes more aircraft like. The use of the Conceptual Operations Manpower Estimating Tool/Operations Cost Model (COMET/OCM) provides a solid point of departure based on shuttle and expendable launch vehicle (ELV) experience. The incorporation of the Reliability and Maintainability Analysis Tool (RMAT) as expressed by a set of response surface model equations gives a method for estimating how changing launch system characteristics affects cost and cycle time as compared to today's shuttle system. Plans are being made to improve the model. The development team will be spending the next few months devising a structured methodology that will enable verified and validated algorithms to give accurate cost estimates. To assist in this endeavor the LSOCM team is part of an Agency wide effort to combine resources with other cost and operations professionals to support models, databases, and operations assessments.

Prince, Frank A.↗
NASA NTRS2004

Modeled microgravity-induced protein kinase C isoform expression in human lymphocytes

In long-term space travel, the crew is exposed to microgravity and radiation that invoke potential hazards to the immune system. T cell activation is a critical step in the immune response. Receptor-mediated signaling is inhibited in both microgravity and modeled microgravity (MMG) as reflected by diminished DNA synthesis in peripheral blood lymphocytes and their locomotion through gelled type I collagen. Direct activation of protein kinase C (PKC) bypassing cell surface events using the phorbol ester PMA rescues MMG-inhibited lymphocyte activation and locomotion, whereas the calcium ionophore ionomycin had no rescue effect. Thus calcium-independent PKC isoforms may be affected in MMG-induced locomotion inhibition and rescue. Both calcium-dependent isoforms and calcium-independent PKC isoforms were investigated to assess their expression in lymphocytes in 1 g and MMG culture. Human lymphocytes were cultured and harvested at 24, 48, 72, and 96 h, and serial samples were assessed for locomotion by using type I collagen and expression of PKC isoforms. Expression of PKC-alpha, -delta, and -epsilon was assessed by RT-PCR, flow cytometry, and immunoblotting. Results indicated that PKC isoforms delta and epsilon were downregulated by >50% at the transcriptional and translational levels in MMG-cultured lymphocytes compared with 1-g controls. Events upstream of PKC, such as phosphorylation of phospholipase Cgamma in MMG, revealed accumulation of inactive enzyme. Depressed calcium-independent PKC isoforms may be a consequence of an upstream lesion in the signal transduction pathway. The differential response among calcium-dependent and calcium-independent isoforms may actually result from MMG intrusion events earlier than PKC, but after ligand-receptor interaction.

Lymphocytes/enzymology↗
NASA NTRS2010

Effects of Modeled Microgravity on Expression Profiles of Micro RNA in Human Lymphoblastoid Cells

Among space radiation and other environmental factors, microgravity or an altered gravity is undoubtedly the most significant stress experienced by living organisms during flight. In comparison to the static 1g, microgravity has been shown to alter global gene expression patterns and protein levels in cultured cells or animals. Micro RNA (miRNA) has recently emerged as an important regulator of gene expression, possibly regulating as many as one-third of all human genes. miRNA represents a class of single-stranded noncoding regulatory RNA molecules (~ 22 nt) that control gene expressions by inhibiting the translation of mRNA to proteins. However, very little is known on the effect of altered gravity on miRNA expression. We hypothesized that the miRNA expression profile will be altered in zero gravity resulting in regulation of the gene expression and functional changes of the cells. To test this hypothesis, we cultured TK6 human lymphoblastoid cells in Synthecon s Rotary cell culture system (bioreactors) for 72 h either in the rotating (10 rpm) to model the microgravity in space or in the static condition. The cell viability was determined before and after culturing the cells in the bioreactor using both trypan blue and guava via count. Expressions of a panel of 352 human miRNA were analyzed using the miRNA PCRarray. Out of 352 miRNAs, expressions of 75 were significantly altered by a change of greater than 1.5 folds and seven miRNAs were altered by a fold change greater than 2 under the rotating culture condition. Among these seven, miR-545 and miR-517a were down regulated by 2 folds, whereas miR-150, miR-302a, miR-139-3p, miR-515-3p and miR-564 were up regulated by 2 to 8 folds. To confirm whether this altered miRNA expression correlates with gene expression and functional changes of the cells, we performed DNA Illumina Microarray Analysis and validated the related genes using q-RT PCR.

Mangala, Lingegowda S.↗
NASA NTRS1997

Closed Form Solution for Minimum Norm Model-Validating Uncertainty

A methodology in which structured uncertainty models are directly constructed from measurement data for use in robust control design of multivariable systems is proposed. The formulation allows a general linear fractional transformation uncertainty structure connections with respect to a given nominal model. Existence conditions are given, and under mild assumptions, a closed-form expression for the smallest norm structured uncertainty that validates the model is given. The uncertainty bound computation is simple and is formulated for both open and closed loop systems.

Lim, Kyong Been↗
NASA NTRS1992

Aircraft- and tower-based fluxes of carbon dioxide, latent, and sensible heat

Fluxes of carbon dioxide, water vapor, and sensible heat obtained over a grassland ecosystem, during the First International Satellite Land Surface Climatology Project (ISLSCP) Field Experiment (FIFE), using an aircraft- and two tower-based systems are compared for several days in 1987 and in 1989. The tower-based cospectral estimates of CO2, sensible heat, water vapor, and momentum, expressed as a function of wavenumber K times sampling height z, are relatively similar to the aircraft-based estimates for K x z greater than 0.1. A measurable contribution to the fluxes is observed by tower-based systems at K x z less than 0.01 but not by the aircraft-based system operating at an altitude of approximately 100 m over a 15 x 15 km area. Using all available simultaneous aircraft and tower data, flux estimates by both systems were shown to be highly correlated. As expected from the spatial variations of the greenness index, surface extrapolation of airborne flux estimates tended to lie between those of the two tower sites. The average fluxes obtained, on July 11, 1987, and August 4, 1989, by flying a grid pattern over the FIFE site agreed with the two tower data sets for CO2, but sensible and latent heat were smaller than those obtained by the tower-based systems. However, in general, except for a small underestimation due to the long wavelength contributions and due to flux divergence with height, the differences between the aircraft- and tower-based surface estimates of fluxes appear to be mainly attributable to differences in footprint, that is, differences in the area contributing to the surface flux estimates.

Desjardins, R. L.↗
NASA NTRS1989

The dynamics and control of large flexible space structures - 12, supplement 11

The rapid 2-D slewing and vibrational control of the unsymmetrical flexible SCOLE (Spacecraft Control Laboratory Experiment) with multi-bounded controls is considered. Pontryagin's Maximum Principle is applied to the nonlinear equations of the system to derive the necessary conditions for the optimal control. The resulting two point boundary value problem is then solved by using the quasilinearization technique, and the near minimum time is obtained by sequentially shortening the slewing time until the controls are near the bang-bang type. The tradeoff between the minimum time and the minimum flexible amplitude requirements is discussed. The numerical results show that the responses of the nonlinear system are significantly different from those of the linearized system for rapid slewing. The SCOLE station-keeping closed loop dynamics are re-examined by employing a slightly different method for developing the equations of motion in which higher order terms in the expressions for the mast modal shape functions are now included. A preliminary study on the effect of actuator mass on the closed loop dynamics of large space systems is conducted. A numerical example based on a coupled two-mass two-spring system illustrates the effect of changes caused in the mass and stiffness matrices on the closed loop system eigenvalues. In certain cases the need for redesigning control laws previously synthesized, but not accounting for actuator masses, is indicated.

Bainum, Peter M.↗
NASA NTRS2004

Mars Express: The Exploration of Phobos

The origin, structure and composition of Phobos are essentially still unresolved issue, with major outcomes for understanding the origin and evolution of the Solar system, and of the Mars system. Several missions have been designed with this unique body the only target. Is Phobos a captured small body (and in this case, can we identify the degree of differentiation such a small object has undergone ?), or is there any co-generic process with Mars involved ? Are there still volatile species trapped, and if so where, and in what form ? What are the reciprocal contributions of Mars and Phobos material accreted in the other body? The number of key clues for deciphering the early solar system processes, the Mars-Phobos binary evolution, and the role Phobos could play in the future of Mars exploration (including human expeditions), are numerous, and exciting for a large community. Part of the answers are in the high resolution coverage of this object (optical and IR, for composition variation), and in its full spectral analysis, from UV to thermal IR : Mars Express is the unique mission to provide this opportunity, and orbit 756, August 22, a totally unique opportunity to approach Phobos so closely. OMEGA should provide all across Stickney, the deepest accessible material, and over more than 20 km along, a spatial resolution less than 200 m, and assess the composition (and possibly their variations) wrt silicates (mafic materials), oxides, and eventually hydrated minerals and organics. By no means we should miss this opportunity: no one would understand the rationale not to turn the instruments ON while so close, and pointing them towards the Phobos surface.

Phobos↗
NASA NTRS1972

Computation of optimal output-feedback compensators for linear time-invariant systems

The control of linear time-invariant systems with respect to a quadratic performance criterion was considered, subject to the constraint that the control vector be a constant linear transformation of the output vector. The optimal feedback matrix, f*, was selected to optimize the expected performance, given the covariance of the initial state. It is first shown that the expected performance criterion can be expressed as the ratio of two multinomials in the element of f. This expression provides the basis for a feasible method of determining f* in the case of single-input single-output systems. A number of iterative algorithms are then proposed for the calculation of f* for multiple input-output systems. For two of these, monotone convergence is proved, but they involve the solution of nonlinear matrix equations at each iteration. Another is proposed involving the solution of Lyapunov equations at each iteration, and the gradual increase of the magnitude of a penalty function. Experience with this algorithm will be needed to determine whether or not it does, indeed, possess desirable convergence properties, and whether it can be used to determine the globally optimal f*.

Platzman, L. K.↗
NASA NTRS1988

Raman determination of layer stresses and strains for heterostructures and its application to the cubic SiC/Si system

A set of formulas for a generalized axial stress in diamond and zinc-blende semiconductors under axial stress is derived to calculate stress-related Raman shifts. By analyzing known Raman data on cubic SiC under hydrostatic pressures, one of the Raman-stress coefficients was obtained, and the existing elastic stiffness constants of cubic SiC were optimized. A method for calculating the stress and strain in SiC films on (100) Si is proposed. It is suggested that the stress and strain expressions and the method of the stress and strain determinations in heterostructures are quite general and may be used for other systems.

Feng, Z. C.↗
NASA NTRS2009

Optical Fiber Assemblies for Space Flight from the NASA Goddard Space Flight Center, Photonics Group

The Photonics Group at NASA Goddard Space Flight Center in the Electrical Engineering Division of the Advanced Engineering and Technologies Directorate has been involved in the design, development, characterization, qualification, manufacturing, integration and anomaly analysis of optical fiber subsystems for over a decade. The group supports a variety of instrumentation across NASA and outside entities that build flight systems. Among the projects currently supported are: The Lunar Reconnaissance Orbiter, the Mars Science Laboratory, the James Webb Space Telescope, the Express Logistics Carrier for the International Space Station and the NASA Electronic Parts. and Packaging Program. A collection of the most pertinent information gathered during project support over the past year in regards to space flight performance of optical fiber components is presented here. The objective is to provide guidance for future space flight designs of instrumentation and communication systems.

Ott, Melanie N.↗
NASA NTRS2001

Capillary Flow in Containers of Polygonal Section: Theory and Experiment

An improved understanding of the large-length-scale capillary flows arising in a low-gravity environment is critical to that engineering community concerned with the design and analysis of spacecraft fluids management systems. Because a significant portion of liquid behavior in spacecraft is capillary dominated it is natural to consider designs that best exploit the spontaneous character of such flows. In the present work, a recently verified asymptotic analysis is extended to approximate spontaneous capillary flows in a large class of cylindrical containers of irregular polygonal section experiencing a step reduction in gravitational acceleration. Drop tower tests are conducted using partially-filled irregular triangular containers for comparison with the theoretical predictions. The degree to which the experimental data agree with the theory is a testament to the robustness of the basic analytical assumption of predominantly parallel flow. As a result, the closed form analytical expressions presented serve as simple, accurate tools for predicting bulk flow characteristics essential to practical low-g system design and analysis. Equations for predicting corner wetting rates, total container flow rates, and transient surfaces shapes are provided that are relevant also to terrestrial applications such as capillary flow in porous media.

Weislogel, Mark M.↗
NASA NTRS2001

A New Analytical Approach to Predict Spacing Selection in Lamellar and Rod Eutectic Systems

In this paper, we reexamine the Jackson and Hunt (JH) theory and relax the assumption of isothermal solid/liquid interface(SLI) used in their treatment. A modification of the term B. in the expression of the solute concentration profile is also proposed. Based on the predictions of this modified theory the traditional definitions of regular and irregular eutectics are discussed. For regular eutectics the new model identifies a range of spacing within the limits defined by the minimum undercooling of the alpha and beta phase. For the irregular Al-Si eutectic system in particular we identified two different spacing selection mechanisnis: a) for a particular growth rate, a nearly isothermal interface can be achieved at a unique minimum spacing lambda(sub I); b) the average spacing in the microstructure (lambda(sub av) > lambda(sub I)) is essentially dictated by the undercooling of the faceted phase. Based on the modified theoretical model a semi-empirical expression has been developed to account for the influence of the temperature gradient. The theoretical calculations have been found to be in good agreement with the published experimental measurements.

Catalina, Adrian V.↗