Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “new construction”

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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

A new center for heavy ion research

Progress in cancer therapy with ions heavier than protons, i.e., helium, carbon, oxygen and neon, requires research and development capability. Ion research activity, however, is limited from the absence of U.S. accelerator facilities offering ion beams for therapy – placing the U.S. significantly behind Europe and Asia. With dramatic advances in beam delivery and compact accelerators, the potential exists to create a facility that can play a leadership role in particle therapy and ion-based research. This paper announces summary details of a new center for ion therapy research under construction in Waco, TX, in collaboration with recognized accelerator entities both academic and industrial. The advanced accelerator technologies will produce beams for both clinical and research applications, offering a complete range of ions, intensities and energies required by the medical community, including the capability to perform ultra-high dose irradiation (FLASH) research. FLASH, a recent research initiative, which has the potential of reducing cancer treatment toxicities, is an important if not critical capability for a competitive research center – requiring beam intensities well beyond those provided by current medical accelerators. Building a state-of-the-art cancer research center within a comprehensive facility will provide the resources to promote ion therapy in the U.S, including, preclinical/clinical trials and protocols between modalities, and also support broad ion R&D.

43 PARTICLE ACCELERATORS↗
DOE OSTI2023

Stress Tensor flows, birefringence in non-linear electrodynamics and supersymmetry

We identify the unique stress tensor deformation which preserves zero-birefringence conditions in non-linear electrodynamics, which is a 4d 4 d version of the T\overline{T} T T ¯ operator. We study the flows driven by this operator in the three Lagrangian theories without birefringence - Born-Infeld, Plebanski, and reverse Born-Infeld - all of which admit ModMax-like generalizations using a root- T\overline{T} T T ¯ -like flow that we analyse in our paper. We demonstrate one way of making this root- T\overline{T} T T ¯ -like flow manifestly supersymmetric by writing the deforming operator in \mathcal{N} = 1 𝒩 = 1 superspace and exhibit two examples of superspace flows. We present scalar analogues in d = 2 d = 2 with similar properties as these theories of electrodynamics in d = 4 d = 4 . Surprisingly, the Plebanski-type theories are fixed points of the classical T\overline{T} T T ¯ -like flows, while the Born-Infeld-type examples satisfy new flow equations driven by relevant operators constructed from the stress tensor. Finally, we prove that any theory obtained from a classical stress-tensor-squared deformation of a conformal field theory gives rise to a related “subtracted” theory for which the stress-tensor-squared operator is a constant.

Physics↗
DOE OSTI2021

Using Verified Lifting to Optimize Legacy Stencil Codes (Final Project Report)

This project investigated new techniques for compiling stencil and stencil-like computations. Stencils computations are commonly found in applications such as image processing, physical simulations, image processing, and machine learning. In recent years, many high-performance domain-specific languages (DSLs) have been proposed to optimize stencil computations. To leverage such DSLs, however, existing codes often need to be rewritten. Such rewriting is manual, labor intensive, and error-prone. To alleviate such issues, this project investigated the application of program synthesis and artificial learning techniques to enable stencil computations to automatically leverage new high-performance DSLs. Rather than constructing syntax driven rules, verified lifting uses program synthesis to search for a target code fragment to compile the given input code into. In addition, it also searches for a proof that validates how the found target code fragment preserves the semantics of the original input. Thus, the target code fragment is guaranteed to be semantically equivalent to the input.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Theoretical developments in the SMEFT at dimension-8 and beyond

In this contribution to the Snowmass 2021 process we review theoretical developments in the Standard Model Effective Field Theory (SMEFT) with a focus on effects at the dimension-8 level and beyond. We review the theoretical advances that led to the complete construction of the operator bases for the dimension-8 and dimension- 9 SMEFT Lagrangians. We discuss the possibility of obtaining all-orders results in the 1/Λ expansion for certain SMEFT observables, and briefly present the on-shell approach to constructing SMEFT amplitudes. Finally we present several new phenomenological effects that first arise at dimension-8 and discuss the impact of these terms on experimental analyses.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Development of an Integrated Thermal Energy Storage Heat Exchanger for Concentrating Solar Power

In this design and development effort a latent-heat energy storage heat exchanger was designed for a 10MW e sCO 2 power plant as a basis for detailed design and testing of a new phase-change heat exchanger technology. High efficiency thermal conductors of graphite foam or folded copper were employed within chloride salt phase-change volumes bounded by alternating high density compact plate-fin heat exchange cells in this new heat exchanger technology. Test articles were constructed at Brayton Energy and tested at Argonne National Laboratory. Copper-conducting samples were constructed and tested at Brayton Energy.

