Results for “DIGESTION” — Page 84

NASA NTRS2017

NASA Ames Institutional Scientific Collection (ISC)

NASA's current human space flight research is directed towards enabling human space exploration beyond Low Earth Orbit (LEO). The Space Flight Payload Projects; Rodent Research, Cell Science, and Microbial Labs, flown on the International Space Station (ISS), benefit both the global life sciences and commercial space communities. Verified data sets, science results, peer-reviewed publications, and returned biospecimens, collected and analyzed for flight and ground investigations, are all part of the knowledge base within NASA’s Human Exploration and Operations Mission Directorate’s Space Life and Physical Sciences Research and Applications (SLPSRA) Division, specifically the Human Research and Space Biology Programs. These data and biospecimens are made available through the public LSDA website. The Ames Institutional Scientific Collection (ISC), or ARC Biobank, stores flight and ground biospecimens from Space Shuttle and ISS programs. These specimens are curated and managed by the Ames Life Sciences Data Archive (ALSDA), an internal node of NASA's Life Sciences Data Archive (LSDA). The ARC Biolbank stores over 15,000 specimens from experiments dating from 1984 to present. Currently available specimens include tissues from the circulatory, digestive, endocrine, excretory, integumentary, muscular, neurosensory, reproductive, respiratory and skeletal systems. The most recent contributions include RNA, DNA and protein extracts from Rodent Research 1 and tissues from Rodent Research 4. NASA's biospecimen collection represents a unique and limited resource. The use of these biospecimens maximizes utilization and scientific return from these unique spaceflight payload and ground control research subjects. These biospecimens are harvested following complex, costly NASA research activities to meet primary scientific objectives. Once the primary scientific objectives have been met, the remaining specimens are made available to provide secondary opportunities for complementary studies or new investigations to broaden research without large expenditures of time or resources. Innovative ways of sharing this information ultimately advances the frontiers of human space exploration as well as scientific understanding of the effects of gravity on life on earth.

French, Alison J.↗

NASA NTRS2020

Accelerating Space Life Sciences: Successes and Challenges of Biospecimen and Data Sharing

NASA's current human space flight research is directed towards enabling human space exploration beyond Low Earth Orbit (LEO). To that end, NASA Space Flight Payload Projects; Rodent Research, Cell Science, and Microbial Labs, flown on the International Space Station (ISS), benefit the global life sciences and commercial space communities. Verified data sets, science results, peer-reviewed publications, and returned biospecimens, collected and analyzed for flight and ground investigations, are all part of the knowledge base collected by NASA's Human Exploration and Operations Mission Directorate's Space Life and Physical Sciences Research and Applications (SLPSRA) Division, specifically the Human Research and Space Biology Programs. These data and biospecimens are made available through the public Life Sciences Data Archive (LSDA) website to promote basic discovery, pre-clinical and clinical science.The NASA Institutional Scientific Collection (ISC), stores flight and ground biospecimens from Space Shuttle and ISS programs. These specimens are curated and managed by the Ames Life Sciences Data Archive (ALSDA), an internal node of NASA's LSDA. The ISC stores over 30,000 specimens from experiments dating from 1984 to present. Currently available specimens include tissues from the circulatory, digestive, endocrine, excretory, integumentary, muscular, neurosensory, reproductive, respiratory and skeletal systems.NASA's biospecimen collection represents a unique and limited resource of unique spaceflight payload and ground control research subjects. These specimens are harvested according to well established SOPs that maintain their quality and integrity. Once the primary scientific objectives have been met, the remaining specimens are made available to provide secondary opportunities for complementary studies or new investigations to broaden research without large expenditures of time or resources. Website: https://lsda.jsc.nasa.gov/

Scott, Ryan T.↗

NASA NTRS2020

Extraterrestrial Organic Compounds and Cyanide in the CM2 Carbonaceous Chondrites Aguas Zarcas and Murchison

