Search NASA⌕ Search

SEARCH · Search NASA

Results for “environment controllers”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗
NASA NTRS2010

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B

Recently a set of guidelines, or cookbook, has been developed for modelling and refinement of control problems in Event-B. The Event-B formal method is used for system-level modelling by defining states of a system and events which act on these states. It also supports refinement of models. This cookbook is intended to systematize the process of modelling and refining a control problem system by distinguishing environment, controller and command phenomena. Our main objective in this paper is to investigate and evaluate the usefulness and effectiveness of this cookbook by following it throughout the formal modelling of cruise control system found in cars. The outcomes are identifying the benefits of the cookbook and also giving guidance to its future users.

Yeganefard, Sanaz↗
NASA NTRS1997

Plant Growth and Development in the ASTROCULTURE(trademark) Space-Based Growth Unit-Ground Based Experiments

The ASTROCULTURE(trademark) plant growth unit flown as part on the STS-63 mission in February 1995, represented the first time plants were flown in microgravity in a enclosed controlled environment plant growth facility. In addition to control of the major environmental parameters, nutrients were provided to the plants with the ZEOPONICS system developed by NASA Johnson Space Center scientists. Two plant species were included in this space experiment, dwarf wheat (Triticum aestivum) and a unique mustard called "Wisconsin Fast Plants" (Brassica rapa). Extensive post-flight analyses have been performed on the plant material and it has been concluded that plant growth and development was normal during the period the plants were in the microgravity environment of space. However, adequate plant growth and development control data were not available for direct comparisons of plant responses to the microgravity environment with those of plants grown at 1 g. Such data would allow for a more complete interpretation of the extent that microgravity affects plant growth and development.

Bula, R. J.↗
NASA NTRS1992

Temperature cycling periods affect growth and tuberization in potatoes under continuous irradiation

Plants of the potato (Solanum tuberosum L.) cultivars Denali, Norland, Haig and Kennebec were grown for 42 days under three temperature cycling periods (thermoperiods) with continuous irradiation in two repeated experiments to help determine if temperature cycling might be varied to optimize tuber development of potatoes in controlled environments. Thermoperiods of 6/6 hours, 12/12 hours and 24/24 hours were established with the same temperature change of 22/14C and same controlled vapor pressure deficit of 0.60 kPa. The thermoperiod of 24/24 hours significantly promoted tuber initiation but slowed tuber enlargement in all four cultivars, compared to the thermoperiods of 6/6 hours and 12/12 hours. Denali' produced the highest tuber and total dry weights under the 6/6 hours thermoperiod. Kennebec' produced the highest tuber dry weight under the 12/12 hours thermoperiod. Thermoperiods had no significant effect on shoot and root dry weights of any cultivars. The major effect of thermoperiods was on initiation and enlargement of tubers.

NASA Program CELSS↗
NASA NTRS1980

A summary of joint US-Canadian augmentor wing powered-lift STOL research programs at the Ames Research Center, NASA, 1975-1980

Several different flight research programs carried out by NASA and the Canadian Government using the Augmentor Wing Jet STOL Research Aircraft to investigate the design, operational, and systems requirements for powered-lift STOL aircraft are summarized. Some of these programs considered handling qualities and certification criteria for this class of aircraft, and addressed pilot control techniques, control system design, and improved cockpit displays for the powered-lift STOL approach configuration. Other programs involved exploiting the potential of STOL aircraft for constrained terminal-area approaches within the context of present or future air traffic control environments. Both manual and automatic flight control investigations are discussed, and an extensive bibliography of the flight programs is included.

Hindson, W. S.↗
NASA NTRS1980

LSS/propulsion interactions studies

Interactions between the LSS and the propulsion system are large, significant, interrelated, and complex. Issues and problems in interfacing include the effects on the structure from static, dynamic, and launch loads, control, thrust distribution, throttling, and the environment. Control interaction, the disposal of debris/obsolete spacecraft, and the constraints of launch to low Earth orbit must also be considered.

Spurlock, O. F.↗
NASA NTRS1993

Telemetry ground system development via the component approach

NASA's deployment of major space projects such as the Earth Observing System (EOS) will demand increased functionality and ground-based telemetry processing performance well above current capabilities. At the NASA/Goddard Space Flight Center, custom hardware and software components have been developed and combined into a unique architecture to address this problem. The hardware components utilize Application Specific Integrated Circuits (ASIC's) developed specifically to support NASA's telemetry data systems needs and designed to handle data rates up to 300 Mbps. A generalized set of software components, called the Telemetry Processing Control Environment facilitate the rapid construction of control and monitoring functions for the ground-based telemetry processing systems. This combination of hardware and software elements enables rapid construction of flexible, cost-effective telemetry processing systems capable of meeting the performance requirements facing NASA in the coming decade.

