Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal Reasoning”

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 37 records · Page 2

A minimum assumption approach to MEG sensor array design

Objective. Our objective is to formulate the problem of the magnetoencephalographic (MEG) sensor array design as a well-posed engineering problem of accurately measuring the neuronal magnetic fields. This is in contrast to the traditional approach that formulates the sensor array design problem in terms of neurobiological interpretability the sensor array measurements. Approach. We use the vector spherical harmonics (VSH) formalism to define a figure-of-merit for an MEG sensor array. We start with an observation that, under certain reasonable assumptions, any array of m perfectly noiseless sensors will attain exactly the same performance, regardless of the sensors' locations and orientations (with the exception of a negligible set of singularly bad sensor configurations). We proceed to the conclusion that under the aforementioned assumptions, the only difference between different array configurations is the effect of (sensor) noise on their performance. We then propose a figure-of-merit that quantifies, with a single number, how much the sensor array in question amplifies the sensor noise. Main results. We derive a formula for intuitively meaningful, yet mathematically rigorous figure-of-merit that summarizes how desirable a particular sensor array design is. We demonstrate that this figure-of-merit is well-behaved enough to be used as a cost function for a general-purpose nonlinear optimization methods such as simulated annealing. We also show that sensor array configurations obtained by such optimizations exhibit properties that are typically expected of 'high-quality' MEG sensor arrays, e.g. high channel information capacity. Significance. Our work paves the way toward designing better MEG sensor arrays by isolating the engineering problem of measuring the neuromagnetic fields out of the bigger problem of studying brain function through neuromagnetic measurements.

60 APPLIED LIFE SCIENCES↗

Role of Coulomb interaction in the phase formation of fcc Ce: Correlation matrix renormalization theory

The effect of electronic Coulomb interaction on the phase formation of fcc Ce lattice is investigated by full ab initio calculations without adjustable Coulomb U and J parameters using the Gutzwiller wavefunction-based correlation matrix renormalization theory (CMRT). Its total energy and pressure as a function of volume agree reasonably well with existing DFT+Gutzwiller calculations and experiments, indicating correct capture of electronic correlation and screening effects within the CMRT formalism. Here, a stable phase is found in line with the experimental α-Ce phase, and a lurking phase is identified supposedly linked with the experimental γ-Ce phase. A criterion based on the local 4f electron charge fluctuation is introduced to confirm the distinct electronic correlation natures of both phases.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Heavy-light mesons on the light front

Abstract We study the heavy-light mesons within basis light-front quantization. The resulting mass spectra of D , $$D_s$$ D s , B , and $$B_s$$ B s agree reasonably well with experiments. We also predict states which could be measured in the near future. In the light-front formalism, we calculate the light-front wave functions and additional experimental observables, such as parton distribution functions, distribution amplitudes, and decay constants by means of integrations over light-front wave functions. We also provide ratios of decay constants for selected pseudoscalar meson decays ( $$D_s$$ D s to D and $$B_s$$ B s to B ) as they may prove to be theoretically more robust and more reliably determined in experiments. We find that our ratios are systematically smaller than existing experiments and other approaches by 5–18%.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Effect of propagator renormalization on the band gap of insulating solids

Here, we present momentum-resolved spectral functions and band gaps from bare and self-consistent second-order perturbation theory for insulating periodic solids. We establish that, for systems with large gap sizes, both bare and self-consistent perturbation theory yield reasonable gaps. However, smaller gap sizes require a self-consistent adjustment of the propagator. In contrast to results obtained within a quasiparticle formalism used on top of bare second-order perturbation theory, no unphysical behavior of the band gap is observed. Our implementation of a fully self-consistent, Φ-derivable, and thermodynamically consistent finite-temperature diagrammatic perturbation theory forms a framework on which embedding theories such as the dynamical mean-field theory and self-energy embedding theories can be implemented.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Interpreting test temperature and loading rate effects on the fracture toughness of polymer-metal interfaces via time–temperature superposition

