Search NASA⌕ Search

SEARCH · Search NASA

Results for “Long memory”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

Efficient Runtime Verification of First-Order Temporal Properties

Runtime verification allows monitoring the execution of a system against a temporal property, raising an alarm if the property is violated. In this paper we present a theory and system for runtime verification of a first-order past time linear temporal logic. The first-order nature of the logic allows a monitor to reason about events with data elements. While runtime verification of propositional temporal logic requires only a fixed amount of memory, the first-order variant has to deal with a number of data values potentially growing unbounded in the length of the execution trace. This requires special compactness considerations in order to allow checking very long executions. In previous work we presented an efficient use of BDDs for such first-order runtime verification, implemented in the tool DEJAVU. We first summarize this previous work. Subsequently, we look at the new problem of dynamically identifying when data observed in the past are no longer needed, allowing to reclaim the data elements used to represent them. We also study the problem of adding relations over data values. Finally, we present parts of the implementation, including a new concept of user defined property macros.

Peled, Doron↗
NASA NTRS2002

Brain signaling and behavioral responses induced by exposure to (56)Fe-particle radiation

Previous experiments have demonstrated that exposure to 56Fe-particle irradiation (1.5 Gy, 1 GeV) produced aging-like accelerations in neuronal and behavioral deficits. Astronauts on long-term space flights will be exposed to similar heavy-particle radiations that might have similar deleterious effects on neuronal signaling and cognitive behavior. Therefore, the present study evaluated whether radiation-induced spatial learning and memory behavioral deficits are associated with region-specific brain signaling deficits by measuring signaling molecules previously found to be essential for behavior [pre-synaptic vesicle proteins, synaptobrevin and synaptophysin, and protein kinases, calcium-dependent PRKCs (also known as PKCs) and PRKA (PRKA RIIbeta)]. The results demonstrated a significant radiation-induced increase in reference memory errors. The increases in reference memory errors were significantly negatively correlated with striatal synaptobrevin and frontal cortical synaptophysin expression. Both synaptophysin and synaptobrevin are synaptic vesicle proteins that are important in cognition. Striatal PRKA, a memory signaling molecule, was also significantly negatively correlated with reference memory errors. Overall, our findings suggest that radiation-induced pre-synaptic facilitation may contribute to some previously reported radiation-induced decrease in striatal dopamine release and for the disruption of the central dopaminergic system integrity and dopamine-mediated behavior.

NASA Discipline Radiation Health↗
NASA NTRS2003

Lightweight, Self-Deployable Wheels

Ultra-lightweight, self-deployable wheels made of polymer foams have been demonstrated. These wheels are an addition to the roster of cold hibernated elastic memory (CHEM) structural applications. Intended originally for use on nanorovers (very small planetary-exploration robotic vehicles), CHEM wheels could also be used for many commercial applications, such as in toys. The CHEM concept was reported in "Cold Hibernated Elastic Memory (CHEM) Expandable Structures" (NPO-20394), NASA Tech Briefs, Vol. 23, No. 2 (February 1999), page 56. To recapitulate: A CHEM structure is fabricated from a shape-memory polymer (SMP) foam. The structure is compressed to a very small volume while in its rubbery state above its glass-transition temperature (Tg). Once compressed, the structure can be cooled below Tg to its glassy state. As long as the temperature remains <Tg the structure remains compacted (in a cold hibernated state), even when the external compressive forces are removed. When the structure is subsequently heated above Tg, it returns to the rubbery state, in which a combination of elasticity and the SMP effect cause it to expand (deploy) to its original size and shape. Once thus deployed, the CHEM structure can be rigidified by cooling below Tg to the glassy state. The structure could be subsequently reheated above Tg and recompacted. The compaction/deployment/rigidification cycle could be repeated as many times as needed.

Chmielewski, Artur↗
NASA NTRSDate not supplied

BioSentinel: Leading the Way for Deep Space CubeSat Missions

