SEARCH · Engineering Papers

Results for “Constructive Tree”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

DOE OSTI2017

Gluon amplitudes as 2 d conformal correlators

Recently, spin-one wave functions in four dimensions that are conformal primaries of the Lorentz group S L ( 2 , C ) were constructed. Herein, we compute low-point, tree-level gluon scattering amplitudes in the space of these conformal primary wave functions. The answers show the same conformal covariance as correlators of spin-one primaries in a 2 d CFT. The Britto–Cachazo–Feng–Witten (BCFW) recursion relation between three- and four-point gluon amplitudes is recast into this conformal basis.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2024

Graph Analytics on Jellyfish topology

Because large unstructured datasets is important for many science domains, distributed graph analytics is critical to many scientists. Unfortunately, obtaining scaling and performance for irregular communication is challenging because contemporary network interconnects are primarily designed to maximize bandwidths of fixed-neighborhoods large-message exchanges (e.g., stencils). Although there is no consensus on the “best” network topologies for irregular communication, unstructured graph-based interconnects can be more suitable. We analyze three popular graph workloads – clustering, pattern enumeration, and traversal — on comparable networks (in terms of resources and costs) constructed from Jellyfish Random Regular, Dragonfly and Fat tree topologies, varying the routing algorithms. Using packet-level simulations, we demonstrate up to 60% improvement in communication time with Jellyfish due to diversity of the short paths between arbitrary endpoints, which can reduce overall network stalls and congestion.

Graph Analytics, network topology, interconnect, H↗

DOE OSTI2025

Clustering at Massive Scale

ClaMS provides hierarchical clustering technology for use on massive, high-dimensional datasets that require distributed memory for processing. The algorithm employed is inspired by the popular HDBSCAN algorithm but makes use of computational kernels better suited for distributed computing. ClaMS is built on scalable nearest neighbor graph construction, metric forest completion, and approximate minimum spanning tree techniques.

