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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

High Energy Physics Network Requirements Review (Final Report, July-October 2020)

Throughout 2020, ESnet and the Office of High Energy Physics (HEP) of the DOE SC organized an ESnet requirements review of HEP-supported activities. Preparation for this event included identification of key stakeholders: program and facility management, research groups, technology providers, and a number of external observers. These individuals were asked to prepare formal case study documents about their relationship to the HEP program to build a complete understanding of the current, near-term, and long-term status, expectations, and processes that will support the science going forward. A series of pre-planning meetings better prepared case study authors for this task, along with guidance on how the review would proceed in a virtual fashion.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1988

Automatic programming for critical applications

The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.

Loganantharaj, Raj L.↗
NASA NTRS1981

Development of Great Lakes algorithms for the Nimbus-G coastal zone color scanner

A series of experiments in the Great Lakes designed to evaluate the application of the Nimbus G satellite Coastal Zone Color Scanner (CZCS) were conducted. Absorption and scattering measurement data were reduced to obtain a preliminary optical model for the Great Lakes. Available optical models were used in turn to calculate subsurface reflectances for expected concentrations of chlorophyll-a pigment and suspended minerals. Multiple nonlinear regression techniques were used to derive CZCS water quality prediction equations from Great Lakes simulation data. An existing atmospheric model was combined with a water model to provide the necessary simulation data for evaluation of the preliminary CZCS algorithms. A CZCS scanner model was developed which accounts for image distorting scanner and satellite motions. This model was used in turn to generate mapping polynomials that define the transformation from the original image to one configured in a polyconic projection. Four computer programs (FORTRAN IV) for image transformation are presented.

Tanis, F. J.↗
NASA NTRS2012

Mixed Integer Programming and Heuristic Scheduling for Space Communication Networks

We developed framework and the mathematical formulation for optimizing communication network using mixed integer programming. The design yields a system that is much smaller, in search space size, when compared to the earlier approach. Our constrained network optimization takes into account the dynamics of link performance within the network along with mission and operation requirements. A unique penalty function is introduced to transform the mixed integer programming into the more manageable problem of searching in a continuous space. The constrained optimization problem was proposed to solve in two stages: first using the heuristic Particle Swarming Optimization algorithm to get a good initial starting point, and then feeding the result into the Sequential Quadratic Programming algorithm to achieve the final optimal schedule. We demonstrate the above planning and scheduling methodology with a scenario of 20 spacecraft and 3 ground stations of a Deep Space Network site. Our approach and framework have been simple and flexible so that problems with larger number of constraints and network can be easily adapted and solved.

Mixed Integer Programming↗
DOE OSTI2020

Critical roles of Cu(OH)2 in low-temperature moisture-induced degradation of Cu-SAPO-34 SCR catalyst: Correlating reversible and irreversible deactivation

Cu-SAPO-34 selective catalytic reduction (SCR) catalyst deactivates upon exposure to water vapor at temperatures lower than 100 °C, which deteriorates its application prospects. The deactivation under cycled aging-regeneration conditions can be categorized into two stages, namely reversible and irreversible deactivation. Based on SCR reaction tests, and characterizations with diffuse reflection infrared Fourier transform spectroscopy (DRIFTS), NH3 temperature-programmed desorption (NH3-TPD) and H2 temperature-programmed reduction (H2-TPR), it is concluded that the transformation of SCR active isolated Cu(II) ions to Cu(OH)2 is critical to both types of deactivation. Within the frame of reversible deactivation, Cu(OH)2 is converted back to SCR active Cu(II) ions by interacting with Brønsted acid sites during high-temperature regeneration. However, interactions between Cu(OH)2 and hydrolyzed framework Al lead to the formation of CuAl2O4-like species, causing permanent loss of active Cu(II) ions and thus, irreversible deactivation. The authors from Tsinghua University would like to acknowledge the financial support from projects of China Science and Technology Exchange Centre (No. 2016YFE0126600) and the National Key R&D Program of China (No. 2017YFC0211102). YM also acknowledges Tsinghua Scholarship for Overseas Graduate Studies for a visit to the Pacific Northwest National Laboratory (PNNL). PNNL is operated by Battelle for the US Department of Energy (DOE) under contract DE-AC05-76RL01830. FG is supported by DOE, Office of Energy Efficiency and Renewable Energy, Vehicle Technologies Office.

