Search NASA⌕ Search

SEARCH · Search NASA

Results for “C Code”

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,657 records · Page 92
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Propel: Tools and Methods for Practical Source Code Model Checking

The work reported here is an overview and snapshot of a project to develop practical model checking tools for in-the-loop verification of NASA s mission-critical, multithreaded programs in Java and C++. Our strategy is to develop and evaluate both a design concept that enables the application of model checking technology to C++ and Java, and a model checking toolset for C++ and Java. The design concept and the associated model checking toolset is called Propel. It builds upon the Java PathFinder (JPF) tool, an explicit state model checker for Java applications developed by the Automated Software Engineering group at NASA Ames Research Center. The design concept that we are developing is Design for Verification (D4V). This is an adaption of existing best design practices that has the desired side-effect of enhancing verifiability by improving modularity and decreasing accidental complexity. D4V, we believe, enhances the applicability of a variety of V&V approaches; we are developing the concept in the context of model checking. The model checking toolset, Propel, is based on extending JPF to handle C++. Our principal tasks in developing the toolset are to build a translator from C++ to Java, productize JPF, and evaluate the toolset in the context of D4V. Through all these tasks we are testing Propel capabilities on customer applications.

Mansouri-Samani, Massoud↗
DOE OSTI2019

Summary of Bison milestones and activities - NEAMS FY2019 Report

This summary report contains an overview of work performed under the work package entitled “FY2019 NEAMS Engineering Scale Fuel Performance”, which is focused on the development and support of the fuel performance code Bison [1]. The second chapter lists FY19 milestones titles, completion schedule, and milestone level. Subsequent chapters summarize and demonstrate completion of milestones and activities. The last chapter outlines FY20 proposed future work.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2022

Linear source method of characteristics in HELIOS2

The Studsvik Scandpower code HELIOS2 is a fast lattice transport code that has gained wide use for reactor fuel cycle analysis in commercial, regulatory, and research environments. It contains two transport solvers - Collision Probabilities (CP) and Method of Characteristics (MoC) - with a general geometry ability and generalized depletion for a variety of fuel types, experimental facilities, and isotope production applications. The HELIOS2 lattice code has been extended with the development of a linear source MoC option. The linear source equations are derived within the scope of the HELIOS2 general geometry and non-cyclic ray tracing. The implementation was tested for fine and coarse spatial mesh models of the 2D C5G7 MOX computational benchmark, which provides a pure and extreme test of a transport solver. The linear source yields at least comparable accuracy with reduced computational resource requirements relative to the flat-source approximation.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS2000

The XMM-Newton View of Stellar Coronae: High-Resolution X-Ray Spectroscopy of Capella

We present the high-resolution RGS spectrum of the bright stellar binary Capella observed by the XMM-Newton satellite. A multi-thermal approach has been applied to fit the data and derive elemental abundances. The differential emission measure distribution is reconstructed using a Chebychev polynomial fit. The DEM shape is found to display a sharp peak around 7 MK, consistent with previous EUVE and ASCA results. A small but significant amount of emission measure is required around 1.8 MK in order to explain the O VII He-like triplet and the C VI Ly(alpha) line. Using the sensitivity to temperature of dielectronic recombination lines from O VI around 22 A, we confirm that the cool plasma temperature needs to be higher than 1.2 MK. In the approximation of a cool plasma described by one temperature, we used line ratios from the forbidden, intercombination, and resonance lines of the O VII triplet and derived an average density for the cool coronal plasma at the low density limit. A tentative study of line ratios from the M XI triplet gives an average temperature close to the sharp peak in emission measure and an average density of the order of 10(exp 12)cu cm, three orders of magnitude higher than for O VII. Implications for the coronal physics of Capella are discussed. We complement this paper with a discussion of the importance of the atomic code uncertainties on the spectral fitting procedure.

Audard, M.↗
DOE OSTI2023

Machining of Alloy 709 Creep-fatigue Specimens from G. O. Carlson Heat

Alloy 709 has been selected as the next candidate material for Section III, Division 5 qualification in the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel Code (BPVC) for elevated-temperature nuclear construction. The qualification data package requires an assortment of information and material data including tensile, creep, and creep-fatigue performance at elevated temperatures from different material heats. The goal of the project is to generate a dataset to support qualification of Alloy 709 material for ASME BPVC design code. Working towards the project goal, Idaho National Laboratory needs to conduct a series of tests on three different heats to support the A709 code case development. At present, there is a gap in the data package for one of the heats: Heat number 58776 manufactured by G.O. Carlson. To address this data gap, Argonne National Laboratory transmitted five plates of A709 heat 58776 manufactured by G.O. Carlson to Idaho National Laboratory. These plates were solution annealed at 1150°C and heat treated at 775°C for 10 hours. The objective of this specification is to procure a series of creep-fatigue specimens to support the qualification data package. The creep-fatigue specimen design captures the cyclic material performance at elevated temperature. The material performance data generated from specimens machined herein will support the ASME BPVC code case development and establish design limits, and design life curves for Alloy 709 material.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Physical and thermal property changes under uniform oxidation in nuclear graphite

