Search NASASearch

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 73 records · Page 4

Tetracycline-inducible system for regulation of skeletal muscle-specific gene expression in transgenic mice

Tightly regulated control of over-expression is often necessary to study one aspect or time point of gene function and, in transgenesis, may help to avoid lethal effects and complications caused by ubiquitous over-expression. We have utilized the benefits of an optimized tet-on system and a modified muscle creatine kinase (MCK) promoter to generate a skeletal muscle-specific, doxycycline (Dox) controlled over-expression system in transgenic mice. A DNA construct was generated in which the codon optimized reverse tetracycline transactivator (rtTA) was placed under control of a skeletal muscle-specific version of the mouse MCK promoter. Transgenic mice containing this construct expressed rtTA almost exclusively in skeletal muscles. These mice were crossed to a second transgenic line containing a bi-directional promoter centered on a tet responder element driving both a luciferase reporter gene and a tagged gene of interest; in this case the calpain inhibitor calpastatin. Compound hemizygous mice showed high level, Dox dependent muscle-specific luciferase activity often exceeding 10,000-fold over non-muscle tissues of the same mouse. Western and immunocytochemical analysis demonstrated similar Dox dependent muscle-specific induction of the tagged calpastatin protein. These findings demonstrate the effectiveness and flexibility of the tet-on system to provide a tightly regulated over-expression system in adult skeletal muscle. The MCKrtTA transgenic lines can be combined with other transgenic responder lines for skeletal muscle-specific over-expression of any target gene of interest.

NASA Discipline Musculoskeletal

An EXPRESS Rack Overview and Support for Microgravity Research on the International Space Station (ISS)

The EXpedite the PRocessing of Experiments to Space Station or EXPRESS Rack System has provided accommodations and facilitated operations for microgravity-based research payloads for over 6 years on the International Space Station (ISS). The EXPRESS Rack accepts Space Shuttle middeck type lockers and International Subrack Interface Standard (ISIS) drawers, providing a modular-type interface on the ISS. The EXPRESS Rack provides 28Vdc power, Ethernet and RS-422 data interfaces, thermal conditioning, vacuum exhaust, and Nitrogen supply for payload use. The EXPRESS Rack system also includes payload checkout capability with a flight rack or flight rack emulator prior to launch, providing a high degree of confidence in successful operations once an-orbit. In addition, EXPRESS trainer racks are provided to support crew training of both rack systems and subrack operations. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the integration processes for ISS payload development. The EXPRESS Rack is designed to accommodate multidiscipline research, allowing for the independent operation of each subrack payload within a single rack. On-orbit operations began for the EXPRESS Rack Project on April 24, 2001, with one rack operating continuously to support high-priority payloads. The other on-orbit EXPRESS Racks operate based on payload need and resource availability. Over 50 multi-discipline payloads have now been supported on-orbit by the EXPRESS Rack Program. Sustaining engineering, logistics, and maintenance functions are in place to maintain hardware, operations and provide software upgrades. Additional EXPRESS Racks are planned for launch prior to ISS completion in support of long-term operations and the planned transition of the U.S. Segment to a National Laboratory.

Pelfrey, Joseph J.

DIOGENES: Expert system for extraction of data system requirements

AA The initial operations concept expresses information about system objectives, and defines the system users, system interfaces, and operational performance constraints. We have developed a prototype expert system which has established the feasibility of automating a scenario-driven methodology for deriving top-level specifications and preliminary designs for user data systems. This scenario-driven methodology uses an initial design, an initial operations concept, and user scenarios as the starting point for system definition. The top-level initial design is a functional description of the system in the form of an annotated data flow diagram. The initial operations concept expresses informationabout system objectives, and defines the system users, system interfaces, and operational performance constraints. The user scenarios are detailed time-lined descriptions of user activities, developed by prospective end users. These scenarios, along with the initial design and operations concept, are analyzed and iterated by the expert system to form a consistent set. The resulting User Scenario-Operation Set plays a key role in the development of requirements and system tests.

Hobbs, Robert W.

Expanding Remote Science Operations Capabilities Onboard the International Space Station

EXPRESS Racks have been supporting payload science operations onboard the International Space Station (ISS) since April of 2001. EXPRESS is an acronym that stands for "EXpedite the PRocessing of Experiments to Space Station." This name reflects NASA's focus to simplify the process of manifesting experiments and maximizing scientific research capabilities by providing a robust, remotely operated payload support platform. The EXPRESS Rack System was developed by NASA's Marshall Space Flight Center (MSFC) and built by The Boeing Company in Huntsville, Alabama. Eight EXPRESS racks were built and five are currently onboard the ISS supporting science operations. The design and development of the EXPRESS Rack System is a long story that has been documented in previous publications. This paper briefly describes the facilities used to develop and verify flight software, test operational capabilities. It then traces the advancements made in the operational capabilities of the EXPRESS Racks from the time they were launched on STS-100 through the present. The paper concludes with a description of potential enhancements that will make the EXPRESS racks one of the most advanced and capable remote science platforms ever developed.

Cruzen, Craig A.

Membrane Composition Influences Expression Yield of Plant Cytochrome P450s in E. coli Lysate-Based Cell-Free Systems