Cu-SAPO-34, low-temperature deactivation, reversib↗
DOE OSTI2022

Large-Scale Additive Manufacturing of Silicon Carbide with Process Monitoring

This report summarizes new capabilities in additive manufacturing (AM) of large-scale silicon carbide (SiC) components under the Advanced Materials and Manufacturing Technologies (AMMT) program. SiC is a promising material that is being considered for many advanced reactor designs due to its high temperature strength, radiation tolerance, minimal neutron absorption, and oxidation resistance [1-8]. One of the primary limitations to using SiC as an in-core structural material is the inability to fabricate large SiC components with complex geometries. While under the former Transformational Challenge Reactor (TCR) program, ceramic AM systems at the Oak Ridge National Laboratory (ORNL) were limited in the quantity and overall size achievable for producing ceramic AM components. To address this, ORNL has improved its infrastructure for binder jet and chemical vapor infiltration (CVI) processes with cutting-edge equipment coming online in a newly renovated laboratory space capable of producing larger components and higher throughput without compromise on part size. This report details the laboratory renovation progress, focusing specifically on the DesktopMetal (formerly ExOne) X25Pro binder jet, a large scale CVI furnace, and the added functionality of a software tool called Peregrine for quality assurance and control purposes.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Evaluation of In-Situ AM Process Monitoring Techniques and Potential for Detecting Process Anomalies and Undesirable Microstructures

The US Department of Energy’s Advanced Materials and Manufacturing Technologies (AMMT) program is pursuing rapid qualification of new materials for fabrication of nuclear relevant components using advanced manufacturing techniques. Particular interest is placed on code-qualifying stainless steel (SS) 316H processed by laser powder bed fusion (LPBF) additive manufacturing. A paradigm that incorporates data from in-situ sensing during the printing, ex-situ characterization, and advanced artificial intelligence–based models was established under the Transformation Challenge Reactor (TCR) program to develop a pedigree for each fabricated component that could be tracked from the feedstock to the component’s release for application. Under the TCR program, the Peregrine software was developed as a tool for incorporating the vast amounts of in-situ and ex-situ characterization data collected; all data stored on a rapidly growing digital platform. The digital platform allows for users to link site-specific process anomalies to the macro- and microstructure. The platform will eventually be able to predict component performance, which will be crucial to qualifying materials and components in risk-averse industries such as those supporting and building nuclear reactors. Current in-situ process monitoring techniques that are already integrated with software like Peregrine are advantageous for identifying process anomalies including powder spatter, component edge swelling, recoating-build interactions, and so on. However, additional data are required to fully predict the resulting microstructures needed for identifying relationships to component performance. The rapid cooling rates observed in LPBF are some of the highest of any bulk manufacturing process, resulting in heterogenous microstructures and typically causing anisotropy in mechanical properties. Moreover, evolved residual thermal stresses are high, which can cause severe defects such as delamination or cracking. Therefore, other in-situ monitoring methods are warranted for exploration to measure and map the thermal history, and potentially the stress state, of each build. This report summarizes different in-situ monitoring strategies proposed for LPBF with a focus on the more developed sensor systems. Novel capabilities for measuring melt pool temperatures are also addressed to better inform modeling efforts.

36 MATERIALS SCIENCE↗
DOE OSTI2017

Towards Integrating Synchrotron FTIR Microscopy with Mass Spectrometry at the Berkeley Synchrotron Infrared Structural Biology (BSISB) Program

Synchrotron-radiation-based Fourier transform infrared (SR-FTIR or sFTIR) facilities worldwide are probing both live cells and tissues non-destructively under native-like conditions. From Spectroscopic data such as those acquired through the Berkeley Synchrotron Infrared Structural Biology (BSISB) program, spatially and temporally resolved chemical information of molecular classes are obtained. However, these infrared data lack chemical specificity for precise and accurate species identification. Here, high-resolution mass spectrometry (MS) directly contrasts with these IR data attributes in its ability to provide more specific identification of the full range of molecules at the cost of sample destruction.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2019