Material property changes of fine- and medium-grain nuclear graphite grades were measured after subjection to uniform oxidation. The cores of high temperature reactors are composed of large nuclear graphite block components. Here, these large core components are designed to provide neutron moderation and reflection, create a large thermal sink to assist in operational control, and form the solid core structure containing the nuclear fuel, coolant channels, and the safety critical channels for control rod insertion. Oxidation is a principle degradation mechanism affecting all aspects of the nuclear graphite component functions. This study addresses the underlying physical property changes of nuclear-graphite components for oxidized mass loss ranges beyond the current recommended ASME code rule limits to ensure structural integrity within the graphite components (a maximum mass loss = 10%).

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2019

EDGE2D-EIRENE predictions of molecular emission in DIII-D high-recycling divertor plasmas

The contributions of deuterium molecular emission to the total deuterium radiation was assessed in DIII-D ohmically-confined plasmas in high-recycling divertor conditions. Radial profiles of the deuterium Ly-α line intensity across the low-field side divertor leg were obtained with the recently installed divertor Survey Poor Resolution, Extended Spectrometer [1]. A high-resolution spectrometer was used to measure the poloidal profiles of the deuterium Balmer-α and the deuterium Fulcher-α band intensity in the visible wavelength range. The scrape-off layer plasma and neutral distributions were simulated using the edge fluid EDGE2D-EIRENE [2], and the numerical solutions constrained utilizing Thomson scattering and Langmuir probe measurements at the low-field side midplane and the divertor target plate. The studies show that for these conditions molecular emission plays a negligible role in the total radiative power balance of the low-field side divertor, but molecular processes are important when evaluating deuterium Balmer-α line intensity for code-experiment validation.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2020

Progress in DIII-D towards validating divertor power exhaust predictions

In this study, UEDGE simulations highlight the role of cross-field drifts on the onset of detached conditions, and new calibrated divertor vacuum ultra violet (VUV) spectroscopy is used to challenge the predictions of radiative constituents in these simulations. UEDGE simulations for DIII-D H-mode plasmas with the open divertor with the ion ∇B-drift towards the X-point show a bifurcated onset of the low field side (LFS) divertor detachment, consistent with experimentally observed step-like detachment onset (Jaervinen A.E. et al 2018 Phys. Rev. Lett. 121 075001). The divertor plasma in the simulations exhibits hysteresis in upstream separatrix density between attached and detached solution branches. Reducing the drift magnitude by a factor of 3 eliminates the step-like detachment onset in the simulations, confirming the strong role of drifts in the bifurcated detachment onset. When measured local plasma densities and temperatures are within proximity of predicted values in the simulations, there is no shortfall of the local emission of the dominant resonant radiating lines. However, the simulations systematically predict a factor of two lower total integrated radiated power than measured by the bolometer with the difference lost through radial heat flow out of the computational domain. Even though there is no shortfall in the emission of the dominant lines, a shortfall of total radiated power can be caused by underpredicted spatial extent of the radiation front, indicating a potential upstream or divertor transport physics origin for the radiation shortfall, or shortfall of radiated power in the spectrum between the dominant lines. In addition to the underpredicted spatial extent, in detached conditions, the simulations overpredict the peak radiation and dominant carbon lines near the X-point, which can be alleviated by manually increasing divertor diffusivity in the simulations, highlighting the ad hoc cross-field transport as one of the key limitations of the predictive capability of these divertor fluid codes.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2022

Improved galactic foreground removal for B-mode detection with clustering methods

ABSTRACT Characterizing the sub-mm Galactic emission has become increasingly critical especially in identifying and removing its polarized contribution from the one emitted by the cosmic microwave background (CMB). In this work, we present a parametric foreground removal performed on to sub-patches identified in the celestial sphere by means of spectral clustering. Our approach takes into account efficiently both the geometrical affinity and the similarity induced by the measurements and the accompanying errors. The optimal partition is then used to parametrically separate the Galactic emission encoding thermal dust and synchrotron from the CMB one applied on two nominal observations of forthcoming experiments from the ground and from the space. Moreover, the clustering is performed on tracers that are different from the data used for component separation, e.g. the spectral index maps of dust and synchrotron. Performing the parametric fit singularly on each of the clustering derived regions results in an overall improvement: both controlling the bias and the uncertainties in the CMB B-mode recovered maps. We finally apply this technique using the map of the number of clouds along the line of sight, $\mathcal {N}_c$, as estimated from H i emission data and perform parametric fitting on to patches derived by clustering on this map. We show that adopting the $\mathcal {N}_c$ map as a tracer for the patches related to the thermal dust emission, results in reducing the B-mode residuals post-component separation. The code is made publicly available https://github.com/giuspugl/fgcluster.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2024

