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 91 records · Page 5

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.

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.

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.

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.

Life-cycle analysis of offshore macroalgae production systems in the United States

Offshore macroalgae production offers the potential to provide valuable biomass for food, energy, and higher value products without the use of land or freshwater while using excess nutrients and carbon dioxide. To realize this potential, the Macroalgae Research Inspiring Novel Energy Resources program of the Advanced Research Projects Agency-Energy has initiated projects to develop advanced cultivation technologies that enable the cost- and energy-efficient production of macroalgal biomass. Here, this study addresses the life-cycle greenhouse gas emissions and energy return on investment for five U.S. offshore macroalgae production systems designed for deployment at the thousand-hectare scale using a detailed module developed within the GREET life-cycle analysis model for this study. The carbon intensity of macroalgae production system designs, expressed as kg of carbon dioxide equivalent per dry metric ton of algae harvested, vary widely from 49 to 220 and confirm that biomass productivity has the highest degree of sensitivity across the model parameters tested. Regardless of the system designs, the upstream and combustion emissions from fuel use are the key contributor (over 45 %) to carbon intensity, indicating that the use of low-carbon fuels (e.g., renewable diesel) could further reduce greenhouse gas emissions. Further studies need to specify the market opportunity and specific product slates for macroalgae to provide a complete picture of the environmental impacts of macroalgal feedstock.

59 BASIC BIOLOGICAL SCIENCES

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

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.

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.

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

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

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

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

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

Cell-Free Gene Expression: Methods and Applications

Cell-free gene expression (CFE) systems empower synthetic biologists to build biological molecules and processes outside of living intact cells. The foundational principle is that precise, complex biomolecular transformations can be conducted in purified enzyme or crude cell lysate systems. This concept circumvents mechanisms that have evolved to facilitate species survival, bypasses limitations on molecular transport across the cell wall, and provides a significant departure from traditional, cell-based processes that rely on microscopic cellular “reactors.” In addition, cell-free systems are inherently distributable through freeze-drying, which allows simple distribution before rehydration at the point-of-use. Furthermore, as cell-free systems are nonliving, they provide built-in safeguards for biocontainment without the constraints attendant on genetically modified organisms. These features have led to a significant increase in the development and use of CFE systems over the past two decades. Here, we discuss recent advances in CFE systems and highlight how they are transforming efforts to build cells, control genetic networks, and manufacture biobased products.

59 BASIC BIOLOGICAL SCIENCES

Hydrochloric acid aerosol formation by the interaction of hydrogen chloride with humid air

The conditions in which hydrochloric acid aerosol is predicted by the interaction of hydrogen chloride gas with the water vapor in humid air are analyzed. The liquid gas phase equilibrium for the HCL-H2O system is expressed in terms of relative humidity and hydrogen chloride concentration as parts per million, units commonly used in pollution studies. Presented are the concentration (wt %) of HC1 in the aerosol and the concentration of aerosol (ppm) predicted.

Rhein, R. A.

Variational calculations for resonance oscillations of inhomogeneous plasmas

The electrostatic resonance properties of an inhomogeneous plasma column are reported by application of the Rayleigh-Ritz method. A description of the rf equation of motion and pressure term that expresses the system of equations in Euler-Lagrange form is presented. The Rayleigh-Ritz procedure is applied to the corresponding Lagrangian to obtain approximate resonance frequencies and eigenfunctions. An appropriate set of trial coordinate functions is defined, which leads to frequency and eigenfunction estimates.

Peng, Y. K. M.