Extracting SIMD Parallelism from Recursive Task-Parallel Programs

The pursuit of computational efficiency has led to the proliferation of throughput-oriented hardware, from GPUs to increasingly wide vector units on commodity processors and accelerators. This hardware is designed to efficiently execute data-parallel computations in a vectorized manner. However, many algorithms are more naturally expressed as divide-and-conquer, recursive, task-parallel computations. In the absence of data parallelism, it seems that such algorithms are not well suited to throughput-oriented architectures. This paper presents a set of novel code transformations that expose the data parallelism latent in recursive, task- parallel programs. These transformations facilitate straightforward vectorization of task-parallel programs on commodity hardware. We also present scheduling policies that maintain high utilization of vector resources while limiting space usage. Across several task-parallel benchmarks, we demonstrate both efficient vector resource utilization and substantial speedup on chips using Intel’s SSE4.2 vector units, as well as accelerators using Intel’s AVX512 units. We then show through rigorous sampling that, in practice, our vectorization techniques are effective for a much larger class of programs.

Recursive Programs, task parallelism, vectorizatio↗
DOE OSTI2018

CONTIN XPCS : software for inverse transform analysis of X-ray photon correlation spectroscopy dynamics

X-ray photon correlation spectroscopy (XPCS) and dynamic light scattering (DLS) reveal materials dynamics using coherent scattering, with XPCS permitting the investigation of dynamics in a more diverse array of materials than DLS. Heterogeneous dynamics occur in many material systems. The authors' recent work has shown how classic tools employed in the DLS analysis of heterogeneous dynamics can be extended to XPCS, revealing additional information that conventional Kohlrausch exponential fitting obscures. The present work describes the software implementation of inverse transform analysis of XPCS data. This software, called CONTIN XPCS , is an extension of traditional CONTIN analysis and accommodates the various dynamics encountered in equilibrium XPCS measurements.

36 MATERIALS SCIENCE↗
DOE OSTI2019

Handbook of Advanced Manufactured Material Properties From TCR Structure Builds at ORNL (FY2019)

There is growing interest in the use of additive manufacturing techniques for the production and deployment of components for nuclear power applications. Specifically, the Transformational Challenge Reactor (TRC) program seeks to demonstrate the application of advanced manufacturing to rapidly develop and deploy a microreactor. As part of the TCR objective, a database on materials performance, such as thermophysical properties and mechanical performance, is required to help inform nuclear reactor designers, operators, and regulators regarding possible material limitations using emerging manufacturing techniques. The following report seeks to collect all available data regarding the material performance of candidate alloys and manufacturing processes pursued within the TCR program at Oak Ridge National Laboratory. At this time, this database focuses only on materials derived within the program and does not extend to additional manufacturing processes, manufacturers, or other advanced materials. Where appropriate, recommendations for applications of the data are provided and current knowledge gaps are identified.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1994

Evaluation of a Multi-kw, High Frequency Transformer for Space Applications

Various NASA studies have shown that high power (multi-kW and higher) electrical systems for various aerospace applications favor high frequency distribution systems, due to the improved safety and weight factors associated with those systems. Other favorable characteristics include low EMI, minimal wiring and ease of system parameter sensing and control of a single phase system. In aerospace power systems, as in terrestrial AC distribution systems, transformers are needed to provide voltage changes, isolation and the resetting of ground. Under NASA contract NAS3-21948 a multi-kW high frequency transformer was designed, fabricated and tested by Thermal Technology Lab, Inc. of Buffalo, New York. 'The goals of this program included the determination of the relationships between transformer weight, efficiency and operating frequency; low internal temperatures and reduced specific weight; and the validation of these new design concepts through experimentation and the fabrication and testing of transformers and their insulation systems.' The transformer was delivered to NASA-Lewis, where an evaluation program was conducted in Lewis' High Power High Frequency Component Test Facility. The transformer was tested in both atmosphere and under vacuum conditions. This paper will discuss the design of the transformer, the evaluation program and test results, the failures experienced and conclusions.