Here, in this letter, we present interfacial fracture toughness data for a polymer-metal interface where tests were conducted at various test temperatures T and loading rates $\dot{δ}$. An adhesively bonded asymmetric double cantilever beam (ADCB) specimen was utilized to measure toughness. ADCB specimens were created by bonding a thinner, upper adherend to a thicker, lower adherend (both 6061 T6 aluminum) using a thin layer of epoxy adhesive, such that the crack propagated along the interface between the thinner adherend and the epoxy layer. The specimens were tested at T from 25 to 65 °C and $\dot{δ}$ from 0.002 to 0.2 mm/s. The measured interfacial toughness Γ increased as both T and $\dot{δ}$ increased. For an ADCB specimen loaded at a constant $\dot{δ}$, the energy release rate G increases as the crack length a increases. For this reason, we defined rate effects in terms of the rate of change in the energy release rate $\dot{G}$. Although not rigorously correct, a formal application of time–temperature superposition (TTS) analysis to the Γ data provided useful insights on the observed dependencies. In the TTS-shifted data, Γ decreased and then increased for monotonically increasing $\dot{G}$. Thus, the TTS analysis suggests that there is a minimum value of Γ. This minimum value could be used to define a lower bound in Γ when designing critical engineering applications that are subjected to T and $\dot{δ}$ excursions.

36 MATERIALS SCIENCE↗

Key Constructs for Reasonable Confidence in System Validation Programs

This paper presents four key constructs developed in preparing IEEE Std P2411TM, Human Factors Engineering Guide for the Validation of System Designs and Integrated Systems Operations at Nuclear Facilities for submission. These constructs reflect judgments that responsible parties make in order to bring validation to closure. Such judgments weigh competing concerns and cost-benefits for stakeholders. Improved processes and methods may support such judgments but cannot alone eliminate uncertainty. Stating and clarifying these constructs aims to reduce uncertainty in the validation process, to better prepare the implementers and reviewers of future validation programs, both in the nuclear industry and beyond. Reasonable Confidence – A proof standard, as used to reach conclusions in a legal case. Legal proof standards are bounded between “preponderance of evidence” and “beyond reasonable doubt”. Reasonable confidence is comparable to an intermediate legal proof standard of “clear and convincing evidence.” Representative Test Set – A collection of scenarios of sufficient variety to represent the anticipated range of operational conditions, events, evolutions, and activities for validating the system(s) under test. Dispositive vs. Diagnostic Criteria – Relevant performance criteria are placed in one of two categories. Dispositive criteria are assessed, without exception, to determine whether a validation test passes or fails overall. Diagnostic criteria are assessed, subject to justified exception, to evaluate the quality or degree of some particular aspect of performance. Repeatability – Consistency in achieving passing results is to be demonstrated for each scenario in the representative test set; thus, the minimum number of formal repetitions for each scenario is two.

99 GENERAL AND MISCELLANEOUS↗

Design-time performance modeling of compositional parallel programs

Performance models are powerful instruments for understanding the performance of parallel systems and uncovering their bottlenecks. Already during system design, performance models can help ponder alternative development options. However, creating a performance model – whether theoretically or empirically – for an entire application that does not exist yet is challenging. In this paper, we propose to generate performance models of full programs from performance models of their components using formal composition operators derived from parallel design patterns. As long as the design of the overall system follows such a pattern, its performance model can be predicted with reasonable accuracy without an actual implementation. In conclusion, we demonstrate our approach with design patterns of varying complexity, including pipeline, task pool, and eventually MapReduce, which is representative of a broad class of data-analytics applications.

97 MATHEMATICS AND COMPUTING↗

Writing Competitive Proposals [Slides]