Flagship science missions are not alone in Deep Space thanks to BioSentinel, a 6U spacecraft launched on Artemis-1. BioSentinel is one of the longest operating CubeSats beyond cislunar space. The subsystems and COTS components of the BioSentinel bus are a template for future deep space missions, and the lessons learned from over a year of operations will enable improved performance for the next missions. BioSentinel achieved its unprecedented performance for an SLS secondary payload due to preparation, planning, and a robust design. Pre-launch antenna and interface testing with both DSN and ESA confirmed command and data pathways and allowed for operational flexibility in the critical early hours post-deployment. Mission Operations simulations prior to launch identified potential risks and primed operators to respond in flight, preparing the team to react quickly to successfully detumble the spacecraft and enter a power-positive state. The spacecraft would not have survived without the inclusion of the trailblazing 3D-printed composite cold gas propulsion system. The non-standard tank geometry enabled efficient use of the limited space available in the CubeSat, as well as the capability to detumble the spacecraft and manage momentum, while providing sufficient margin to execute potential delta-V maneuvers. The Iris radio has operated for over 18 months with no significant issues. Initial Iris performance estimates have been accurate throughout the mission. BioSentinel continues to collect data on thermal conditions and to validate our performance models with real-world knowledge. We have received exemplary support from our DSN partners. Following the conclusion of the primary science mission, the Linear Energy Transfer (LET) Spectrometer continued to collect solar and galactic radiation data from its location in heliocentric orbit. The free space dataset offered by the BioSentinel LET is a valuable source of data for model validation and future mission planning. As the spacecraft travels farther from Earth it is poised to provide longitudinally distributed measurements of solar particle events during solar maximum. The lessons learned from BioSentinel suggest key areas to enhance performance. The ability to upload modified flight software can increase the stability of memory management. Additional heaters in the propulsion system design have already proven successful on the Starling mission. Streamlining mission operations can reduce costs, increase data return, and better utilize DSN time. Enhancements such as these will facilitate reliable, long-duration deep space exploration using the proven BioSentinel 6U CubeSat bus.

BioSentinel↗
NASA NTRS1999

Countermeasures to Neurobehavioral Deficits from Cumulative Partial Sleep Deprivation During Space Flight

This project is concerned with identifying ways to prevent neurobehavioral and physical deterioration due to inadequate sleep in astronauts during long-duration manned space flight. The performance capability of astronauts during extended-duration space flight depends heavily on achieving recovery through adequate sleep. Even with appropriate circadian alignment, sleep loss can erode fundamental elements of human performance capability including vigilance, cognitive speed and accuracy, working memory, reaction time, and physiological alertness. Adequate sleep is essential during manned space flight not only to ensure high levels of safe and effective human performance, but also as a basic regulatory biology critical to healthy human functioning. There is now extensive objective evidence that astronaut sleep is frequently restricted in space flight to averages between 4 hr and 6.5 hr/day. Chronic sleep restriction during manned space flight can occur in response to endogenous disturbances of sleep (motion sickness, stress, circadian rhythms), environmental disruptions of sleep (noise, temperature, light), and curtailment of sleep due to the work demands and other activities that accompany extended space flight operations. The mechanism through which this risk emerges is the development of cumulative homeostatic pressure for sleep across consecutive days of inadequate sleep. Research has shown that the physiological sleepiness and performance deficits engendered by sleep debt can progressively worsen (i.e., accumulate) over consecutive days of sleep restriction, and that sleep limited to levels commonly experienced by astronauts (i.e., 4 - 6 hr per night) for as little as 1 week, can result in increased lapses of attention, degradation of response times, deficits in complex problem solving, reduced learning, mood disturbance, disruption of essential neuroendocrine, metabolic, and neuroimmune responses, and in some vulnerable persons, the emergence of uncontrolled sleep attacks. The prevention of cumulative performance deficits and neuroendocrine disruption from sleep restriction during extended duration space flight involves finding the most effective ways to obtain sleep in order to maintain the high-level cognitive and physical performance functions required for manned space flight. There is currently a critical deficiency in knowledge of the effects of how variations in sleep duration and timing relate to the most efficient return of performance per unit time invested in sleep during long-duration missions, and how the nature of sleep physiology (i.e., sleep stages, sleep electroencephalographic [EEG] power spectral analyses) change as a function of sleep restriction and performance degradation. The primary aim of this project is to meet these critical deficiencies through utilization of a response surface experimental paradigm, testing in a dose-response manner, varying combinations of sleep duration and timing, for the purpose of establishing how to most effectively limit the cumulative adverse effects on human performance and physiology of chronic sleep restriction in space operations.