Roth, Mary Ellen↗
DOE OSTI2017

Axially deformed solution of the Skyrme–Hartree–Fock–Bogolyubov equations using the transformed harmonic oscillator basis (III) hfbtho (v3.00): A new version of the program

Here, we describe the new version 3.00 of the code hfbtho that solves the nuclear Hartree–Fock (HF) or Hartree–Fock–Bogolyubov (HFB) problem by using the cylindrical transformed deformed harmonic oscillator basis. In the new version, we have implemented the following features: (i) the full Gogny force in both particle–hole and particle–particle channels, (ii) the calculation of the nuclear collective inertia at the perturbative cranking approximation, (iii) the calculation of fission fragment charge, mass and deformations based on the determination of the neck, (iv) the regularization of zero-range pairing forces, (v) the calculation of localization functions, (vi) a MPI interface for large-scale mass table calculations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2022

Tri-level hybrid interval-stochastic optimal scheduling for flexible residential loads under GAN-assisted multiple uncertainties

Various building loads, such as heating, ventilation, and air conditioners (HVACs), electric water heaters (EWHs), and electric vehicles (EVs), can introduce opportunities for improving the flexibility of electricity consumption while satisfying the needs of building owners as well as benefiting the resilience of distribution system. To utilize such flexibility, a tri-level distribution market framework is established, including residential consumers, load aggregators (LAs), and the distribution system operator (DSO). In this work, the uncertainties from all three levels are considered. The random consumption behavior at the consumer level is modeled as a Gaussian noise that is also aggregated and transmitted to the LA level. The weather temperature in the LA level is forecasted as an interval, and the photovoltaic (PV) power in the market-clearing level is modeled by a set of power scenarios generated by Generative Adversarial Networks (GANs). Then, a hybrid interval-stochastic programming is proposed to transform the uncertain problems in the first two levels into deterministic ones. For real-time implementations, a rolling horizon optimization (RHO) scheme is employed to continuously optimize the power consumption based on the latest operating information. Finally, case studies on a modified IEEE 69-bus system validate the effectiveness of the proposed uncertainty modeling strategies and the RHO scheme.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2023

CLC: A cross-level program characterization method

Characterization of program execution plays a key role in performance improvement. There are numerous transformations applied to each step that a program takes on its lowering from source code to a compiler intermediate representation to machine language to microarchitecture-specific execution. The unpredictable benefit of each transformation step could lead a notionally superior algorithm to exhibit inferior performance once actually run, and it can be hard to discern which step in the transformation path contradicted the code developer’s assumptions. Conventional approaches to program-execution characterization consider the behavior after only a single one of those steps, which limits the information that can be provided to the user. To help address the issue of myopic views of program execution, this paper presents a novel cross-level characterization approach for understanding the behavior of program execution at different levels in the process of writing, compiling, and running a program. We show that this approach provides a richer view of the sources of performance gains and losses and helps identify program execution in a more accurate manner.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Coolant Channel Design for Additively Manufactured Reactor Cores

Additive manufacturing (AM) methods are currently being explored for applications in nuclear reactors to make advanced reactors more efficient, safe, and reliable. The Transformational Challenge Reactor (TCR) program has explored AM for nuclear by designing a high-temperature gas reactor (HTGR) using an AM silicon carbide fuel form with uranium nitride–tristructural isotropic fuel. In this study, we detail the design process for the TCR fuel form’s coolant channels using computational fluid dynamics models with conjugate heat transfer. Additionally, this work discusses how these models were interfaced with other design teams, project milestones, and the agile design method used to mature the reactor design. The methodology deployed was able to create a channel design with lower maximum fuel temperatures and thermal stresses in the fuel form over traditional channel designs that can be manufactured subtractively. These results were achieved with only small manufacturing penalties. Results are discussed and presented on lessons learned for designing AM components for nuclear reactors. Finally, areas of opportunity are discussed for advanced design tools to further automate design activities and optimize reactors with fewer built-in assumptions.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2021