A proposal is a written response to an opportunity offered by a funding organization. Proposals must meet a SOLICITOR’S needs, not YOUR needs. A solicited proposal is a written response to a specific solicitation issued by a sponsor. These solicitations are typically called RFPs, or Requests for Proposals. RFPs are specific in their requirements regarding format and technical content. Scientists at Los Alamos often deal with this type of proposal — Laboratory-Directed Research and Development (LDRD) proposals are one example. An unsolicited proposal is one submitted to a sponsor who has not issued a specific solicitation. It usually comes about during interactions at meetings or conferences. In some instances, a sponsor may be visiting for another reason when the possibility for an unsolicited proposal becomes available. A pre-proposal is one in which a sponsor wishes to gage competition before having participants prepare a formal, full-length proposal. These types of scenarios imply that the actual proposal could be highly competitive and will usually be by invitation only.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

A Decision Theoretic Approach To Optimizing Machine Learning Decisions with Prediction Uncertainty

While the use of machine learning (ML) classifiers is widespread, their output is often not part of any follow-on decision-making process. To illustrate, consider the scenario where we have developed and trained an ML classifier to find malicious URL links. In this scenario, network administrators must decide whether to allow a computer user to visit a particular website, or to instead block access because the site is deemed malicious. It would be very beneficial if decisions such as these could be made automatically using a trained ML classifier. Unfortunately, due to a variety of reasons discussed herein, the output from these classifiers can be uncertain, rendering downstream decisions difficult. Herein, we provide a framework for: (1) quantifying and propagating uncertainty in ML classifiers; (2) formally linking ML outputs with the decision-making process; and (3) making optimal decisions for classification under uncertainty with single or multiple objectives.

97 MATHEMATICS AND COMPUTING↗

Theorems in Service of Sound Composition, Rapid Modeling and Scalable Analysis

This project extends the state of the art in formal verification modeling with modules and automatically checkable data-sharing patterns such that component modules can retain their assurance case when composed within a larger system. For users, smaller models make reasoning easier and help to ensure they accurately reflect text specifications. For automated methods, smaller models give exponential benefits for verification algorithm execution time.

97 MATHEMATICS AND COMPUTING↗

DFTB+, a software package for efficient approximate density functional theory based atomistic simulations

DFTB+ is a versatile community developed open source software package offering fast and efficient methods for carrying out atomistic quantum mechanical simulations. By implementing various methods approximating density functional theory (DFT), such as the density functional based tight binding (DFTB) and the extended tight binding method, it enables simulations of large systems and long timescales with reasonable accuracy while being considerably faster for typical simulations than the respective ab initio methods. Based on the DFTB framework, it additionally offers approximated versions of various DFT extensions including hybrid functionals, time dependent formalism for treating excited systems, electron transport using non-equilibrium Green’s functions, and many more. DFTB+ can be used as a user-friendly standalone application in addition to being embedded into other software packages as a library or acting as a calculation-server accessed by socket communication. We give an overview of the recently developed capabilities of the DFTB+ code, demonstrating with a few use case examples, discuss the strengths and weaknesses of the various features, and also discuss on-going developments and possible future perspectives.

74 ATOMIC AND MOLECULAR PHYSICS↗

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]↗

Differential $t\overline{t}$ cross-section measurements using boosted top quarks in the all-hadronic final state with 139 fb -1 of ATLAS data

Measurements of single-, double-, and triple-differential cross-sections are presented for boosted top-quark pair-production in 13 TeV proton–proton collisions recorded by the ATLAS detector at the LHC. The top quarks are observed through their hadronic decay and reconstructed as large-radius jets with the leading jet having transverse momentum (pT) greater than 500 GeV. The observed data are unfolded to remove detector effects. The particle-level cross-section, multiplied by the $t\overline{t}$ $\rightarrow$ $WWb$$\overline{b}$ branching fraction and measured in a fiducial phase space defined by requiring the leading and second-leading jets to have p T > 500 GeV and p T > 350 GeV, respectively, is 331 ± 3(stat.) ± 39(syst.) fb. This is approximately 20% lower than the prediction of ${398}^{+48}_{-49}$ fb by POWHEG+PYTHIA 8 with next-to-leading-order (NLO) accuracy but consistent within the theoretical uncertainties. Results are also presented at the parton level, where the effects of top-quark decay, parton showering, and hadronization are removed such that they can be compared with fixed-order next-to-next-to-leading-order (NNLO) calculations. The parton-level cross-section, measured in a fiducial phase space similar to that at particle level, is 1.94 ± 0.02(stat.) ± 0.25(syst.) pb. This agrees with the NNLO prediction of ${1.96}^{+0.02}_{-0.17}$ pb. Reasonable agreement with the differential cross-sections is found for most NLO models, while the NNLO calculations are generally in better agreement with the data. The differential cross-sections are interpreted using a Standard Model effective field-theory formalism and limits are set on Wilson coefficients of several four-fermion operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Partition Density Functionals: Theory and Applications. Final Technical Report