Evaluating the water-soluble organic composition of carbonaceous chondrites is key to understanding the inventory of organic matter present at the origins of the solar system and the subsequent processes that took place inside asteroid parent bodies. Here, we present a side-by-side analysis and comparison of the abundance and molecular distribution of aliphatic amines, aldehydes, ketones, mono- and dicarboxylic acids, and free and acid-releasable cyanide species in the CM2 chondrites Aguas Zarcas and Murchison. The Aguas Zarcas meteorite is a recent fall that occurred in central Costa Rica and constitutes the largest recovered mass of a CM-type meteorite after Murchison. The overall content of organic species we investigated was systematically higher in Murchison than in Aguas Zarcas. Similar to previous meteoritic organic studies, carboxylic acids were one to two orders of magnitude more abundant than other soluble organic compound classes investigated in both meteorite samples. We did not identify free cyanide in Aguas Zarcas and Murchison; however, cyanide species analyzed after acid-digestion of the water-extracted meteorite mineral matrix were detected and were quantified at slightly higher abundances in Aguas Zarcas compared to Murchison. Although there were differences in the total abundances of specific compound classes, these two carbonaceous chondrites showed similar isomeric distributions of aliphatic amines and carboxylic acids, with common traits such as a complete suite of structural isomers that decreases in concentration with increasing molecular weight. These observations agree with their petrologic CM type-2 classification, suggesting that these meteorites experienced similar organic formation processes and/or conditions during parent body aqueous alteration.

Jose Carlos Aponte Silva↗

NASA NTRSDate not supplied

NASA Institutional Scientific Collection and Biospecimen Sharing Program at Ames Research Center

For decades, NASA and their international partners have flown and conducted non-human biological experiments in space to understand the effects of spaceflight and address potential biological hazards. It is imperative to understand the basic science and health risks associated with spaceflight, along with developing countermeasures, as humanity ventures back to the Moon, and then to Mars and beyond. Sending organisms into space is a costly endeavor which makes space-flown biological specimens a valuable resource. To enable maximum scientific return, samples not required by the Principal Investigators are harvested, preserved and archived in NASA’s Institutional Scientific Collection (ISC) at Ames Research Center (ARC). These specimens are collected according to well-established SOPs that maintain their quality and integrity. To enable new discoveries, the samples are then made available to the international scientific community through NASA’s Biospecimen Sharing Program (BSP). The NASA ISC currently stores over 32,000 specimens from Shuttle, International Space Station and ground-based investigations. Tissues are predominantly from mice and rats, though samples are also available from bacteria and quail. The specimens include tissues from all biological systems including musculoskeletal, neurosensory, reproductive, respiratory, circulatory, and digestive and are stored at -80°C, -20°C, +4°C, or ambient. Descriptive metadata is available for all samples. Historically, these tissues have been used for a wide range of analyses, including histology, genomics, and transcriptomics. Also available through the ISC are tissue from NASA’s Space Radiation Laboratory. To study the effects of space radiation, researchers irradiate biological specimens and unused samples are made available through the LSDA. These biospecimens and data are made available through the public Life Sciences Data Archive (LSDA) website to promote basic discovery, pre-clinical and clinical science. Visit the NASA ISC-BSP website for more information. Websites: https://lsda.jsc.nasa.gov/ ; https://www.nasa.gov/ames/research/space-biosciences/isc-bsp

Space Flown Biospecimens↗

NASA NTRSDate not supplied

NASA Institutional Scientific Collection and Biospecimen Sharing Program at Ames Research Center

For decades, NASA and their international partners have flown and conducted non-human biological experiments in space to understand the effects of spaceflight and address potential biological hazards. It is imperative to understand the basic science and health risks associated with spaceflight, along with developing countermeasures, as humanity ventures back to the Moon, and then to Mars and beyond. Sending organisms into space is a costly endeavor which makes space-flown biological specimens a valuable resource. To enable maximum scientific return, samples not required by the Principal Investigators are harvested, preserved and archived in NASA’s Institutional Scientific Collection (ISC) at Ames Research Center (ARC). These specimens are collected according to well-established SOPs that maintain their quality and integrity. To enable new discoveries, the samples are then made available to the international scientific community through NASA’s Biospecimen Sharing Program (BSP). The NASA ISC currently stores over 32,000 specimens from Shuttle, International Space Station and ground-based investigations. Tissues are predominantly from mice and rats, though samples are also available from bacteria and quail. The specimens include tissues from all biological systems including musculoskeletal, neurosensory, reproductive, respiratory, circulatory, and digestive and are stored at -80°C, -20°C, +4°C, or ambient. Descriptive metadata is available for all samples. Historically, these tissues have been used for a wide range of analyses, including histology, genomics, and transcriptomics. Also available through the ISC are tissue from NASA’s Space Radiation Laboratory. To study the effects of space radiation, researchers irradiate biological specimens and unused samples are made available through the LSDA. These biospecimens and data are made available through the public Life Sciences Data Archive (LSDA) website to promote basic discovery, pre-clinical and clinical science. Visit the NASA ISC-BSP website for more information.

