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 181 records · Page 10

The development and potential uses of an Adsorption Water Collection System for the Trash Compaction Processing System designed for operation in the International Space Station Express Rack

The use of adsorption as an alternative to current state of the art water collection and phase separation methods for human space flight is being investigated at NASA Ames Research Center. A system called the Adsorption Water Recovery System was designed to work with the Trash Compaction Processing System. The system uses modular adsorption columns that can be combined both in parallel and series and allow for relatively easy system sizing. The system is intended to be a standalone system that may also be adapted for other applications that involve adsorption. This paper describes the design and potential operating parameters and configurations of the Adsorption Water Recovery System.

trash↗

International Space Station (ISS) Expedite the Process of Experiments to Space Station (EXPRESS) Racks Software Support

bd Systems personnel accomplished the technical responsibilities for this reporting period, as planned. A close working relationship was maintained with personnel of the MSFC Avionics Department Software Group (ED 14), the MSFC EXPRESS Project Office (FD3 l), and the Huntsville Boeing Company. Work accomplishments included the support of SRB activities, ATB activities, ESCP activities, participating in technical meetings, coordinating issues between the Boeing Company and the MSFC Project Office, and performing special tasks as requested.

Source record↗

A Representative Application of a Layered Interface Modeling Pattern

Model-based systems engineering (MBSE) is intended to improve how systems engineering is performed compared with a more traditional document-based approach by effectively using models to analyze, specify, design, and verify systems. The OMG Systems Modeling Language (OMG SysML™) enables the practice of MBSE by providing a robust and expressive language for representing systems.

Shames, Peter M.↗

Combining qualitative and quantitative spatial and temporal information in a hierarchical structure: Approximate reasoning for plan execution monitoring

The problem of plan generation (PG) and the problem of plan execution monitoring (PEM), including updating, queries, and resource-bounded replanning, have different reasoning and representation requirements. PEM requires the integration of qualitative and quantitative information. PEM is the receiving of data about the world in which a plan or agent is executing. The problem is to quickly determine the relevance of the data, the consistency of the data with respect to the expected effects, and if execution should continue. Only spatial and temporal aspects of the plan are addressed for relevance in this work. Current temporal reasoning systems are deficient in computational aspects or expressiveness. This work presents a hybrid qualitative and quantitative system that is fully expressive in its assertion language while offering certain computational efficiencies. In order to proceed, methods incorporating approximate reasoning using hierarchies, notions of locality, constraint expansion, and absolute parameters need be used and are shown to be useful for the anytime nature of PEM.

Hoebel, Louis J.↗

A space-time tensor formulation for continuum mechanics in general curvilinear, moving, and deforming coordinate systems

Tensor methods are used to express the continuum equations of motion in general curvilinear, moving, and deforming coordinate systems. The space-time tensor formulation is applicable to situations in which, for example, the boundaries move and deform. Placing a coordinate surface on such a boundary simplifies the boundary condition treatment. The space-time tensor formulation is also applicable to coordinate systems with coordinate surfaces defined as surfaces of constant pressure, density, temperature, or any other scalar continuum field function. The vanishing of the function gradient components along the coordinate surfaces may simplify the set of governing equations. In numerical integration of the equations of motion, the freedom of motion of the coordinate surfaces provides a potential for enhanced resolution of the continuum field function. An example problem of an incompressible, inviscid fluid with a top free surface is considered, where the surfaces of constant pressure (including the top free surface) are coordinate surfaces.

Avis, L. M.↗

Theoretical analysis of infrared radiation shields of spacecraft

For a system of N diffuse, gray body radiation shields which view only adjacent surfaces and space, the net radiation method for enclosures has been used to formulate a system of linear, nonhomogeneous equations in terms of the temperatures to the fourth power of each surface in the coupled system of enclosures. The coefficients of the unknown temperatures in the system of equations are expressed in terms of configuration factors between adjacent surfaces and the emissivities. As an application, a system of four conical radiation shields for a spin stabilized STARPROBE spacecraft has been designed and analyzed with respect to variations of the cone half angles, the intershield spacings, and emissivities.

Shealy, D. L.↗

The zinc finger transcription factor Gfi1, implicated in lymphomagenesis, is required for inner ear hair cell differentiation and survival

