Search NASA⌕ Search

SEARCH · Search NASA

Results for “enumerators”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
DOE OSTI2017

Superconformal index, BPS monodromy and chiral algebras

We show that specializations of the 4d N = 2 superconformal index labeled by an integer N is given by Tr M N where M is the Kontsevich-Soibelman monodromy operator for BPS states on the Coulomb branch. We provide evidence that the states enumerated by these limits of the index lead to a family of 2d chiral algebras A N . This generalizes the recent results for the N = –1 case which corresponds to the Schur limit of the superconformal index. We show that this specialization of the index leads to the same integrand as that of the elliptic genus of compactification of the superconformal theory on S 2 × T 2 where we turn on 1/2 N units of U(1) r flux on S 2 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

134 billion intersecting brane models

The landscape of string vacua is very large, but generally expected to be finite in size. Enumerating the number and properties of the vacua is an important task for both the landscape and the swampland, in part to gain a deeper understanding of what is possible and “generic”. We obtain an exact counting of distinct intersecting brane vacua of type IIA string theory on the T 6 /Z 2 × Z 2 orientifold. Care is taken to only count gauge-inequivalent brane configurations. Leveraging the recursive nature by which branes may be added together one-by-one, we use dynamic programming to efficiently count the number of solutions of the tadpole, K-theory and supersymmetry consistency conditions. The distributions of 4D gauge group rank and complex structure moduli for the entire ensemble of intersecting brane vacua are presented. The methods we developed here may be useful in obtaining sharp upper and lower bounds on other corners of the landscape.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Approach to pediatric renal tumors: an imaging review

Renal tumors comprise 7% of all childhood cancers. A wide variety of renal tumors can affect the pediatric kidneys, which can be broadly classified as primary benign tumors, primary malignant tumors, and metastatic lesions. This article aims to enumerate usual benign and malignant renal tumors that can occur in childhood and emphasizes the characteristic imaging appearances which aid in their differential diagnosis. Additionally, the leading role of the Radiologist in primary diagnosis of renal infiltration by hematological malignancies and contiguous invasion by neuroblastoma is also introduced and unraveled. Imaging protocol comprises initial Ultrasound evaluation with subsequent computed tomography (CT) and/or Magnetic resonance imaging (MRI), all of which are invaluable in confirming the diagnosis, documenting the organ of origin, describing extent of local and distant spread. The complimentary role of nuclear medicine studies in delineating differential renal function, post-operative complications, and metastasis is also highlighted.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2015

Genome-scale modeling for metabolic engineering

We focus on the application of constraint-based methodologies and, more specifically, flux balance analysis in the field of metabolic engineering, and enumerate recent developments and successes of the field. We also review computational frameworks that have been developed with the express purpose of automatically selecting optimal gene deletions for achieving improved production of a chemical of interest. The application of flux balance analysis methods in rational metabolic engineering requires a metabolic network reconstruction and a corresponding in silico metabolic model for the microorganism in question. For this reason, we additionally present a brief overview of automated reconstruction techniques. Finally, we emphasize the importance of integrating metabolic networks with regulatory information-an area which we expect will become increasingly important for metabolic engineering-and present recent developments in the field of metabolic and regulatory integration.

Simeonidis, E↗
DOE OSTI2026

A stiff order condition theory for Runge–Kutta methods applied to semilinear ODEs

Classical convergence theory of Runge–Kutta methods assumes that the time step is small relative to the Lipschitz constant of the ordinary differential equation (ODE). For stiff problems, that assumption is often violated, and a problematic degradation in accuracy, known as order reduction, can arise. Methods with high stage order, e.g., Gauss–Legendre and Radau, are known to avoid order reduction, but they must be fully implicit. For the broad class of semilinear ODEs, which consist of a stiff linear term and non-stiff nonlinear term, we show that weaker conditions suffice. Here, our new semilinear order conditions are formulated in terms of orthogonality relations and can be enumerated by rooted trees. Finally, we prove global error bounds that hold uniformly with respect to stiffness of the linear term.