14 SOLAR ENERGY↗
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗
DOE OSTI2025

Light Dark Matter Searches at Fermilab

Accelerator-based dark sector searches present an excellent opportunity to discover the particles that constitute cosmological dark matter in a laboratory setting. At Fermilab, an exciting program of dark sector searches is now underway across a suite of experiments using high intensity, low- and high-energy proton beamlines. Some of these searches are being carried out at neutrino experiments, which bring high luminosity sources of meson decays near large, sensitive detectors and can therefore probe a variety of dark sector models. Additionally, there have been recent studies highlighting the sensitivity of future and proposed experiments to light dark matter and other dark sector models using protons from Fermilab s new PIP-II linac, currently under construction. In this talk, I will give an overview of Fermilab s accelerator-based dark sector search program, highlight recent results, and discuss future prospects.

43 PARTICLE ACCELERATORS↗
DOE OSTI2025

High Aspect Ratio OLEDs

Long-term reliability is especially challenging for organic light emitting diodes (OLEDs) used in solid-state lighting applications because OLED lifetime is inversely proportional to luminance, and most lighting applications demand high luminance. This project explored a new strategy to overcome this tradeoff by constructing OLEDs on a substrate with sub-mm, high aspect ratio surface texture. By creating more active OLED area per unit lighting panel area, the device current density required to generate a given panel luminance decreases. We validated this approach for both fluorescent and phosphorescent OLEDs, demonstrating good thickness uniformity on corrugated substrates with area enhancement factors up to 1.4x using a standard thermal evaporator. Relative to planar controls at the same panel current density, the high aspect ratio devices achieve a 2.7-fold increase in operating lifetime and up to a 40% increase in external light extraction efficiency. Experiments carried out on a pilot-line OLED manufacturing system demonstrated good coating uniformity, indicating that this approach has the potential to be implemented at scale and therefore offers a powerful pathway to improve the efficiency and lifetime of OLED lighting.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2025

FY25 Status Update on A709 Code Case Testing at ANL

This report provides an update on the status of the creep rupture testing on the precipitation-treated (PT) Alloy 709 samples fabricated from the first, the second and the third commercial heats, in support of the first, 100,000-hour Alloy 709 Code Case development under the American Society of Mechanical Engineers (ASME) Section III, Division 5 for high-temperature reactor construction. In Fiscal Year (FY) 25, no new tests were initiated, while 5 previously loaded tests were completed. This report presents an overview of the creep-rupture data gathered at Argonne National Laboratory (ANL) since FY21 that totaled 52 completed tests. Metallographic images showing crack morphologies in some representative samples ruptured in FY25 are also included. Key conclusions include: 1) the creep behavior of the three heats of Alloy 709 can be well described by the Larson-Miller relationship; 2) higher temperatures and larger stresses lead to shorter creep life and higher minimum creep rate; 3) Alloy 709 is overall very ductile under creep; 4) the crack morphologies near fracture surfaces are dependent on material’s grain size and test conditions.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2021

Methods for producing microcompartments

To produce a bacterial microcompartment shell, or a designed shell based on naturally occurring bacterial microcompartment shells in a new host organism, a synthetic operon is constructed that contains the desired shell protein genes and translation efficiency is controlled by host specific ribosomal binding sites. Proteins or other molecules can be encapsulated in the microcompartment shells by various methods described herein. The constructs can also be used to express self-assembling sheets comprised of shell proteins.

Kerfeld, Cheryl A.↗
DOE OSTI2023

Status Report of Joint RPI/ORNL NCSP Task for Thermal Neutron Total Cross Section Measurements

A new cold neutron moderator system was developed and constructed at the Rensselaer Polytechnic Institute (RPI) Gaerttner Linear Accelerator. This system was then used to measure the neutron total cross section in the thermal energy range for polyethylene, polystyrene, Lucite, and yttrium hydride. In tandem with these measurements, a fitting procedure was developed at Oak Ridge National Laboratory to vary computationally simulated phonon density of states until a fit with differential and integral data was achieved. This model, combined with the new RPI total cross section data, was used to generate thermal scattering law files for the materials measured at RPI.

36 MATERIALS SCIENCE↗
DOE OSTI2021

A Global LIS/OTD Climatology of Lightning Flash Extent Density