The CluMPR galaxy cluster-finding algorithm and DESI legacy survey galaxy cluster catalogue

ABSTRACT Galaxy clusters enable unique opportunities to study cosmology, dark matter, galaxy evolution, and strongly lensed transients. We here present a new cluster-finding algorithm, CluMPR (Clusters from Masses and Photometric Redshifts), that exploits photometric redshifts (photo-z’s) as well as photometric stellar mass measurements. CluMPR uses a 2D binary search tree to search for overdensities of massive galaxies with similar redshifts on the sky and then probabilistically assigns cluster membership by accounting for photo-z uncertainties. We leverage the deep DESI Legacy Survey grzW1W2 imaging over one-third of the sky to create a catalogue of $\sim 300\, 000$ galaxy cluster candidates out to z = 1, including tabulations of member galaxies and estimates of each cluster’s total stellar mass. Compared to other methods, CluMPR is particularly effective at identifying clusters at the high end of the redshift range considered (z = 0.75–1), with minimal contamination from low-mass groups. These characteristics make it ideal for identifying strongly lensed high-redshift supernovae and quasars that are powerful probes of cosmology, dark matter, and stellar astrophysics. As an example application of this cluster catalogue, we present a catalogue of candidate wide-angle strongly lensed quasars in Appendix C. The nine best candidates identified from this sample include two known lensed quasar systems and a possible changing-look lensed QSO with SDSS spectroscopy. All code and catalogues produced in this work are publicly available (see Data Availability).

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2019

Energetic Substantiation of the Formation of Ytterbium Dimers in Single Forsterite Crystals

A structural computer simulation of ytterbium-containing forsterite crystals has been carried out. Atomistic simulation is performed using the GULP 4.1 software package (General Utility Lattice Program). Different mechanisms of ytterbium dissolution in forsterite crystals are considered, and the dissolution energies of isolated defects, as well as charged and neutral clusters of various configurations, are calculated. The results of the calculation manifest that the formation of ytterbium clusters with a magnesium vacancy gives a significant gain in the dissolution energy. The formation of neutral clusters (dimers) in the M1 site (Yb{sub Mg1}ν{sub Mg1}Yb{sub Mg1}) leads to an energy reduction by 1.7 eV compared with the statistical distribution of defects. As a result of simulation, it is shown the energetic substantiation of the formation of ytterbium dimers in forsterite crystals. A model of the most energetically favorable center in the M1 site is proposed—a dimer, consisting of a pair of trivalent ytterbium ions with a magnesium vacancy between them, forming a chain parallel to the crystallographic axis c.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2025

bayesian_tensor_regression

We plan to release the code used to perform the experiment described in our upcoming publication, entitled “Bayesian Tensor Modeling for Distribution-on-Distribution Regression.” This code a Bayesian regression model with a multi-way Dirichlet prior to tensor input distributions. All code to be released implements a new model that is intended for open-source publication.

Murph, Alexander C. [Los Alamos National Lab]↗
DOE OSTI2025

Argonne National Laboratory Site Environmental Report for Calendar Year 2024

This report discusses the status and accomplishments of the environmental protection program at Argonne National Laboratory for calendar year 2024. The status of Argonne environmental protection activities with respect to compliance with the various laws and regulations is discussed, along with environmental management, efficiency efforts, environmental corrective actions, and habitat restoration. To evaluate the effects of Argonne operations on the environment, samples of environmental media collected on the site, at the site boundary, and off the Argonne site were analyzed and compared with applicable guidelines and standards. A variety of radionuclides were measured in air, surface water, groundwater, and bottom sediment samples. In addition, chemical constituents in surface water, groundwater, and wastewater were analyzed. External penetrating radiation doses were measured, and the potential for radiation exposure to off-site population groups and on-site members of the public was estimated. Results are interpreted with respect to the origin of radioactive and chemical substances (i.e., natural, Argonne, and other) and are compared with applicable standards intended to protect human health and the environment. A U.S. Department of Energy (DOE) dose calculation methodology, based on International Commission on Radiological Protection (ICRP) recommendations and the U.S. Environmental Protection Agency’s (EPA) CAP 88 computer code, was used in preparing this report.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2026