Thorn, Karen E.↗
NASA NTRS1985

Experience with a software engineering environment framework

Experience with a software engineering environment framework tool called the Automated Product Control Environment (APCE) is described. The goals of the framework design, an overview of the major functions and features of the framework, and implementation and use of the framework are presented. Aspects of the framework discussed include automation and control; portability, distributability, and interoperability; cost/benefit analysis; and productivity. Results of using the framework are discussed and the framework approach is briefly compared to other software development environment approaches.

Blumberg, R.↗
NASA NTRS1996

Dynamic control of photosynthetic photon flux for lettuce production in CELSS

A new dynamic control of photosynthetic photon flux (PPF) was tested using lettuce canopies growing in the Minitron II plant-growth/canopy gas-exchange system. Canopy photosynthetic rates (Pn) were measured in real time and fedback for further environment control. Pn can be manipulated by changing PPF, which is a good environmental parameter for dynamic control of crop production in a Controlled Ecological Life-Support Systems CELSS. Decision making that combines empirical mathematical models with rule sets developed from recent experimental data was tested. With comparable yield indices and potential for energy savings, dynamic control strategies will contribute greatly to the sustainability of space-deployed CELSS.

NASA Discipline Life Support Systems↗
NASA NTRS1998

Adaptation to high CO2 concentration in an optimal environment: radiation capture, canopy quantum yield and carbon use efficiency

The effect of elevated [CO2] on wheat (Triticum aestivum L. Veery 10) productivity was examined by analysing radiation capture, canopy quantum yield, canopy carbon use efficiency, harvest index and daily C gain. Canopies were grown at either 330 or 1200 micromoles mol-1 [CO2] in controlled environments, where root and shoot C fluxes were monitored continuously from emergence to harvest. A rapidly circulating hydroponic solution supplied nutrients, water and root zone oxygen. At harvest, dry mass predicted from gas exchange data was 102.8 +/- 4.7% of the observed dry mass in six trials. Neither radiation capture efficiency nor carbon use efficiency were affected by elevated [CO2], but yield increased by 13% due to a sustained increase in canopy quantum yield. CO2 enrichment increased root mass, tiller number and seed mass. Harvest index and chlorophyll concentration were unchanged, but CO2 enrichment increased average life cycle net photosynthesis (13%, P < 0.05) and root respiration (24%, P < 0.05). These data indicate that plant communities adapt to CO2 enrichment through changes in C allocation. Elevated [CO2] increases sink strength in optimal environments, resulting in sustained increases in photosynthetic capacity, canopy quantum yield and daily C gain throughout the life cycle.

Non-NASA Center↗
NASA NTRS1996

Photosynthetic photon flux, photoperiod, and temperature effects on emissions of (Z)-3-hexenal, (Z)-3-hexenol, and (Z)-3-hexenyl acetate from lettuce

To investigate the effects of environment on plant volatile emissions, 'Waldmann's Green' leaf lettuce was cultivated under different levels of photosynthetic photon flux (PPF), photoperiod, and temperature. A modified growth chamber was used to sample plant volatile emissions nondestructively, over time, and under controlled conditions. Total volatile emission rates were significantly higher from lettuce cultivated under PPF of 360 or 200 micromoles m-2 s-1 compared to 105 micromoles m-2 s-1, and significantly higher under a 16-h photoperiod than an 8-h photoperiod. No differences were detected among emission rates from different temperature treatments. In controlled environments, emissions could be regulated by adjusting environmental conditions accordingly.

NASA Program Advanced Life Support↗
NASA NTRS1988

Exploring the limits of crop productivity. I. Photosynthetic efficiency of wheat in high irradiance environments

The long-term vegetative and reproductive growth rates of a wheat crop (Triticum aestivum L.) were determined in three separate studies (24, 45, and 79 days) in response to a wide range of photosynthetic photon fluxes (PPF, 400-2080 micromoles per square meter per second; 22-150 moles per square meter per day; 16-20 hour photoperiod) in a near-optimum, controlled-environment. The CO2 concentration was elevated to 1200 micromoles per mole, and water and nutrients were supplied by liquid hydroponic culture. An unusually high plant density (2000 plants per square meter) was used to obtain high yields. Crop growth rate and grain yield reached 138 and 60 grams per square meter per day, respectively; both continued to increase up to the highest integrated daily PPF level, which was three times greater than a typical daily flux in the field. The conversion efficiency of photosynthesis (energy in biomass/energy in photosynthetic photons) was over 10% at low PPF but decreased to 7% as PPF increased. Harvest index increased from 41 to 44% as PPF increased. Yield components for primary, secondary, and tertiary culms were analyzed separately. Tillering produced up to 7000 heads per square meter at the highest PPF level. Primary and secondary culms were 10% more efficient (higher harvest index) than tertiary culms; hence cultural, environmental, or genetic changes that increase the percentage of primary and secondary culms might increase harvest index and thus grain yield. Wheat is physiologically and genetically capable of much higher productivity and photosynthetic efficiency than has been recorded in a field environment.

