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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Transgenic Arabidopsis Gene Expression System

The Transgenic Arabidopsis Gene Expression System (TAGES) investigation is one in a pair of investigations that use the Advanced Biological Research System (ABRS) facility. TAGES uses Arabidopsis thaliana, thale cress, with sensor promoter-reporter gene constructs that render the plants as biomonitors (an organism used to determine the quality of the surrounding environment) of their environment using real-time nondestructive Green Fluorescent Protein (GFP) imagery and traditional postflight analyses.

Ferl, Robert↗
NASA NTRS2002

Choosing Between Yeast and Bacterial Expression Systems: Yield Dependent

Green fluorescent protein (GFP) is a naturally occurring fluorescent protein isolated from the jellyfish Aequorea victoria. The intrinsic fluorescence of the protein is due to a chromophore located in the center of the molecule. Its usefulness has been established as a marker for gene expression and localization of gene products. GFP has recently been utilized as a model protein for crystallization studies at NASA/MSFC, both in earth-based and in microgravity experiments. Because large quantities of purified protein were needed, the cDNA of GFP was cloned into the Pichia pastoris pPICZ(alpha) C strain, with very little protein secreted into the media. Microscopic analysis prior to harvest showed gigantic green fluorescent yeast, but upon harvesting most protein was degraded. Trial fermentations of GFP cloned into pPICZ A for intracellular expression provided unsatisfactory yield. GFP cloned into E, coli was overexpressed at greater than 150 mg/liter, with purification yields at greater than 100mg/liter.

Miller, Rebecca S.↗
NASA NTRS1996

Pluto Express Power System Architecture

The Pluto Express power system must answer the challenge of the next generation spacecraft by reducing its power, mass, and volume envelopes. Technology developed by the New Millennium Program will enable the power system to meet the stringent requirements for the Pluto Express mission without exceeding the spacecraft mass and volume budgets.

electronics↗
NASA NTRS1983

Aberrations of holographic toroidal grating systems

Expressions are derived for the sixteen wave front aberration coefficients of a single grating. These give the wave aberrations to the fourth order for a plane symmetric grating system. The contributions from each mirror and grating can be added to give the aberrations in the final image. Problems encountered with intermediate astigmatic images are overcome by defining the wave front aberration with respect to an astigmatic reference surface. There is one field variable describing displacement of the object point from the symmetry plane. The aperture stop may be placed anywhere in the system, and equations are given for the aberration changes produced by sifting this position.

Chrisp, M. P.↗
NASA NTRS2008

An Overview of Starfish: A Table-Centric Tool for Interactive Synthesis

Engineering is an interactive process that requires intelligent interaction at many levels. My thesis [1] advances an engineering discipline for high-level synthesis and architectural decomposition that integrates perspicuous representation, designer interaction, and mathematical rigor. Starfish, the software prototype for the design method, implements a table-centric transformation system for reorganizing control-dominated system expressions into high-level architectures. Based on the digital design derivation (DDD) system a designer-guided synthesis technique that applies correctness preserving transformations to synchronous data flow specifications expressed as co- recursive stream equations Starfish enhances user interaction and extends the reachable design space by incorporating four innovations: behavior tables, serialization tables, data refinement, and operator retiming. Behavior tables express systems of co-recursive stream equations as a table of guarded signal updates. Developers and users of the DDD system used manually constructed behavior tables to help them decide which transformations to apply and how to specify them. These design exercises produced several formally constructed hardware implementations: the FM9001 microprocessor, an SECD machine for evaluating LISP, and the SchemEngine, garbage collected machine for interpreting a byte-code representation of compiled Scheme programs. Bose and Tuna, two of DDD s developers, have subsequently commercialized the design derivation methodology at Derivation Systems, Inc. (DSI). DSI has formally derived and validated PCI bus interfaces and a Java byte-code processor; they further executed a contract to prototype SPIDER-NASA's ultra-reliable communications bus. To date, most derivations from DDD and DRS have targeted hardware due to its synchronous design paradigm. However, Starfish expressions are independent of the synchronization mechanism; there is no commitment to hardware or globally broadcast clocks. Though software back-ends for design derivation are limited to the DDD stream-interpreter, targeting synchronous or real-time software is not substantively different from targeting hardware.

Tsow, Alex↗
NASA NTRS1998

A Station Tethered Express Payload System (STEPS)

