Search NASA⌕ Search

SEARCH · Search NASA

Results for “temporal computing”

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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Reactive Sequencing for Autonomous Navigation Evolving from Phoenix Entry, Descent, and Landing

Virtual Machine Language (VML) is an award-winning advanced procedural sequencing language in use on NASA deep-space missions since 1997, and was used for the successful entry, descent, and landing (EDL) of the Phoenix spacecraft onto the surface of Mars. Phoenix EDL utilized a state-oriented operations architecture which executed within the constraints of the existing VML 2.0 flight capability, compatible with the linear "land or die" nature of the mission. The intricacies of Phoenix EDL included the planned discarding of portions of the vehicle, the complex communications management for relay through on-orbit assets, the presence of temporally indeterminate physical events, and the need to rapidly catch up four days of sequencing should a reboot of the spacecraft flight computer occur shortly before atmospheric entry. These formidable operational challenges led to new techniques for packaging and coordinating reusable sequences called blocks using one-way synchronization via VML sequencing global variable events. The coordinated blocks acted as an ensemble to land the spacecraft, while individually managing various elements in as simple a fashion as possible. This paper outlines prototype VML 2.1 flight capabilities that have evolved from the one-way synchronization techniques in order to implement even more ambitious autonomous mission capabilities. Target missions for these new capabilities include autonomous touch-and-go sampling of cometary and asteroidal bodies, lunar landing of robotic missions, and ultimately landing of crewed lunar vehicles. Close proximity guidance, navigation, and control operations, on-orbit rendezvous, and descent and landing events featured in these missions require elaborate abort capability, manifesting highly non-linear scenarios that are so complex as to overtax traditional sequencing, or even the sort of one-way coordinated sequencing used during EDL. Foreseeing advanced command and control needs for small body and lunar landing guidance, navigation and control scenarios, work began three years ago on substantial upgrades to VML that are now being exercised in scenarios for lunar landing and comet/asteroid rendezvous. The advanced state-based approach includes coordinated state transition machines with distributed decision-making logic. These state machines are not merely sequences - they are reactive logic constructs capable of autonomous decision making within a well-defined domain. Combined with the JPL's AutoNav software used on Deep Space 1 and Deep Impact, the system allows spacecraft to autonomously navigate to an unmapped surface, soft-contact, and either land or ascend. The state machine architecture enabled by VML 2.1 has successfully performed sampling missions and lunar descent missions in a simulated environment, and is progressing toward flight capability. The authors are also investigating using the VML 2.1 flight director architecture to perform autonomous activities like rendezvous with a passive hypothetical Mars sample return capsule. The approach being pursued is similar to the touch-and-go sampling state machines, with the added complications associated with the search for, physical capture of, and securing of a separate spacecraft. Complications include optically finding and tracking the Orbiting Sample Capsule (OSC), keeping the OSC illuminated, making orbital adjustments, and physically capturing the OSC. Other applications could include autonomous science collection and fault compensation.

asteroid↗
NASA NTRS2020

Arcjet Supplemental Diagnostics

This document proposes a new set of diagnostics designed to be implemented on the NASA Ames miniature Arcjet Research Chamber (mARC) for improved characterization of the flow. The diagnostics are grouped into three classes:higher cadence measurements, higher spatial resolution, and computer vision techniques for improved analysis of existing imaging. The goal is to better understand and quantify the following properties: flow statistics/uncertainty, temporal & spatial non-uniformity, flow temperature/enthalpy

Haw, Magnus A.↗
NASA NTRSDate not supplied

Runtime Monitoring with R2U2 for Aircraft Systems with Neural Networks

R2U2 (Realizable, Responsive, Unobtrusive Unit) is a hardware-supported tool and framework for real-time system monitoring and software health management of cyber-physical systems. During system operation, R2U2 continuously monitors properties about safety, performance, and security of the vehicle and its vital components and can perform diagnostic reasoning. Efficient observers for past-time and future-time Metric Temporal Logic, fast reasoners for Bayesian Networks, and model-based prognostics algorithms are key components of R2U2 and designed for minimal computational footprint. R2U2 has been implemented in software supporting ROS, NASA's cFS/cFE, and Simulink and as an FPGA configuration. The synergistic combination of monitors and observers in R2U2 makes it possible to design powerful models for system runtime monitoring, diagnostics, software health management, prognostics, and security monitoring. In this presentation, I will give a detailed overview of the R2U2 architecture and its features and will discuss the application of R2U2 for safety-monitoring of a neural-network based autonomous centerline tracking system (ACT) for autonomous aircraft.

Runtime Monitoring↗
NASA NTRS1982

Computer constructed imagery of distant plasma interaction boundaries

