Search NASASearch

SEARCH · Search NASA

Results for “TIMING”

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 217 records · Page 12

Logic Model Checking of Time-Periodic Real-Time Systems

In this paper we report on the work we performed to extend the logic model checker SPIN with built-in support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic tasks. This library was used in a recent application of the SPIN model checker to verify the engine control software of an automobile, to study the feasibility of software triggers for unintended acceleration events.

software analysis

Development of an immersion fiber optic Raman probe for real-time analysis of molten materials

This study presents an advancement in high-temperature Raman spectroscopy, specifically for analyzing molten materials. It introduces an approach by integrating a fiber-optic Raman probe with a copper block protection system designed to endure extreme thermal conditions. The copper block features an open port designed to accommodate an external telescope with a 3 cm focal length, enabling Raman spectra collection in challenging high-temperature environments. A built-in gas channel ensures a continuous flow of argon gas to prevent flux intrusion. The robust copper block acts as a reliable shield, safeguarding the fiber-optic Raman probe within molten materials. This enhancement maintains the probe's integrity and significantly improves its resilience, making it ideal for rigorous investigations of molten substances. This advancement is particularly relevant in metallurgy, where flux materials impact production quality and efficiency. The ability to acquire Raman signals under elevated thermal conditions offers opportunities for studying molecular dynamics, compositional changes, and chemical interactions within molten substances. This introduced direct immersion probing technique has implications, benefiting both scientific and industrial fields. It holds promise for advancing research and exploration in various contexts, from fundamental scientific inquiries to practical applications in metallurgical processes, where flux materials are critical for optimizing production quality and efficiency. Furthermore, this approach enhances the capabilities of high-temperature Raman spectroscopy, making it a valuable tool for investigating molten materials and their properties in diverse settings.

Argon

Twisted holography on AdS$_3 \times S^3 \times$ K3 & the planar chiral algebra

In this work, we revisit and elaborate on twisted holography for AdS _3 × S^3 × X 3 × S 3 × X with X= T^4 X = T 4 , K3, with a particular focus on K3. We describe the twist of supergravity, identify the corresponding (generalization of) BCOV theory, and enumerate twisted supergravity states. We use this knowledge, and the technique of Koszul duality, to obtain the N → ∞ N → ∞ , or planar, limit of the chiral algebra of the dual CFT. The resulting symmetries are strong enough to fix planar 2 and 3-point functions in the twisted theory or, equivalently, in a 1/4-BPS subsector of the original duality. This technique can in principle be used to compute corrections to the chiral algebra perturbatively in 1/N 1 / N .

Fernández, Víctor E.