Most capsules designed to return payloads from earth orbit use rockets for deorbit. They have modest payload mass & volume fractions. Active attitude control raises costs, and the deorbit rocket imposes risks which increase development and operational costs. This note describes an alternative concept now being developed under NASA funding. It uses a tether to both deorbit and orient the capsule. This allows simultaneous reduction of capsule complexity, cost, loads, hazards, and reentry errors. The flight of SEDS-1 in 1993 proved out the basic concepts. A 20 km tether slung a 26 kg payload back to earth from a 74O x 19O km orbit, accurately enough for a pre-positioned observer to videotape the reentry. As air drag built up just before reentry, the tether was blown back and became a kite-tail, with tension increasing as predicted before flight. The tether was still attached at approx. 110 km, when telemetry was lost.

Carroll, Joseph A.↗
NASA NTRS2010

SimCheck: An Expressive Type System for Simulink

MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical systems. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals as well as relations between signals. We define a type-checker that checks the wellformedness of Simulink blocks with respect to these type annotations. The type checker generates proof obligations that are solved by SRI's Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect type errors, demonstrate counterexamples, generate test cases, or prove the absence of type errors. Our work is an initial step toward the symbolic analysis of MATLAB Simulink models.

Roy, Pritam↗
NASA NTRS1996

Pluto Express Sciencecraft System Design

A number of mission system architectures have been studied for a Pluto flyby mission, with the goal of achieving the most cost effective means of meeting a well defined set of science and technology objectives. The results of this trade study have been coupled with a new development implementation approach to create a highly integrated concurrently engineered mission system called a

Pluto↗
NASA NTRS2004

Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs

We present an algorithm for model checking temporal-epistemic properties of multi-agent systems, expressed in the formalism of interpreted systems. We first introduce a technique for the translation of interpreted systems into boolean formulae, and then present a model-checking algorithm based on this translation. The algorithm is based on OBDD's, as they offer a compact and efficient representation for boolean formulae.

Raimondi, Franco↗
NASA NTRS1997

The Structure and Function of Non-Collagenous Bone Proteins

The research done under the cooperative research agreement for the project titled 'The structure and function of non-collagenous bone proteins' represented the first phase of an ongoing program to define the structural and functional relationships of the principal noncollagenous proteins in bone. An ultimate goal of this research is to enable design and execution of useful pharmacological compounds that will have a beneficial effect in treatment of osteoporosis, both land-based and induced by long-duration space travel. The goals of the now complete first phase were as follows: 1. Establish and/or develop powerful recombinant protein expression systems; 2. Develop and refine isolation and purification of recombinant proteins; 3. Express wild-type non-collagenous bone proteins; 4. Express site-specific mutant proteins and domains of wild-type proteins to enhance likelihood of crystal formation for subsequent solution of structure.

Hook, Magnus↗
NASA NTRS1997

The Structure and Function of Non-Collagenous Bone Proteins

The long-term goal for this program is to determine the structural and functional relationships of bone proteins and proteins that interact with bone. This information will used to design useful pharmacological compounds that will have a beneficial effect in osteoporotic patients and in the osteoporotic-like effects experienced on long duration space missions. The first phase of this program, funded under a cooperative research agreement with NASA through the Texas Medical Center, aimed to develop powerful recombinant expression systems and purification methods for production of large amounts of target proteins. Proteins expressed in sufficient'amount and purity would be characterized by a variety of structural methods, and made available for crystallization studies. In order to increase the likelihood of crystallization and subsequent high resolution solution of structures, we undertook to develop expression of normal and mutant forms of proteins by bacterial and mammalian cells. In addition to the main goals of this program, we would also be able to provide reagents for other related studies, including development of anti-fibrotic and anti-metastatic therapeutics.

Hook, Magnus↗
NASA NTRS1992

User's guide to the Reliability Estimation System Testbed (REST)

The Reliability Estimation System Testbed is an X-window based reliability modeling tool that was created to explore the use of the Reliability Modeling Language (RML). RML was defined to support several reliability analysis techniques including modularization, graphical representation, Failure Mode Effects Simulation (FMES), and parallel processing. These techniques are most useful in modeling large systems. Using modularization, an analyst can create reliability models for individual system components. The modules can be tested separately and then combined to compute the total system reliability. Because a one-to-one relationship can be established between system components and the reliability modules, a graphical user interface may be used to describe the system model. RML was designed to permit message passing between modules. This feature enables reliability modeling based on a run time simulation of the system wide effects of a component's failure modes. The use of failure modes effects simulation enhances the analyst's ability to correctly express system behavior when using the modularization approach to reliability modeling. To alleviate the computation bottleneck often found in large reliability models, REST was designed to take advantage of parallel processing on hypercube processors.

