SEARCH · Search NASA
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.
Information on the development of solar heating and cooling systems is presented. The major emphasis is placed on program organization, system size definition, site identification, system approaches, heat pump and equipment design, collector procurement, and other preliminary design activities.
The MicroVAX operates NASTRAN so well that the only detectable difference in its operation compared to an 11/780 VAX is in the execution time. On the modest installation described here, the engineer has all of the tools he needs to do an excellent job of analysis. System configuration decisions, system sizing, preparation of the system disk, definition of user quotas, installation, monitoring of system errors, and operation policies are discussed.
Near-IR images of a large sample of interacting galaxies selected from the Atlas of Peculiar Galaxies by Arp (1966) have been obtained. Approximately 180 systems have been imaged in at least two, and usually three of the standard JHK bands. The survey and the observing and data reduction procedures, are described, and contour plots and aperture photometry are presented. Future papers will analyze the imaging data by groupings based on interaction type, stage, and progenitors. The goals of the analysis are to explore the relationships between galaxy interactions, activity, and morphology by studying the structure of the near-IR luminosity distribution, where extinction effects are much reduced relative to the optical and the major stellar mass component of galaxies dominates the observed light.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
This work describes the scaling and design attributes of Nested Hall Thrusters (NHT) with extremely large operational envelopes, including a wide range of throttleability in power and specific impulse at high efficiency (>50%). NHTs have the potential to provide the game changing performance, powerprocessing capabilities, and cost effectiveness required to enable missions that cannot otherwise be accomplished. NHTs were first identified in the electric propulsion community as a path to 100- kW class thrusters for human missions. This study aimed to identify the performance capabilities NHTs can provide for NASA robotic and human missions, with an emphasis on 10-kW class thrusters well-suited for robotic exploration. A key outcome of this work has been the identification of NHTs as nearly constant-efficiency devices over large power throttling ratios, especially in direct-drive power systems. NHT systems sized for robotic solar system exploration are predicted to be capable of high-efficiency operation over nearly their entire power throttling range. A traditional Annular Hall Thruster (AHT) consists of a single annular discharge chamber where the propellant is ionized and accelerated. In an NHT, multiple annular channels are concentrically stacked. The channels can be operated in unison or individually depending on the available power or required performance. When throttling an AHT, performance must be sacrificed since a single channel cannot satisfy the diverse design attributes needed to maintain high thrust efficiency. NHTs can satisfy these requirements by varying which channels are operated and thereby offer significant benefits in terms of thruster performance, especially under deep power throttling conditions where the efficiency of an AHT suffers since a single channel can only operate efficiently (>50%) over a narrow power throttling ratio (3:1). Designs for 10-kW class NHTs were developed and compared with AHT systems. Power processing systems were considered using either traditional Power Processing Units (PPU) or Direct Drive Units (DDU). In a PPU-based system, power from the solar arrays is transformed from the low voltage of the arrays to the high voltage needed by the thruster. In a DDU-based system, power from the solar arrays is fed to the thruster without conversion. DDU-based systems are attractive for their simplicity since they eliminate the most complex and expensive part of the propulsion system. The results point to the strong potential of NHTs operating with either PPUs or DDUs to benefit robotic and human missions through their unprecedented power and specific impulse throttling capabilities. NHTs coupled to traditional PPUs are predicted to offer high-efficiency (>50%) power throttling ratios 320% greater than present capabilities, while NHTs with direct-drive power systems (DDU) could exceed existing capabilities by 340%. Because the NHT-DDU approach is implicitly low-cost, NHT-DDU technology has the potential to radically reduce the cost of SEP-enabled NASA missions while simultaneously enabling unprecedented performance capability.
Explore the source record for details and available documents.
Roots are vital to plant performance because they acquire resources from the soil and provide anchorage. However, it remains difficult to assess root system size and distribution because roots are inaccessible in the soil. Existing methods to phenotype entire root systems range from slow, often destructive, methods applied to relatively small numbers of plants in the field to rapid methods that can be applied to large numbers of plants in controlled environment conditions. Much has been learned recently by extensive sampling of the root crown portion of field-grown plants. But, information on large-scale genetic and environmental variation in the size and distribution of root systems in the field remains a key knowledge gap. Minirhizotrons are the only established, non-destructive technology that can address this need in a standard field trial. Prior experiments have used only modest numbers of minirhizotrons, which has limited testing to small numbers of genotypes or environmental conditions. This study addressed the need for methods to install and collect images from thousands of minirhizotrons and thereby help break the phenotyping bottleneck in the field. Over three growing seasons, methods were developed and refined to install and collect images from up to 3038 minirhizotrons per experiment. Modifications were made to four tractors and hydraulic soil corers mounted to them. High quality installation was achieved at an average rate of up to 84.4 minirhizotron tubes per tractor per day. A set of four commercially available minirhizotron camera systems were each transported by wheelbarrow to allow collection of images of mature maize root systems at an average rate of up to 65.3 tubes per day per camera. This resulted in over 300,000 images being collected in as little as 11 days for a single experiment. The scale of minirhizotron installation was increased by two orders of magnitude by simultaneously using four tractor-mounted, hydraulic soil corers with modifications to ensure high quality, rapid operation. Image collection can be achieved at the corresponding scale using commercially available minirhizotron camera systems. Along with recent advances in image analysis, these advances will allow use of minirhizotrons at unprecedented scale to address key knowledge gaps regarding genetic and environmental effects on root system size and distribution in the field.
This study assesses the feasibility of solar installations at various sites in Winston-Salem, focusing on factors such as solar resource availability, electricity costs, and rooftop area for photovoltaic systems. The analysis begins by estimating daily energy requirements based on annual electricity use, followed by adjusting for seasonal and operational fluctuations. Using regional solar data from the National Solar Radiation Database (NSRDB), we calculate average peak sun hours to determine effective system sizing. A parametric approach using the System Advisor Model (SAM) refines this sizing process, incorporating a safety margin of 1.2 to address demand peaks. Each PV system is designed to fit available rooftop space, and a coverage threshold of 70% is identified as optimal for maximizing cost savings and sustainability. This threshold allows installations to meet substantial energy demands, supporting energy resilience and enhancing economic returns.
As world emissions are further scrutinized to identify areas for improvement, aviation s contribution to the problem can no longer be ignored. Previous studies for zero or near-zero emissions aircraft suggest aircraft and propulsion system sizes that would perform propulsion system and subsystems layout and propellant tankage analyses to verify the weight-scaling relationships. These efforts could be used to identify and guide subsequent work on systems and subsystems to achieve viable aircraft system emissions goals. Previous work quickly focused these efforts on propulsion systems for 70- and 100-passenger aircraft. Propulsion systems modeled included hydrogen-fueled gas turbines and fuel cells; some preliminary estimates combined these two systems. Hydrogen gas-turbine engines, with advanced combustor technology, could realize significant reductions in nitrogen emissions. Hydrogen fuel cell propulsion systems were further laid out, and more detailed analysis identified systems needed and weight goals for a viable overall system weight. Results show significant, necessary reductions in overall weight, predominantly on the fuel cell stack, and power management and distribution subsystems to achieve reasonable overall aircraft sizes and weights. Preliminary conceptual analyses for a combination of gas-turbine and fuel cell systems were also performed, and further studies were recommended. Using gas-turbine engines combined with fuel cell systems can reduce the fuel cell propulsion system weight, but at higher fuel usage than using the fuel cell only.
Explore the source record for details and available documents.
The confinement properties of the diffusive running sandpile are characterized by tracking the motion of a population of marked grains of sand. It is found that, as the relative strength of the avalanching to the diffusive transport channel is varied, a point is reached at which the particle global confinement time and the probability density functions of the jump-sizes and waiting-times of the tracked grains experience a sudden change, thus revealing a dynamical transition, that is consistent with previous studies (Newman DE et al., Phys Rev Lett 2002;88(20):204304). Across this transition, the sandpile moves from a regime characterized by self-similarity and memory, where avalanches of all possible sizes dominate transport across the system, to another regime where transport is taken over by near system-size, quasi-periodic avalanches. Values for the fractional transport exponents that quantify effective transport across the sandpile prior to the transition are also obtained.
Time-dependent density functional theory has emerged as a method of choice for calculations of spectra and response properties in physics, chemistry, and biology, with its system-size scaling enabling computations on systems much larger than otherwise possible. While increasingly complex and interesting systems have been successfully tackled with relatively simple functional approximations, there has also been increasing awareness that these functionals tend to fail for certain classes of approximations. Here I review the fundamental challenges the approximate functionals have in describing double excitations and charge-transfer excitations, which are two of the most common impediments for the theory to be applied in a black-box way. At the same time, I describe the progress made in recent decades in developing functional approximations that give useful predictions for these excitations.
Both the MER and the Mars Pathfinder rovers operated on Mars in an energy-limited mode, since the solar panels generated power during daylight hours only. At other times the rovers relied on power stored in batteries. In comparison, Radioisotope Power Systems (RPS) offer a power-enabled paradigm, where power can be generated for long mission durations (measured in years), independently from the Sun, and on a continuous basis. A study was performed at PL to assess the feasibility of a small-RPS enabled MER-class rover concept and any associated advantages of its mission on Mars. The rover concept relied on design heritage from MER with two significant changes. First, the solar panels were replaced with two single GPHS module based small-RPSs. Second, the Mossbauer spectroscope was substituted with a laser Raman spectroscope, in order to move towards MEPAG defined astrobiology driven science goals. The highest power requirements were contributed to mobility and telecommunication type operating modes, hence influencing power system sizing. The resulting hybrid power system included two small-RPSs and two batteries. Each small-RPS was assumed to generate 50We of power or 62OWh/sol of energy (BOL), comparable to that of MER. The two 8Ah batteries were considered available during peak power usage. Mission architecture, power trades, science instruments, data, communication, thermal and radiation environments, mobility, mass issues were also addressed. The study demonstrated that a new set of RPS-enabled rover missions could be envisioned for Mars exploration within the next decade, targeting astrobiology oriented science objectives, while powered by 2 to 4 GPHS modules.
Buildings account for a substantial portion of carbon emissions, primarily due to the widespread use of fossil fuels in heating systems. Decarbonization of heating is essential to meet climate targets and reduce the environmental impact of buildings. Heat pumps are capable of leveraging renewable energy sources and can provide heating and cooling in an energy-efficient manner. By leveraging heat pump technology, buildings can significantly reduce their carbon footprint, minimize energy consumption, and decrease their reliance on fossil fuels. The design and construction community plays a pivotal role in facilitating the transition to heat pump systems for heating and cooling. However, this transition requires specialized knowledge and expertise. This resource was developed for architects, engineers, and contractors in response to an industry need for a comprehensive technical resource that guides them through the intricacies of heat pump system design, installation, and maintenance. This resource provides detailed information on system sizing, selection of appropriate heat systems, heat sources, and integration with existing building systems. Moreover, it emphasizes best practices for ensuring operational efficiency, system longevity, and reliability. The development of this recourse was a collaborative effort between NREL/DOE Better Buildings Design and Construction Allies and ASHRAE Task Force for Building Decarbonization. This resource is composed of two complimentary portions that will be completed and released on separate time frames. The first portion will be completed and released in 2023, while the second portion will be released in 2024.
Here we numerically study both the avalanche instability and many-body resonances in strongly disordered spin chains exhibiting many-body localization (MBL). Finite-size systems behave like MBL within the MBL regimes, which we divide into the asymptotic MBL phase and the finite-size MBL regime; the latter regime is, however, thermal in the limit of large systems and long times. In both Floquet and Hamiltonian models, we identify some landmarks within the MBL regimes. Our first landmark is an estimate of where the MBL phase becomes unstable to avalanches, obtained by measuring the slowest relaxation rate of a finite chain coupled to an infinite bath at one end. Our estimates indicate that the actual MBL-to-thermal phase transition occurs much deeper in the MBL regimes than has been suggested by most previous studies. Our other landmarks involve systemwide many-body resonances: We find that the effective matrix elements producing eigenstates with systemwide many-body resonances are enormously broadly distributed. This broad distribution means that the onset of such resonances in typical samples occurs quite deep in the MBL regimes, and the first such resonances typically involve rare pairs of eigenstates that are farther apart in energy than the minimum gap. Thus we find that the resonance properties define two landmarks that divide the MBL regimes of finite-size systems into three subregimes: (i) at strongest randomness, typical samples do not have any eigenstates that are involved in systemwide many-body resonances; (ii) there is a substantial intermediate subregime where typical samples do have such resonances but the pair of eigenstates with the minimum spectral gap does not, so the size of the minimum gap agrees with expectations from Poisson statistics; and (iii) in the weaker randomness subregime, the minimum gap is larger than predicted by Poisson level statistics because it is involved in a many-body resonance and thus subject to level repulsion. Nevertheless, even in this third subregime, all but a vanishing fraction of eigenstates remain nonresonant and the system thus still appears MBL in most respects. Based on our estimates of the location of the avalanche instability, it might be that the MBL phase is only part of subregime (i) and the other subregimes are entirely in the thermal phase, even though they look localized in most respects, so are in the finite-size MBL regime.
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.