Space Flown Biospecimens↗

NASA NTRSDate not supplied

Spaceflight Biospecimen Sharing in Support of Science Discovery and Exploration

For decades, NASA and international partners have flown non-human biological experiments in space to understand the effects of spaceflight and address potential biological hazards. Sending organisms into space is a costly endeavor which makes space-flown biological specimens a valuable resource. To enable maximum scientific return, samples not required by the Principal Investigators are harvested and collected mostly by NASA’s Space Biology Biospecimen Sharing Program. These specimens are collected according to well-established SOPs that maintain quality and integrity. The specimens are then preserved, archived, and made available to the international scientific community through NASA’s Institutional Scientific Collection (ISC) at Ames Research Center (ARC). The ISC-ARC biospecimens and descriptive metadata are findable and accessible for request through the Life Sciences Data Archive (LSDA). The NASA ISC-ARC currently stores over 32,000 specimens from Shuttle, International Space Station, and ground-based investigations (spaceflight analog experiments involving either hindlimb unloading, centrifugation, or partial weight-bearing study designs). Tissues are predominantly from mice and rats, though samples are also available from bacteria and quail. The specimens include tissues from many physiological systems including musculoskeletal, neurosensory, reproductive, respiratory, circulatory, and digestive. Tissues are stored at -80°C, -20°C, +4°C, or ambient and preserved in various fixatives. Descriptive metadata is available for all samples. Historically, these tissues have been used for a wide range of analyses, including histology, genomics, and transcriptomics. Plans are underway to expand the ISC-ARC beyond the mostly-rodent contents, to include a space-relevant microbial culture collection including bacteria, fungi, and yeast. This expansion of the ISC-ARC will now involve identifying and standardizing best practices for microbial curations. To ensure safe long-term storage of microbial isolates, a microbiology laboratory will be dedicated for identification, cell culture, and lyophilization. Awarding of tissue to public science investigators has resulted in 33 publications since 2011, with 48 requests being submitted since 2016. Of note, NASA GeneLab has been awarded ISC-ARC biospecimens in the past few years. GeneLab processes the biospecimens to generate various levels of ‘omics’ data, which are published on GeneLab’s open access online platform for bioinformatics analysis and visualization. This has helped a systems biology community grow around the processed-biospecimens’ datasets, resulting in many new publications and insights. Websites: https://www.nasa.gov/ames/research/space-biosciences/isc-bsp ; https://lsda.jsc.nasa.gov/Biospecimen

Ryan T. Scott↗

NASA NTRSDate not supplied

A Prototype Early Planetary Organic Processor Assembly (OPA) Based on Dual-Stage Anaerobic Membrane Bioreactor (AnMBR) for Fecal and Food Waste Treatment and Resource Recovery

Long-duration, deep-space exploration and habitation missions demand robust and reliable technologies to ensure crew health, safety, and mission success. Local food production will be essential for crew nutrition and morale. However, at $10,000/lb, the payload costs and mass/volume limitations to transport and provide the necessary resources, including fertilizer, for an anticipated 30-month mission become challenging over time. For mission success and sustainability, the Environmental Control and Life Support System (ECLSS) of the near future will need to recover resources from all “waste” sources and be near-closed loop. Organic wastes (e.g., fecal and food) offer a renewable source of C, N, P, water and other trace elements necessary to sustain crop production. However, these high solidwastes are often difficult to treatdue to factors includingheterogeneity, complexity, high organic strength, and the presence of pathogens. To date, there is no flight-ready technology capable of treating mixed organic wastes, creating a technology gap for future space missions. To address this need, a prototype Organic Processor Assembly (OPA) was developed through collaboration between the University of South Florida (USF) and NASA’s Kennedy Space Center (KSC). The OPA is based on the anaerobic membrane bioreactor (AnMBR), a hybrid technology coupling high-rate anaerobic digestion with membrane filtration. The system is designed for an early planetary base (EPB) scenario to aid in closing the resource recovery loop and decreaseresupply dependence. This presentation discusses initial research pertaining to: 1) design challenges in maximizing hydraulic/organic throughputandReliability, Availability, Maintainability, and Safety(RAMS)while minimizingmass and volume; 2) create capabilities for treating simulated high solids waste under steady and non-steady state conditions; and 3) measuresolids performance parameter(s). Future research and development pertaining to further optimization on system operation, performance, and expanded treatment capabilities arepresented.

Bioreactor↗

NASA NTRSDate not supplied