Dinges, David F.↗
NASA NTRS2009

Decomposition Algorithm for Global Reachability Analysis on a Time-Varying Graph with an Application to Planetary Exploration

Hot air (Montgolfiere) balloons represent a promising vehicle system for possible future exploration of planets and moons with thick atmospheres such as Venus and Titan. To go to a desired location, this vehicle can primarily use the horizontal wind that varies with altitude, with a small help of its own actuation. A main challenge is how to plan such trajectory in a highly nonlinear and time-varying wind field. This paper poses this trajectory planning as a graph search on the space-time grid and addresses its computational aspects. When capturing various time scales involved in the wind field over the duration of long exploration mission, the size of the graph becomes excessively large. We show that the adjacency matrix of the graph is block-triangular, and by exploiting this structure, we decompose the large planning problem into several smaller subproblems, whose memory requirement stays almost constant as the problem size grows. The approach is demonstrated on a global reachability analysis of a possible Titan mission scenario.

Dijkstra's algorithm↗
NASA NTRS1985

Computers in Aerospace Conference, 5th, Long Beach, CA, October 21-23, 1985, Technical Papers

Among the topics discussed are: access control models for a distributed CAIS-conforming system; a knowledge-based advisory system for casualty procedures; and automated interactive simulation modeling system. Consideration is also given to: reusable software concepts and software development methodologies; the electronic device aspects of neutral network memories; an expert system for automated satellite anomaly resolution; and the use of automatic programming techniques for fault-tolerant computing systems. Among additional topics discussed are: systems approaches to software fault tolerance; a Space Shuttle navigation validation system; and a vision-based road following system for an autonomous land vehicle.

Source record↗
NASA NTRS2003

Neural Development Under Conditions of Spaceflight

One of the key tasks the developing brain must learn is how to navigate within the environment. This skill depends on the brain's ability to establish memories of places and things in the environment so that it can form cognitive maps. Earth's gravity defines the plane of orientation of the spatial environment in which animals navigate, and cognitive maps are based on this plane of orientation. Given that experience during early development plays a key role in the development of other aspects of brain function, experience in a gravitational environment is likely to be essential for the proper organization of brain regions mediating learning and memory of spatial information. Since the hippocampus is the brain region responsible for cognitive mapping abilities, this study evaluated the development of hippocampal structure and function in rats that spent part of their early development in microgravity. Litters of male and female Sprague-Dawley rats were launched into space aboard the Space Shuttle Columbia on either postnatal day eight (P8) or 14 (P14) and remained in space for 16 days. Upon return to Earth, the rats were tested for their ability to remember spatial information and navigate using a variety of tests (the Morris water maze, a modified radial arm maze, and an open field apparatus). These rats were then tested physiologically to determine whether they exhibited normal synaptic plasticity in the hippocampus. In a separate group of rats (flight and controls), the hippocampus was analyzed using anatomical, molecular biological, and biochemical techniques immediately postlanding. There were remarkably few differences between the flight groups and their Earth-bound controls in either the navigation and spatial memory tasks or activity-induced synaptic plasticity. Microscopic and immunocytochemical analyses of the brain also did not reveal differences between flight animals and ground-based controls. These data suggest that, within the developmental window studied, microgravity has minimal long-term impact on cognitive mapping function and cellular substrates important for this function. Any differences due to development in microgravity were transient and returned to normal soon after return to Earth.