Partition Density Functional Theory is a method to calculate the energy and density of a molecule via self-consistent calculations on isolated fragments. At the start of this project, Partition Density Functional Theory (PDFT) had only been applied to one-dimensional model systems of non-interacting electrons. Its most appealing feature (the reason why PDFT was born in the first place) was that it allowed one to construct an internally-consistent Density Functional Theory (DFT) valid for non-integer electron numbers to be used in the context of Chemical Reactivity Theory. Many formal properties of the quantities entering the theory, such as partition potentials, were unknown when the project started. The connections with other fragment-based electronic structure methods, and especially with embedding theories, were unclear, and the potential of PDFT for fixing problems of approximate exchange-correlation functionals was unanticipated. Supported by grant DE-SC0005031, we made progress in developing, understanding, implementing, and applying PDFT. We discovered its potential for applications in situations where approximate DFT fails, such as when stretching bonds or when calculating the energy of weakly-interacting systems, both cases of importance for energy research applications. We extended PDFT in several directions (spin-densities, current densities, external electric and magnetic fields), and carried out many calculations on diatomic molecules and small clusters to test ideas for approximate non-additive functionals. As a result, we were able to propose physically-motivated fragment-density approximations for both covalent and weak bonds. Because many applications will increasingly benefit from efficient and accurate electronic-structure calculations via density-embedding techniques, the research results enabled by this grant should prove useful for addressing complex problems in a wide variety of fields, from chemistry to molecular biology and materials engineering.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Insulating band gaps both below and above the Néel temperature in d -electron LaTi O 3 , LaV O 3 , SrMn O 3 , and LaMn O 3 perovskites as a symmetry-breaking event

Metal d-electron oxides having an odd number of electrons per cell should exhibit band degeneracy at the Fermi energy, making them, in band theory, formally metallic. In many cases, however, these are “false metals”, as evidenced by the observation that many ABO 3 oxide perovskites with a magnetic 3d B-atom are observed to be insulators both below and above the Néel temperature. These inconsistencies between experimental observation and expectation have historically been resolved by invoking degeneracy-breaking physics, based largely on -pure electron effects, such as strong interelectronic correlation for d-electron compounds (the Mott mechanism). Such explanations generally consider microscopic lattice or magnetic degrees of freedom (m-DOF) as largely passive spectators, not a cause of the formally metallic being an insulator. Yet, it has long been known that ABO 3 perovskites can manifest an arrangement of m-DOFs in the form of octahedral tilting, bond dimerization, Jahn-Teller distortions, and ordering of local magnetic moments. It appears reasonable that such structural and magnetic local degrees of freedom need to be allowed to compete with purely electronic strong correlation. To answer this question, we explored a range of d-electron oxide perovskites exemplified by the archetypes LaTiO 3 , LaVO 3 , SrMnO 3 , and LaMnO 3 with 1, 2, 3, or 4 d -electrons, respectively. Using a mean-field-like electronic structure method (here, density functional theory), we find that a combination of magnetic symmetry breaking with structural distortions can account for insulating band gaps in this series while at the same time correctly predicting for the control case an intrinsic paramagnetic metal in SrVO 3 as symmetry-breaking is insufficiently strong to remove the degeneracy. Finally, this indicates that calculating quantitatively local magnetic and positional symmetry-breaking motifs in unit cells that avoid averaging at the outset over the low symmetry motifs can provide consistent trends in a Mott transition without Mott U.

36 MATERIALS SCIENCE↗