Computer constructed sketches of plasma boundaries arising from the interaction between the solar wind and the magnetosphere can serve as both didactic and research tools. In particular, the structure of the earth's bow shock can be represented as a nonuniform surfce according to the instantaneous orientation of the IMF, and temporal changes in structural distribution can be modeled as a sequence of sketches based on observed sequences of spacecraft-based measurements. Viewed rapidly, such a sequence of sketches can be the basis for representation of plasma processes by computer animation.

Greenstadt, E. W.↗
NASA NTRS1991

Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

Models of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic. A model-based approach to reasoning about real-time systems is presented in which a temporal interval logic called TIL is employed to define constraints on a new type of high level automata. The combination, called hierarchical multi-state (HMS) machines, can be used to model formally a real-time system, a dynamic set of requirements, the environment, heuristic knowledge about planning-related problem solving, and the computational states of the reasoning mechanism. In this framework, mathematical techniques were developed for: (1) proving the correctness of a representation; (2) planning of concurrent tasks to achieve goals; and (3) scheduling of plans to satisfy complex temporal constraints. HMS machines allow reasoning about a real-time system from a model of how truth arises instead of merely depending of what is true in a system.

Gabrielian, Armen↗
DOE OSTI2025

Joint Experimental and Computational Characterization of Sum-Frequency Generation between a Continuous Wave Laser and an Ultrafast Frequency Comb Laser for Tunable Laser Development

Ultrafast optical frequency combs allow for both high spectral and temporal resolution in molecular spectroscopy and have become a powerful tool in many areas of chemistry and physics. Ultrafast lasers and frequency combs generated from ultrafast mode-locked lasers often need to be converted to other wavelengths. Commonly used wavelength conversions are optical parametric oscillators, which require an external optical cavity, and supercontinuum generation combined with optical parametric amplifiers. Whether commercial or home-built, these systems are complex and costly. Here, we investigate an alternative, simple, and easy-to-implement approach to tunable frequency comb ultrafast lasers enabled by new continuous-wave laser technology. Sum-frequency generation between an Nd:YAG continuous-wave laser and a Yb:fiber femtosecond frequency comb in a beta-barium borate (BBO) crystal is explored. The resulting sum-frequency beam is a pulsed frequency comb with the same repetition rate as the Yb:fiber source. SNLO simulation software is used to simulate the results and provide benchmarks for designing future systems to achieve wavelength conversion and tunability in otherwise difficult-to-reach spectral regions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2000

Atmospheric Flux Computations in Complex Terrain

The greatest challenges in applying atmospheric water budget expressions are in determining the divergence and evapotranspiration terms. The evapotranspiration problem is ubiquitous, and critical issues of spatial and temporal resolution commonly arise in establishing the divergence term. In complex terrain, further difficulties crop up in using typical data on atmospheric profiles of water vapor and wind to estimate the divergence term. Those difficulties are the subject of this paper; considerations related to topographic variations both along and normal to the flow direction are treated.

Smith, Paul L.↗
DOE OSTI2025

Metastable‐State Photoacids with Fast Reverse Reactions

Metastable-state photoacid (mPAH) has become a common tool for controlling and driving chemical processes with light. mPAHs with fast reverse reactions are desirable for precise temporal control or generating quick pulses of proton concentration. Here, in this work, different approaches towards fast reversing mPAHs are studied. Experimental and computational results showed that stabilizing the charge–transfer intermediate is an effective way to increase the rate. A novel mPAH with a reverse reaction ≈500 times faster than the most used mPAH in methanol is developed. Another water-soluble mPAH showed a reverse reaction with a rate constant of 7.8 s −1 , which is the fastest ever reported. The half-life of the acidic state is calculated to be 89 ms, which allowed to demonstrate sub-second switching using this mPAH.