Previous lightning climatologies derived from Lightning Imaging Sensor (LIS) and Optical Transient Detector (OTD) total lightning measurements have quantified lightning frequency as a Flash Rate Density (FRD). This approach assumes that lightning flashes can be represented as points and quantifies the frequency of lightning centered in each grid cell. However, lightning has a finite extent that can reach hundreds of kilometers. A new climatology based on Flash Extent Density (FED) is constructed for LIS (including ISS-LIS) and OTD that accounts for the horizontal dimension of lightning. The FED climatology documents the frequency that an observer can expect lightning to be visible overhead—regardless of where the flash began or ended. This new FED climatology confirms and elaborates on the previous global LIS/OTD FRD and Americas-only Geostationary Lightning Mapper (GLM) findings. The FED climatology maintains Lake Maracaibo as the global lightning hotspot with an average of 389 flashes/day but designates Karabre in the Democratic Republic of the Congo as the global thunderstorm duty (percent of the total viewtime where lightning is observed) hotspot at 7.29%. Meanwhile, Kuala Lumpur is the national capital city with the most lightning, and its airport (KUL) is the top major airport affected by lightning (in terms of duty). The FED seasonal cycle and month-to-month changes in the “center of lightning” for the three continental chimney regions are also discussed.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2025

Prospects for Forming C–N Bonds from Dinitrogen

The formation of C–N bonds from molecular dinitrogen (N 2 ) offers a synthetic route to value-added nitrogen-containing compounds without relying on prefunctionalized nitrogen sources. Here, this Perspective highlights recent advances in forming C–N bonds from N 2 with homogeneous transition metal complexes. After discussing how transition metal complexes activate N 2 through various coordination modes, we focus on the reactivity of reduced nitrogen intermediates with different kinds of carbon sources. Carbon electrophiles and nucleophiles enable C–N bond formation via insertion, substitution, or radical pathways. Cycloaddition reactions, particularly involving polarized N 2 ligands and unsaturated carbon electrophiles, offer routes to more complex products. We describe efforts to achieve catalytic turnover and emphasize the remaining obstacles to catalytic C–N bond construction.

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

Multipartite edge modes and tensor networks

Holographic tensor networks model AdS/CFT, but so far they have been limited by involving only systems that are very different from gravity. Unfortunately, we cannot straightforwardly discretize gravity to incorporate it, because that would break diffeomorphism invariance. In this note, we explore a resolution. In low dimensions gravity can be written as a topological gauge theory, which can be discretized without breaking gauge-invariance. However, new problems arise. Foremost, we now need a qualitatively new kind of “area operator,” which has no relation to the number of links along the cut and is instead topological. Secondly, the inclusion of matter becomes trickier. We successfully construct a tensor network both including matter and with this new type of area. Notably, while this area is still related to the entanglement in “edge mode” degrees of freedom, the edge modes are no longer bipartite entangled pairs. Instead they are highly multipartite. Along the way, we calculate the entropy of novel subalgebras in a particular topological gauge theory. We also show that the multipartite nature of the edge modes gives rise to non-commuting area operators, a property that other tensor networks do not exhibit.

Akers, Chris (ORCID:0000000227929827)↗
DOE OSTI2025

Conceptual Design of a Water Tank Critical Facility for SPARC

Critical experiments, sometimes referred to zero-power reactors, are crucial tools in developing and validating nuclear physics predictions and thus an indispensable capability to ensure criticality safety during all parts of the nuclear fuel cycle and in reducing uncertainties in reactor physics predictions toward optimizing nuclear energy production. The System Physics Advanced Reactor Facility (SPARC) project was recently initiated to enable large-scale criticality experiments using a horizontal split table machine well suited toward solid core materials systems (fuel, moderator, reflector). The facility selected for this mission was a former pool-type research reactor building and thus also well suited toward a second critical experiment capability able to house full-size light-water reactor (LWR) fuel bundles. A conceptual design study was undertaken to review past water tank critical experiments used for LWR physics experiments and to develop an early engineering design for a new critical assembly tank (CAT). The work described here shows that a relatively simple CAT concept can be constructed and deployed in the SPARC facility to meet the urgent demands for new critical experiments on advanced LWR fuel bundles designs. The SPARC facility layout is conducive to the receipt and upending of LWR fuel bundles using existing containers and equipment from the LWR industry. The facility’s overhead crane can then be used to handle fuel bundles and place them in a vertical storage rack or in the CAT for critical experiments, both of which fit within the building’s “open basement” alongside other equipment planned for SPARC and the horizontal split table. A slightly lower area in the basement can serve as a large drain tank so that fail-safe valves drain the CAT reactor tank for safe shutdown. Neutronic configurations were determined where a 3 × 3 array of fuel bundles can be surrounded by full-length “loose rods” to adjust reactivity so that critical is achieved when the bundles are fully submerged. Viable configurations were determined for both pressurized- and boiling-water-reactor-type fuel bundles. This design concept was used to develop an early planning basis for establishing the CAT capability alongside the otherwise planned SPARC project in order to help streamline the process. Recent presidential executive orders have highlighted the need to achieve power uprates in LWR plants and the CAT capability will be a crucial element of these initiatives. Based on the work described herein, it is recommended that an earnest and timely project begin in order to establish this urgently needed capability.

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2022