Flattening the Radial Temperature Profile across the Transformational Challenge Reactor Core

The Transformational Challenge Reactor (TCR) program is demonstrating an agile development approach to advanced nuclear reactor design, which has traditionally utilized a linear design process. In leveraging artificial intelligence, additive manufacturing, advanced materials, and cutting-edge modeling and simulation, the TCR program aims to minimize the high cost and lengthy deployment timelines now standard in the nuclear industry. Within a relatively short period of time, a robust and mature advanced gas-cooled reactor was iteratively designed under the TCR program, using these cutting-edge technologies. The TCR is a 3 MWt gas-cooled microreactor fueled with uranium nitride (UN) tristructural isotropic (TRISO) fuel particles. Though manufactured via traditional means, these UN TRISO particles are loaded into additively manufactured silicon carbide (SiC) cans [4]. Once loaded with TRISO particles, the SiC cans are densified using a chemical vapor infiltration process. The additively manufactured SiC enables significantly more freedom in the design of the fuel form than could ever be achieved using traditionally manufactured SiC. The helium coolant, pressurized to 5 MPa, enters the core at 300°C and nominally exits it at 500°C. Typically, the most thermally limiting components in any reactor design are the fuel assemblies in the core center. To provide a wide thermal margin in these central fuel assemblies, the flow may be biased toward the center of the core to more effectively cool these fuel assemblies with more power deposition and flatten the core’s radial temperature distribution. An analytical fluid model of the TCR core was developed to explore methods for biasing the flow away from the cooler outer fuel assemblies and towards the hotter inner ones. Higher-fidelity models developed in STAR-CCM+ 2020.3.1, a computational fluid dynamics code, were then utilized to verify the analytical model’s findings.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1992

A study of mapping exogenous knowledge representations into CONFIG

Qualitative reasoning is reasoning with a small set of qualitative values that is an abstraction of a larger and perhaps infinite set of quantitative values. The use of qualitative and quantitative reasoning together holds great promise for performance improvement in applications that suffer from large and/or imprecise knowledge domains. Included among these applications are the modeling, simulation, analysis, and fault diagnosis of physical systems. Several research groups continue to discover and experiment with new qualitative representations and reasoning techniques. However, due to the diversity of these techniques, it is difficult for the programs produced to exchange system models easily. The availability of mappings to transform knowledge from the form used by one of these programs to that used by another would open the doors for comparative analysis of these programs in areas such as completeness, correctness, and performance. A group at the Johnson Space Center (JSC) is working to develop CONFIG, a prototype qualitative modeling, simulation, and analysis tool for fault diagnosis applications in the U.S. space program. The availability of knowledge mappings from the programs produced by other research groups to CONFIG may provide savings in CONFIG's development costs and time, and may improve CONFIG's performance. The study of such mappings is the purpose of the research described in this paper. Two other research groups that have worked with the JSC group in the past are the Northwest University Group and the University of Texas at Austin Group. The former has produced a qualitative reasoning tool named SIMGEN, and the latter has produced one named QSIM. Another program produced by the Austin group is CC, a preprocessor that permits users to develop input for eventual use by QSIM, but in a more natural format. CONFIG and CC are both based on a component-connection ontology, so a mapping from CC's knowledge representation to CONFIG's knowledge representation was chosen as the focus of this study. A mapping from CC to CONFIG was developed. Due to differences between the two programs, however, the mapping transforms some of the CC knowledge to CONFIG as documentation rather than as knowledge in a form useful to computation. The study suggests that it may be worthwhile to pursue the mappings further. By implementing the mapping as a program, actual comparisons of computational efficiency and quality of results can be made between the QSIM and CONFIG programs. A secondary study may reveal that the results of the two programs augment one another, contradict one another, or differ only slightly. If the latter, the qualitative reasoning techniques may be compared in other areas, such as computational efficiency.

Mayfield, Blayne E.↗