Center for Isotope Cosmochemistry and Geochronology at NASA Johnson Space Center

Ten years in the making the Center for Isotope Cosmochemistry and Geochronology (CICG) at NASA Johnson Space Center is designed to be a cooperative analytical facility where novel techniques are developed and performed. Our team works collaboratively to operate this integrated lab suite comprising sample preparation, metal-free clean chemistry, and mass spectrometers to measure a wide variety of elements and isotopes in astromaterials. Contamination control is enacted throughout by a positive pressure cascade of HEPA filtered air, weekly surface cleaning and particle counting. Astromaterials processing is performed with application-specific mortar and pestles, heavy liquid separation, a Frantz magnetic separator, as well as hand-picking using optical microscopes in laminar flow boxes. Microsampling is also carried out using a New Wave MicroMill. Elements for isotopic analysis are isolated from acid-digested samples using ion-exchange chromatography. Cross-contamination is minimized with dedicated laminar flow boxes and labware for different purification protocols. Instrumentation includes a ThermoFisher Element XR inductively coupled plasma mass spectrometer (ICP-MS) for quantification of elemental concentrations in dissolved sample solutions. For in situ analysis, a Teledyne Photon Machines Analyte Excite+ laser ablation system is coupled to the Element XR. The ThermoFisher Triton thermal ionization mass spectrometer (TIMS) is used to measure the isotopic composition of elements such as CA, K, Cr, Rb, Sr, Sm, Nd at high precision in processed samples. For a more diverse range of isotopic analyses, CICG houses a Nu Sapphire 1700 multi-collector inductively coupled plasma mass spectrometer (MC-ICP-MS), which is a large geometry instrument with a multi-pole collision cell for interference removal. An Applied Spectra Instruments J200 femto-second laser is planned for install this Fall and will be coupled to the Nu Sapphire 1700. NASA’s Internal Scientist Funding Model (ISFM)supports this facility. Advanced analytical geochemistry techniques are applied to targeted astromaterials to address important problems in planetary sciences, with a longer-term goal of preparing for samples collected and returned by space missions. CICG is open to collaborations on projects that utilize the facility’s unique capabilities and are within its research scope. We are particularly eager to support and share expertise with the next generation of planetary scientists.

Justin I Simon↗

NASA NTRSDate not supplied

Artemis Flight Plan Evolution

Current capabilities and processes are insufficient to confidently meet mission objectives given the complexity of humans on the ground and on-orbit working with different automated vehicles. This research aims to reduce risk of human error by providing a consolidated, human-digestible, source of information that can be used in pre-mission through mission execution by all team members involved in spaceflight.

Mission Control↗

NASA NTRSDate not supplied

Estimation of 3D Woven Design Sensitivities Using a Rapid Multiscale Analysis Technique

Highly-refined finite element models of three-dimension (3D) woven composite systems currently require excessive computational demands that limit their use in sensitivity analysis, uncertainty quantification, and optimization. An alternative analysis methodology was developed using the NASA Multiscale Analysis Tool (NASMAT) where multiscale models of a 3D woven composite (including inter-tow matrix voids and constituent failure) can be completed on a single central processing unit(CPU)on the order of ~30 s. To develop inputs and validation data for the NASMAT model, coupon and acid-digesting testing and x-ray computed tomography were performed. The NASMAT inputs were parameterized using a set of 25 input variables and distributions. These inputs were randomly sampled to generate a total of 100,000 NASMAT analyses that could be used to understand the influence of different material and geometric properties on the warp and weft-direction stiffness and strength. These analyses (including pre/post-processing) were performed in less than eight hours on a 120 CPU cluster. The computational efficiency of the NASMAT model enabled a sensitivity analysis to be performed, and dominant input variables were able to be identified. Key results were consistent with theoretical and experimental observations for the specific 3D woven system studied in this work.

NASMAT↗

NASA NTRSDate not supplied

Estimation of 3D Woven Design Sensitivities Using a Rapid Multiscale Analysis Technique

