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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,279 records · Page 71

All sources NASA NTRS DOE OSTI

NASA NTRS1993

A predictability study of Lorenz's 28-variable model as a dynamical system

The dynamics of error growth in a two-layer nonlinear quasi-geostrophic model has been studied to gain an understanding of the mathematical theory of atmospheric predictability. The growth of random errors of varying initial magnitudes has been studied, and the relation between this classical approach and the concepts of the nonlinear dynamical systems theory has been explored. The local and global growths of random errors have been expressed partly in terms of the properties of an error ellipsoid and the Liapunov exponents determined by linear error dynamics. The local growth of small errors is initially governed by several modes of the evolving error ellipsoid but soon becomes dominated by the longest axis. The average global growth of small errors is exponential with a growth rate consistent with the largest Liapunov exponent. The duration of the exponential growth phase depends on the initial magnitude of the errors. The subsequent large errors undergo a nonlinear growth with a steadily decreasing growth rate and attain saturation that defines the limit of predictability. The degree of chaos and the largest Liapunov exponent show considerable variation with change in the forcing, which implies that the time variation in the external forcing can introduce variable character to the predictability.

Krishnamurthy, V.↗

NASA NTRS1998

Flight Guidance System Validation Using SPIN

To verify the requirements for the mode control logic of a Flight Guidance System (FGS) we applied SPIN, a widely used software package that supports the formal verification of distributed systems. These requirements, collectively called the FGS specification, were developed at Rockwell Avionics & Communications and expressed in terms of the Consortium Requirements Engineering (CoRE) method. The properties to be verified are the invariants formulated in the FGS specification, along with the standard properties of consistency and completeness. The project had two stages. First, the FGS specification and the properties to be verified were reformulated in PROMELA, the input language of SPIN. This involved a semantics issue, as some constructs of the FGS specification do not have well-defined semantics in CoRE. Then we attempted to verify the requirements' properties using the automatic model checking facilities of SPIN. Due to the large size of the state space of the FGS specification an exhaustive state space analysis with SPIN turned out to be impossible. So we used the supertrace model checking procedure of SPIN that provides for a partial analysis of the state space. During this process, we found some subtle errors in the FGS specification.

Naydich, Dimitri↗

NASA NTRS2000

Senseless, a Zn finger transcription factor, is necessary and sufficient for sensory organ development in Drosophila

The senseless (sens) gene is required for proper development of most cell types of the embryonic and adult peripheral nervous system (PNS) of Drosophila. Sens is a nuclear protein with four Zn fingers that is expressed and required in the sensory organ precursors (SOP) for proper proneural gene expression. Ectopic expression of Sens in many ectodermal cells causes induction of PNS external sensory organ formation and is able to recreate an ectopic proneural field. Hence, sens is both necessary and sufficient for PNS development. Our data indicate that proneural genes activate sens expression. Sens is then in turn required to further activate and maintain proneural gene expression. This feedback mechanism is essential for selective enhancement and maintenance of proneural gene expression in the SOPs.

NASA Discipline Developmental Biology↗

NASA NTRS2000

atonal regulates neurite arborization but does not act as a proneural gene in the Drosophila brain

Drosophila atonal (ato) is the proneural gene of the chordotonal organs (CHOs) in the peripheral nervous system (PNS) and the larval and adult photoreceptor organs. Here, we show that ato is expressed at multiple stages during the development of a lineage of central brain neurons that innervate the optic lobes and are required for eclosion. A novel fate mapping approach shows that ato is expressed in the embryonic precursors of these neurons and that its expression is reactivated in third instar larvae (L3). In contrast to its function in the PNS, ato does not act as a proneural gene in the embryonic brain. Instead, ato performs a novel function, regulating arborization during larval and pupal development by interacting with Notch.

NASA Discipline Developmental Biology↗

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↗

DOE OSTI2026

A simple fourth order propagator based on the Magnus expansion in the Liouville space: Application to a Λ-system and assessment of the rotating wave approximation

A simple fourth-order propagator [Ture and Jang, J. Phys. Chem. A 128, 2871 (2024)] based on the Magnus expansion is extended to the Liouville space for both closed-system and Lindbladian open-system quantum dynamics. For both dynamics, commutator free versions of fourth-order propagators are provided as well. These propagators are then applied to the dynamics of a driven Λ-system, where Lindblad terms represent the effect of a photonic bath. For both dynamics, the accuracy of the rotating wave approximation (RWA) for the matter–radiation interaction is assessed. We confirmed reasonable performance of RWA for weak and resonant fields. However, small errors appear for moderate fields and substantial errors can be found for strong fields where coherent population trapping can still be expected. We also found that the presence of bath for open-system quantum dynamics consistently reduces the errors of the RWA. These results provide quantitative information on how the RWA breaks down beyond weak field or for non-resonant cases. Major results are benchmarked against results of our sixth-order ME-based propagator. Finally, we also provide numerical comparison of our algorithms with other fourth-order algorithms for the Λ-system. These confirm reasonable performance of our simple propagators and the improvement gained through commutator-free expressions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

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.↗

DOE OSTI2021

VipariNama: RNA viral vectors to rapidly elucidate the relationship between gene expression and phenotype

Synthetic transcription factors have great promise as tools to help elucidate relationships between gene expression and phenotype by allowing tunable alterations of gene expression without genomic alterations of the loci being studied. However, the years-long timescales, high cost, and technical skill associated with plant transformation have limited their use. In this work, we developed a technology called VipariNama (ViN) in which vectors based on the tobacco rattle virus are used to rapidly deploy Cas9-based synthetic transcription factors and reprogram gene expression in planta. We demonstrate that ViN vectors can implement activation or repression of multiple genes systemically and persistently over several weeks in Nicotiana benthamiana, Arabidopsis (Arabidopsis thaliana), and tomato (Solanum lycopersicum). By exploring strategies including RNA scaffolding, viral vector ensembles, and viral engineering, we describe how the flexibility and efficacy of regulation can be improved. We also show how this transcriptional reprogramming can create predictable changes to metabolic phenotypes, such as gibberellin biosynthesis in N. benthamiana and anthocyanin accumulation in Arabidopsis, as well as developmental phenotypes, such as plant size in N. benthamiana, Arabidopsis, and tomato. These results demonstrate how ViN vector-based reprogramming of different aspects of gibberellin signaling can be used to engineer plant size in a range of plant species in a matter of weeks. In summary, ViN accelerates the timeline for generating phenotypes from over a year to just a few weeks, providing an attractive alternative to transgenesis for synthetic transcription factor-enabled hypothesis testing and crop engineering.

59 BASIC BIOLOGICAL SCIENCES↗

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.↗