Search NASA⌕ Search

SEARCH · Search NASA

Results for “sequential dependencies”

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.

243 records · Page 14
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Effects of 5-ion 6-beam sequential irradiation in the presence and absence of hindlimb or control hindlimb unloading on behavioral performances and plasma metabolic pathways of Fischer 344 rats

Introduction Effects and interactions between different spaceflight stressors are expected to be experienced by crew on missions when exposed to microgravity and galactic cosmic rays (GCRs). One of the limitations of previous studies on simulated weightlessness using hindlimb unloading (HU) is that a control HU condition was not included. Methods We characterized the behavioral performance of male Fischer rats 2 months after sham or total body irradiation with a simplified 5-ion 6-mixed-beam exposure representative of GCRs in the absence or presence of HU. Six months later, the plasma, hippocampus, and cortex were processed to determine whether the behavioral effects were associated with long-term alterations in the metabolic pathways. Results In the open field without and with objects, interactions were observed for radiation × HU. In the plasma of animals that were not under the HU or control HU condition, the riboflavin metabolic pathway was affected most for sham irradiation vs. 0.75 Gy exposure. Analysis of the effects of control HU on plasma in the sham-irradiated animals showed that the alanine, aspartate, glutamate, riboflavin, and glutamine metabolisms as well as arginine biosynthesis were affected. The effects of control HU on the hippocampus in the sham-irradiated animals showed that the phenylalanine, tyrosine, and tryptophan pathway was affected the most. Analysis of effects of 0.75 Gy irradiation on the cortex of control HU animals showed that the glutamine and glutamate metabolic pathway was affected similar to the hippocampus, while the riboflavin pathway was affected in animals that were not under the control HU condition. The effects of control HU on the cortex in sham-irradiated animals showed that the riboflavin metabolic pathway was affected. Animals receiving 0.75 Gy of irradiation showed impaired glutamine and glutamate metabolic pathway, whereas animals receiving 1.5 Gy of irradiation showed impaired riboflavin metabolic pathways. A total of 21 plasma metabolites were correlated with the behavioral measures, indicating that plasma and brain biomarkers associated with behavioral performance are dependent on the environmental conditions experienced. Discussion Phenylalanine, tyrosine, and tryptophan metabolism as well as phenylalanine and tryptophan as plasma metabolites are biomarkers that can be considered for spaceflight as they were revealed in both Fischer and WAG/Rij rats exposed to simGCRsim and/or HU.

Physiology↗
NASA NTRS2005

Nanoactuators Based on Electrostatic Forces on Dielectrics