Advances in Resin Management Using 3R-Scan - 20154

The most important factor underlying optimal waste management is developing a clear picture of the radioactivity content of the waste and its impact on waste disposal cost. For over 35 years since the publishing of 10CFR61, waste characterization has relied on sampling the final waste product after formation. In the days following 10CFR61, the cost of final disposal was marginal with only a small impact on the overall costs. Constraints were added by provisions of the Low Level Waste Policy Act of 1985 leading to increasingly limited access to those disposal sites that remained available. In addition, Nuclear Regulatory Commission (NRC) pressure promoting waste volume reduction led to disposal costs inevitably rising. Despite this, characterization practices in monitoring of waste generation for activity content still center on the same dated processes. This results in a disposal classification on the basis of endpoint sampling without consideration of the homogeneity of the waste mixture. It can also disregard consideration of the representativeness of the single or small sample base. As a minimum effort, a formalized sampling program of a fixed grouping of waste streams can be implemented that could account for more than 95% of all of the activity carried in solid waste products. The sample results for each radionuclide could then be trended as time passes to develop reasonable scaling factors for difficult to measure radionuclides. This process, identified in NRC guidance, has been rigorously followed by a relatively small number of facilities. The trended scaling factors serve to improve accuracy by identifying anomalous results that could otherwise go undetected. Direct monitoring of the accumulation of activity in process streams generating solid radwaste, including demineralizers and filter streams, is a more precise approach. Nearly all of these streams are monitored by plant chemistry on a regular schedule to maintain water quality. This paper discusses viable options for developing the basis for characterization through process monitoring of the accumulation of activity at the point of generation. Special focus is on resin bed tracking and how process knowledge of these streams can be brought together to form a consistent and precise solid waste radioactivity inventory. Some of the specific points covered in this paper include the merger of the fission product release computer program, 3R-STAT, with the radwaste sample analysis computer program, SCAN4 to create 3R-SCAN, the importance of individual waste stream influences on the overall source term, and the use of historic sample data to develop scaling factors using an automated process. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

From Optimization to Sampling Through Gradient Flows

Optimization and sampling algorithms play a central role in science and engineering as they enable finding optimal predictions, policies, and recommendations, as well as expected and equilibrium states of complex systems. The notion of “optimality” is formalized by the choice of an objective function, while the notion of an “expected” state is specified by a probabilistic model for the distribution of states. Optimizing rugged objective functions and sampling multimodal distributions is computationally challenging, especially in high-dimensional problems. Here, for this reason, many optimization and sampling methods have been developed by researchers working in disparate fields such as Bayesian statistics, molecular dynamics, genetics, quantum chemistry, machine learning, weather forecasting, econometrics, and medical imaging.

Trillos, N. García↗

Porting Classical Approaches for Quantum Simulations to Quantum Computers

Simulating quantum many-body systems is one of the most promising problems in which we might anticipate that quantum computers should show quantum advantage. Unfortunately, there is still a gap between this promise and actual practice. New quantum algorithms need to be developed and the current quantum algorithms have various difficulties - e.g efficient state preparation - which must be overcome and improved upon. In many cases, classical approaches need to be ported over to quantum devices. In this project we have developed a suite of new quantum algorithms which makes progress in this regard. We developed a new optimization scheme for variational quantum eigensolvers, UBOS, which mitigates problems with local minimas and barren plateaus while improving convergence to the ground state by an order of magnitude. We developed a new way to utilize qubitization to find ground states of nearly frustration-free Hamiltonians faster than all previous methods. We developed a series of state preparation techniques which helps initialize parameterized quantum circuits into reasonable starting points on which quantum algorithms are then applied. In addition to the development of novel algorithms, it is critical to have classical simulation techniques for approximately simulating quantum circuits which can be used to benchmark and understand quantum algorithms. Toward that end, we developed a novel POVM formalism to simulate quantum circuits as well as exemplify the massive parallelization of tensor network methodologies. Finally, we developed physical understanding of entanglement phase transitions such as many-body localization and random tensor networks.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