Plant cytochrome P450 enzymes are central to natural product biosynthesis, but remain difficult to express in microbial hosts due to their transmembrane nature. Lysate-based, cell-free expression systems allow supplementation with artificial membranes to support the expression and translocation of transmembrane proteins. We developed a framework to systematically test liposomal membrane compositions to enhance the plant P450 expression yield. Adjustments to common phospholipid ratios or the addition of plant galactolipids had minimal impact on expression. In contrast, blended liposomes containing Egg PC, sterol-conjugated phospholipids, and PEGylated lipids produced concentration-dependent increases in expression. Expression of an Escherichia coli mechanosensitive channel and three plant P450s improved more than 2-fold, with some P450s showing up to 14-fold enhancement. Furthermore, these findings highlight membrane composition as a key determinant of the P450 expression yield in cell-free expression systems. While P450 activity was not measured, these findings provide a framework for future workflows toward achieving functional plant transmembrane enzymes for the bioproduction of natural products.

TXTL

The effect of gravity on the combustion synthesis of Ni-Al and Ni3Al-TiB2 composites from elements

Previous studies on the combustion synthesis of advanced materials indicate that combustion and structure formation mechanisms involve several stages including melting of reactants and products, spreading of the melt, droplet coalescence, diffusion and convection, buoyancy of solid particles, and densification of the liquid product. Most of these processes are affected by gravity. Conducting the combustion synthesis under microgravity conditions is expected to help elucidate the reaction mechanisms. Two systems were examined. The first involves Ni/AI cladded particles, which is an ideal system to examine the individual particle and liquid flow before combustion occurs. For comparison, elemental Ni and Al powders with the same stoichiometry as that of the cladded particles were also used in some experiments. The second system was the Ni3AITiB2 composite in which the Ni3AI (-delta H(sub f) = 153.1 kJ/mol) phase melts during reaction enabling us to examine settling of the liquid phase. The amount of liquid phase was controlled by varying the TiB2 (-delta H(sub f) = 323.8 kJ/mol) content which generates the additional heat. The overall reactions for the two systems can be expressed as follows. System 1: 4Ni + 2AI yields Ni3AI + NiA and System 2: 3Ni + Al + x (Ti + 2B) yields Ni3Al + x(TiB2). For the first system, pellets were pressed directly from the cladded particles, at green densities about 77 +/- 3% of theoretical value. For the second, the pellets were prepared by mixing the elemental reactant powders in the required stoichiometry by ball-milling and then pressing uniaxially at green densities about 70 +/- 3 percent of theoretical. The pellets were cylindrical in shape, 10 mm in diameter and length typically 20-30 mm. The pellet samples were reacted in UHP Argon (1 atm) using the experimental setup and procedure described previously. After reaction, the samples were sectioned axially in order to conduct the microstructural analysis in the longitudinal direction. The phase composition of the reacted product was determined by X-ray diffraction (XRD) and the microstructure was analyzed using scanning electron microscopy (SEM) along with energy dispersive X-ray spectrometry (EDX).

Varma, Arvind

Development of an Adsorption System for the Trash Compaction Processing System designed for operation in the International Space Station Express Rack

A water recovery system that utilizes adsorption to work with the Trash Compaction Processing System, formerly known as the Heat Melt Compactor, is being designed at NASA Ames Research Center as an option to current state of the art micro-gravity water management systems and contaminant control systems used in space. The adsorption system will be used in conjunction with the International Space Station Vacuum Exhaust system to avoid both the complexities of gas liquid phase separation in micro-gravity and venting of Trash Compaction Processing System effluents to the spacecraft cabin. The adsorption system will allow the water and gaseous effluents generated during the Trash Compaction System operation to be removed in a matter that meets the Vacuum Exhaust System venting rate requirements. The Trash Compaction Processing System is planned to fly as a Technology Demonstration on the International Space Station in the space station EXPRESS Rack facility. This paper describes the trade space that the adsorption system must operate in using the EXPRESS Rack facilities resources including the use of the Space Station Vacuum Exhaust System. Also described in this paper are design solutions to allow the adsorption system to function within the Express Rack and Vacuum Exhaust System Parameters.

Heat Melt Compactor

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar

Kinematics and constraints associated with swashplate blade pitch control

An important class of techniques to reduce helicopter vibration is based on using a Higher Harmonic controller to optimally define the Higher Harmonic blade pitch. These techniques typically require solution of a general optimization problem requiring the determination of a control vector which minimizes a performance index where functions of the control vector are subject to inequality constraints. Six possible constraint functions associated with swashplate blade pitch control were identified and defined. These functions constrain: (1) blade pitch Fourier Coefficients expressed in the Rotating System, (2) blade pitch Fourier Coefficients expressed in the Nonrotating System, (3) stroke of the individual actuators expressed in the Nonrotating System, (4) blade pitch expressed as a function of blade azimuth and actuator stroke, (5) time rate-of-change of the aforementioned parameters, and (6) required actuator power. The aforementioned constraints and the associated kinematics of swashplate blade pitch control by means of the strokes of the individual actuators are documented.