Nanoactuators of a proposed type would exploit the forces exerted by electric fields on dielectric materials. As used here, "nanoactuators" includes motors, manipulators, and other active mechanisms that have dimensions of the order of nanometers and/or are designed to manipulate objects that have dimensions of the order of nanometers. The underlying physical principle can be described most simply in terms of the example of a square parallel-plate capacitor in which a square dielectric plate is inserted part way into the gap between the electrode plates (see Figure Typically, the force is small from our macroscopic human perspective. The above equation shows that the force depends on the ratio between the capacitor dimensions but does not depend on the size. In other words, the force remains the same if the capacitor and the dielectric slab are shrunk to nanometer dimensions. At the same time, the masses of all components are proportional to third power of their linear dimensions. Therefore the force-to-mass ratio (and, consequently, the acceleration that can be imparted to the dielectric slab) is much larger at the nanoscale than at the macroscopic scale. The proposed actuators would exploit this effect. The upper part of Figure 2 depicts a simple linear actuator based on a parallel- plate capacitor similar to Figure 1. In this case, the upper electrode plate would be split into two parts (A and B) and the dielectric slab would be slightly longer than plate A or B. The actuator would be operated in a cycle. During the first half cycle, plate B would be grounded to the lower plate and plate A would be charged to a potential, V, with respect to the lower plate, causing the dielectric slab to be pulled under plate A. During the second half cycle, plate A would be grounded and plate B would be charged to potential V, causing the dielectric slab to be pulled under plate B. The back-and-forth motion caused by alternation of the voltages on plates A and B could be used to drive a nanopump, for example. A rotary motor, shown in the middle part of Figure 2, could include a dielectric rotor sandwiched between a top and a bottom plate containing multiple electrodes arranged symmetrically in a circle. Voltages would be applied sequentially to electrode pairs 1 and 1a, then 2 and 2a, then 3 and 3a in order to attract the dielectric rotor to sequential positions between the electrode pairs.

Wang, Yu↗
NASA NTRS2003

Unified Models of Turbulence and Nonlinear Wave Evolution in the Extended Solar Corona and Solar Wind

The PI (Cranmer) and Co-I (A. van Ballegooijen) made significant progress toward the goal of building a "unified model" of the dominant physical processes responsible for the acceleration of the solar wind. The approach outlined in the original proposal comprised two complementary pieces: (1) to further investigate individual physical processes under realistic coronal and solar wind conditions, and (2) to extract the dominant physical effects from simulations and apply them to a one-dimensional and time-independent model of plasma heating and acceleration. The accomplishments in the report period are thus divided into these two categories: 1a. Focused Study of Kinetic MHD Turbulence. We have developed a model of magnetohydrodynamic (MHD) turbulence in the extended solar corona that contains the effects of collisionless dissipation and anisotropic particle heating. A turbulent cascade is one possible way of generating small-scale fluctuations (easy to dissipate/heat) from a pre-existing population of low-frequency Alfven waves (difficult to dissipate/heat). We modeled the cascade as a combination of advection and diffusion in wavenumber space. The dominant spectral transfer occurs in the direction perpendicular to the background magnetic field. As expected from earlier models, this leads to a highly anisotropic fluctuation spectrum with a rapidly decaying tail in the parallel wavenumber direction. The wave power that decays to high enough frequencies to become ion cyclotron resonant depends on the relative strengths of advection and diffusion in the cascade. For the most realistic values of these parameters, though, there is insufficient power to heat protons and heavy ions. The dominant oblique waves undergo Landau damping, which implies strong parallel electron heating. We thus investigated the nonlinear evolution of the electron velocity distributions (VDFs) into parallel beams and discrete phase-space holes (similar to those seen in the terrestrial magnetosphere) which are an alternate means of heating protons via stochastic interactions similar to particle-particle collisions. 1b. Focused Study of the Multi-Mode Detailed Balance Formalism. The PI began to explore the feasibility of using the "weak turbulence," or detailed-balance theory of Tsytovich, Melrose, and others to encompass the relevant physics of the solar wind. This study did not go far, however, because if the "strong" MHD turbulence discussed above is a dominant player in the wind's acceleration region, this formalism is inherently not applicable to the corona. We will continue to study the various published approaches to the weak turbulence formalism, especially with an eye on ways to parameterize nonlinear wave reflection rates. 2. Building the Unified Model Code Architecture. We have begun developing the computational model of a time-steady open flux tube in the extended corona. The model will be "unified" in the sense that it will include (simultaneously for the first time) as many of the various proposed physical processes as possible, all on equal footing. To retain this generality, we have formulated the problem in two interconnected parts: a completely kinetic model for the particles, using the Monte Carlo approach, and a finite-difference approach for the self-consistent fluctuation spectra. The two codes are run sequentially and iteratively until complete consistency is achieved. The current version of the Monte Carlo code incorporates gravity, the zero-current electric field, magnetic mirroring, and collisions. The fluctuation code incorporates WKJ3 wave action conservation and the cascade/dissipation processes discussed above. The codes are being run for various test problems with known solutions. Planned additions to the codes include prescriptions for nonlinear wave steepening, kinetic velocity-space diffusion, and multi-mode coupling (including reflection and refraction).

Cranmer, Steven R.↗
NASA NTRS2011

Cytometer on a Chip

A cytometer now under development exploits spatial sorting of sampled cells on a microarray chip followed by use of grating-coupled surface-plasmon-resonance imaging (GCSPRI) to detect the sorted cells. This cytometer on a chip is a prototype of contemplated future miniature cytometers that would be suitable for rapidly identifying pathogens and other cells of interest in both field and laboratory applications and that would be attractive as alternatives to conventional flow cytometers. The basic principle of operation of a conventional flow cytometer requires fluorescent labeling of sampled cells, stringent optical alignment of a laser beam with a narrow orifice, and flow of the cells through the orifice, which is subject to clogging. In contrast, the principle of operation of the present cytometer on a chip does not require fluorescent labeling of cells, stringent optical alignment, or flow through a narrow orifice. The basic principle of operation of the cytometer on a chip also reduces the complexity, mass, and power of the associated laser and detection systems, relative to those needed in conventional flow cytometry. Instead of making cells flow in single file through a narrow flow orifice for sequential interrogation as in conventional flow cytometry, a liquid containing suspended sampled cells is made to flow over the front surface of a microarray chip on which there are many capture spots. Each capture spot is coated with a thin (.50-nm) layer of gold that is, in turn, coated with antibodies that bind to cell-surface molecules characteristic of the cell species of interest. The multiplicity of capture spots makes it possible to perform rapid, massively parallel analysis of a large cell population. The binding of cells to each capture spot gives rise to a minute change in the index of refraction at the surface of the chip. This change in the index of refraction is what is sensed in GCSPRI, as described briefly below. The identities of the various species in a sample of cells is spatially encoded in the chip by the pattern of capture spots. The number of cells of a particular species is determined from the magnitude of the GCSPRI signal from that spot. GCSPRI as used here can be summarized as follows: The cytometer chip is fabricated with a diffraction grating on its front surface. The chip is illuminated with a light emitting diode (LED) from the front. By proper choice of grating parameters and of the wavelength and the angle of incidence of a laser beam, laser light can be made to be coupled into an electromagnetic mode that resonates with surface plasmons and thus couples light into surface plasmons. Coupling of light into a surface plasmon at a given location reduces the amount of incident light reflected from that location. A change in the index of refraction at the surface of a capture spot gives rise to a change in the resonance condition. Depending on the specific design, the change in the index of refraction could manifest itself as a brightening or darkening, a change in the wavelength needed to excite the plasmon at a given angle of incidence, or a change in the angle of incidence needed to excite the plasmon at a given wavelength. Whereas a multiwavelength laser system with multichannel detection would be needed to detect multiple species in conventional flow cytometry, it suffices to use an LED and a single detector channel in the GCSPRI approach: this contributes significantly to reductions in cost, complexity, size, mass, and power. GCSPRI cytometer chips could be made of plastic and could be mass-produced cheaply by use of molding and other methods adopted from the manufacture of digital video disks. These methods are amenable to a high degree of miniaturization: such additional features as fluidic channels, reaction chambers, and fluid-coupling ports could readily be incorporated into the chips, without incurring substantial additional costs.

Fernandez, Salvador M.↗
NASA NTRS2011

Cytometer on a Chip

A cytometer now under development exploits spatial sorting of sampled cells on a microarray chip followed by use of grating-coupled surface-plasmon-resonance imaging (GCSPRI) to detect the sorted cells. This cytometer on a chip is a prototype of contemplated future miniature cytometers that would be suitable for rapidly identifying pathogens and other cells of interest in both field and laboratory applications and that would be attractive as alternatives to conventional flow cytometers. The basic principle of operation of a conventional flow cytometer requires fluorescent labeling of sampled cells, stringent optical alignment of a laser beam with a narrow orifice, and flow of the cells through the orifice, which is subject to clogging. In contrast, the principle of operation of the present cytometer on a chip does not require fluorescent labeling of cells, stringent optical alignment, or flow through a narrow orifice. The basic principle of operation of the cytometer on a chip also reduces the complexity, mass, and power of the associated laser and detection systems, relative to those needed in conventional flow cytometry. Instead of making cells flow in single file through a narrow flow orifice for sequential interrogation as in conventional flow cytometry, a liquid containing suspended sampled cells is made to flow over the front surface of a microarray chip on which there are many capture spots. Each capture spot is coated with a thin (approximately 50-nm) layer of gold that is, in turn, coated with antibodies that bind to cell-surface molecules characteristic of one the cell species of interest. The multiplicity of capture spots makes it possible to perform rapid, massively parallel analysis of a large cell population. The binding of cells to each capture spot gives rise to a minute change in the index of refraction at the surface of the chip. This change in the index of refraction is what is sensed in GCSPRI, as described briefly below. The identities of the various species in a sample of cells is spatially encoded in the chip by the pattern of capture spots. The number of cells of a particular species is determined from the magnitude of the GCSPRI signal from that spot. GCSPRI as used here can be summarized as follows: The cytometer chip is fabricated with a diffraction grating on its front surface. The chip is illuminated with a light emitting diode (LED) from the front. By proper choice of grating parameters and of the wavelength and the angle of incidence of a laser beam, laser light can be made to be coupled into an electromagnetic mode that resonates with surface plasmons and thus couples light into surface plasmons. Coupling of light into a surface plasmon at a given location reduces the amount of incident light reflected from that location. A change in the index of refraction at the surface of a capture spot gives rise to a change in the resonance condition. Depending on the specific design, the change in the index of refraction could manifest itself as a brightening or darkening, a change in the wavelength needed to excite the plasmon at a given angle of incidence, or a change in the angle of incidence needed to excite the plasmon at a given wavelength. Whereas a multiwavelength laser system with multichannel detection would be needed to detect multiple species in conventional flow cytometry, it suffices to use an LED and a single detector channel in the GCSPRI approach: this contributes significantly to reductions in cost, complexity, size, mass, and power. GCSPRI cytometer chips could be made of plastic and could be mass-produced cheaply by use of molding and other methods adopted from the manufacture of digital video disks. These methods are amenable to a high degree of miniaturization: such additional features as fluidic channels, reaction chambers, and fluid-coupling ports could readily be incorporated into the chips, without incurring substantial additional costs.

Fernandez, Salvador M.↗
NASA NTRS2002

Facility and Methods Developed for Simulated Space Vacuum Ultraviolet Exposure Testing of Polymer Films

Vacuum ultraviolet (VUV) radiation of wavelengths between 115 and 200 nm produced by the Sun in the space environment can degrade polymer films, producing changes in their optical, mechanical, and chemical properties. These effects are particularly important for thin polymer films being considered for ultralightweight space structures, because, for most polymers, VUV radiation is absorbed in a thin surface layer. The NASA Glenn Research Center has developed facilities and methods for long-term ground testing of polymer films to evaluate space environmental VUV radiation effects. VUV exposure can also be used as part of combined or sequential simulated space environmental exposures to determine combined damaging effects with other aspects of the space environment, which include solar ultraviolet radiation, solar flare x-rays, electron and proton radiation, atomic oxygen (for low-Earth-orbit missions), and temperature effects. Because the wavelength sensitivity of VUV damage is not well known for most materials, Glenn's VUV facility uses a broad-spectrum deuterium lamp with a magnesium fluoride window that provides output between 115 and 200 nm. Deuterium lamps of this type were characterized by the National Institute of Standards and Technology and through measurements at Glenn. Spectral irradiance measurements show that from approximately 115 to 160 nm, deuterium lamp irradiance can be many times that of air mass zero solar irradiance, and as wavelength increases above approximately 160 nm, deuterium lamp irradiance decreases in comparison to the Sun. The facility is a cryopumped vacuum chamber that achieves a system pressure of approximately 5310(exp -6) torr. It contains four individual VUV-exposure compartments in vacuum, separated by water-cooled copper walls to minimize VUV radiation and any sample contamination cross interactions between compartments. Each VUV-exposure compartment contains a VUV deuterium lamp, a motor-controlled sample stage coupled with a moveable cesium iodide VUV phototube, and two thermocouples for temperature measurement. The vacuum chamber and exterior equipment is shown. Each VUV lamp is located at the top of the chamber with its projection-tube pushed through an O-ring compression fitting. The lamp assemblies are located on ports that can be isolated from the rest of the vacuum chamber, permitting maintenance or replacement of the lamps without breaking vacuum in the main chamber where the samples are located. A view of two of the four interior VUV-exposure compartments, including the moveable sample stages and detector holders is also shown. Glenn is using this facility to support testing of Next Generation Space Telescope sunshield materials that is being led by the NASA Goddard Space Flight Center and to develop an understanding of the wavelength, intensity, and temperature dependence of VUV-induced polymer degradation.

Dever, Joyce A.↗
DOE OSTI2026

Vapor-Phase Heteroatom Incorporation into Semiconductive Molecular-Scale Magic-Size Clusters

Magic-size metal chalcogenide clusters of molecular size exhibit well-defined structure and unique properties that might be further expanded with the incorporation or substitution of a second metal. Here, we report the postmodification of magic-size clusters synthesized in polymer thin films via exposure to volatile metal organic precursors commonly utilized for atomic layer deposition. Exposure of In 6 S 6 (CH 3 ) 6 clusters to dimethylcadmium results in exposure-dependent incorporation of Cd 2+ , which extends the optical absorbance of the clusters into the visible spectrum. The mechanism for Cd 2+ incorporation is consistent with Cd 2+ replacement of In 3+ that includes methyl ligand removal to maintain charge neutrality. Even for clusters embedded in a polymer matrix, ligand loss leads to sintering and transformation into larger nanoscale aggregates with zinc blende-type structure. The extent of Cd incorporation can be modulated by varying the process temperature and volatile metal organic exposure as well as the choice of volatile metal organic precursor. A computational thermodynamic analysis of heteroatom incorporation for several metals and chemistries reveals that both the stability of the substituted cluster and the favorability of reaction byproducts jointly determine the favorability of cation incorporation.

atomic layer deposition↗
NASA NTRS2013

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗
DOE OSTI2025

Energy efficiency in industrial drying: A hybrid ultrasonic system with a novel dynamic optimization framework

Drying processes are among the most energy-consuming operations in industrial and manufacturing settings, demanding strategic selection, design, and control for enhanced efficiency. Advancing drying technologies is critical for improving sustainability, lowering energy use, reducing carbon emissions, and minimizing waste. This study explores two innovative strategies aimed at transforming drying processes into sustainable, low-carbon systems by reducing energy consumption, minimizing waste, and maintaining a strong emphasis on preserving product quality. The first strategy showcases a sub-pilot scale hybrid ultrasonic-convective dryer for agrifood products. This technology, powered by electricity (process electrification), integrates non-thermal ultrasonic dehydration with convective heating and is presented as a sustainable and energy-efficient solution that enhances eco-friendly practices. The second strategy involves introducing and implementing a novel, multiobjective, mixed integer dynamic optimization technique to determine the optimal time-dependent process parameter values for the drying operation. This optimization technique yields operating conditions that are piecewise constant in time aiming to maximize the energy efficiency of the hybrid ultrasonic-convective dryer while ensuring strict adherence to product quality constraints. By adopting the hybrid ultrasonic-convective dryer, a notable 35% improvement in energy efficiency was achieved compared to conventional hot-air drying systems for drying apple slices. The proposed optimization framework further enhanced energy efficiency by nearly 14% over the most efficient process on the identical testbed, under static operating conditions. The reported enhancements have been experimentally validated. Regarding drying time (thereby improving production yield), the developed hybrid ultrasonic-convective dryer demonstrates as much as a 41% reduction in total processing time, which is further optimized by an additional 10% using our proposed optimization framework. The research outcomes have profound implications for the design and operation of drying systems, encompassing crucial aspects such as process electrification, cost-effectiveness, energy savings, time efficiency, product yield, product quality, and process automation.

Dynamic optimization↗