Highly-refined finite element models of three-dimension (3D) woven composite systems currently require excessive computational demands that limit their use in sensitivity analysis, uncertainty quantification, and optimization. An alternative analysis methodology was developed using the NASA Multiscale Analysis Tool (NASMAT) where multiscale models of a 3D woven composite (including inter-tow matrix voids and constituent failure) can be completed on a single central processing unit (CPU) on the order of ~30s. To develop inputs and validation data for the NASMAT model, coupon and acid-digesting testing and x-ray computed tomography were performed. The NASMAT inputs were parameterized using a set of 25 input variables and distributions. These inputs were randomly sampled to generate a total of 100,000 NASMAT analyses that could be used to understand the influence of different material and geometric properties on the warp and weft-direction stiffness and strength. These analyses (including pre/post-processing) were performed in less than eight hours on a 120 CPU cluster. The computational efficiency of the NASMAT model enabled a sensitivity analysis to be performed, and dominant input variables were able to be identified. Key results were consistent with theoretical and experimental observations for the specific 3D woven system studied in this work.

NASMAT↗

NASA NTRS2023

Manufacturing and Mechanical Testing of TC1225/LM-PAEK and TC1200/PEEK Thermoplastic Composite Panels

Development of thermoplastic composites (TPCs) for aerospace structures is experiencing renewed enthusiasm attributed to the availability of rapid manufacturing technology, ease of joining through fusion welding processes, and the successful utilization of the material in flight critical structures. Semicrystalline thermoplastics such as polyether ether ketone (PEEK), polyether ketone ketone (PEKK), and polyphenylene sulfide (PPS) have been successfully demonstrated as thermoplastic skins, keel beams, and angle brackets for commercial aircraft. Composite specimens were fabricated from the Toray TC1225 and TC1200 unidirectional prepreg systems and tested to gain confidence with NASA in-house TPC processing as part of the Thermoplastics Development for Exploration Application (TDEA) project. TC1225 is a relatively new material system that uses T700GC fibers and low-melt polyaryl ether ketone (LM-PAEK) resin. TC1200 is the latest version of a material system that has been available for several decades with AS4 fibers and PEEK resin. Results for ultrasonic inspection, optical microscopy, acid digestion, and differential scanning calorimetry establish the quality of the panels. Mechanical test data for unnotched and notched laminate tension and compression as well as compression after impact provide data for equivalency assessment and support material selection in TDEA. Satisfactory equivalence of the TC1225 results and the National Center for Advanced Materials Performance (NCAMP) database was found. The results indicate high-quality manufacturing was achieved, and the resulting mechanical test data are in agreement with that in the literature.

Thermoplastic Composites↗

NASA NTRS2020

Global earth mineral inventory: A data legacy

