Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Translational”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2022

Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime Monitors

Runtime verification (RV) enables monitoring systems at runtime, to detect property violations early and limit their potential consequences. To provide the level of assurance required for ultra-critical systems, monitor specifications must faithfully reflect the original mission requirements, which are often written in ambiguous natural language. This paper presents an end-to-end framework to capture requirements in structured natural language and generate monitors that capture their semantics faithfully. We leverage NASA’s Formal Requirement Elicitation Tool (FRET), and the RV system Copilot. We extend FRET with mechanisms to capture additional information needed to generate monitors, and introduce OGMA, a new tool to bridge the gap between FRET and Copilot. With this framework, users can write requirements in an intuitive format and obtain real-time C monitors suitable for use in embedded systems. Our tool chain is available as open source.

FRET↗
NASA NTRSDate not supplied

Translational Line of Sight: a multi-omics longitudinal study of the murine retinal response to spaceflight hazard analogs

The space environment includes unique hazards like radiation and microgravity which adversely affect physiology and behavior of humans and rodent models. To better characterize the retinal response to spaceflight, we assessed a multi-omics NASA GeneLab dataset where 6-month-old female mice were gamma irradiated and/or hindlimb unloaded for 21 days followed by whole transcriptome shotgun sequencing (RNA-Seq) and reduced representation bisulfite sequencing (RRBS) of retina samples collected at 7 days, 1 month or 4 months post-exposure. We compared time-matched epigenomic and transcriptomic retinal profiles revealing a total of 4,178 differentially methylated loci or regions, and 457 differentially expressed genes. Highest correlation in methylation differences was seen across different conditions at the same time point (e.g., between radiation exposure and hindlimb unloaded at 7 days). Biological processes related to nucleotide metabolism were enriched in all groups with activation at 1 month and suppression at 7 days and 4 months. Genes and processes related to Notch and Wnt signaling showed alterations 4 months post-exposure. Interestingly, Notch3 and Lrg1 showed differential patterns in the NASA Twins Study in-flight samples and in response to stressors in the murine retina in the current study. A total of 23 genes were both differentially methylated and expressed, including genes involved in retinal disease or cataract development (Crybb3, Fgfr1, Pitpnm3, Sipa1l3, Sox9) and inflammatory response (B4galt6, Ppm1a, Sphk1). To our knowledge, the current multi-omics analysis is the first multi-omics study to interrogate the epigenomic and transcriptomic impacts of radiation and hindlimb unloading on the retina in isolation and in combination. The results provide an insight into the retinal response to individual spaceflight hazard analogs and their interplay at different post-exposure stages and contributes towards a mechanistic understanding of spaceflight-induced vision impairment using ground-based models.

Prachi Kothiyal↗
NASA NTRSDate not supplied

Light as a Reactive Countermeasure to Sleep Inertia: Translating Laboratory Findings to the Field

Sleep inertia describes the brief period of impaired alertness, mood, and cognitive performance experienced after waking. Under laboratory settings, light exposure upon waking during a habitual sleep period has been shown to improve sleep inertia symptoms. We investigated whether a field-deployable light-emitting device would help to mitigate sleep inertia in a real-world setting. Thirty-six participants (18 female; 26.6 years ± 6.1) completed an at-home, within-subject, randomized crossover study. Participants followed their habitual sleep-wake schedule for five nights before an adaptation and experimental night. Forty-five minutes after bedtime on the experimental night, participants received a phone call and were instructed to wear light-emitting glasses with the light either on (light condition) or off (control). A 5-minute psychomotor vigilance task (PVT), the Karolinska Sleepiness Scale (KSS), visual analog scales of mood (VASmood), and a 3-minute descending subtraction task (DST) were performed starting at +2, +12, +22, and +32 minutes after the call. Participants then went back to sleep and were called 45 minutes after lights out for the opposite condition. A series of mixed-effects models were performed with fixed effects of test bout, condition, test bout × condition, and a random effect of participant. Covariates included pre-sleep baseline scores, randomization order, sex, and sleep history. Participants rated themselves as more alert and energetic in the light condition compared to the control condition (VASalert-sleepy p = .01; VASlethargic-energetic p = .001). There was no effect of condition for DST outcomes, but there was a significant improvement in DST total responses in the light condition in a subset of participants waking from N3 (p = .03). There was a significant effect of condition for PVT outcomes, with faster responses (p < .001) and fewer lapses (p < .001) in the control condition. Our results under naturalistic at-home settings suggest that, similar to the in-laboratory study findings, the light intervention improved subjective alertness and mood, while working memory improved after waking from N3. Future studies of light interventions should include measures of visual acuity and comfort to assess the full feasibility and efficacy of interventions in real-world environments.

sleep inertia↗