Gfi1 was first identified as causing interleukin 2-independent growth in T cells and lymphomagenesis in mice. Much work has shown that Gfi1 and Gfi1b, a second mouse homolog, play pivotal roles in blood cell lineage differentiation. However, neither Gfi1 nor Gfi1b has been implicated in nervous system development, even though their invertebrate homologues, senseless in Drosophila and pag-3 in C. elegans are expressed and required in the nervous system. We show that Gfi1 mRNA is expressed in many areas that give rise to neuronal cells during embryonic development in mouse, and that Gfi1 protein has a more restricted expression pattern. By E12.5 Gfi1 mRNA is expressed in both the CNS and PNS as well as in many sensory epithelia including the developing inner ear epithelia. At later developmental stages, Gfi1 expression in the ear is refined to the hair cells and neurons throughout the inner ear. Gfi1 protein is expressed in a more restricted pattern in specialized sensory cells of the PNS, including the eye, presumptive Merkel cells, the lung and hair cells of the inner ear. Gfi1 mutant mice display behavioral defects that are consistent with inner ear anomalies, as they are ataxic, circle, display head tilting behavior and do not respond to noise. They have a unique inner ear phenotype in that the vestibular and cochlear hair cells are differentially affected. Although Gfi1-deficient mice initially specify inner ear hair cells, these hair cells are disorganized in both the vestibule and cochlea. The outer hair cells of the cochlea are improperly innervated and express neuronal markers that are not normally expressed in these cells. Furthermore, Gfi1 mutant mice lose all cochlear hair cells just prior to and soon after birth through apoptosis. Finally, by five months of age there is also a dramatic reduction in the number of cochlear neurons. Hence, Gfi1 is expressed in the developing nervous system, is required for inner ear hair cell differentiation, and its loss causes programmed cell death.

NASA Discipline Developmental Biology↗

Precomputed state dependent digital control of a nuclear rocket engine

A control method applicable to multiple-input multiple-output nonlinear time-invariant systems in which desired behavior can be expressed explicitly as a trajectory in system state space is developed. The precomputed state dependent control method is basically a synthesis technique in which a suboptimal control law is developed off-line, prior to system operation. This law is obtained by conducting searches at a finite number of points in state space, in the vicinity of some desired trajectory, to obtain a set of constant control vectors which tend to return the system to the desired trajectory. These vectors are used to evaluate the unknown coefficients in a control law having an assumed hyperellipsoidal form. The resulting coefficients constitute the heart of the controller and are used in the on-line computation of control vectors. Two examples of PSDC are given prior to the more detailed description of the NERVA control system development.

Johnson, M. R.↗

Parameter uncertainties in control system design.

Development of a design method for including the effects of parameter uncertainties in the design of linear control systems. The approach taken to this problem may be classified as a special case of the stochastic control problem. Thus the formulation is based on the minimization of the expected value of a quadratic performance index defined in terms of the system state vector. The uncertainty in the value of the performance index is the result of the statistical nature of the system parameters rather than a random input signal. It is shown that the expected value of the performance index may be written as a sum of two terms under the assumption of first-order variations of the system state. The first of these terms expresses the nominal performance of the system when the system parameters assume their mean values. The second term represents the effect of the uncertainties on the expected value of the performance index, and is interpreted as an index of system sensitivity.

Palsson, T.↗

Regiochemical control of monolignol radical coupling: a new paradigm for lignin and lignan biosynthesis

BACKGROUND: Although the lignins and lignans, both monolignol-derived coupling products, account for nearly 30% of the organic carbon circulating in the biosphere, the biosynthetic mechanism of their formation has been poorly understood. The prevailing view has been that lignins and lignans are produced by random free-radical polymerization and coupling, respectively. This view is challenged, mechanistically, by the recent discovery of dirigent proteins that precisely determine both the regiochemical and stereoselective outcome of monolignol radical coupling. RESULTS: To understand further the regulation and control of monolignol coupling, leading to both lignan and lignin formation, we sought to clone the first genes encoding dirigent proteins from several species. The encoding genes, described here, have no sequence homology with any other protein of known function. When expressed in a heterologous system, the recombinant protein was able to confer strict regiochemical and stereochemical control on monolignol free-radical coupling. The expression in plants of dirigent proteins and proposed dirigent protein arrays in developing xylem and in other lignified tissues indicates roles for these proteins in both lignan formation and lignification. CONCLUSIONS: The first understanding of regiochemical and stereochemical control of monolignol coupling in lignan biosynthesis has been established via the participation of a new class of dirigent proteins. Immunological studies have also implicated the involvement of potential corresponding arrays of dirigent protein sites in controlling lignin biopolymer assembly.

NASA Discipline Plant Biology↗

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior

A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Runtime monitoring↗

Computer transformation of partial differential equations into any coordinate system

The use of tensors to provide a compact way of writing partial differential equations in a form valid in all coordinate systems is discussed. In order to find solutions to the equations with their boundary conditions they must be expressed in terms of the coordinate system under consideration. The process of arriving at these expressions from the tensor formulation was automated by a software system, TENSR. An allied system that analyzes the resulting expressions term by term and drops those that are negligible is also described.

Sullivan, R. D.↗

The impact of NRZ data asymmetry on the performance of a space telemetry system

The author derives an expression for the power spectral density of an asymmetric nonreturn-to-zero (NRZ) data stream. This formula is used to investigate how the data bandwidth varies with data asymmetry. The threshold levels of undesired spectral components that fall into the carrier tracking loop bandwidth are determined by examining the derived spectral density. Based on this formula, a simple technique is developed for the computation of bit signal-to-noise ratio (SNR) degradation due to data asymmetry. The telemetry bit SNR degradations derived using this technique are compared with the results obtained previously by Simon et al. (1978) and with measurements by the electronic systems test laboratory (ESTL) at the Johnson Space Center.

