Search NASA⌕ Search

SEARCH · Search NASA

Results for “application example”

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 541 records · Page 30

A mesoscopic link-transmission-model able to track individual vehicles

Macroscopic traffic flow is a common choice for large-scale traffic simulations. These models do not provide individual-specific metrics as outputs. However, this treatment is necessary in agent-based-models, as in, for example, assigning routes based on personal characteristics. Here, in this paper, we propose an extension of the link-transmission-model, an efficient and yet accurate discretization of the Lighthill-Whitham-Richards (LWR) model, which allow vehicles to be tracked individually while keeping the main features of the underlying model. The extension comprises modifying the link and node models to ensure that the flow between links is always at discrete levels. Therefore, every unit of flow is associated with one individual vehicle moving from its current to its next link. An upper bound of the discretization error is provided. We show that the proposed model resembles its continuous counterpart on lane drop, merge, and diverge cases. In addition, we apply the model into three different networks to validate its applicability in large networks. Finally, we also confirm the parameter transferability between continuous and discrete models and that both can well reproduce field data.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Progress Report on SFR Metallic Fuel Data Qualification

This report summarizes the progress of SFR metallic fuel qualification related activities, which are focused on providing quality assurance relevant information applicable to experiments irradiated during the Integral Fast Reactor (IFR) program. An overview of the metallic fuel performance data and the associated databases, including the EBR-II Fuels Irradiation & Physics Database (FIPD), Out-of-Pile Transient Database (OPTD), and TREAT Experimental Relational Database (TREXR) is included. The legacy data in the databases, including as-built, post-irradiation examination (PIE), operating parameters, and out-of-pile experiment post-test data are introduced. The SFR metallic fuel Quality Assurance Program Plan (QAPP) and its implementation to qualify these legacy data is described in detail. Important PIE data QA documents and the specifications of seven types of PIE measurements (contact profilometry, laser profilometry, neutron radiography, gamma scan, fission gas release fission gas chemistry, and metallography) are provided. Examples of the implementation of the QAPP to qualify each of those types of PIE data are provided.

