Search NASA⌕ Search

SEARCH · Search NASA

Results for “SEE”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Unbounded Learning Environments as an Approach to Preserving Design Flexibility Demonstrated With Nasa Stem Enhancement in Earth Science (SEES) Students

The Artemis Lunar program is providing opportunity for young scientists and engineers to contribute towards leading edge design concepts regarding early on-surface work areas that are aligned with major national initiatives. Therefore, it is imperative in any discovery process that those young scientists and engineers be provided the bandwidth or operating in a ‘greenfield’ technology environment that encourages new ideas, and perhaps the discovery of ideas that would not be realized within typical structured engineering constraints. To facilitate this concept, the use of unbounded teaching methods was utilized to provide a low-constraint environment from which students can design and discover the requirements that are bounded by the natural environment of the lunar surface, and then build up design requirements un-hindered by budgetary and/or logistics realizations of the moment funding capabilities. Specifically, this design exercise provided the students to operate with unlimited budgets, and unlimited up-mass lifts to the lunar surface to develop a preliminary feasible process for establishing a working lunar research based upon the near-area permanently shadowed regions within the lunar surface. In concept, working near PSRs will be advantageous as they receive near eternal shielding from solar radiation and may potentially host numerous volatile substances such as water ice, methane, hydrogen sulfide and helium-3 that will be the target of scientific investigation and in-situ resource utilization ISRU. The advantage of an upstream working area is that the quality of return materials could potentially be exponential when including an upstream analysis prior to earth-return missions. Furthermore, it’s well known within the scientific and engineering community that working with the base materials in front of human eyes elucidates new features and observations that may not survive when stored and shipped to Earth. Finally, it is theorized that these methods and techniques developing on the lunar surface would be applicable to other planets or cometary surfaces.

Education↗
NASA NTRSDate not supplied

Seeing is Believing: Monitoring Future Time Temporal Logic

Runtime monitors for future-time unbounded temporal logics like RVLTL, LTL 3 and FLTL, have double-exponential (2^2^n) worst-case space complexity bounds in size of the input formula. The semantics of these logics require monitors to perform general satisfiability solving for LTL expressions, a well-studied problem whose computational complexity is NP-hard and PSPACE-complete. This paper introduces an unbounded future-time linear temporal logic defined over a lattice. We call our logic an incremental temporal logic as it can be viewed as incrementally constructing proofs about the trace. On this account, we view online runtime monitoring as a decision procedure for proofs systems about incrementally growing traces. We demonstrate that our incremental temporal logic allows monitor construction to void satisfiability solving while still soundly detecting when the property is violated in an online fashion. This enables asymptotic improvements in space complexity. As proof, we provide a procedure to construct monitors that utilize linear space and time in the size of the input formula, while remaining constant in the size of the input stream and suitable for online monitoring. We further demonstrate, through several examples, that our incremental temporal logic is straightforward to adopt and practical for runtime verification.

temporal logic↗
NASA NTRSDate not supplied

Seeing the Future of Spaceflight: Applications of Extended Reality (XR) Technologies

INTRODUCTION Advances in Earth Independent Medical Operations (EIMO) focused capabilities will be crucial for completing successful beyond low-earth-orbit (LEO) missions, where traditional Earth-based medical support and near real-time communication are limited, intermittent, or absent. In such restricted or limited communication environments, emerging extended reality (ER or XR) technologies may play a vital role in ensuring crew health and safety. Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR) are common terms used to describe technologies that "generate or modify" while “extended reality” (ER or XR) is often used as an umbrella term for these technologies. This review explores how such cutting-edge “extended reality” information delivery systems are currently applied across various disciplines within NASA. The review focuses on their capabilities, limitations, and prospective future applications as they pertain to Earth-Independent Medical Operations and its components of pre-mission planning, medical decision making, resource management, and task load management. METHODS/DESIGN The review began with a literature search to identify relevant disciplines (e.g., medical education, austere environments) where XR technologies have been studied to highlight areas where evidence is lacking. Previous and current NASA XR projects and applications, as well as commercial partnerships, such as those with Small Business Innovation Research (SBIR), were identified. Discussions with technical experts involved in the design, development, and application of these technologies allowed for classification based on their respective spaceflight applications. RESULTS AND CONCLUSION This review highlights current and emerging XR technologies that have been developed, tested, and implemented both terrestrially and in spaceflight by NASA, its international partners, the U.S. Armed Forces, and various relevant commercial entities. While these novel information delivery systems vary in their respective technology readiness levels (TRL), they have the potential to be implemented on Earth, in LEO, and during deep space exploration. These systems have the potential for impacting and optimizing many aspects of EIMO.

Yevgeniy Zhivotovskiy↗