Mathematics and Computing↗
DOE OSTI2018

Generalizing Gillespie’s Direct Method to Enable Network-Free Simulations

Gillespie’s direct method for stochastic simulation of chemical kinetics is a staple of computational systems biology research. However, the algorithm requires explicit enumeration of all reactions and all chemical species that may arise in the system. In many cases, this is not feasible due to the combinatorial explosion of reactions and species in biological networks. Rule-based modeling frameworks provide a way to exactly represent networks containing such combinatorial complexity, and generalizations of Gillespie’s direct method have been developed as simulation engines for rule-based modeling languages. Here, we provide both a high-level description of the algorithms underlying the simulation engines, termed network-free simulation algorithms, and how they have been applied in systems biology research. We also define a generic rule-based modeling framework and describe a number of technical details required for adapting Gillespie’s direct method for network-free simulation. Lastly, we briefly discuss potential avenues for advancing network-free simulation and the role they continue to play in modeling dynamical systems in biology.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2019

Systematic Method and Tool for Sustainable Process Synthesis, Designanalysis and Innovation

Computer-aided tools have been successfully developed and used in different segments of the entire process development cycle. For example, there are established tools for chemical process design, simulation, heat exchanger network synthesis and many more. However, one needs an integrated platform to perform process synthesis, design and analysis of chemical processes in a systematic manner. Also, in order to obtain a truly innovative and sustainable solution, it is necessary to search the entire feasible search space of alternatives and select the best process alternative, which is not very easy and will be time consuming. Therefore, it is beneficial to utilize computer-aided methods and tools to enumerate, analyze and determine within the design space, the more sustainable processes. This work highlights the development of a computer aided methodology and corresponding integrated platform for fast, reliable and consistent generation of process flowsheets. As a result, this paper gives an overview of the key concepts and the method is presented along with details of the developed computer-aided tool.

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

ProCAFD: Computer-aided Tool for Sustainable Process Synthesis, Intensification and Hybrid solutions

Process industry is always in quest for innovative designs which are both efficient, safe and sustainable. The feasible search space of all unit operations that can be combined to generate process flowsheet alternatives for a given synthesis problem can be large and difficult to manually navigate in order to determine the best processing route. Therefore, it is helpful to utilize computer-aided methods and tools to enumerate, analyze and determine within the design space, the more sustainable processes. In this study, an integrated computer-aided method and corresponding software-tool that’s capable of generating and searching the entire design space for more sustainable process options is presented. In this work a comprehensive analysis method consisting of economic, life cycle, sustainability and process safety indicators is used to identify process bottlenecks on the selected alternative which are translated to design targets. Matching of these design targets minimizes/eliminates the process hot-spots and, thereby generating non-trade-off innovative process designs.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Chapter 10.02 - Neutron Scattering Studies of Materials for Hydrogen Storage

Hydrogen storage presents a significant barrier to the widespread adaptation of hydrogen as an energy source in mobile and stationary applications. The development of new candidate hydrogen storage materials is therefore an outstanding goal in the field of inorganic chemistry. Neutron scattering techniques - including diffraction, inelastic, and quasielastic scattering - are integral in investigating these materials. Here, we review some of the key studies of candidate hydrogen storage materials which have employed neutron scattering techniques. We begin with a brief discussion of hydrogen's current position in the global energy landscape. Next, we provide a brief description of the theory and practical aspects of the neutron scattering techniques germane to the study of hydrogen storage. Then we enumerate the neutron scattering studies of candidate hydrogen storage materials, including metal hydrides, chemical hydrides, and porous compounds. We focus on the studies which helped develop our understanding of hydrogen storage by revealing the underlying fundamental physics and chemistry of hydrogen sorption in these systems. Finally, we provide an outlook to the future of hydrogen storage research.

chemical hydrides↗
DOE OSTI2026

