Search NASA⌕ Search

SEARCH · Search NASA

Results for “program transformation”

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 1,387 records · Page 77

Perturbation analysis of the limit cycle of the free van der Pol equation

A power series expansion in the damping parameter, epsilon, of the limit cycle of the free van der Pol equation is constructed and analyzed. Coefficients in the expansion are computed in exact rational arithmetic using the symbolic manipulation system MACSYMA and using a FORTRAN program. The series is analyzed using Pade approximants. The convergence of the series for the maximum amplitude of the limit cycle is limited by two pair of complex conjugate singularities in the complex epsilon-plane. A new expansion parameter is introduced which maps these singularities to infinity and leads to a new expansion for the amplitude which converges for all real values of epsilon. Amplitudes computed from this transformed series agree very well with reported numerical and asymptotic results. For the limit cycle itself, convergence of the series expansion is limited by three pair of complex conjugate branch point singularities. Two pair remain fixed throughout the cycle, and correspond to the singularities found in the maximum amplitude series, while the third pair moves in the epsilon-plane as a function of t from one of the fixed pairs to the other. The limit cycle series is transformed using a new expansion parameter, which leads to a new series that converges for larger values of epsilon.

Dadfar, M. B.↗

Space radiation health research, 1991-1992

The present volume is a collection of 227 abstracts of radiation research sponsored by the NASA Space Radiation Health Program for the period 1991-1992. Each abstract has been categorized within one of three discipline areas: Physics, Biology and Risk Assessment. Topic areas within each discipline have been assigned as follows: Physics - Atomic Physics, Theory, Cosmic Ray and Astrophysics, Experimental, Environments and Environmental Models, Solar Activity and Prediction, Experiments, Radiation Transport and Shielding, Theory and Model Development, Experimental Studies, and Instrumentation. Biology - Biology, Molecular Biology, Cellular Radiation Biology, Transformation, Mutation, Lethality, Survival, DNA Damage and Repair, Tissue, Organs, and Organisms, In Vivo/In Vitro Systems, Carcinogenesis and Life Shortening, Cataractogenesis, Genetics/Developmental, Radioprotectants, Plants, and Other Effects. Risk Assessment - Risk Assessment, Radiation Health and Epidemiology, Space Flight Radiation Health Physics, Inter- and Intraspecies Extrapolation and Radiation Limits and Standards. Section I contains refereed journals; Section II contains reports/meetings. Keywords and author indices are provided. A collection of abstracts spanning the period 1986-1990 was previously issued as NASA Technical Memorandum 4270.

Jablin, M. H.↗

On-Orbit Repair of RCC Structures

On-orbit repair technologies for reinforced carbon-carbon composite (RCC) structures are critically needed for space shuttle return to flight (RTF) efforts. These technologies are also critically needed for the repair and refurbishment of thermal protection system of future Crew Entry Vehicles (CEV) of space exploration programs. GRABER (Glenn Adhesive Refractory for Bonding and Exterior Repair) has shown multiuse capability for in-space repair of both large repairs and small cracks in space shuttle Reinforced Carbon Carbon (RCC) leading edge material. The concept consists of preparing an adhesive paste and then applying the paste tot he damaged/cracked area of the RCC composites with caulking gun. The adhesive paste cures at 100-120 C and transforms into a high temperature ceramic during vehicle re-entry conditions. Further development and testing are underway to optimize the materials properties and extend the application temperature.

Singh, M.↗

Measurement of the UH-60A Hub Large Rotor Test Apparatus Control System Stiffness

This purpose of this report is to provides details of the measurement of the control system stiffness of the UH-60A rotor hub mounted on the Large Rotor Test Apparatus (UH-60A/LRTA). The UH-60A/LRTA was used in the 40- by 80-Foot Wind Tunnel to complete the full-scale wind tunnel test portion of the NASA / ARMY UH-60A Airloads Program. This report describes the LRTA control system and highlights the differences between the LRTA and UH-60A aircraft. The test hardware, test setup, and test procedures are also described. Sample results are shown, including the azimuthal variation of the measured control system stiffness for three different loadings and two different dynamic actuator settings. Finally, the azimuthal stiffness is converted to fixed system values using multi-blade transformations for input to comprehensive rotorcraft prediction codes.

Large Rotor Test Apparatus↗

A Cooperative Multi-Agent Deep Reinforcement Learning Framework for Real-Time Residential Load Scheduling