Mo, Kun [Argonne National Laboratory (ANL), Argonn↗

CG-Kit: Code Generation Toolkit for performant and maintainable variants of source code applied to Flash-X hydrodynamics simulations

CG-Kit is a new Code Generation tool-Kit that we have developed as a part of the solution for portability and maintainability for multiphysics computing applications. The development of CG-Kit is rooted in the urgent need created by the shifting landscape of high-performance computing platforms and the algorithmic complexities of a particular large-scale multiphysics application: Flash-X. To efficiently use computing resources on a heterogeneous node, an application must have a map of computation to resources and a mechanism to move the data and computation to the resources according to the map. Most existing performance portability solutions are focussed on abstracting the expression of computations so that a unified source code can be specialized to run on different resources. However, such an approach is insufficient for a code like Flash-X, which has a multitude of code components that can be assembled in various permutations and combinations to form different instances of applications. Similar challenges apply to any code that has composability, where a single specified way of apportioning work among devices may not be optimal. Additionally, use cases arise where the optimal control flow of computation may differ for different devices while the underlying numerics remain identical. This combination leads to unique challenges including handling an existing large code base in Fortran and/or C/C++, subdivision of code into a great variety of units supporting a wide range of physics and numerical methods, different parallelization techniques for distributed and shared memory systems and accelerator devices, and heterogeneity of computing platforms requiring coexisting variants of parallel algorithms. All of these challenges demand that scientific software developers apply existing knowledge about domain applications, algorithms, and computing platforms to determine custom abstractions and granularity for code generation. There is a critical lack of tools to tackle those problems. CG-Kit is designed to fill this gap by providing a user with the ability to express their desired control flow and computation-to-resource map in the form a pseudocode-like recipe. It consists of standalone tools that can be combined into highly specific and, we argue, highly effective portability and maintainability toolchains. Here we present the design of our new tools: parametrized source trees, control flow graphs, and recipes. The tools are implemented in Python. They are agnostic to the programming language of the source code targeted for code generation. In conclusion, we demonstrate the capabilities of the toolkit with two examples, first, multithreaded variants of the basic AXPY operation, and second, variants of parallel algorithms within a hydrodynamics solver, called Spark, from Flash-X that operates on block-structured adaptive meshes.

Algorithmic portability↗

Iterative methods in GPU-resident linear solvers for nonlinear constrained optimization

Linear solvers are major computational bottlenecks in a wide range of decision support and optimization computations. The challenges become even more pronounced on heterogeneous hardware, where traditional sparse numerical linear algebra methods are often inefficient. For example, methods for solving ill-conditioned linear systems have relied on conditional branching, which degrades performance on hardware accelerators such as graphical processing units (GPUs). To improve the efficiency of solving ill-conditioned systems, our computational strategy separates computations that are efficient on GPUs from those that need to run on traditional central processing units (CPUs). Our strategy maximizes the reuse of expensive CPU computations. Iterative methods, which thus far have not been broadly used for ill-conditioned linear systems, play an important role in our approach. In particular, we extend ideas from Arioli et al., (2007) to implement iterative refinement using inexact LU factors and flexible generalized minimal residual (FGMRES), with the aim of efficient performance on GPUs. In conclusion, we focus on solutions that are effective within broader application contexts, and discuss how early performance tests could be improved to be more predictive of the performance in a realistic environment.

97 MATHEMATICS AND COMPUTING↗

Dimensional Evolution Guides Property Control in the A n Cu 4– n TiS 4 Semiconductor Series

Through progressive reduction of the three-dimensional (3D) covalent network of Cu 4 TiS 4 , we isolate seven new members of the A n Cu 4–n TiS 4 family (A = alkali metal; n = 0–4), spanning 3D, 2D, 1D, and 0D structural fragments. The dimensional reduction is rational, as it preserves the edge-sharing connectivity between [CuS 4 ] 7– and [TiS 4 ] 4– tetrahedra across the series. This structural evolution is driven by the stepwise substitution of Cu with alkali metals, guiding the formation of fragments with reduced dimensionality. The effects of “n” and “A” on the crystal structures, stabilities, electronic structures, and optoelectronic properties are profound, demonstrating that the manipulation of alkali metal size and A n Cu 4–n TiS 4 stoichiometry enables predictable variations in structure and properties. For example, the n = 0 and n = 4 end members of the A n Cu 4–n TiS 4 family set the range of achievable band gaps with 2.00 eV for Cu 4 TiS 4 , 2.60 eV for Na 4 TiS 4 , and intermediate values for the n = 1–3 members. Notably, CsCu 3 TiS 4 exhibits exceptional air stability and congruent melting, with density functional theory (DFT) calculating moderate hole and electron effective masses in specific crystallographic directions (mh = 1.24m 0 , me = 0.87m 0 ). Additionally, A 3 CuTiS 4 (A = Na, K, Rb) displays direct band gap behavior and long photoluminescence lifetimes of 2.3–8.6 μs, and K 3 CuTiS 4 has a PLQY of 5.19%. These findings underscore the potential of the A n Cu 4–n TiS 4 family for applications in optoelectronics and demonstrate widely applicable design concepts that unveil rational stoichiometries within a given composition space to generate a series of crystal structures related through an evolving covalent dimensionality that corresponds to a predictable electronic structure and property progression.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Toward scalable bound-to-resonance extrapolations for few- and many-body systems

In open quantum many-body systems, the theoretical description of resonant states of many particles strongly coupled to the continuum can be challenging. Such states are commonplace in, for example, exotic nuclei and hadrons, and can reveal important information about the underlying forces at play in these systems. In this work, we demonstrate that the complex-augmented eigenvector continuation (CA-EC) method, originally formulated for the two-body problem with uniform complex scaling, can reliably perform bound-to-resonance extrapolations for genuine three-body resonances having no bound subsystems. Here, we first establish that three-body bound-to-resonance extrapolations are possible by benchmarking different few-body approaches, and we provide arguments to explain how the extrapolation works in the many-body case. We furthermore pave the way towards scalable resonance extrapolations in many-body systems by showing that the CA-EC method also works in the Berggren basis, studying a realistic application using the Gamow shell model.

Ab initio calculations↗

Markov Decision Processes for Intelligent, Risk-Informed Asset-Management Decision-Making

Advanced nuclear reactors are a promising option for aiding the world in achieving its net-zero carbon emission goals, however, there are significant challenges to attaining and maintaining economic competitiveness with other sources of electricity. To improve the economic competitiveness of advanced reactor designs, a project was initiated to explore the use of Markov Decision Processes (MDPs) to guide asset-management decision-making during advanced reactor operation. MDPs are a powerful tool for optimizing decision-making in complex environments and their application to advanced reactors can aid in planning maintenance and repair activities to minimize downtime and maximize generation. The described approach expands on previous work regarding the use of MDPs for operational decision-making through the direct incorporation of real-time plant information. The integral MDP analysis includes information from online component diagnostic tools and the plant’s real-time generation risk assessment (GRA) and probabilistic risk assessment (PRA), which evaluate plant risk from both an economic and safety perspective. The result is an asset-management optimization framework that is based on real-time data regarding plant component status and the current best-estimate of plant risk. The paper presents an overview of the theoretical framework to incorporate the different information pathways into an integral MDP analysis, along with example analyses.

Grabaskas, David↗

Lone Pairs of Carbogenic Center Enable Thermally Activated Delayed Fluorescence from Carbon to Ligand Charge Transfer Excited States

Carbogenic compounds of the type L→C(0)←L, where L represents various ligands such as phosphines or carbenes, and C(0) denotes zerovalent carbon with two orthogonal lone pairs, are widely utilized in organic and coordination chemistry; however, in-depth photophysical and optical properties remain largely unknown. In the following work, we report detailed luminescent properties of one of the most prominent examples of carbogenic compounds, hexaphenylcarbodiphosphorane (CDP). Combined spectroscopic/TD-DFT studies demonstrate that both lone pairs of CDP participate in the observed visible light absorption and emission, which are associated with carbon lone pairs π*(PPh3) carbon to ligand charge transfer states (CLCTs). The CLCT exhibits a considerably decoupled electron-hole pair, resulting in a small S1-T1 gap and thermally assisted delayed fluorescence (TADF). Moreover, two lone pairs teamed up around C(0) provide numerous close-lying σ- and π-CLCT singlet and triplet states, which allow, for organic TADF emitters, extremely fast rates of exergonic intersystem crossing up to 1.27×109 s-1, competitive with some 3d and 4d metal-based TADF luminophores. These results open fresh directions for innovative design of novel luminescent materials for high-end photonic applications, utilizing lone pairs of carbogenic centers as donors of electron density in the excited states.

Mrózek, Ondřej [University of Southern California]↗

Global population structures and demographic history of Suillus luteus, a pine co‐introduced ectomycorrhizal fungus associated with exotic forestry and invasion

Human colonization since the 19th century has resulted in the global spread of pines beyond their original northern boreal distribution. Although the introduction history of pines is documented through historical records, little is known about the introduction history of their ectomycorrhizal (ECM) fungi, which are critical symbionts for the survival and invasion of pines. Using Suillus luteus as an example, whole genomes of 208 individuals collected across native and introduced ranges were sequenced to reveal the introduction history of pine co-introduced ECM fungi. Population genomics analyses showed that all introductions originated from Europe. With the exception of North America, introduced populations were genetically differentiated from the European population, with varying magnitudes of population expansion in different introduced regions. Genetic variation within the native European population followed isolation by distance, but not in the introduced range, highlighting the disparity in the spatial-genetic patterns of native vs exotic habitats. The spread of S. luteus is mediated by human activities accompanying pine introductions, with its demographic history linked to forestry practices. The spatial, temporal, and demographic patterns observed in S. luteus offer insight into the population genetics of a widely introduced ECM fungus and are likely applicable to other pine co-introduced ECM fungi.

Ke, Yi‐Hong↗

How To Determine and Verify Operations and Maintenance Savings in Energy Savings Performance Contracts

Operations and maintenance (O&M) savings frequently occur in energy savings performance contracts (ESPCs). During FY 2022, 37% of reported annual cost savings for projects awarded under the U.S. Department of Energy (DOE) ESPC indefinite delivery indefinite quantity (IDIQ) contracts and in the performance period were due to O&M or other energy- and/or water-related cost savings, with the balance (63%) from utility cost savings (i.e., energy or water cost savings). Sometimes the energy- and water-related cost savings are acknowledged and included in payments within ESPCs; other times, for various reasons, they are not. As presented in this guide, FEMP recommends including energy- and water-related cost savings that are O&M (including related repair and replacement) savings in the financial aspects of an ESPC, to the extent such savings can be documented. Inclusion of these savings will help augment project scopes and/or lower interest costs (by shortening financing terms). However, there is a burden of proof as to what constitutes acceptability in O&M savings that needs to be carefully considered and documented in individual projects. Beyond promoting a key tenet used in U.S. federal performance contracting—that savings must be from actual budgets and therefore based on the level of O&M that is actually occurring, not what should have been performed—FEMP also recommends good practice in establishing and documenting O&M baselines, formulating the rationale for baseline adjustments during the performance period, and conducting ongoing verification activities. This document concludes with five examples of how O&M savings may be handled, in situations ranging from the partial displacement of O&M contracts to consolidation and “virtualization” of servers in data centers. A key theme that permeates this guide is the importance of thoroughly documenting all conditions and assumptions used in the development of and accounting for O&M costs and savings throughout the ESPC life cycle, from baseline-setting to measurement and verification (M&V) of the savings during each year of the performance period. Doing so not only prevents internal claims of non-performance (especially in the case of staff turnover during the contract term), but also simplifies ordering agency and energy service company (ESCO) response in the event of scrutiny from oversight organizations, such as government audits. While this guide focuses on federal ESPCs, it may also be applicable when O&M savings are included in utility energy service contracts (UESCs) and non-federal ESPCs.

Voss, Phil↗

Carbon cycling across ecosystem succession in a north temperate forest: Controls and management implications

Despite decades of progress, much remains unknown about successional trajectories of carbon (C) cycling in north temperate forests. Drivers and mechanisms of these changes, including the role of different types of disturbances, are particularly elusive. To address this gap, we synthesized decades of data from experimental chronosequences and long-term monitoring at a well-studied, regionally representative field site in northern Michigan, USA. Our study provides a comprehensive assessment of changes in above- and belowground ecosystem components over two centuries of succession, links temporal dynamics in C pools and fluxes with underlying drivers, and offers several conceptual insights to the field of forest ecology. Our first advance shows how temporal dynamics in some ecosystem components are consistent across severe disturbances that reset succession and partial disturbances that slightly modify it: both of these disturbance types increase soil N availability, alter fungal community composition, and alter growth and competitive interactions between short-lived pioneer and longer-lived tree taxa. Further, these changes in turn affect soil C stocks, respiratory emissions, and other belowground processes. Second, we show that some other ecosystem components have effects on C cycling that are not consistent over the course of succession. For example, canopy structure does not influence C uptake early in succession but becomes important as stands develop, and the importance of individual structural properties changes over the course of two centuries of stand development. Third, we show that in recent decades, climate change is masking or overriding the influence of community composition on C uptake, while respiratory emissions are sensitive to both climatic and compositional change. In synthesis, we emphasize that time is not a driver of C cycling; it is a dimension within which ecosystem drivers such as canopy structure, tree and microbial community composition change. Changes in those drivers, not in forest age, are what control forest C trajectories, and those changes can happen quickly or slowly, through natural processes or deliberate intervention. Stemming from this view and a whole-ecosystem perspective on forest succession, we offer management applications from this work and assess its broader relevance to understanding long-term change in other north temperate forest ecosystems.

54 ENVIRONMENTAL SCIENCES↗

Applications of Nickelate perovskites for neuromorphic computing from electronic structure and Machine Learning

While the limit of Moore's law is presently being reached with current microelectronic technologies, we need to develop new paradigms that overcome this limitation. In that respect, neuromorphic computing is a concept that emulates the neural behavior and response of the human brain, and it has been recognized as a promising alternative approach. In this research project, we will perform multi-fidelity scale bridging to explore the potential use of materials with metal to insulator transition for neuromorphic applications. In particular, rare earth nickelates are promising for such purposes, as the transition in these materials is quite sensitive to a broad set of different external stimuli. Our multi-fidelity approach will bridge the high-fidelity electronic structure calculations with classical potentials. We will bridge dynamical mean field theory with a classical atomistic representation via a deep learning force field. The neural network is trained with energies, charges, and forces obtained by accurate electronic structure theories based on Dynamical Mean Field Theory. The configurational space is generated from known crystal phases, ab initio molecular dynamics with exchange-correlation functionals corrected with the Hubbard model, disordered phases with different concentrations of oxygen vacancies, and nonsymmetrical positions and induced strain by grain interfaces or contact with a substrate. Strategies to train the model with a reduced number of training examples are obtained from active learning methods, and new structures for improving the learning process are generated by using machine learning autoencoders. This classical potential will be validated through a diversity of electronic structure methods and represents an important step to combine the flexibility and accuracy of first-principles with the speed of classical potentials. The generated multi-fidelity surrogate model will be used to understand the role of strain, oxygen vacancies, proton doping, the variation of the crystal phase, substrate effects, vibrational effects as the octahedral rotation, grain boundaries and defect effects on the response of a Metal to Insulator Transition (MIT) in correlated materials. Long time and large-scale simulations will help understand the role of different stimuli to control the hysteresis of the MIT, as it has been experimentally suggested. Selected configurations will be analyzed with higher-level theories to provide an accurate electronic description and to study how the orbitals and charges are rearranged under different conditions.

36 MATERIALS SCIENCE↗

Assessing the Application of a Genomic Network Analysis in Population Ecology: Inferring Patterns of Dispersal and Geographic Structure in the Emerging Pathogen, Coccidioides

A challenge in population ecology studies is identifying how to best group individuals into populations, especially when individual origin is unknown. Machine learning has improved upon traditional methods of identifying population structure and is more efficient at handling large, complex datasets. We demonstrate the applicability of a machine learning method to identify hierarchical population structure in an emerging pathogen, Coccidioides spp., the causative agent of Valley fever. We compared the network clusters to structure identified by traditional tools as a validation of the network performance. We used publicly available whole-genome data for 48 C. immitis and 102 C. posadasii, resulting in 168,211 genome-wide SNPs among the two species. The network analysis grouped samples into populations comparable to the literature for these species but also identified fine-scale geographic structure and travel-associated cases not reported thus far. Exploring different resolutions in the network made it easy to identify unique genotypes specific to California and possibly Nevada, as well as Phoenix- and Tucson-acquired infections in non-endemic areas, regardless of reported travel history. The present study provides a promising example of how a ML-based network analysis can improve our ability to understand pathogen ecology, group cases into populations and infer travel-associated infections.

59 BASIC BIOLOGICAL SCIENCES↗

Schrödinger cat states of a nuclear spin qudit in silicon

High-dimensional quantum systems are a valuable resource for quantum information processing. They can be used to encode error-correctable logical qubits, which has been demonstrated using continuous-variable states in microwave cavities or the motional modes of trapped ions. For example, high-dimensional systems can be used to realize ‘Schrödinger cat’ states, which are superpositions of widely displaced coherent states that can be used to illustrate quantum effects at large scales. Recent proposals have suggested encoding qubits in high-spin atomic nuclei, which are finite-dimensional systems that can host hardware-efficient versions of continuous-variable codes. Here, in this study, we demonstrate the creation and manipulation of Schrödinger cat states using the spin-7/2 nucleus of an antimony atom embedded in a silicon nanoelectronic device. We use a multi-frequency control scheme to produce spin rotations that preserve the symmetry of the qudit, and we constitute logical Pauli operations for qubits encoded in the Schrödinger cat states. Our work demonstrates the ability to prepare and control non-classical resource states, which is a prerequisite for applications in quantum information processing and quantum error correction, using our scalable, manufacturable semiconductor platform.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

TRUST Sensors in Environments: Thermocouples (SE-TC), Release FY25

The Delivery Environments Testbeds to Reduce Uncertainty in Simulations and Tests (TRUST) project is a broad project intended to analyze simplified problems experimentally and with modeling and simulation. The purpose of analyzing these simplified problems is to extend solution methods to more complex problems, as well as understand deficiencies and gaps in knowledge of methods currently used in more complex analyses. The TRUST project encompasses several smaller testbeds intended to isolate individual phenomena. The testbed under consideration in this report is the Sensors in Environments: Thermocouples testbed. In previous years, the purpose of this testbed was to quantify uncertainty of thermocouple sensors. To accomplish this, an aluminum plate was placed in a thermal chamber and subject to various types of thermal loading. Thermocouples were placed in various locations on the aluminum plate in various configurations (e.g., embedded in the plate, placed under Kapton tape), and an effort was made to quantify uncertainty in these measurements. Finite element simulations were performed to investigate how sensitive these measurements were to parameters such as the boundary conditions on the plate and material properties. However, a fundamental source of uncertainty in this analysis was the convective heat transfer from the plate. Convective heat transfer is a complex physical phenomenon comprised of a number of interacting sub-processes and is difficult to predict accurately a priori. As such, the main purpose of this testbed in FY25 was to better understand, both experimentally and numerically, the convective heat transfer from the plate. This is a highly applicable problem to several more complex problems, as convective heat transfer occurs in nearly all problems where a body is moving through air. Numerically, this required a two-step approach. First, the air flow in the thermal chamber was in vestigated using computational fluid dynamics. The commercial solver Fluent was used to perform these simulations. From these simulations, a heat transfer coefficient over the surface of the plate was calculated. This heat transfer was then used as boundary conditions for finite element heat transfer simulations within the plate, which were performed using Abaqus. Significant effort was devoted to automating the handoff between these two solvers. Experimentally, previous thermocouple results in the plate were used to validate the time-dependent thermal profiles produced from Abaqus. Further experimental efforts were performed both to help validate the Fluent simulations and to inform its boundary conditions. For example, hot-wire anemometers were used to measure the velocity in the chamber, which would be particularly useful in understanding the chamber inlet velocity. Thermocouple measurements were also taken in the chamber, instead of only on the plate, to serve as validation evidence for the Fluent simulations. Numerical results showed that the Fluent to Abaqus workflow matched previous plate thermocouple measurements well. This type of handoff is useful for more complex experiments, or those that are not able to be examined in as great of detail as this testbed, as it was performed without any experimental input. Experimental results, however, were more mixed. The anemometers proved unreliable, with inconsistent measurements across all anemometers, even at locations that were nearly identical. On the other hand, the thermocouples provided a relatively rich view of the temperature field in the chamber.

42 ENGINEERING↗

Electron Bifurcating Hydrogenases

The importance of electron-bifurcating enzymes is manifest by their ability to maximize energy efficiency. Specifically, they couple a downhill oxidation-reduction (redox) reaction with an uphill redox reaction. Since the rapid increase in the discovery of bifurcating enzymes starting in 2008, there has been interest in incorporating their mechanistic principles into artificial/semiartificial systems to drive chemically challenging reactions. This has yet to be achieved, partly because the details of electron bifurcation, i.e. mechanisms, are largely elusive. Nevertheless, much progress has been made in understanding reactivities, structures, and some mechanistic aspects of these enzymes. Notable examples are electron-bifurcating hydrogenases, which are the focus of this chapter. The chapter is organized as follows. Section 11.1 provides an overview of hydrogenases and electron bifurcation. In Section 11.2, some physiological roles of electron-bifurcating hydrogenases are highlighted. Additionally, electron-bifurcating subunit compositions and biochemical reactivities are comprehensively tabulated, and some key points/considerations about these are noted. In Section 11.3, we discuss the known structures of these enzymes, which provide insight into their complex arrangements of redox cofactors, such as iron-sulfur clusters. Also provided are tabulations and discussions of some biophysical properties of the cofactors. In Section 11.4, we discuss the mechanistic proposals of these enzymes, which are primarily based on structural information. Areas of research that are much needed are outlined in Section 11.5. We conclude on the note that what is learned from electron-bifurcating hydrogenases has applicability to other bifurcating enzymes, nonbifurcating analogs, and mechanistic enzymology at large.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Room-Temperature Methane Oxidation to Formaldehyde Mediated by CoMoO + Gas-Phase Cations

Formaldehyde (HCHO) is a fundamental chemical feedstock with widespread industrial applications. The direct oxidation of methane by oxygen to formaldehyde (CH 4 + 1/2O 2 → H 2 + HCHO) under mild conditions represents an attractive but challenging transformation, as it requires both activation of the inert C–H bonds of CH 4 and suppression of overoxidation to products such as carbon dioxide. In this work, mass spectrometry experiments combined with theoretical calculations reveal that CoMoO + cations can efficiently mediate this transformation at room temperature. The unique electronic structure of CoMoO + facilitates the formation of a crucial CoMoOCH 2 + intermediate during the reaction with CH 4 and prevents methanol formation. In the subsequent oxidation reaction, the Mo atom in CoMoO + serves as the active site for O 2 adsorption, and both Mo and Co atoms act as electron donors to activate O 2 , leading to the formation of the C–O bond in formaldehyde. This work reports the first gas-phase example of achieving conversion of CH 4 to HCHO and its radical derivatives by O 2 at room temperature using heteronuclear non-noble metal cations. Remarkably, the CoMoOCH 2 + cation maintains high reactivity after adsorbing one or two CH 4 molecules. Finally, these findings provide new mechanistic insights into selective methane activation and conversion.

aldehydes↗

Performance of the spin-component-scaled methods for energy bands

The performance of various spin-component-scaled parameterisations is examined for the second-order many-body Green's-function [MBGF(2)] calculations of valence energy bands, taking three of the experimentally well-characterised polymers as examples: polyethylene, polytetrafluoroethylene, and polyacetylene. The parameterisations considered are Grimme's original SCS parameter set, Jung et al.'s original SOS set (retaining the opposite-spin component only), Śmiga et al.'s SCS(IP) set (calibrated specifically for ionization energies), and Śmiga et al.'s SOS(IP) set (calibrated for ionization energies with the opposite-spin component only; implicit in the os-D2 model of Opoku et al.). The SCS(IP) and SOS(IP) parameterisations are found to shift both outer and inner valence bands by up to a few electronvolts away from the experimental data. The original SCS and SOS parameter sets do not improve upon, but largely maintain the accuracy of the unscaled MBGF(2) methods. Given that the SOS-MBGF(2) method can be implemented in a quartic-scaling algorithm (for all roots), it is most promising for solid-state applications. Furthermore this observation is consistent with the success of the quartic-scaling GW methods without the vertex correction based on a density-functional theory reference.

Green’s-function theory↗