Search NASA⌕ Search

SEARCH · Search NASA

Results for “Daikon”

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.

3 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Feedback-Driven Dynamic Invariant Discovery

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

Daikon↗
NASA NTRS2017

Plant Growth Research for Food Production: Development and Testing of Expandable Tuber Growth Module

Controlled and reliable growth of a variety of vegetable crops is an important capability for manned deep space exploration systems for providing nutritional supplementation and psychological benefits to crew members. Because current systems have been limited to leafy vegetables that require minimal root space, a major goal for these systems is to increase their ability to grow new types of crops, including tuber plants and root vegetables that require a large root space. An expandable root zone module and housing was developed to integrate this capability into the Vegetable Production System (Veggie). The expandable module uses a waterproof, gas-permeable bag with a structure that allows for root space to increase vertically throughout the growth cycle to accommodate for expanding tuber growth, while minimizing the required media mass. Daikon radishes were chosen as an ideal tuber crop for their subterraneous tuber size and rapid growth cycle, and investigations were done to study expanding superabsorbent hydrogels as a potential growth media. These studies showed improved water retention, but restricted oxygen availability to roots with pure gel media. It was determined that these hydrogels could be integrated in lower proportions into standard soil to achieve media expansion and water retention desired. Using the constructed module prototype and ideal gel and soil media mixture, daikon radishes are being grown in the system to test the capability and success of the system through a full growth cycle.

food production↗
NASA NTRS2017

Plant Growth Research for Food Production: Development and Testing of Expandable Tuber Growth Module

Controlled and reliable growth of a variety of vegetable crops is an important capability for manned deep space exploration systems for providing nutritional supplementation and psychological benefits to crew members. Because current systems have been limited to leafy vegetables that require minimal root space, a major goal for these systems is to increase their ability to grow new types of crops, including tuber plants and root vegetables that require a large root space. An expandable root zone module and housing was developed to integrate this capability into the Veggie growth system. The expandable module uses a waterproof, gas-permeable bag with a structure that allows for root space to increase vertically throughout the growth cycle to accommodate for expanding tuber growth, while minimizing the required media mass. Daikon radishes were chosen as an ideal tuber crop for their subterraneous tuber size and rapid growth cycle, and investigations were done to study expanding superabsorbent hydrogels as a potential growth media. These studies showed improved water retention, but restricted oxygen availability to roots with pure gel media. It was determined that these hydrogels could be integrated in lower proportions into standard soil to achieve media expansion and water retention desired. Using the constructed module prototype and ideal gel and soil media mixture, Daikon radishes were grown in the system to test the capability and success of the system through a full growth cycle.

space↗