Nicol, David M.↗
NASA NTRS1991

Structured representation for requirements and specifications

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System.

Cohen, Gerald C.↗
NASA NTRS1999

Model system for plant cell biology: GFP imaging in living onion epidermal cells

The ability to visualize organelle localization and dynamics is very useful in studying cellular physiological events. Until recently, this has been accomplished using a variety of staining methods. However, staining can give inaccurate information due to nonspecific staining, diffusion of the stain or through toxic effects. The ability to target green fluorescent protein (GFP) to various organelles allows for specific labeling of organelles in vivo. The disadvantages of GFP thus far have been the time and money involved in developing stable transformants or maintaining cell cultures for transient expression. In this paper, we present a rapid transient expression system using onion epidermal peels. We have localized GFP to various cellular compartments (including the cell wall) to illustrate the utility of this method and to visualize dynamics of these compartments. The onion epidermis has large, living, transparent cells in a monolayer, making them ideal for visualizing GFP. This method is easy and inexpensive, and it allows for testing of new GFP fusion proteins in a living tissue to determine deleterious effects and the ability to express before stable transformants are attempted.

NASA Discipline Plant Biology↗
NASA NTRS1999

Localization of the human 64kD autoantigen D1 to myofibrils in a subset of extraocular muscle fibers

PURPOSE. To evaluate the tissue-specific expression pattern of the 64kD human autoantigen D1, a tropomodulin-related protein that may be involved in thyroid-associated ophthalmopathy. METHODS. Recombinant 64kD human autoantigen D1 was generated in a bacterial expression system and used to immunize rabbits. Specific antibodies were affinity-purified and used for Western blots on normal and hyperthyroid rat and rabbit tissue, and immunofluorescence localization on cryosections of rat tissue. RESULTS. Anti-64kD human autoantigen D1 antibodies recognize specifically a approximately 70kD polypeptide in western blots of extraocular muscle, sternothyroid muscle, and smooth muscle. Immunofluorescence staining demonstrates that the 64kD human autoantigen D1 localizes to myofibrils in slow fibers from rat extraocular and sternothyroid muscle. The level of this protein is not altered in extraocular muscles from hyperthyroid rabbits. CONCLUSIONS. The 64kD human autoantigen D1 is expressed in slow fibers of extraocular and sternothyroid muscles as a component of myofibrils, and is not upregulated in conditions of hyperthyroidism.

Proteins/genetics/immunology/metabolism↗
NASA NTRS2003

Two Strategies for Microbial Production of an Industrial Enzyme-Alpha-Amylase

Extremophiles are microorganisms that thrive in, from an anthropocentric view, extreme environments including hot springs, soda lakes and arctic water. This ability of survival at extreme conditions has rendered extremophiles to be of interest in astrobiology, evolutionary biology as well as in industrial applications. Of particular interest to the biotechnology industry are the biological catalysts of the extremophiles, the extremozymes, whose unique stabilities at extreme conditions make them potential sources of novel enzymes in industrial applications. There are two major approaches to microbial enzyme production. This entails enzyme isolation directly from the natural host or creating a recombinant expression system whereby the targeted enzyme can be overexpressed in a mesophilic host. We are employing both methods in the effort to produce alpha-amylases from a hyperthermophilic archaeon (Thermococcus) isolated from a hydrothermal vent in the Atlantic Ocean, as well as from alkaliphilic bacteria (Bacillus) isolated from a soda lake in Tanzania. Alpha-amylases catalyze the hydrolysis of internal alpha-1,4-glycosidic linkages in starch to produce smaller sugars. Thermostable alpha-amylases are used in the liquefaction of starch for production of fructose and glucose syrups, whereas alpha-amylases stable at high pH have potential as detergent additives. The alpha-amylase encoding gene from Thermococcus was PCR amplified using carefully designed primers and analyzed using bioinformatics tools such as BLAST and Multiple Sequence Alignment for cloning and expression in E.coli. Four strains of Bacillus were grown in alkaline starch-enriched medium of which the culture supernatant was used as enzyme source. Amylolytic activity was detected using the starch-iodine method.

Bernhardsdotter, Eva C. M. J.↗