Kosik, Kenneth S.↗
NASA NTRS2005

Preliminary Analysis of the 30-m UltraBoom Flight Test

Future NASA missions require long, ultra-lightweight booms to enable solar sails, large sunshields, and other gossamer-type spacecraft structures. The space experiment discussed in this paper will flight validate the non-traditional ultra lightweight rigidizable, inflatable, isogrid structure utilizing graphite shape memory polymer (GR/SMP) called UltraBoom(TradeMark). The focus of this paper is the analysis of the 3-m ground test article. The primary objective of the mission is to show that a combination of ground testing and analysis can predict the on-orbit performance of an ultra lightweight boom that is scalable, predictable, and thermomechanically stable.

UltraBoom↗
NASA NTRS2001

Science Autonomy in Robotic Exploration

Historical mission operations have involved: (1) return of scientific data; (2) evaluation of these data by scientists; (3) recommendations for future mission activity by scientists; (4) commands for these transmitted to the craft; and (5) the activity being undertaken. This cycle is repeated throughout the mission with command opportunities once or twice per day. For a rover, this historical cycle is not amenable to rapid long range traverses or rapid response to any novel or unexpected situations. In addition to real-time response issues, imaging and/or spectroscopic devices can produce tremendous data volumes during a traverse. However, such data volumes can rapidly exceed on-board memory capabilities prior to the ability to transmit it to Earth. Additionally, the necessary communication band-widths are restrictive enough so that only a small portion of these data can actually be returned to Earth. Such scenarios suggest enabling some science decisions to be made on-board the robots. These decisions involve automating various aspects of scientific discovery instead of the electromechanical control, health, and navigation issues associated with robotic operations. The robot retains access to the full data fidelity obtained by its scientific sensors, and is in the best position to implement actions based upon these data. Such an approach would eventually enable the robot to alter observations and assure only the highest quality data is obtained for analysis. Additionally, the robot can begin to understand what is scientifically interesting and implement alternative observing sequences, because the observed data deviate from expectations based upon current theories/models of planetary processes. Such interesting data and/or conclusions can then be prioritized and selectively transmitted to Earth; reducing memory and communications demands. Results of Ames' current work in this area will be presented.

Roush, Ted L.↗
NASA NTRS2001

Robotic Exploration: The Role of Science Autonomy

Historical mission operations have involved: (1) return of scientific data; (2) evaluation of these data by scientists; (3) recommendations for future mission activity by scientists; (4) commands for these transmitted to the craft; and (5) the activity being, undertaken. This cycle is repeated throughout the mission with command opportunities once or twice per day. For a rover, this historical cycle is not amenable to rapid long range traverses or rapid response to any novel or unexpected situations. In addition to real-time response issues, imaging and/or spectroscopic devices can produce tremendous data volumes during a traverse. However, such data volumes can rapidly exceed on-board memory capabilities prior to the ability to transmit it to Earth. Additionally, the necessary communication band-widths are restrictive enough so that only a small portion of these data can actually be returned to Earth. Such scenarios suggest enabling some science decisions to be made on-board the robots. These decisions involve automating various aspects of scientific discovery instead of the electromechanical control, health, and navigation issues associated with robotic operations. The robot retains access to the full data fidelity obtained by its scientific sensors, and is in the best position to implement actions based upon these data. Such an approach would eventually enable the robot to alter observations and assure only the highest quality data is obtained for analysis. Additionally, the robot can begin to understand what is scientifically interesting and implement alternative observing sequences, because the observed data deviate from expectations based upon current theories/models of planetary processes. Such interesting data and/or conclusions can then be prioritized and selectively transmitted to Earth; reducing memory and communications demands. Results of Ames' current work in this area will be presented.

Roush, Ted L.↗
NASA NTRS2009

Got Mercury?