Energetics of the nucleation and glide of disconnection modes in symmetric tilt grain boundaries

Grain boundaries (GBs) evolve by the nucleation and glide of disconnections, which are dislocations with a step character. In this work, motivated by recent success in predicting GB properties such as the shear coupling factor and mobility from the intrinsic properties of disconnections, we develop a systematic method to calculate the energy barriers for the nucleation and glide of individual disconnection modes under arbitrary driving forces and a quasi-2D setting. This method combines tools from bicrystallography to enumerate disconnection modes and the Nudged elastic band (NEB) method to calculate their energetics, yielding minimum energy paths and atomistic mechanisms for the nucleation and glide of each disconnection mode. We apply the method to accurately predict shear coupling factors of $[001]$ symmetric tilt grain boundaries in Cu. Particular attention is paid to the boundaries where the dislocation-based disconnection nucleation model produces incorrect nucleation barriers. We demonstrate that the method can accurately compute energy barriers and predict shear-coupling factors in the low-temperature regime. For certain disconnection modes in which the assumptions underlying our method do not hold, we report upper bounds on the energy barriers for disconnection nucleation and glide. In addition, the NEB trajectories reveal interesting phenomena such as the dissociation of a higher energy mode into lower energy modes, and in some cases, shear coupling being mediated by partial disconnections, wherein the GB structure temporarily changes to a metastable state before reverting back to its original structure. Graphical abstract

36 MATERIALS SCIENCE↗
DOE OSTI2018

In vitro large scale production of megakaryocytes to functional platelets from human hematopoietic stem cells

Highlights: • Human HSCs were isolated from donor, showed positive to CD34 and CD133 and negative to CD90 and CD73. • These HSCs were induced in novel PI-LC and PII-LC to MKs and platelets differentiation. • The PII-LC (contains andrographolide) showed high MKs production as evidence from flow cytometry and CFU-MK. • The DNA ploidy also showed up to 32 N polyploidy in PII-LC induced MKs compared to PI-LC. • Further, western blotting and qRT-PCR showed high expression of MKs specific genes in PII-LC induced MKs. Megakaryocytopoiesis results in the formation of platelets, which are essential for hemostasis. Decreased production or increased destruction of platelets can cause thrombocytopenia, in which platelet transfusion is the mode of treatment. The present study is aimed in generation of megakaryocytes (MKs) and platelet from human hematopoietic stem cells (HSCs). The purity of HSCs was assessed through Flow cytometry and immunocytochemistry (ICC) studies. These pure HSCs were induced with thrombopoietin (TPO), similarly with Andrographis paniculata extract (APE) for 21 days to generate MKs. The APE is mainly composed of andrographolide which stimulates TPO from the liver, and this binds to CD110 present on the surface of HSCs and triggers the proliferation of HSCs and initiate higher MKs population subsequently, a large number of platelets. The results of the present study showed increased proliferation of HSCs grown in the presence of APE and revealed a high population of CD41a and CD42b positive MKs as enumerated by Flow cytometry compared with TPO induced MKs. These results also concurred with qRT-PCR and western blot analysis. The scanning electron microscopy (SEM) revealed the morphology of differentiated MKs and platelets were similar to human blood platelets. The differentiated MKs in APE exhibited polyploidy up to 32 N while TPO induced MKs showed polyploidy of 8 N, these results corroborated with colony forming unit assay. On thrombin stimulation, high expression of P-selectin (CD62p) and fibrinogen binding were detected in APE induced platelets. Autologous transplantation of platelets generated from APE may be a useful option in thrombocytopenia condition.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2022

Thermodynamic modeling of the Pd–Zn system with uncertainty quantification and its implication to tailor catalysts