On-the-fly response function generation method for composite coarse mesh

The hybrid stochastic deterministic transport code COMET, based on the incident response expansion theory, is used to model reactor cores with high fidelity and formidable computational speed. COMET models a reactor core using a library of incident flux response expansion coefficients that are pre computed for all the unique lattice cells (e.g., fuel assemblies, reflector blocks, etc.) in the core. In order to further improve its computational efficiency in pre-calculating the response library a new response function generation method is developed to compute the response functions for the composite coarse meshes made of a smaller set of unique lattices on the fly within the COMET's deterministic transport core sweep. The efficiency is achieved by eliminating a number of unique lattices that can be made up from the reduced set of unique meshes on the fly. The numerical process consists of the following steps. First, the boundary condition on composite coarse mesh boundaries is projected onto the expansion basis to compute the incident flux moments on external surfaces of all the basic (reduced set of unique) coarse meshes. Secondly, the deterministic sweeping solver in COMET is used to converge on the outgoing/incoming flux expansion moments crossing interfaces between the basic coarse meshes. Thirdly, the response functions for the composite coarse meshes are constructed as a superposition on the fly. The new response function generation method was tested on 88 composite coarse meshes consisting of CANDU fuel bundles and moderator blocks. It was found that response functions generated by the new method agree very well with those generated by direct Monte Carlo calculations. The average and maximum relative differences in the surface-to-surface response coefficients computed by the two methods are 0.10% and 0.20%, respectively. Similarly, the average and maximum relative differences in the response fission densities are 0.13% and 0.43%, respectively. These discrepancies are within one standard deviation of the stochastic uncertainties. The new method is five times faster than the original direct Monte Carlo method. The size of the response function library for the new method is five times smaller than that for the original method, leading to significantly less requirement for the computer hard drive space and memory. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2023

EMMA: a new method for computing multiple sequence alignments given a constraint subset alignment

Abstract Background Adding sequences into an existing (possibly user-provided) alignment has multiple applications, including updating a large alignment with new data, adding sequences into a constraint alignment constructed using biological knowledge, or computing alignments in the presence of sequence length heterogeneity. Although this is a natural problem, only a few tools have been developed to use this information with high fidelity. Results We present EMMA (Extending Multiple alignments using MAFFT--add) for the problem of adding a set of unaligned sequences into a multiple sequence alignment (i.e., a constraint alignment). EMMA builds on MAFFT--add, which is also designed to add sequences into a given constraint alignment. EMMA improves on MAFFT--add methods by using a divide-and-conquer framework to scale its most accurate version, MAFFT-linsi--add, to constraint alignments with many sequences. We show that EMMA has an accuracy advantage over other techniques for adding sequences into alignments under many realistic conditions and can scale to large datasets with high accuracy (hundreds of thousands of sequences). EMMA is available at https://github.com/c5shen/EMMA . Conclusions EMMA is a new tool that provides high accuracy and scalability for adding sequences into an existing alignment.

Shen, Chengze↗
DOE OSTI2023

An adaptive moments-based interface reconstruction using intersection of the cell with one half-plane, two half-planes and a circle

We present a new adaptive moment-of-fluid (A-MOF) interface reconstruction method. It uses the zeroth, first, and second moments of the fragment of material inside a cell of the mesh to construct a shape that approximates the respective material fragment. The new method requires information about the material moments only for the cell under consideration. The adaptive method chooses between shapes obtained by the intersection of the cell with one half-plane, two half-planes, or a circle. The A-MOF method allows to exactly reproduce several convex shapes: corners, filaments, and their concave cell-complements; as well as pieces of the circles and its cell-compliments. Interface reconstruction is formulated as a local (for each cell), non-linear, equality constrained optimization problem, which does not require additional communication and allows for an efficient parallel implementation. In conclusion, we present an extensive set of test problems, both for interface reconstruction on a single cell, and for reconstruction of a variety of shapes on the entire mesh.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