Many of the operational and payload lighting units used in various spacecraft contain elemental mercury. If these devices were damaged on-orbit, elemental mercury could be released into the cabin. Although there are plans to replace operational units with alternate light sources, such as LEDs, that do not contain mercury, mercury-containing lamps efficiently produce high quality illumination and may never be completely replaced on orbit. Therefore, exposure to elemental mercury during spaceflight will remain possible and represents a toxicological hazard. Elemental mercury is a liquid metal that vaporizes slowly at room temperature. However, it may be completely vaporized at the elevated operating temperatures of lamps. Although liquid mercury is not readily absorbed through the skin or digestive tract, mercury vapors are efficiently absorbed through the respiratory tract. Therefore, the amount of mercury in the vapor form must be estimated. For mercury releases from lamps that are not being operated, we utilized a study conducted by the New Jersey Department of Environmental Quality to calculate the amount of mercury vapor expected to form over a 2-week period. For longer missions and for mercury releases occurring when lamps are operating, we conservatively assumed complete volatilization of the available mercury. Because current spacecraft environmental control systems are unable to remove mercury vapors, both short-term and long-term exposures to mercury vapors are possible. Acute exposure to high concentrations of mercury vapors can cause irritation of the respiratory tract and behavioral symptoms, such as irritability and hyperactivity. Chronic exposure can result in damage to the nervous system (tremors, memory loss, insomnia, etc.) and kidneys (proteinurea). Therefore, the JSC Toxicology Group recommends that stringent safety controls and verifications (vibrational testing, etc.) be applied to any hardware that contains elemental mercury that could yield airborne mercury vapor concentrations greater than 0.1 mg/cu m in the total spacecraft atmosphere for exposures lasting 30 days or less or 0.01 mg/cu m mercury vapor for exposures lasting more than 30 days. We also encourage the use of alternative devices that do not contain mercury.

Meyers, Valerie E.↗
NASA NTRS2015

The Use of Field Programmable Gate Arrays (FPGA) in Small Satellite Communication Systems

This paper will describe the use of digital Field Programmable Gate Arrays (FPGA) to contribute to advancing the state-of-the-art in software defined radio (SDR) transponder design for the emerging SmallSat and CubeSat industry and to provide advances for NASA as described in the TAO5 Communication and Navigation Roadmap (Ref 4). The use of software defined radios (SDR) has been around for a long time. A typical implementation of the SDR is to use a processor and write software to implement all the functions of filtering, carrier recovery, error correction, framing etc. Even with modern high speed and low power digital signal processors, high speed memories, and efficient coding, the compute intensive nature of digital filters, error correcting and other algorithms is too much for modern processors to get efficient use of the available bandwidth to the ground. By using FPGAs, these compute intensive tasks can be done in parallel, pipelined fashion and more efficiently use every clock cycle to significantly increase throughput while maintaining low power. These methods will implement digital radios with significant data rates in the X and Ka bands. Using these state-of-the-art technologies, unprecedented uplink and downlink capabilities can be achieved in a 1/2 U sized telemetry system. Additionally, modern FPGAs have embedded processing systems, such as ARM cores, integrated inside the FPGA allowing mundane tasks such as parameter commanding to occur easily and flexibly. Potential partners include other NASA centers, industry and the DOD. These assets are associated with small satellite demonstration flights, LEO and deep space applications. MSFC currently has an SDR transponder test-bed using Hardware-in-the-Loop techniques to evaluate and improve SDR technologies.

Varnavas, Kosta↗
NASA NTRS1997

HARP: A Dynamic Inertial Spectral Partitioner