Abbood, Rana [Florida Institute of Technology, Mel↗
DOE OSTI2026

Efficient data-driven regression for reduced-order modeling of spatial pattern formation

We present an efficient data-driven regression approach for constructing reduced-order models (ROMs) of reaction-diffusion systems exhibiting pattern formation. The ROMs are learned non-intrusively from available training data of physically accurate numerical simulations. The method can be applied to general nonlinear systems through the use of polynomial model form, while not requiring knowledge of the underlying physical model, governing equations, or numerical solvers. The process of learning ROMs is posed as a low-cost least-squares problem in a reduced-order subspace identified via Proper Orthogonal Decomposition (POD). Numerical experiments on classical pattern-forming systems–including the Schnakenberg and Mimura–Tsujikawa models–demonstrate that higher-order surrogate models significantly improve prediction accuracy while maintaining low computational cost. The proposed method provides a flexible, non-intrusive model reduction framework, well suited for the analysis of complex spatio-temporal pattern formation phenomena.

Data-driven modeling↗
DOE OSTI2026

“One Table to Rule Them All”: How a Single Table can Enable Extensive Insights, Analytics and Assessment on Human Mobility Data

While much research has been conducted in Human Mobility Science, most studies on the analytics/insights part generally focus on one of the following: processing and analytics on human stop-trip behavior, design of individual mobility metrics (often in silos), calculation and characterization of only a handful (typically 5-6) of human mobility metrics on geospatial-temporal human mobility data of interest. Although human mobility research offers a vast and diverse array of available metrics, most individual studies typically compute only a small subset of five or six metrics at a time when analyzing trajectory datasets of human mobility across different areas of interest. This paper is motivated by the critical need to repeatedly compute an extensive array of human mobility metrics across several trajectory datasets and perform individual metric-level benchmarking to establish a new, standardized Test and Evaluation (T&E) suite for the field of Human Mobility Science. We first present our findings on the minimal yet sufficient pre-processing required to reliably and efficiently compute a wide range of human mobility metrics. The key findings are specifically related to the proposed Composite Stop Locations table, which serves as a core pre-processing data layer. Subsequently, we present a case study demonstrating how the Composite Stop Locations table facilitates computation of at least 14 distinct human mobility metrics (unlike 5-6 different set of metrics used for studies in the literature) using the popular and open-source OpenPFLOW dataset. Finally, we have also presented an example of our benchmarking methodology to evaluate the quality and performance of the trajectory dataset of interest, assessed across multiple human mobility metrics.

De, Debraj [ORNL] (ORCID:0000000233630020)↗
NASA NTRS1973

Convergence of finite difference transient response computations for thin shells.

Numerical studies pertaining to the limits of applicability of the finite difference method in the solution of linear transient shell response problems are performed, and a computational procedure for the use of the method is recommended. It is found that the only inherent limitation of the finite difference method is its inability to reproduce accurately response discontinuities. This is not a serious limitation in view of natural constraints imposed by the extension of Saint Venant's principle to transient response problems. It is also found that the short wavelength limitations of thin shell (Bernoulli-Euler) theory create significant convergence difficulties in computed response to certain types of transverse excitations. These difficulties may be overcome, however, through proper selection of finite difference mesh dimensions and temporal smoothing of the excitation.

Sobel, L. H.↗
NASA NTRS1974

A quantitative model for the potential resulting from reconnection with an arbitrary interplanetary magnetic field

A quantitative three-dimensional model is proposed for the electric potential arising from magnetopause reconnection, in which several approximations are made concerning configuration of the magnetosheath flow, limitations on the magnitude of the reconnection speed, and the geometry of the problem. These approximations are such that the model yields an upper limit for the potential. The magnitude of the polar cap ionospheric electric field computed from this model is larger than that measured on balloons by an average factor of about 3, and the model reproduces the temporal variations of the experimental data. It is concluded that magnetopause reconnection is a highly efficient process that is probably the dominant mechanism driving polar cap convection and supplying energy to the magnetosphere. It seems that the most efficient way for the solar wind to pass the magnetospheric obstacle is by magnetopause reconnection.

Gonzalez, W. D.↗
NASA NTRS1986

Euler calculations for rotor configurations in unsteady forward flight

A solution procedure is presented for the lifting transonic flow past modern rotor configurations in forward flight. In this procedure, the three-dimensional, unsteady Euler equations are solved in strong conservation form on a body-fitted moving coordinate system. A hybrid procedure of second order spatial accuracy and first order temporal accuracy is used to integrate the governing equations. In lifting flows, the effect of the elements of wake not captured by the computational procedure, and other aeroelastic effects are accounted for as local angle of attack corrections. Detailed comparisons with experimental data are presented for a 1/7 scale model of the Cobra OLS rotor, and for a three-bladed rotor tested in France. Some preliminary results are also presented for a three-dimensional blade vortex interaction problem.

Sankar, L. N.↗
NASA NTRS1989

Short-range forecasting and nowcasting, using a simple, isentropic prediction model

A numerical advection model which can be run on a local computer in a real-time forecast environment is described. This isentropic forecast model provides the local forecast office with easy access to temporally and spatially detailed estimates of atmospheric temperature, moisture, and wind field changes between 12-h rawinsonde observations. Case studies are presented based on the use of the model to predict the preconvective environment in spring and summer situations. Short-term forecasts of midtropospheric static stability patterns and stability index changes are traced for several severe storm events with and without the inclusion of surface data observed during the day. Forecast images of VAS low- and midlevel moisture fields and vertical moisture gradients are compared with the observations to determine the utility of the combined model/VAS imagery as a nowcasting guide.

Petersen, Ralph A.↗
NASA NTRS1990

Nonlinear development of crossflow vortices

Nonlinear crossflow vortices in an incompressible three-dimensional boundary layer are computed by weakly nonlinear theory and direct numerical simulations. The parallel basic flow is defined by Falkner-Skan-Cooke similarity profiles. The temporal evolution of spanwise periodic, quasi-two-dimensional disturbances without variations along the vortex axis is considered. The nonlinear theory is based on the approach of Herbert (1980, 1983). The theory predicts the existence of the finite amplitude equilibrium states seen in earlier simulations. When the disturbance amplitudes are small, there is very good quantitative agreement in the fundamental disturbance velocity components between the theory and the simulations.

Singer, Bart A.↗
NASA NTRS1998

Low Dissipative High Order Shock-Capturing Methods using Characteristic-Based Filters

An approach which closely maintains the non-dissipative nature of classical fourth or higher- order spatial differencing away from shock waves and steep gradient regions while being capable of accurately capturing discontinuities, steep gradient and fine scale turbulent structures in a stable and efficient manner is described. The approach is a generalization of the method of Gustafsson and Olsson and the artificial compression method (ACM) of Harten. Spatially non-dissipative fourth or higher-order compact and non-compact spatial differencings are used as the base schemes. Instead of applying a scalar filter as in Gustafsson and Olsson, an ACM like term is used to signal the appropriate amount of second or third-order TVD or ENO types of characteristic based numerical dissipation. This term acts as a characteristic filter to minimize numerical dissipation for the overall scheme. For time-accurate computations, time discretizations with low dissipation are used. Numerical experiments on 2-D vortical flows, vortex-shock interactions and compressible spatially and temporally evolving mixing layers showed that the proposed schemes have the desired property with only a 10% increase in operations count over standard second-order TVD schemes. Aside from the ability to accurately capture shock-turbulence interaction flows, this approach is also capable of accurately preserving vortex convection. Higher accuracy is achieved with fewer grid points when compared to that of standard second-order TVD or ENO schemes. To demonstrate the applicability of these schemes in sustaining turbulence where shock waves are absent, a simulation of 3-D compressible turbulent channel flow in a small domain is conducted.

Yee, H. C.↗
NASA NTRS1998

Low Dissipative High Order Shock-Capturing Methods Using Characteristic-Based Filters

An approach which closely maintains the non-dissipative nature of classical fourth or higher- order spatial differencing away from shock waves and steep gradient regions while being capable of accurately capturing discontinuities, steep gradient and fine scale turbulent structures in a stable and efficient manner is described. The approach is a generalization of the method of Gustafsson and Oisson and the artificial compression method (ACM) of Harten. Spatially non-dissipative fourth or higher-order compact and non-compact spatial differencings are used as the base schemes. Instead of applying a scalar filter as in Gustafsson and Olsson, an ACM like term is used to signal the appropriate amount of second or third-order TVD or ENO types of characteristic based numerical dissipation. This term acts as a characteristic filter to minimize numerical dissipation for the overall scheme. For time-accurate computations, time discretizations with low dissipation are used. Numerical experiments on 2-D vortical flows, vortex-shock interactions and compressible spatially and temporally evolving mixing layers showed that the proposed schemes have the desired property with only a 10% increase in operations count over standard second-order TVD schemes. Aside from the ability to accurately capture shock-turbulence interaction flows, this approach is also capable of accurately preserving vortex convection. Higher accuracy is achieved with fewer grid points when compared to that of standard second-order TVD or ENO schemes. To demonstrate the applicability of these schemes in sustaining turbulence where shock waves are absent, a simulation of 3-D compressible turbulent channel flow in a small domain is conducted.

Yee, H. C.↗
NASA NTRS2005

[School-Based UV-B Monitoring Project in Support of EOS-CHEM]

This grant is an extension of Grant NAG5-8929 (Drexel Project Number 230026), resulting from extensions necessary to meet changing science objectives as described in the final report for NAG5-8929, a copy of which is attached. The instrument configuration resulting from NAG54929 has remained basically intact. Cosine response measurements conducted by James Slusser s group at Fort Collins, Colorado, in support of the proposal for Aura ground validation mentioned in the final report for NAG5-8929, indicated that there was significant light leakage to the detector through the sides of the nylon housing. This was easily remedied by machining a removable opaque collar (made from the dark same grey rigid plastic plumbing tubing as the collimating tube) that fits around the detector collar. Also during this grant period, data logging procedures were established for the UV-A instrument, to record irradiance before, during, and after an Aura overflight. This is required in order to compare spatial and temporal variability as required for ground validation of data products derived from the Ozone Monitoring Instrument (OMI). Standalone 12-bit loggers from Onset Computer Corporation (the U12 series), which were not available at the start of these projects, makes possible relatively inexpensive logging for these instruments at a usable resolution. configuration and disposition of these instruments, including the final version of a GLOBE protocol for using the instruments, currently depend on action taken on the Aura ground validation proposal submitted in 2004. A copy of that proposal is attached.

Brooks, David R.↗