Internet-of-Things (IoT) enabled monitoring and control capabilities are enabling increasing numbers of household users with controllable loads to actively participate in smart grid energy management. Realizing an efficient real-time energy management system that takes advantage of these developments requires novel techniques for managing the increased complexity of the control action space in resolving multiple challenges such as the uncertainty in energy prices and renewable energy output along with the need to satisy physical grid constraints such as transformer capacity. Addressing these challenges, we develop a multi-household energy management framework for residential units connected to the same transformer and containing DERs such as PV, ESS and controllable loads. The goal of our framework is to schedule controllable household appliances and ESS such that the cost of procuring electricity from the utility over a horizon is minimized while physical grid constraints are satisfied at each scheduling step. Traditional energy management frameworks either perform global optimization to satisfy grid constraints but suffer from high computational complexity (for example Integer Program, Mixed Integer Programming frameworks and centralized reinforcement learning) or perform decentralized real-time energy management without satisfying global grid constraints (for example multi-agent reinforcement learning with no cooperation). In contrast, we propose a cooperative multiagent reinforcement learning (MARL) framework that i) operates in real-time, and ii) performs explicit collaboration to satisfy global grid constraints. The novelty in our framework is two fold. Firstly, our framework trains multiple independent learners (IL) for each household in parallel using historical data and performs real-time inferencing of control actions using the most recent system state. Secondly, our framework contains a low complexity knapsack based cooperation agent which combines the outputs of ILs to minimize cost while satisfying grid constraints. Simulation results show that our cooperative MARL approach achieves significant cost improvement over centralized reinforcement learning and day-ahead planning baselines. Moreover, our approach strictly satisfies physical constraints with no apriori knowledge of system dynamics while the baseline approaches have occasional violations. We also measure the training and inference time by ranging the number of households from 1 to 25. Results show that our cooperative MARL approach scales best among various approaches.

14 SOLAR ENERGY↗

A new form of the Saint-Venant equations for variable topography

The solution stability of river models using the one-dimensional (1D) Saint-Venant equations can be easily undermined when source terms in the discrete equations do not satisfy the Lipschitz smoothness condition for partial differential equations. Although instability issues have been previously noted, they are typically treated as model implementation issues rather than as underlying problems associated with the form of the governing equations. This study proposes a new reference slope form of the Saint-Venant equations to ensure smooth slope source terms and eliminate one source of potential numerical oscillations. It is shown that a simple algebraic transformation of channel geometry provides a smooth reference slope while preserving the correct cross-section flow area and the total Piezometric pressure gradient that drives the flow. The reference slope method ensures the slope source term in the governing equations is Lipschitz continuous while maintaining all the underlying complexity of the real-world geometry. The validity of the mathematical concept is demonstrated with the open-source Simulation Program for River Networks (SPRNT) model in a series of artificial test cases and a simulation of a small urban creek. Validation comparisons are made with analytical solutions and the Hydrologic Engineering Center's River Analysis System (HEC-RAS) model. The new method reduces numerical oscillations and instabilities without requiring ad hoc smoothing algorithms.

54 ENVIRONMENTAL SCIENCES↗

Nationwide forestry applications program. Ten-Ecosystem Study (TES) site 6, Fort Yukon, Alaska

The author has identified the following significant results. Analysis of the processing results has led to the following conclusions: (1) LANDSAT imagery was a reliable resource for the stratification of level 2 forest features (softwood, hardwood, tundra, and water). These features can be classified with an accuracy of 72.4 percent + or - 5.9 percent at the 90 percent confidence level. (2) Training fields selected for signature development from only 10 percent of the area did not adequately and efficiently cover the class variability for the entire area. (3) Derived regression transformations were ineffective in recovering the loss of level 1 forest proportions and level 2 softwood and hardwood proportions.

Ward, J. F.↗

Efficient parallel algorithms for string editing and related problems

The string editing problem for input strings x and y consists of transforming x into y by performing a series of weighted edit operations on x of overall minimum cost. An edit operation on x can be the deletion of a symbol from x, the insertion of a symbol in x or the substitution of a symbol x with another symbol. This problem has a well known O((absolute value of x)(absolute value of y)) time sequential solution (25). The efficient Program Requirements Analysis Methods (PRAM) parallel algorithms for the string editing problem are given. If m = ((absolute value of x),(absolute value of y)) and n = max((absolute value of x),(absolute value of y)), then the CREW bound is O (log m log n) time with O (mn/log m) processors. In all algorithms, space is O (mn).

Apostolico, Alberto↗

TAK1 is activated in the myocardium after pressure overload and is sufficient to provoke heart failure in transgenic mice