Leyland, Jane A.

Optimum quantization in dynamic systems.

Criterion for optimum design of quantizer imbedded in closed loop dynamic system is optimization of overall system performance expressed by variational criterion

QUANTIZER

Remote sensing of gene expression in Planta: transgenic plants as monitors of exogenous stress perception in extraterrestrial environments

Transgenic arabidopsis plants containing the alcohol dehydrogenase (Adh) gene promoter fused to the green fluorescent protein (GFP) reporter gene were developed as biological sensors for monitoring physiological responses to unique environments. Plants were monitored in vivo during exposure to hypoxia, high salt, cold, and abcissic acid in experiments designed to characterize the utility and responses of the Adh/GFP biosensors. Plants in the presence of environmental stimuli that induced the Adh promoter responded by expressing GFP, which in turn generated a detectable fluorescent signal. The GFP signal degraded when the inducing stimulus was removed. Digital imaging of the Adh/GFP plants exposed to each of the exogenous stresses demonstrated that the stress-induced gene expression could be followed in real time. The experimental results established the feasibility of using a digital monitoring system for collecting gene expression data in real time from Transgenic Arabidopsis Gene Expression System (TAGES) biosensor plants during space exploration experiments.

NASA Discipline Plant Biology

Controllability in nonlinear systems

An explicit expression for the reachable set is obtained for a class of nonlinear systems. This class is described by a chain condition on the Lie algebra of vector fields associated with each nonlinear system. These ideas are used to obtain a generalization of a controllability result for linear systems in the case where multiplicative controls are present.

Hirschorn, R. M.

Multi-Tethered Space-Based Interferometers: Particle System Model

Dynamics models are presented for a class of space-based interferometers comprised of multiple component bodies, interconnected in various arrangements, by low-mass flexible tethers of variable length. The tethered constellations are to perform coordinated rotational scanning accompanied by baseline dimensional changes, as well as spin axis realignments and spin-up/spin-down maneuvers. The mechanical idealization is a system of N point masses interconnected by massless tethers of variable length. Both extensible and inextensible tethers are considered. Expressions for system angular and linear momenta are developed. The unrestricted nonlinear motion equations are derived via Lagranges equations. Rheonomic constraints are introduced to allow prescribed motion of any degrees of freedom, and the associated physical forces are determined. The linearized equations of motion are obtained for the steady rotation of a system with extensible tethers of constant unstrained length.

Gates, Stephen S.

Isolation and characterization of a novel gene sfig in rat skeletal muscle up-regulated by spaceflight (STS-90)

We obtained the skeletal muscle of rats exposed to weightless conditions during a 16-day-spaceflight (STS-90). By using a differential display technique, we identified 6 up-regulated and 3 down-regulated genes in the gastrocnemius muscle of the spaceflight rats, as compared to the ground control. The up-regulated genes included those coding Casitas B-lineage lymphoma-b, insulin growth factor binding protein-1, titin and mitochondrial gene 16 S rRNA and two novel genes (function unknown). The down-regulated genes included those encoding RNA polymerase II elongation factor-like protein, NADH dehydrogenase and one novel gene (function unknown). In the present study, we isolated and characterized one of two novel muscle genes that were remarkably up-regulated by spaceflight. The deduced amino acid sequence of the spaceflight-induced gene (sfig) comprises 86 amino acid residues and is well conserved from Drosophila to Homo sapiens. A putative leucine-zipper structure located at the N-terminal region of sfig suggests that this gene may encode a transcription factor. The up-regulated expression of this gene, confirmed by Northern blot analysis, was observed not only in the muscles of spaceflight rats but also in the muscles of tail-suspended rats, especially in the early stage of tail-suspension when gastrocnemius muscle atrophy initiated. The gene was predominantly expressed in the kidney, liver, small intestine and heart. When rat myoblastic L6 cells were grown to 100% confluence in the cell culture system, the expression of sfig was detected regardless of the cell differentiation state. These results suggest that spaceflight has many genetic effects on rat skeletal muscle.

STS-90 Shuttle Project

Bode Integrals And Feedback Control Systems

Feedback maximized in desired frequency ranges. Four of Bode integrals constitute basis of method of optimizing design of feedback control system. Integrals express frequency-domain relationships among, and constraints upon, various measures of attenuation and phase in feedback amplifiers. Applicable to similar magnitudes and phases in feedback control systems. Also used to design feedback compensators to maintain stability and performance in presence of disturbances, noise, and uncertainties in characteristics of plant to be controlled.

Kissel, Glen J.

An elementary magnetic attitude control system

A three-axis closed-loop attitude-control system for earth-observatory momentum-bias spacecraft is proposed. A horizon scanner and magnetometer are employed to measure attitude errors; no yaw sensor is required. Appropriate control signals are generated and used to command variable-strength electromagnets, which interact with the geomagnetic field to reduce observed errors. This system provides for initial acquisition, precession control, nutation damping, and pitch-axis momentum control. All functions are performed autonomously - no ground-station interaction is required. Analytical expressions predicting system response are compared with numerical solutions of the governing equations, and with the results of the application of Floquet Theory.-

Stickler, A. C.