Minerals contain important clues to understanding the complex geologic history of Earth and other planetary bodies. Therefore, geologists have been collecting mineral samples and compiling data about these samples for centuries. These data have been used to better understand the movement of continental plates, the oxidation of Earth's atmosphere and the water regime of ancient martian landscapes. Datasets found at ‘RRUFF.info/Evolution’ and ‘mindat.org’ have documented a wealth of mineral occurrences around the world. One of the main goals in geoinformatics has been to facilitate discovery by creating and merging datasets from various scientific fields and using statistical methods and visualization tools to inspire and test hypotheses applicable to modelling Earth's past environments. To help achieve this goal, we have compiled physical, chemical and geological properties of minerals and linked them to the above-mentioned mineral occurrence datasets. As a part of the Deep Time Data Infrastructure, funded by the W.M. Keck Foundation, with significant support from the Deep Carbon Observatory (DCO) and the A.P. Sloan Foundation, GEMI (‘Global Earth Mineral Inventory’) was developed from the need of researchers to have all of the required mineral data visible in a single portal, connected by a robust, yet easy to understand schema. Our data legacy integrates these resources into a digestible format for exploration and analysis and has allowed researchers to gain valuable insights from mineralogical data. GEMI can be considered a network, with every node representing some feature of the datasets, for example, a node can represent geological parameters like colour, hardness or lustre. Exploring subnetworks gives the researcher a specific view of the data required for the task at hand. GEMI is accessible through the DCO Data Portal (https://dx.deepcarbon.net/11121/6200-6954-6634-8243-CC). We describe our efforts in compiling GEMI, the Data Policies for usage and sharing, and the evaluation metrics for this data legacy.

data legacy↗

NASA NTRSDate not supplied

Space Algae-2: Preflight Testing for A Long-Duration, Multi-Omics Analysis of Arthrospira Platensis

The cyanobacteria Arthrospira platensis NIES-39, commonly known as spirulina, could provide a fresh supply of nutrients for crew on long-duration spaceflight missions. Spirulina is a readily digestible food that is high in protein with all essential amino acids as well as significant levels of B vitamins, antioxidants, and anti-inflammatory metabolites. Spaceflight has multiple abiotic stressors such as increased ionizing radiation and microgravity, which causes a lack of convective mixing. These environmental conditions may impact productivity, nutritional composition, and in long-duration propagation, spaceflight stress may impact the genetic stability of spirulina cultures. We are developing an International Space Station experiment to continuously culture A. platensis for six months. Multi-omics profiling will be used to monitor for changes in the genome, transcriptome, proteome, and metabolome to determine if A. platensis is a suitable nutritional supplement on long-duration missions. During preflight testing we developed a protocol for inoculated liquid cultures to survive a 10-week storage period prior to photo-incubation. The bioreactor bag, temperature, and lighting conditions that support a 14-day growth cycle between passages were also determined. Media testing identified minimal salts supporting robust growth that can be stored in liquid or dry form. A simple filtration method was developed to dewater cultures and harvest biomass for frozen sample return. We optimized a cryopreservation method to enable return of live cells for isolation of individual A. platensis clones. The concept of operations for Space Algae-2 developed from these test results as well as progress on multi-omics analysis methods will be presented.

Algae↗

NASA NTRSDate not supplied

The Human Research Program Grant Lifecycle & Data Integration Schedule: Infographic

The Human Research Program (HRP) Grant Lifecycle process can be described using information from several government authoritative sources with overlapping generalizations. It is the responsibility of the HRP Program Planning & Control (PP&C) Office and the Data Management Integration Office (DMIO)to interpret this information into a cohesive process that can be communicated to the human research organization. PP&C and DMIO have been exploring training opportunities to facilitate understanding through the form of infographics. This communication tool combines eye-catching visuals and text making complex information and data more digestible and shareable. The infographic poster tells a short story about a federally awarded grant and is intended to help both the new and experienced HRP workforce understand the timeline for a research procurement and where their specific tasks fall within the 4 phases of the grant lifecycle. The Pre-Award, Award, Post-Award, and Closeout phases are overlayed with business swimlanes so HRP stakeholders can see where they fit into the timeline rather than working in an isolated part. This includes the Chief Scientist Office (CSO), PP&C, the Data Management Integration Office (DMIO), the Principal Investigator (PI), the Element stakeholders, the LSDA Archivists, and the Research & Operations Integration (ROI) team along with the stakeholders in the Human Health and Performance Directorate. Additionally, the poster introduces (1) the HRP Data Integration Schedule identified in the HRP Data Management Plan HRP-48047, Table 8-2 and (2) a Smartsheet Solution to automate the grants tracking business process. Emphasis is given to the Data Integration Schedule which is the basis for the milestone tasks that are to be completed during the Post-Award phase in the grant lifecycle. The poster is also an opportunity to present the Smartsheet Solution, a software collaboration and work management tool used to assign tasks and track project progress. This PP&C FY24 effort will facilitate an end-to-end solution to track grants and provide insight to the health of HRP grant research procurements using metrics, reports, and dashboards.

J Peace↗

NASA NTRSDate not supplied

Space Algae-2: Preflight Testing for A Long-Duration, Multi-Omics Analysis of Arthrospira Platensis

The cyanobacteria Arthrospira platensis NIES-39, commonly known as spirulina, could provide a fresh supply of nutrients for crew on long-duration spaceflight missions. Spirulina is a readily digestible food that is high in protein with all essential amino acids as well as significant levels of B vitamins, antioxidants, and anti-inflammatory metabolites. Spaceflight has multiple abiotic stressors such as increased ionizing radiation and microgravity, which causes a lack of convective mixing. These environmental conditions may impact productivity, nutritional composition, and in long-duration propagation, spaceflight stress may impact the genetic stability of spirulina cultures. We are developing an International Space Station experiment to continuously culture A. platensis for six months. Multi-omics profiling will be used to monitor for changes in the genome, transcriptome, proteome, and metabolome to determine if A. platensis is a suitable nutritional supplement on long-duration missions. During preflight testing we developed a protocol for inoculated liquid cultures to survive a 10-week storage period prior to photo-incubation. The bioreactor bag, temperature, and lighting conditions that support a 14-day growth cycle between passages were also determined. Media testing identified minimal salts supporting robust growth that can be stored in liquid or dry form. A simple filtration method was developed to dewater cultures and harvest biomass for frozen sample return. We optimized a cryopreservation method to enable return of live cells for isolation of individual A. platensis clones. The concept of operations for Space Algae-2 developed from these test results as well as progress on multi-omics analysis methods will be presented.

Algae↗

NASA NTRSDate not supplied

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

NASA NTRSDate not supplied

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