Pd–Zn intermetallic catalysts show encouraging combinations of activity and selectivity on well-defined active site ensembles. Thermodynamic description of the Pd–Zn system, delineating phase boundaries and enumerating site occupancies within intermediate alloy phases, is essential to determining the ensembles of Pd–Zn atoms as a function of composition and temperature. Combining the present extensive first-principles calculations based on density functional theory (DFT) and available experimental data, the Pd–Zn system was remodeled using the CALculation of PHAse Diagrams (CALPHAD) approach. High throughput modeling tools with uncertainty quantification, i.e., ESPEI and PyCalphad, were incorporated in the phase analysis. Here, the site occupancies across the γ phase composition region were given special attention. A four-sublattice model was used for the γ phase owing to its four Wyckoff positions, i.e., the outer tetrahedral (OT) site 8c, the inner tetrahedral (IT) site 8c, the octahedral (OH) site 12e, and the cuboctahedral (CO) site 24g. The site fractions of Pd and Zn calculated from the present thermodynamic model show the occupancy preference of Pd in the OT and OH sublattices in agreement with experimental observations. The force constants obtained from DFT-based phonon calculations further supports the tendency of Pd occupying the OH sublattice compared with the IT and CO sublattice. The catalytic ensembles changing from Pd monomers (Pd 1 ) to trimers (Pd 3 ) on the surface of γ phase are attributed to the increase of Pd occupancy in the OH sublattice.

36 MATERIALS SCIENCE↗
DOE OSTI2019

A chemical pathway perspective on the kinetics of low-temperature ignition of propane

In this work, the chemistry of low-temperature ignition in propane/air mixtures is analyzed using a recently developed pathway representation of the chemical kinetics. The "Sum Over Histories Representation" allows time dependent kinetic observables to be computed using an expansion over global chemical pathways that follow chemical moieties as they move through a complex reaction network. This methodology assigns probabilities to complete chemical pathways through which specific intermediate or product species are generated. The growth of the radical pool during the ignition process is analyzed by enumerating chemical pathways that constitute catalytic cycles, in particular the catalyzed production of the highly reactive OH-radical. In addition to the well-known reaction route followed in low-temperature ignition of hydrocarbons which involves the QOOH and keto-hydroperoxide species, we have explicitly identified several other cycles that are responsible for most of the remaining OH-production.

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

A generalized and adaptable tensor-contraction-based cluster expansion formalism for multicomponent solids

Density functional theory (DFT)-based simulations of materials have first-principles accuracy, but are very computationally expensive. For simulating various properties of multi-component alloys, the cluster expansion (CE) technique has served as the standard workaround to improve computational efficiency. However, the standard CE technique is difficult to extend to exotic and/or low-symmetry lattices, often implemented via iteration over particular cluster types, which must be enumerated per lattice structure. In this work, we introduce the tensor cluster expansion (TCE), implemented in the open-source code tce-lib, which maps correlation functions to mixed tensor contractions, eliminating the need to iterate over cluster types and additionally making the calculation of correlation functions well-suited for massively parallel architectures like GPUs. We show that local interaction energies are an immediate consequence of the TCE formalism, yielding nearly $\mathcal{O}$(1) energy difference calculations. We then use this formalism to fit CE models for the TaW and CoNiCrFeMn systems, and use these models to respectively compute the enthalpy of mixing curve and Cowley short-range order parameters, showing excellent agreement with ground truth data.

Cluster expansion↗
DOE OSTI2016

A method for evaluating the funding of components of natural resource and conservation projects

Many public and private entities such as government agencies and private foundations have missions related to the improvement, protection, and sustainability of the environment. In pursuit of their missions, they fund projects with related outcomes. Typically, the funding scene consists of scarce funding dollars for the many project requests. In light of funding limitations and funder's search for innovative funding schemes, a method to support the allocation of scarce dollars among project components is presented. The proposed scheme has similarities to methods in the project selection literature but differs in its focus on project components and its connection to and enumeration of the universe of funding possibilities. The value of having access to the universe is demonstrated with illustrations. The presentation includes Excel implementations that should appeal to a broad spectrum of project evaluators and reviewers. Access to the space of funding possibilities facilitates a rich analysis of funding alternatives. - Highlights: • Method is given for allocating scarce funding dollars among competing projects. • Allocations are made to fund parts of projects • Proposed method provides access to the universe of funding possibilities. • Proposed method facilitates a rich analysis of funding possibilities. • Excel spreadsheet implementations are provided.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Deconvoluting sources of failure in lithium metal batteries containing NMC and PEO-based electrolytes