NASA Discipline Number 61-10↗
NASA NTRS2007

Innovative Multi-Environment, Multimode Thermal Control System

Innovative multi-environment multimode thermal management architecture has been described that is capable of meeting widely varying thermal control requirements of various exploration mission scenarios currently under consideration. The proposed system is capable of operating in a single-phase or two-phase mode rejecting heat to the colder environment, operating in a two-phase mode with heat pump for rejecting heat to a warm environment, as well as using evaporative phasechange cooling for the mission phases where the radiator is incapable of rejecting the required heat. A single fluid loop can be used internal and external to the spacecraft for the acquisition, transport and rejection of heat by the selection of a working fluid that meets NASA safety requirements. Such a system may not be optimal for each individual mode of operation but its ability to function in multiple modes may permit global optimization of the thermal control system. The architecture also allows flexibility in partitioning of components between the various Constellation modules to take advantage of operational requirements in various modes consistent with the mission needs. Preliminary design calculations using R-134 as working fluid show the concept to be feasible to meet the heat rejection requirements that are representative of the Crew Exploration Vehicle and Lunar Access Module for nominal cases. More detailed analyses to establish performance under various modes and environmental conditions are underway.

Singh, Bhim S.↗
NASA NTRS1984

The Effect of Part-simulation of Weightlessness on Human Control of Bilateral Teleoperation: Neuromotor Considerations

The effect of weightlessness on the human operator's performance in force reflecting position control of remote manipulators was investigated. A gravity compensation system was developed to simulate the effect of weightlessness on the operator's arm. A universal force reflecting hand controller (FRHC) and task simulation software were employed. Two experiments were performed because of anticipated disturbances in neuromotor control specification on the human operator in an orbital control environment to investigate: (1) the effect of controller stiffness on the attainment of a learned terminal position in the three dimensional controller space, and (2) the effect of controller stiffness and damping on force tracking of the contour of a simulated three dimensional cube using the part simulation of weightless conditions. The results support the extension of neuromotor control models, which postulate a stiffness balance encoding of terminal position, to three dimensional motion of a multilink system, confirm the existence of a disturbance in human manual control performance under gravity compensated conditions, and suggest techniques for compensation of weightlessness induced performance decrement through appropriate specification of hand controller response characteristics. These techniques are based on the human control model.

Corker, K.↗
NASA NTRS1993

Generation of a modeling and simulation system for a semi-closed plant growth chamber

The fluid and thermal dynamics of the environment of plants in a small controlled-environment system have been modeled. The results of the simulation under two scenarios have been compared to measurements taken during tests on the actual system. The motivation for the modeling effort and the status of the modeling exercise and system scenario studies are described. An evaluation of the model and a discussion of future studies are included.

Blackwell, A. L.↗
NASA NTRS2008

Developing Humanoid Robots for Real-World Environments

Humanoids are steadily improving in appearance and functionality demonstrated in controlled environments. To address the challenges of operation in the real-world, researchers have proposed the use of brain-inspired architectures for robot control, and the use of robot learning techniques that enable the robot to acquire and tune skills and behaviours. In the first part of the paper we introduce new concepts and results in these two areas. First, we present a cerebellum-inspired model that demonstrated efficiency in the sensory-motor control of anthropomorphic arms, and in gait control of dynamic walkers. Then, we present a set of new ideas related to robot learning, emphasizing the importance of developing teaching techniques that support learning. In the second part of the paper we propose the use in robotics of the iterative and incremental development methodologies, in the context of practical task-oriented applications. These methodologies promise to rapidly reach system-level integration, and to early identify system-level weaknesses to focus on. We apply this methodology in a task targeting the automated assembly of a modular structure using HOAP-2. We confirm this approach led to rapid development of a end-to-end capability, and offered guidance on which technologies to focus on for gradual improvement of a complete functional system. It is believed that providing Grand Challenge type milestones in practical task-oriented applications accelerates development. As a meaningful target in short-mid term we propose the 'IKEA Challenge', aimed at the demonstration of autonomous assembly of various pieces of furniture, from the box, following included written/drawn instructions.

Stoica, Adrian↗