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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

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

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↗
NASA NTRS1993

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

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

Multivariable system synthesis with step disturbance rejection

The primary objective of this paper is to present a constructive procedure for the synthesis of linear multivariable systems whose entire internal state and output are corrupted by unknown step disturbances. It is assumed that the dynamical behavior of the system is expressed in any one of three equivalent ways - i.e., the state space representation, the controllable and observable differential operator representation, and the transfer matrix representation. In terms of the transfer matrix representation, T(s), the synthesis procedure is shown to be capable of producing any stable, desired closed loop transfer matrix, Td(s), which can be expressed as the product of T(s) and any proper rational matrix, Tc(s), while simultaneously eliminating the steady-state effect of step disturbances at the output of the system. Furthermore, the synthesis scheme outlined employes only the known, directly measurable input and output signals.

Wolovich, W. A.↗
NASA NTRS1976

Small space station electrical power system design concepts

A small manned facility, i.e., a small space station, placed in earth orbit by the Shuttle transportation system would be a viable, cost effective addition to the basic Shuttle system to provide many opportunities for R&D programs, particularly in the area of earth applications. The small space station would have many similarities with Skylab. This paper presents design concepts for an electrical power system (EPS) for the small space station based on Skylab experience, in-house work at Marshall Space Flight Center, SEPS (Solar Electric Propulsion Stage) solar array development studies, and other studies sponsored by MSFC. The proposed EPS would be a solar array/secondary battery system. Design concepts expressed are based on maximizing system efficiency and five year operational reliability. Cost, weight, volume, and complexity considerations are inherent in the concepts presented. A small space station EPS based on these concepts would be highly efficient, reliable, and relatively inexpensive.

Jones, G. M.↗
NASA NTRS1993

Development of a methodology for assessing the safety of embedded software systems

A Dynamic Flowgraph Methodology (DFM) based on an integrated approach to modeling and analyzing the behavior of software-driven embedded systems for assessing and verifying reliability and safety is discussed. DFM is based on an extension of the Logic Flowgraph Methodology to incorporate state transition models. System models which express the logic of the system in terms of causal relationships between physical variables and temporal characteristics of software modules are analyzed to determine how a certain state can be reached. This is done by developing timed fault trees which take the form of logical combinations of static trees relating the system parameters at different point in time. The resulting information concerning the hardware and software states can be used to eliminate unsafe execution paths and identify testing criteria for safety critical software functions.

Garrett, C. J.↗
NASA NTRS1981

Kramers-Kronig relationship between ultrasonic attenuation and phase velocity

Kramers-Kronig relations linking the attenuation and dispersion are presented for a linear acoustic system. These expressions are used as a starting point to derive approximate, nearly local expressions relating the ultrasonic attenuation at a specific frequency to the local frequency derivative of the phase velocity (i.e., dispersion). The validity of these approximate relationships is demonstrated in several acoustic systems exhibiting substantially different physical properties.

Odonnell, M.↗
NASA NTRS2000

NASA's solar system exploration program

The overarching scientific goals for the exploration of the solar system are expressed as three Quests. The Quests form an engaging and compelling framework for the development of detailed scientific objectives, measurement priorities, and flight missions.

planets↗
NASA NTRS1991

Adaptive control with an expert system based supervisory level

Adaptive control is presently one of the methods available which may be used to control plants with poorly modelled dynamics or time varying dynamics. Although many variations of adaptive controllers exist, a common characteristic of all adaptive control schemes, is that input/output measurements from the plant are used to adjust a control law in an on-line fashion. Ideally the adjustment mechanism of the adaptive controller is able to learn enough about the dynamics of the plant from input/output measurements to effectively control the plant. In practice, problems such as measurement noise, controller saturation, and incorrect model order, to name a few, may prevent proper adjustment of the controller and poor performance or instability result. In this work we set out to avoid the inadequacies of procedurally implemented safety nets, by introducing a two level control scheme in which an expert system based 'supervisor' at the upper level provides all the safety net functions for an adaptive controller at the lower level. The expert system is based on a shell called IPEX, (Interactive Process EXpert), that we developed specifically for the diagnosis and treatment of dynamic systems. Some of the more important functions that the IPEX system provides are: (1) temporal reasoning; (2) planning of diagnostic activities; and (3) interactive diagnosis. Also, because knowledge and control logic are separate, the incorporation of new diagnostic and treatment knowledge is relatively simple. We note that the flexibility available in the system to express diagnostic and treatment knowledge, allows much greater functionality than could ever be reasonably expected from procedural implementations of safety nets. The remainder of this chapter is divided into three sections. In section 1.1 we give a detailed review of the literature in the area of supervisory systems for adaptive controllers. In particular, we describe the evolution of safety nets from simple ad hoc techniques, up to the use of expert systems for more advanced supervision capabilities.

Sullivan, Gerald A.↗
NASA NTRS1981

Effect of laser frequency on a collision-induced radiative process

A review is presented of the principles of collision induced radiative processes, followed by an examination of the effects of laser frequencies on these processes. A one-dimensional problem involving two electron states is considered, and it is found that the Hamiltonian of the radiation field is dominated by electric-dipole interaction which couples states of different parity. Transitions are noted to be dependent on collisions, and the complexities of three-dimensional systems are expressed as considerations of the angular momentum of the photon, the necessity of treating different states simultaneously, and the fact that a radiation field destroys rotational invariance. Changing the radiation frequency alters the crossing point and offers opportunities to study the interplay of potential surfaces with molecular dynamics. Experiments on Na+A systems are outlined for several collision energies and various laser frequencies. Multiple crossings were obtained, although the total cross-section, at all energies, decreased at 18,350/cm.