Updated Commercial Aviation Non-Airport Crash Density Values Using Data Obtained from the U.S. National Transportation Safety Board for 2000 through 2019

This report documents the calculation of the commercial aviation (CA) non-airport crash density for Air Route Traffic Control Center (ARTCC) area associated with the Contiguous United States (CONUS) using the methodology outlined in the Department of Energy (DOE) Standard 3014-2006, Accident Analysis for Aircraft Crash Into Hazardous Facilities. For analytical purposes, the CA aircraft fleet is comprised of aircraft engaged in operations under Title 14 of the Code of Federal Regulations (CFR) Part 121 (i.e., Air Carrier) and Part 135 (i.e., Air Taxi).

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2022

First-Principles Calculations of Thermoelectric Transport Properties of Quaternary and Ternary Bulk Chalcogenide Crystals

Chalcogenide crystals have a wide range of applications, especially as thermoelectric materials for energy conversion. Thermoelectric materials can be used to generate an electric current from a temperature gradient based on the Seebeck effect and based on the Peltier effect, and they can be used in cooling applications. Using first-principles calculations and semiclassical Boltzmann theory, we have computed the Seebeck coefficient, electrical conductivity, electronic thermal conductivity, power factor, and figure of merit of 30 chalcogenide crystals. A Quantum Espresso package is used to calculate the electronic properties and locate the Fermi level. The transport properties are then calculated using the BoltzTraP code. The 30 crystals are divided into two groups. The first group has four crystals with quaternary composition (A 2 BCQ 4 ) (A = Tl; B = Cd, Hg; C = Si, Ge, Sn; Q = S, Se, Te). The second group contains 26 crystals with the ternary composition (A’B’Q 2 ) (A’ = Ag, Cu, Au, Na; B’ = B, Al, Ga, In; Q = S, Se, Te). Among these 30 chalcogenide crystals, the results for 11 crystals: Tl 2 CdGeSe 4 , Tl 2 CdSnSe 4 , Tl 2 HgSiSe 4 , Tl 2 HgSnS 4 , AuBSe 2 , AuBTe 2 , AuAlTe 2 , AuGaTe 2 , AuInTe 2 , AgAlSe 2 , and AgAlTe 2 are revealed for the first time. In addition, temperature-dependent transport properties of pure and doped AgSbSe 2 and AgSbTe 2 crystals with dopant compositions of AgSb 0.94 Cd 0.06 Te 2 and AgSbTe 1.85 Se 0.15 were explored. These results provide an excellent database for bulk chalcogenides crucial for a wide range of potential applications in renewable energy fields.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Implementation of Chemistry in the Athena++ Code

Chemistry plays a key role in many aspects of astrophysical fluids. Atoms and molecules are agents for heating and cooling, determine the ionization fraction, serve as observational tracers, and build the molecular foundation of life. We present the implementation of a chemistry module in the publicly available magnetohydrodynamic code Athena++ . We implement several chemical networks and heating and cooling processes suitable for simulating the interstellar medium (ISM). A general chemical network framework in the KIDA format is also included, allowing users to easily implement their own chemistry. Radiation transfer and cosmic-ray ionization are coupled with chemistry and solved with the simple six-ray approximation. The chemical and thermal processes are evolved as a system of coupled ordinary differential equations with an implicit solver from the CVODE library. We perform and present a series of tests to ensure the numerical accuracy and convergence of the code. Many tests combine chemistry with gas dynamics, including comparisons with analytic solutions, 1D problems of the photodissociation regions and shocks, and realistic 3D simulations of the turbulent ISM. We release the code with the new public version of Athena++ , aiming to provide a robust and flexible code for the astrochemical simulation community.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1969

Block coding for space communications.

Block coded telemetry systems design for phase coherent space communication employing double conversion superheterodyne phase locked receivers

Lindsey, W. C.↗
NASA NTRS1976

Tri-county pilot study

The author has identified the following significant results. An area inventory was performed for three southeast Texas counties (Montgomery, Walker, and San Jacinto) totaling 0.65 million hectares. The inventory was performed using a two level hierarchy. Level 1 was divided into forestland, rangeland, and other land. Forestland was separated into Level 2 categories: pine, hardwood, and mixed; rangeland was not separated further. Results consisted of area statistics for each county and for the entire study site for pine, hardwood, mixed, rangeland, and other land. Color coded county classification maps were produced for the May data set, and procedures were developed and tested.

Reeves, C. A.↗