Stanley, ThomasA [Lawrence Livermore National Labo↗

NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

NASA NTRS2009

Deriving Safety Cases from Machine-Generated Proofs

Proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because they use machine-oriented formalisms; they may also be based on assumptions that are not justified. This causes concerns about the trustworthiness of using formal proofs as arguments in safety-critical applications. Here, we present an approach to develop safety cases that correspond to formal proofs found by automated theorem provers and reveal the underlying argumentation structure and top-level assumptions. We concentrate on natural deduction proofs and show how to construct the safety cases by covering the proof tree with corresponding safety case fragments.

Basir, Nurlida↗

NASA NTRS2009

Deriving Safety Cases from Machine-Generated Proofs

Basir, Nurlida↗

NASA NTRS2021

Dendroarchaeological Analysis of the Terminal Warehouse in New York City Reveals A History of Long-Distance Timber Transport During the Gilded Age

The Gilded Age of the late 19th century marked a period of rapid development and urbanization in New York City, U.S. To accommodate the high demand in wood products during that time, the timbers used for development of the city were increasingly sourced from locations distant from the northeastern United States. The Terminal Warehouse in the Chelsea neighborhood of New York City was one of many large buildings erected during this period of city expansion, and is an important symbol of New York City commerce during the late 1800s. To determine the history and provenance of timbers used in the construction of the Terminal Warehouse, we used tree-ring analysis on longleaf pine (Pinus palustris Mill.) joists that were original to the building. The ring-width patterns on the joists cross dated well internally, suggesting a common origin of the sampled lumber. Further, our Terminal Warehouse tree-ring chronology (1512–1891 C.E.) correlated strongly with existing tree-ring chronologies from western/central Georgia and eastern Alabama, indicating that the timbers were extracted from this region of the southeastern United States. The provenancing and dating of the Terminal Warehouse timbers underscores the important role that southern pines played in the expansion and development of New York City during the Gilded Age.

Dendroprovenance↗

NASA NTRSDate not supplied

Monte Carlo Tree Search for Integrated Planning, Learning, and Execution in Nondeterministic Python

We present a novel use of Monte Carlo Tree Search (MCTS),adapted to explore a search space produced by the choice points embedded in Python code. The choice points are non-deterministic assignment statements and subroutine calls. We present MCTS extensions required for doing tree search in this context which includes control constructs like hierarchical decomposition (subroutine calls), iterative while loops and conditional statements. We demonstrate how the system works in a simulated rideshare scenario in an urban setting, and present preliminary experiments as a proof of concept.

Automatic planning↗

DOE OSTI2020

Chemical plasticity in the fine root construct of Quercus spp. varies with root order and drought

ne roots of trees exhibit high plasticity to adapt to environmental stress. Although the morphological and physiological plasticity of roots has been well studied, less explored are the accompanying changes in the chemical plasticity of fine roots, which regulates both root function and soil carbon sequestration. We investigated the changes in quantity, composition and localization of compounds in different fine root orders of Quercus alba and Quercus rubra subjected to drought stress. The total quantity of lignins varied only by root orders where distal (1+2) orders had lower lignin compared to higher orders. However, the 1+2 orders had higher guaiacyl lignin and bound phenolics, which provide greater protection from environmental stress. Unlike lignins, drought altered the quantity and composition of tannins. In Q. alba, the ellagitannins decreased in the 1+2 orders exposed to drought. The lower content of ellagitannins with antimicrobial properties reveals a strategic adaptive response by fine roots to facilitate symbiotic association, as evidenced by the higher colonization of ectomycorrhizal fungi, which help in drought tolerance. Our study revealed that the chemical construct of different heteropolymers varied differently across root orders when exposed to drought, indicating the importance of chemical plasticity of fine roots to adapt to environmental stress

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2023

Scattering in black hole backgrounds and higher-spin amplitudes. Part II

We continue to investigate correspondences between, on the one hand, scattering amplitudes for massive higher-spin particles and gravitons in appropriate quantum-to-classical limits, and on the other hand, classical gravitational interactions of spinning black holes according to general relativity. We first construct an ansatz for a gravitational Compton amplitude, at tree level, constrained only by locality, crossing symmetry, unitarity and consistency with the linearized-Kerr 3-point amplitude, to all orders in the black hole’s spin. We then explore the extent to which a unique classical Compton amplitude can be identified by comparing with the results of the classical process of scattering long-wavelength gravitational waves off an exact Kerr black hole, determined by appropriate solutions of the Teukolsky equation. Up to fourth order in spin, we find complete agreement with a previously conjectured exponential form of the tree-level Compton amplitude. At higher orders, we extract tree-level contributions from the Teukolsky amplitude by an analytic continuation from a physical (a/GM < 1) to a particle-like (a/GM > 1) regime. Up to the sixth order in spin, we identify a unique conservative part of the amplitude which is insensitive both to the choice of boundary conditions at the black hole horizon and to branch choices in the analytic continuation. The remainder of the amplitude is determined modulo an overall sign from a branch choice, with the sign flipping under exchanging purely ingoing and purely outgoing boundary conditions at the horizon. Along the way, we make contact with novel applications of massive spinor-helicity variables pertaining to their relation to EFT operators and (spinning) partial amplitudes.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2026

Sugar Relese Supplementary Text and Figures

Phylogenetic tree of GAUT Protein Family and gene model, RNAi construct, and relative transcript abundance of GAUT4 in switchgrass, rice and poplar knockdown (KD) lines.

bio engineered↗

NASA NTRS2006

Onboard Classifiers for Science Event Detection on a Remote Sensing Spacecraft

Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a spacecraft to identify high priority data for downlink to Earth, providing a method for maximizing the use of a potentially bandwidth limited downlink channel. Onboard analysis can also enable rapid reaction to dynamic events, such as flooding, volcanic eruptions or sea ice break-up. Four classifiers were developed to identify cryosphere events using hyperspectral images. These classifiers include a manually constructed classifier, a Support Vector Machine (SVM), a Decision Tree and a classifier derived by searching over combinations of thresholded band ratios. Each of the classifiers was designed to run in the computationally constrained operating environment of the spacecraft. A set of scenes was hand-labeled to provide training and testing data. Performance results on the test data indicate that the SVM and manual classifiers outperformed the Decision Tree and band-ratio classifiers with the SVM yielding slightly better classifications than the manual classifier.

classification↗

DOE OSTI2018

An Analytic Framework for Optimal Milling Parameter Selection

The selection of optimal parameters is an important step in machining process definition. This paper presents a decision analytic framework for completing this task. The approach is demonstrated for titanium milling. An influence diagram showing the decision situation, the corresponding uncertainties, and the value is presented. The optimization objective is the selection of machining parameters that minimize cost while considering uncertainty in tool life and stability. The uncertainties are characterized using a probability distribution taking into account all available information. The cost associated with tool failure and unstable cutting conditions is incorporated in the cost formulation. A process probability tree showing the uncertainties and the corresponding costs is constructed. The optimization results show a 90% reduction in machining cost as compared to tool manufacturer-recommended parameters. The proposed framework is normative and robust and can be applied for optimizing process parameters in conventional (such as milling and turning) and non-conventional (such as electric discharge machining, electro-chemical machining) processes. A discussion section regarding inference, experimental design, and risk aversion is included.

Karandikar, Jaydeep↗

DOE OSTI2018

A Ricin Forensic Profiling Approach Based on a Complex Set of Biomarkers

A forensic method for the retrospective determination of preparation methods used for illicit ricin toxin production was developed. The method was based on a complex set of biomarkers, including carbohydrates, fatty acids, seed storage proteins, in combination with data on ricin and Ricinus communis agglutinin. The analyses were performed on samples prepared from four castor bean plant ( Ricinus communis ) cultivars by four different sample preparation methods (PM1 – PM4) ranging from simple disintegration of the castor beans to multi-step preparation methods including different protein precipitation methods. Comprehensive analytical data was collected by use of a range of analytical methods and robust orthogonal partial least squares-discriminant analysis- models (OPLS-DA) were constructed based on the calibration set. By the use of a decision tree and two OPLS-DA models, the sample preparation methods of a test set of ricin preparations were determined. The model statistics of the two models were good and a 100% rate of correct predictions of the test set was achieved.

Fredriksson, Sten-Åke (ORCID:0000000237131990)↗

DOE OSTI2018

On the Characteristic Polynomial and Eigenvectors in Terms of the Tree-Like Structure of a Digraph

Regarding a square matrix as the adjacency matrix of a weighted digraph, we construct an extended digraph whose Laplacian contains the original matrix as a submatrix. This construction allows us to use known results on Laplacians to study arbitrary square matrices. The calculation of an eigenvector in a parametric form demonstrates a connection between its components and the tree-like structure of the digraph.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Celestial operator product expansions and w 1+∞ symmetry for all spins

The operator product expansion of massless celestial primary operators of arbitrary spin is investigated. Poincaré symmetry is found to imply a set of recursion relations on the operator product expansion coefficients of the leading singular terms at tree-level in a holomorphic limit. The symmetry constraints are solved by an Euler beta function with arguments that depend simply on the right-moving conformal weights of the operators in the product. These symmetry-derived coefficients are shown not only to match precisely those arising from momentum-space tree-level collinear limits, but also to obey an infinite number of additional symmetry transformations that respect the algebra of w 1+∞ . In tree-level minimally-coupled gravitational theories, celestial currents are constructed from light transforms of conformally soft gravitons and found to generate the action of w 1+∞ on arbitrary massless celestial primaries. Results include operator product expansion coefficients for fermions as well as those arising from higher-derivative non-minimal couplings of gluons and gravitons.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

NASA NTRS1991

Kingdoms in turmoil

How should the world's living organisms be classified? Into how many kingdoms should they be grouped? Scientists have been grappling with these questions since the time of Aristotle, drawing on a broad base of biological characteristics for clues. The fossil record, visible traits of living organisms and, more recently, results from cell biology have all shaped theories of biological classification. But last year a new and controversial concept emerged: a classification of life based solely on molecular traits. The focal point of the controversy is a tree of life, or "phylogeny", devised by Carl Woese of the University of Illinois, Otto Kandler of the University of Munich and Mark Wheelis of the University of California. The tree is unusual because, unlike all previous schemes, it is constructed solely from biochemical data such as DNA sequences rather than a range of different organism characteristics. But that is not all. The scheme also challenges the idea that life on Earth is best divided into five kingdoms, with the main split being between bacteria and all other organisms. Woese and his colleagues create three main groupings by dividing the bacteria in two and unifying all other organisms.

NASA Program Exobiology↗

DOE OSTI2017

Explicit formulae for Yang-Mills-Einstein amplitudes from the double copy

Using the double-copy construction of Yang-Mills-Einstein theories formulated in our earlier work, we obtain compact presentations for single-trace Yang-Mills-Einstein tree amplitudes with up to five external gravitons and an arbitrary number of gluons. These are written as linear combinations of color-ordered Yang-Mills trees, where the coefficients are given by color/kinematics-satisfying numerators in a Yang-Mills + φ 3 theory. The construction outlined in this paper holds in general dimension and extends straightforwardly to supergravity theories. For one, two, and three external gravitons, our expressions give identical or simpler presentations of amplitudes already constructed through string-theory considerations or the scattering equations formalism. Our results are based on color/kinematics duality and gauge invariance, and strongly hint at a recursive structure underlying the single-trace amplitudes with an arbitrary number of gravitons. We also present explicit expressions for all-loop single-graviton Einstein-Yang-Mills amplitudes in terms of Yang-Mills amplitudes and, through gauge invariance, derive new all-loop amplitude relations for Yang-Mills theory.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