Solid-state lithium metal batteries (SSLMBs) containing polyethylene oxide (PEO)-derived polymer electrolytes and high-voltage (> 4 V vs. Li/Li + ) cathode materials suffer from three sources of failure: (1) instability between the polymer electrolyte and cathode at high voltage, (2) instability of the polymer electrolyte with Li metal, and (3) poorly-designed cathodes. In this study, these three sources of failure are deconvoluted by studying Ni-rich LiNi x Mn y Co 1-x-y O 2 (NMC, x ≥ 0.6) cathodes and a gel polymer electrolyte (GPE) derived from PEO. Initial cycling data reveals that rapid capacity fade occurs regardless of whether soft short circuits form due to Li dendrites. Cyclic voltammetry scans on cells featuring a Li metal electrode, GPE, and a NMC811 electrode free of additives suggest that there are no runaway reactions between the GPE and NMC811 up to 4.5 V vs. Li/Li + . Cathode/cathode symmetric cell cycling demonstrates that Li metal reactivity is a prime source of failure, though a poorly-designed cathode leads to subpar performance. A cathode with single-crystal NMC particles was demonstrated to achieve better initial capacity and longer cycle life, indicating room for improvement in SSLMB cathode design. Therefore, the sources of failure as enumerated may be ranked as follows from most to least concerning: 2 > 3 > 1.

25 ENERGY STORAGE↗
DOE OSTI2018

Microbial source tracking markers associated with domestic rainwater harvesting systems: Correlation to indicator organisms

Highlights: • Microbial source tracking markers are present in harvested rainwater. • HF183, Lachnospiraceae, B. adolescentis and adenovirus correlate with indicators. • HF183, adenovirus and Lachnospiraceae co-occurred with indicator organisms. • These MST markers may be incorporated in a toolbox to supplement indicator analysis. Domestic rainwater harvesting (tank water) systems were screened for the presence of a panel of microbial source tracking (MST) markers and traditional indicator organisms. The indicator organisms were enumerated utilizing traditional culture-based methods, while the MST markers were quantified by quantitative PCR (qPCR). The indicators Escherichia coli (E. coli) and enterococci were also quantified using qPCR. Correlations and concurrence between these parameters were then investigated to determine which markers could be utilized to supplement traditional indicator analysis. Quantitative PCR analysis indicated that Bacteroides HF183, adenovirus, Lachnospiraceae and E. coli were detected and quantifiable in 100% of the tank water samples collected throughout the sampling period, while human mitochondrial DNA (mtDNA) was quantifiable in 90% of the tank water samples and Bifidobacterium adolescentis (B. adolescentis) and enterococci were quantifiable in 67% of the tank water samples, respectively. Significant positive correlations were recorded for Lachnospiraceae versus heterotrophic bacteria (p = 0.000), adenovirus versus E. coli (culturing) (p = 0.000) and heterotrophic bacteria (p = 0.024), the HF183 marker versus E. coli (qPCR) (p = 0.024) and B. adolescentis versus fecal coliforms (p = 0.037). In addition, 100% concurrence was observed for the HF183 marker, adenovirus and Lachnospiraceae versus E. coli (qPCR), enterococci (qPCR) and heterotrophic bacteria, amongst others. Based on the correlations and the concurrence analysis, the HF183 marker, Lachnospiraceae and adenovirus may be utilized to supplement indicator organism analysis for the monitoring of harvested rainwater quality.

54 ENVIRONMENTAL SCIENCES↗