Nguyen, Tien M.↗

Maximally Expressive Modeling

Planning and scheduling systems organize tasks into a timeline or schedule. Tasks are logically grouped into containers called models. Models are a collection of related tasks, along with their dependencies and requirements, that when met will produce the desired result. One challenging domain for a planning and scheduling system is the operation of on-board experiments for the International Space Station. In these experiments, the equipment used is among the most complex hardware ever developed; the information sought is at the cutting edge of scientific endeavor; and the procedures are intricate and exacting. Scheduling is made more difficult by a scarcity of station resources. The models to be fed into the scheduler must describe both the complexity of the experiments and procedures (to ensure a valid schedule) and the flexibilities of the procedures and the equipment (to effectively utilize available resources). Clearly, scheduling International Space Station experiment operations calls for a maximally expressive modeling schema.

Jaap, John↗

Diagnostic reasoning techniques for selective monitoring

An architecture for using diagnostic reasoning techniques in selective monitoring is presented. Given the sensor readings and a model of the physical system, a number of assertions are generated and expressed as Boolean equations. The resulting system of Boolean equations is solved symbolically. Using a priori probabilities of component failure and Bayes' rule, revised probabilities of failure can be computed. These will indicate what components have failed or are the most likely to have failed. This approach is suitable for systems that are well understood and for which the correctness of the assertions can be guaranteed. Also, the system must be such that changes are slow enough to allow the computation.

Homem-De-mello, L. S.↗

Next-Generation Radioisotope Thermoelectric Generator Study

Radioisotope Thermoelectric Generators (RTGs) have been used to power NASA missions of various types throughout the past five decades. The most recent RTG iteration, used for NASA’s Mars Science Laboratory, is the Multi-Mission RTG (MMRTG), which is currently the only spaceflight-qualified system available. The U.S. planetary science community has expressed a desire for more power system options to be available to accommodate a range of ambitious future mission concepts across the solar system. Recent advancements in thermoelectric (TE) materials technology have raised a potential for significantly increased efficiency in future RTGs, which helped spur a recent in-depth NASA study of options for future systems. A “next-generation” RTG study was conducted to develop new RTG concepts that could meet the needs of planetary science missions through the 2030s and beyond. A Next-Generation RTG would aim to extend the types of potential NASA missions able to be supported, while fulfilling requirements related to technical risk and schedule. In this study, 21 potential thermoelectric couple configurations were analyzed by considering various high-performance, high-temperature TE materials and segmentation techniques that maximize convertor efficiency and power density. System modularity was explored, and found to be a promising means to offer improved flexibility for NASA mission concepts with varying scope and power requirements. This paper presents the results of the study, demonstrating the viability of developing an updated RTG system design, and defining conceptual system approaches for a new, potentially revolutionary RTG.

Matthes, Christopher S. R.↗

Real-Time Projection to Verify Plan Success During Execution

The Mission Data System provides a framework for modeling complex systems in terms of system behaviors and goals that express intent. Complex activity plans can be represented as goal networks that express the coordination of goals on different state variables of the system. Real-time projection extends the ability of this system to verify plan achievability (all goals can be satisfied over the entire plan) into the execution domain so that the system is able to continuously re-verify a plan as it is executed, and as the states of the system change in response to goals and the environment. Previous versions were able to detect and respond to goal violations when they actually occur during execution. This new capability enables the prediction of future goal failures; specifically, goals that were previously found to be achievable but are no longer achievable due to unanticipated faults or environmental conditions. Early detection of such situations enables operators or an autonomous fault response capability to deal with the problem at a point that maximizes the available options. For example, this system has been applied to the problem of managing battery energy on a lunar rover as it is used to explore the Moon. Astronauts drive the rover to waypoints and conduct science observations according to a plan that is scheduled and verified to be achievable with the energy resources available. As the astronauts execute this plan, the system uses this new capability to continuously re-verify the plan as energy is consumed to ensure that the battery will never be depleted below safe levels across the entire plan.

Wagner, David A.↗

Theoretical study of production of unique glasses in space

Analytical functional relationships describing homogeneous nucleation and crystallization in various supercooled liquids were developed. The time and temperature dependent relationships of nucleation and crystallization (intrinsic properties) are being used to relate glass forming tendency to extrinsic parameters such as cooling rate through computer simulation. Single oxide systems are being studied initially to aid in developing workable kinetic models and to indicate the primary materials parameters affecting glass formation. The theory and analytical expressions developed for simple systems is then extended to complex oxide systems. A thorough understanding of nucleation and crystallization kinetics of glass forming systems provides a priori knowledge of the ability of a given system to form a glass.

Larsen, D. C.↗