The transforming-growth-factor-beta-activated kinase TAK1 is a member of the mitogen-activated protein kinase kinase kinase family, which couples extracellular stimuli to gene transcription. The in vivo function of TAK1 is not understood. Here, we investigated the potential involvement of TAK1 in cardiac hypertrophy. In adult mouse myocardium, TAK1 kinase activity was upregulated 7 days after aortic banding, a mechanical load that induces hypertrophy and expression of transforming growth factor beta. An activating mutation of TAK1 expressed in myocardium of transgenic mice was sufficient to produce p38 mitogen-activated protein kinase phosphorylation in vivo, cardiac hypertrophy, interstitial fibrosis, severe myocardial dysfunction, 'fetal' gene induction, apoptosis and early lethality. Thus, TAK1 activity is induced as a delayed response to mechanical stress, and can suffice to elicit myocardial hypertrophy and fulminant heart failure.

NASA Discipline Cardiopulmonary↗

COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry

The computational power increases over the past decades have greatly enhanced the ability to simulate chemical reactions and understand ever more complex transformations. Tensor contractions are the fundamental computational building block of these simulations. These simulations have often been tied to one platform and restricted in generality by the interface provided to the user. The expanding prevalence of accelerators and researcher demands necessitate a more general approach which is not tied to specific hardware or requires contortion of algorithms to specific hardware platforms. In this paper we present COMET, a domain-specific programming language and compiler infrastructure for tensor contractions targeting heterogeneous accelerators. We present a system of progressive lowering through multiple layers of abstraction and optimization that achieves up to 1.98×speedup for 30 tensor contractions commonly used in computational chemistry and beyond.

Mutlu, Erdal↗

ARCS: Agentic Retrieval-Augmented Code Synthesis with Iterative Refinement

Agentic Retrieval-Augmented Code Synthesis with Iterative RefinementIn supercomputing, efficient and optimized code generation is essential to leverage high-performance systems effectively. We have developed Agentic Retrieval-Augmented Code Synthesis (ARCS), an advanced framework for accurate, robust, and efficient code generation, completion, and translation. ARCS integrates Retrieval-Augmented Generation (RAG) with Chain-of-Thought (CoT) reasoning to systematically break down and iteratively refine complex programming tasks. An agent-based RAG mechanism retrieves relevant code snippets, while real-time execution feedback drives the synthesis of candidate solutions. This process is formalized as a state-action search tree optimization, balancing code correctness with editing efficiency. Evaluations on the Geeks4Geeks and HumanEval benchmarks demonstrate that ARCS significantly outperforms traditional prompting methods in translation and generation quality. By enabling scalable and precise code synthesis, ARCS offers transformative potential for automating and optimizing code development in supercomputing applications, enhancing computational resource utilization

Bhattarai, Manish [Los Alamos National Labs]↗

Pushing the efficiency limit of low-cost, industrially relevant Si solar cells to > 22.5% by advancing cell structures and technology innovations (Final Report)

The overall objective of this program is to achieve ~23% bifacial n-type cell efficiencies by developing and implementing optimized homogeneous or selective boron (B) emitter on front and tunnel oxide passivated contact (TOPCon) on rear side, in combination with advanced fine-line screen-printing metallization with floating busbars. During this research project, first we developed a technology roadmap to drive the 21% n-PERT cell efficiency from 21% to 23% by transforming the cell design to n-TOPCon and establishing the requirements for each layer, including B emitter, rear n-TOPCon, n-base Si and screen-printed contacts. Next, consistent with our roadmap, we developed advanced homogeneous implanted B emitter (150-180 Ω/⌫) passivated with ALD Al 2 O 3 layer capped with PECVD SiN x /SiO x double-layer antireflection coating This gave a very low recombination current density of 10-15 fA/cm 2 prior to metallization. In addition, we demonstrated metallized recombination current density of ~31 fA/cm 2 for this advanced homogeneous B emitter with industrial screen-printed, fire-through contacts with 40 μm wide grid lines, floating busbars and implementation of an advanced Ag-Al paste which resulted in local or reduced area metal-Si contact under the grid lines with virtually no emitter surface etching. This paste reduced the full area metallized J oe,metal from >1100 fA/cm 2 to ~700 fA/cm 2 . We also developed novel processes for the formation of p + /p ++ selective B emitter by a) single B diffusion with selective etch back and b) two-steps diffusion with implanted B in field region and APCVD B diffusion under the metal grid. We achieved very low un-metallized recombination current density (J 0 ) of ~18 fA/cm 2 for the selective p ++ p + emitters (30/150 Ω/⌫) and metallized J 0 of ~28 fA/cm 2 with ~3% screen-printed metal contact to p ++ regions. Next, we developed the technology for n-TOPCon by growing phosphorus-doped LPCVD and PECVD poly-Si on top of ~ 15Å chemically grown (NAO) tunnel oxide. After an optimized anneal at 875 °C for 30 min, passivated n-TOPCon have unmetallized J 0 of ~ 5 fA/cm 2 which went down further to ~ 1 fA/cm 2 after a 700 Å SiN x capping layer and simulated contact firing cycle at 770 °C. After screen-printed fire-through metallization on this n-TOPCon with ~13% metal coverage, metallized J 0 value increased to only ~5 fA/cm 2 which is among the lowest reported value to the best of our knowledge for screen-printed metallization. Finally, we integrated all the above technology innovations and enhancements and demonstrated low-cost manufacturable screen-printed n-TOPCon bifacial Si solar cell with ~23% efficiencies. Based on the experimental and theoretical understanding developed in this project, we have developed a new technology roadmap that shows that implementation of busbarless contacts, 10-20 ms bulk lifetime Si, and selective B emitter or selective TOPCon on the front can drive ~23% efficient cells achieved in this research to ~25% at low-cost.