Partitioning unstructured graphs is central to the parallel solution of computational science and engineering problems. Spectral partitioners, such recursive spectral bisection (RSB), have proven effecfive in generating high-quality partitions of realistically-sized meshes. The major problem which hindered their wide-spread use was their long execution times. This paper presents a new inertial spectral partitioner, called HARP. The main objective of the proposed approach is to quickly partition the meshes at runtime in a manner that works efficiently for real applications in the context of distributed-memory machines. The underlying principle of HARP is to find the eigenvectors of the unpartitioned vertices and then project them onto the eigerivectors of the original mesh. Results for various meshes ranging in size from 1000 to 100,000 vertices indicate that HARP can indeed partition meshes rapidly at runtime. Experimental results show that our largest mesh can be partitioned sequentially in only a few seconds on an SP2 which is several times faster than other spectral partitioners while maintaining the solution quality of the proven RSB method. A parallel WI version of HARP has also been implemented on IBM SP2 and Cray T3E. Parallel HARP, running on 64 processors SP2 and T3E, can partition a mesh containing more than 100,000 vertices into 64 subgrids in about half a second. These results indicate that graph partitioning can now be truly embedded in dynamically-changing real-world applications.

Simon, Horst D.↗
NASA NTRS2002

Predictability Associated with Land Surface Moisture States: Studies with the NSIPP System

Hydrologists have long speculated that soil moisture information can be used to increase skill in monthly to seasonal forecast systems. For this to be true, though, three conditions must be satisfied: (1) an imposed initial soil moisture anomaly in the forecast system must have some memory, so that it persists into the forecast period; (2) the modeled atmosphere must respond in a predictable way to the persisted anomaly; and (3) the forecast model must correctly represent both the soil moisture memory and the atmospheric response as they occur in nature. In this short paper, we review some recent work at NSIPP (NASA Seasonal-to-Interannual Prediction Project) that addresses all three conditions.

Koster, R. D.↗
NASA NTRS2005

Impact of Device Scaling on Deep Sub-micron Transistor Reliability: A Study of Reliability Trends using SRAM

As microelectronics are scaled in to the deep sub-micron regime, users of advanced technology CMOS, particularly in high-reliability applications, should reassess how scaling effects impact long-term reliability. An experimental based reliability study of industrial grade SRAMs, consisting of three different technology nodes, is proposed to substantiate current acceleration models for temperature and voltage life-stress relationships. This reliability study utilizes step-stress techniques to evaluate memory technologies (0.25mum, 0.15mum, and 0.13mum) embedded in many of today's high-reliability space/aerospace applications. Two acceleration modeling approaches are presented to relate experimental FIT calculations to Mfr's qualification data.

CMOS integrated circuits↗
NASA NTRS1983

Variation in radical decay rates in epoxy as a function of crosslink density

A study was made of the behavior of radicals generated by Co-60 gamma radiation in the epoxy system tetraglycidyl-4,4'-diaminodiphenyl methane (TGDDM) cured with 4,4'-diaminodiphenyl sulfone (DDS). The molar ratio of TGDDM to DDS was varied in the epoxy samples, and they were prepared under the same curing conditions to obtain various extents of crosslinking. ESR spectrometry data suggest that the rate of decay of radicals is related to inhomogeneities in the resin, with radicals in the highly crosslinked regions having long decay times. The inhomogeneities are thought to be due to statistical variation associated with the complex crosslinking reactions or to difficulties in mixing the reactants.

Kent, G. M.↗
NASA NTRS1999

Fast Quantum Algorithm for Predicting Descriptive Statistics of Stochastic Processes

Stochastic processes are used as a modeling tool in several sub-fields of physics, biology, and finance. Analytic understanding of the long term behavior of such processes is only tractable for very simple types of stochastic processes such as Markovian processes. However, in real world applications more complex stochastic processes often arise. In physics, the complicating factor might be nonlinearities; in biology it might be memory effects; and in finance is might be the non-random intentional behavior of participants in a market. In the absence of analytic insight, one is forced to understand these more complex stochastic processes via numerical simulation techniques. In this paper we present a quantum algorithm for performing such simulations. In particular, we show how a quantum algorithm can predict arbitrary descriptive statistics (moments) of N-step stochastic processes in just O(square root of N) time. That is, the quantum complexity is the square root of the classical complexity for performing such simulations. This is a significant speedup in comparison to the current state of the art.

Williams Colin P.↗