Devries, P. L.↗
NASA NTRS2003

Hybrid Concurrent Constraint Simulation Models of Several Systems

This distribution contains several simulation models created for the hybrid simulation language, Hybrid Concurrent Constraint (HCC). An HCC model contains the information specified in the widely-accepted academic definition of a hybrid system: this includes expressions for the modes of the systems to be simulated and the differential equations that apply in each mode. These expressions are written in the HCC syntax. The models included here were created by either applying basic physical laws or implementing equations listed in previously published papers.

Sweet, Adam↗
NASA NTRS2011

Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis

Typically during the design and development of a NASA space mission, rules and constraints are identified to help reduce reasons for failure during operations. These flight rules are usually captured in a set of indexed tables, containing rule descriptions, rationales for the rules, and other information. Flight rules can be part of manual operations procedures carried out by humans. However, they can also be automated, and either implemented as on-board monitors, or as ground based monitors that are part of a ground data system. In the case of automated flight rules, one considerable expense to be addressed for any mission is the extensive process by which system engineers express flight rules in prose, software developers translate these requirements into code, and then both experts verify that the resulting application is correct. This paper explores the potential benefits of using an internal Scala DSL for general trace analysis, named TRACECONTRACT, to write executable specifications of flight rules. TRACECONTRACT can generally be applied to analysis of for example log files or for monitoring executing systems online.

temporal logic↗
NASA NTRSDate not supplied

Bioreactor Development for CO2-Based In Situ Resource Utilization Manufacturing

Sustainable long-duration manned missions on both the Moon and Mars will require in situ resource utilization (ISRU). Carbon dioxide (CO2) has great potential as a harvestable resource, making up 95% of the atmosphere on Mars and being produced as respiratory waste in spacecraft and future planetary habitats. Through ISRU, biomanufacturing has the capability to produce a near limitless array of products from local space resources. Here, a CO2-based ISRU recombinant protein producing bioreactor and associated biomanufacturing organisms were designed to produce a highly stable carbonic anhydrase (CA). Candidate organisms were selected by growth characterization on acetate and formic acid, carbon substrates that are synthesized via electrochemical conversion of CO2. To improve growth on the CO2 producing substrate formic acid and for direct integration of ISRU CO2, a synthetic Calvin-Benson-Bassam cycle was designed for use in Escherichia coli. Multiplex genetic modification in E. coli was facilitated by a tailored CRISPR/Cas9 and λ red recombineering two-vector system. For expression of CA, a blue light regulated T7 promoter was employed for dynamic and small molecule free induction. Efficient bioproduction through a fed-batch exponential feeding strategy was determined via mass balance analysis from ISRU substrates to biomass and CA yield. Flux balance analysis was used to model ISRU substrate metabolism and metabolic pathway engineering in candidate organisms under cultivation strategy conditions for both metabolism reconstruction and pathway design optimization. Finally, a small-scale, disposable bag bioreactor for use in the NASA Bioculture System infrastructure was designed to enable CO2-based CA biomanufacturing in reduced-gravity environments.

biomanufacturing↗
NASA NTRSDate not supplied

Bioreactor Development for CO2-Based In Situ Resource Utilization Manufacturing

Sustainable long-duration manned missions on both the Moon and Mars will require in situ resource utilization (ISRU). Carbon dioxide (CO2) has great potential as a harvestable resource, making up 95% of the atmosphere on Mars and being produced as respiratory waste in spacecraft and future planetary habitats. Through ISRU, biomanufacturing has the capability to produce a near limitless array of products from local space resources, which include pharmaceuticals, bioplastics, chemical feedstocks, and industrial enzymes. Here, a CO2-based ISRU recombinant protein bioreactor and associated biomanufacturing organisms were designed to produce a highly stable carbonic anhydrase (CA). Initial work characterized candidate organisms for growth on acetate and formic acid, carbon substrates that can be synthesized via electrochemical conversion of CO2. To improve growth on the CO2 producing substrate formic acid and for direct integration of ISRU CO2, a synthetic Calvin-Benson-Bassam cycle was designed for use in Cyberlindnera jadinii and Escherichia coli. Genetic modifications in E. coli will be facilitated by a tailored CRISPR/Cas9 and λ red recombineering two-vector system. For expression of CA, a blue light regulated T7 promoter was employed for dynamic and small molecule free induction. Efficient bioproduction through a fed-batch exponential feeding strategy was determined via mass balance calculations from ISRU substrates to biomass and CA yield. Flux balance analysis was used to model ISRU substrate metabolism and metabolic pathway engineering in candidate organisms under cultivation strategy conditions for both metabolism reconstruction and pathway design optimization. Finally, a small-scale, disposable bag bioreactor concept for use in the NASA Bioculture System infrastructure was designed to enable CO2-based CA production in reduced-gravity environments.

Biomanufacturing, Pathway Engineering, Flux Balanc↗
NASA NTRS1980

Multi-level Expression Design Language: Requirement level (MEDL-R) system evaluation

An evaluation of the Multi-Level Expression Design Language Requirements Level (MEDL-R) system was conducted to determine whether it would be of use in the Goddard Space Flight Center Code 580 software development environment. The evaluation is based upon a study of the MEDL-R concept of requirement languages, the functions performed by MEDL-R, and the MEDL-R language syntax. Recommendations are made for changes to MEDL-R that would make it useful in the Code 580 environment.

Source record↗