14 SOLAR ENERGY↗

SUSSA ACTS: A computer program for steady and unsteady, subsonic and supersonic aerodynamics for aerospace complex transportation systems

The computer program SUSSA ACTS (Steady and Unsteady, Subsonic and Supersonic Aerodynamics for Complex Transportation Systems) are presented in the final version. The numerical formulation and the description of the program and numerical results are included. In particular, generalized forces for fully unsteady (complex frequency) aerodynamics for a wing-body configuration, in both subsonic and supersonic flows, are discussed. The mathematical analysis includes completely arbitrary motion. The numerical implementation was limited to steady and oscillatory flows. A more general aerodynamic formulation in the form of a fully transient response for time-domain analysis and the aerodynamic transfer function (Laplace transform of the fully unsteady operator) for frequency-domain analysis is outlined.

Tseng, K.↗

Knowledge-based approach to system integration

To solve complex problems one can often use the decomposition principle. However, a problem is seldom decomposable into completely independent subproblems. System integration deals with problem of resolving the interdependencies and the integration of the subsolutions. A natural method of decomposition is the hierarchical one. High-level specifications are broken down into lower level specifications until they can be transformed into solutions relatively easily. By automating the hierarchical decomposition and solution generation an integrated system is obtained in which the declaration of high level specifications is enough to solve the problem. We offer a knowledge-based approach to integrate the development and building of control systems. The process modeling is supported by using graphic editors. The user selects and connects icons that represent subprocesses and might refer to prewritten programs. The graphical editor assists the user in selecting parameters for each subprocess and allows the testing of a specific configuration. Next, from the definitions created by the graphical editor, the actual control program is built. Fault-diagnosis routines are generated automatically as well. Since the user is not required to write program code and knowledge about the process is present in the development system, the user is not required to have expertise in many fields.

Blokland, W.↗

Network Flow Simulation of Fluid Transients in Rocket Propulsion Systems

Fluid transients, also known as water hammer, can have a significant impact on the design and operation of both spacecraft and launch vehicle propulsion systems. These transients often occur at system activation and shutdown. The pressure rise due to sudden opening and closing of valves of propulsion feed lines can cause serious damage during activation and shutdown of propulsion systems. During activation (valve opening) and shutdown (valve closing), pressure surges must be predicted accurately to ensure structural integrity of the propulsion system fluid network. In the current work, a network flow simulation software (Generalized Fluid System Simulation Program) based on Finite Volume Method has been used to predict the pressure surges in the feed line due to both valve closing and valve opening using two separate geometrical configurations. The valve opening pressure surge results are compared with experimental data available in the literature and the numerical results compared very well within reasonable accuracy (< 5%) for a wide range of inlet-to-initial pressure ratios. A Fast Fourier Transform is preformed on the pressure oscillations to predict the various modal frequencies of the pressure wave. The shutdown problem, i.e. valve closing problem, the simulation results are compared with the results of Method of Characteristics. Most rocket engines experience a longitudinal acceleration, known as "pogo" during the later stage of engine burn. In the shutdown example problem, an accumulator has been used in the feed system to demonstrate the "pogo" mitigation effects in the feed system of propellant. The simulation results using GFSSP compared very well with the results of Method of Characteristics.

Bandyopadhyay, Alak↗

Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm

The problem of determining whether or not a point lies inside a given polygon occurs in many applications. In air traffic management concepts, a correct solution to the point-in-polygon problem is critical to geofencing systems for Unmanned Aerial Vehicles and in weather avoidance applications. Many mathematical methods can be used to solve the point-in-polygon problem. Unfortunately, a straightforward floating- point implementation of these methods can lead to incorrect results due to round-off errors. In particular, these errors may cause the control flow of the program to diverge with respect to the ideal real-number algorithm. This divergence potentially results in an incorrect point-in- polygon determination even when the point is far from the edges of the polygon. This paper presents a provably correct implementation of a point-in-polygon method that is based on the computation of the winding number. This implementation is mechanically generated from a source- to-source transformation of the ideal real-number specification of the algorithm. The correctness of this implementation is formally verified within the Frama-C analyzer, where the proof obligations are discharged using the Prototype Verification System (PVS).

Moscato, Mariano M.↗

Low-E Storm Windows Gain Acceptance as a Home Weatherization Measure

This article for Home Energy Magazine describes work by the U.S. Department of Energy to develop low-emissivity storm windows as an energy efficiency-retrofit option for existing homes. The article describes the low-emissivity invisible silver metal coatings on the glass, which reflect heat back into the home in winter or back outside in summer and the benefits of low-e storm windows including insulation, air sealing, noise blocking, protection of antique windows, etc. The article also describes Pacific Northwest National Laboratory's efforts on behalf of DOE to overcome market barriers to adoption of the technology, including performance validation studies in the PNNL Lab Homes, cost effectiveness analysis, production of reports, brochures, how-to guides on low-e storm window installation for the Building America Solution Center, and a video posted on YouTube. PNNL's efforts were reviewed by the Pacific Northwest Regional Technical Forum (RTF), which serves as the advisory board to the Pacific Northwest Electric Power Planning Council and Bonneville Power Administration. In late July 2015, the RTF approved the low-e storm window measure’s savings and specifications, a critical step in integrating low-e storm windows into energy-efficiency planning and utility weatherization and incentive programs. PNNL estimates that more than 90 million homes in the United States with single-pane or low-performing double-pane windows would benefit from the technology. Low-e storm windows are suitable not only for private residences but also for small commercial buildings, historic properties, and facilities that house residents, such as nursing homes, dormitories, and in-patient facilities. To further assist in the market transformation of low-e storm windows and other high-efficiency window attachments, DOE helped found the window Attachment Energy Rating Council (AERC) in 2015. AERC is an independent, public interest, non-profit organization whose mission is to rate, label, and certify the performance of window attachments.

Building Technologies Office↗

In-situ hydrogenation of bio-oil/bio-oil phenolic compounds with secondary alcohols over a synthesized mesoporous Ni/CeO 2 catalyst

Mesoporous ceria, which was synthesized under supercritical conditions, was found to be an effective support material of Ni catalyst for the in-situ hydrogenation of m-cresol (a representative compound of bio-oil) using secondary alcohols of 2-propanol (2-PrOH) and 2-butanol (2-BuOH) as a hydrogen source (H-donor) to produce 3-methylcyclohexanol, 3-methylcyclohexene, and methylcyclohexane under a H2 gas-free atmosphere. The activities of different metal catalysts (Ni, Cu, and Co) for the in-situ hydrogenation of m-cresol were examined using 2-PrOH as a H-donor. Total and effective conversion of m-cresol achieved only over Ni/CeO 2 because of its fair catalytic properties, as determined by N2 adsorption-desorption, hydrogen temperature-programmed reduction, ammonia temperature-programmed desorption, X-ray diffraction, and transmission electron microscopy. The dependence of Ni/CeO2 performance on the reaction time (4-6 h) and Ni loading (3-9 wt%) was examined from the in-situ hydrogenation of m-cresol with 2-PrOH. The deactivation test of Ni/CeO 2 was performed by reusing the spent catalyst, which was then regenerated through successive oxidation and reduction, several times in the m-cresol transformation employing 2-PrOH as a H-donor. In addition to m-cresol, other phenolic model compounds of bio-oil, such as anisole, phenol, and guaiacol, were also treated by in-situ hydrogenation with 2-PrOH over Ni/CeO 2 . Although this catalyst was effective for phenol and guaiacol transformation, it was relatively ineffective for anisole conversion. The in-situ hydrogenation of crude bio-oil with 2-PrOH and 2-BuOH was accomplished over the Ni/CeO 2 catalyst, resulting in a refined bio-oil with a 37.5-38.9% lower oxygen content and a high heating value (HHV) of up to 25 MJ/kg.

09 BIOMASS FUELS↗