Search NASA⌕ Search

SEARCH · Search NASA

Results for “Enabling Functions”

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 631 records · Page 35
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

Technology Needs of Future Space Infrastructures Supporting Human Exploration and Development of Space

The path to human presence beyond near-Earth will be paved by the development of infrastructure. A fundamental technology in this infrastructure is energy, which enables not only the basic function of providing shelter for man and machine, but also enables transportation, scientific endeavors, and exploration. This paper discusses the near-term needs in technology that develop the infrastructure for HEDS.

Carrington, Connie↗
DOE OSTI2024

Reliable edge machine learning hardware for scientific applications

Extreme data rate scientific experiments create massive amounts of data that require efficient ML edge processing. This leads to unique validation challenges for VLSI implementations of ML algorithms: enabling bit-accurate functional simulations for performance validation in experimental software frameworks, verifying those ML models are robust under extreme quantization and pruning, and enabling ultra-fine-grained model inspection for efficient fault tolerance. We discuss approaches to developing and validating reliable algorithms at the scientific edge under such strict latency, resource, power, and area requirements in extreme experimental environments. We study metrics for developing robust algorithms, present preliminary results and mitigation strategies, and conclude with an outlook of these and future directions of research towards the longer-term goal of developing autonomous scientific experimentation methods for accelerated scientific discovery.

Baldi, Tommaso↗
DOE OSTI2019

Microwave Irradiation Intensified Process for Scalable Functional Device Assembly

The environment pollution is a serious issue worldwide for human beings, which calls for ever-increasing demand towards environmental protection. Efficient enabling and utilization of various functional devices represent an essential solution to pursue the environment sustainability. Nanotechnology is emerging as an effective approach to improve the efficiency of functional devices for a variety of environmental applications. For example, the nanomaterials-based catalysts are being widely used in air pollution control, enabling catalysts with significantly enhanced performance. Scalable integration of functional nanostructural entities such as nanoparticles, nanowires, nanosheets into applicable three-dimensional (3-D) platform holds the keys of industrial-relevant manufacture of high-efficiency catalytic devices for emission control. Among all the integration approaches, the wet-chemical based integration is one of the top options due to its advantages in low-cost, flexibility in substrate geometry and composition, ease of operation, and high repeatability. The wet-chemical based processes usually require continuous heating to initiate the chemical reactions, which is regularly achieved by conventional resistive heating. However, such conventional heating method is plaqued by a poor heating efficiency. Moreover, the conventional heating is not suitable for those substrates with three-dimensional (3D) or complex geometry since it hardly provides sufficient heat transfer and mass transport within substrates, leading to poor uniformity of nanostructure deposition and low production rate. Thus, there is urgent demand to develop high-efficiency wet-chemical based integration strategy for nanostructured functional devices. In this project, a novel microwave-irradiation-intensified hydrothermal manufacturing process was developed for scalable manufacture of nanostructured monolithic catalytic devices. A wide array of metal oxide nanostructured coatings has been in situ grown on various 3D substrates for emission control applicaitons such as cordierite honeycombs and silicon carbide honeycomb. The growth efficiency, production rate, and distribution uniformity of nanostructure coatings obtained from microwave heating and conventional heating are investigated, which reveals the boosting effect of microwave irradiation on hydrothermal reactions. The silicon carbide honeycomb is found to be more favorable to microwave adsorption in contrast to cordierite honeycomb, and the corresponding reaction mechanism is studied. The obtained catalysts are used for catalytic oxidation of Volatile Organic Compounds (VOCs), showing excellent catalytic performance at low temperature for various compounds. As the proof of concept, the design of integrated manufacturing system for the microwave irradiation assisted continuous production of nanostructure array based monolithic catalysts is presented, which holds the key to mass production of monolithic catalysts in near future.

42 ENGINEERING↗
NASA NTRS2018

Curvilinear Displacement Transfer Functions for Deformed Shape Predictions of Curved Structures Using Distributed Surface Strains

Curvilinear Displacement Transfer Functions were formulated for deformed shape predictions of different curved structures using surface strains. The embedded curved beam (depth-wise cross section of a curved structure along a surface strain-sensing line) was discretized into multiple small domains, with domain junctures matching the strain-sensing stations. Thus, the surface strain distribution can be described with a piecewise linear or a piecewise nonlinear function. The discrete approach enabled piecewise integrations of a curvature-strain differential equation for the embedded curved beam to yield closed-form Curvilinear Displacement Transfer Functions, which are written in terms of embedded curved-beam geometrical parameters and surface strains. By inputting the surface strain data, the Curvilinear Displacement Transfer Functions can transform surface strains into deflections along each embedded curved beam for mapping out the overall structural deformed shapes. The finite-element method was used to analytically generate the surface strains of the curved beams. The deformed shape prediction accuracies were then determined by comparing the theoretical deflections with the finite-element-generated deflections, which were used as yardsticks. By introducing the correction factors in simple mathematical forms, the Curvilinear Displacement Transfer Functions can be quite accurate for shape predictions of different curved-beam structures ranging from limit case of straight beam up to semicircular curved beam.

Ko, William L.↗
DOE OSTI2015

Inter-Procedural Resource Sharing in High Level Synthesis through Function Proxies

Modular design is becoming increasingly important in High Level Synthesis (HLS) flows. Current HLS flows generate hierarchical and modular designs that mimic the structure and call graph of input specification translating functions into modules. Function calls are translated instantiating the callee module in the data-path of its caller, allowing for resource sharing when the same function is called multiple times. However, if two different callers invoke the same function, current HLS flows cannot share the instance of the module between the two callers, even if they invoke the function in a mutually exclusive way. In this paper, we propose a methodology that enables sharing of (sub)modules across modules boundaries. Sharing is obtained through function proxies, which act as forwarders of function calls in the original specification to shared modules without adding performance penalties. Building on the concept of function proxies, we propose a methodology and the related components to perform HLS of function calls through function pointers, without requiring complete static knowledge of the alias set (point-to set). We show that module sharing through function proxies provides valuable area savings without significant impacts on the execution delays, and that our synthesis approach for function pointers enables dynamic polymorphism.

HLS, function proxy, FPGA, modular HLS,↗
DOE OSTI2021

Energy efficiency and biological interactions define the core microbiome of deep oligotrophic groundwater

While oligotrophic deep groundwaters host active microbes attuned to the low-end of the bioenergetics spectrum, the ecological constraints on microbial niches in these ecosystems and their consequences for microbiome convergence are unknown. Here, we provide a genome-resolved, integrated omics analysis comparing archaeal and bacterial communities in disconnected fracture fluids of the Fennoscandian Shield in Europe. Leveraging a dataset that combines metagenomes, single cell genomes, and metatranscriptomes, we show that groundwaters flowing in similar lithologies offer fixed niches that are occupied by a common core microbiome. Functional expression analysis highlights that these deep groundwater ecosystems foster diverse, yet cooperative communities adapted to this setting. We suggest that these communities stimulate cooperation by expression of functions related to ecological traits, such as aggregate or biofilm formation, while alleviating the burden on microorganisms producing compounds or functions that provide a collective benefit by facilitating reciprocal promiscuous metabolic partnerships with other members of the community. We hypothesize that an episodic lifestyle enabled by reversible bacteriostatic functions ensures the subsistence of the oligotrophic deep groundwater microbiome.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2023

Collaboration and Negotiation

Collaboration and Negotiation is a critical high-level function of an Autonomous Intelligent Cyber-Defense Agent (AICA) that enables communication among agents, central cyber C2, and human operators. Maintaining the Confidentiality, Integrity, and Availability (CIA) triad while achieving mission goals requires stealthy AICA agents to exercise: 1) minimal communication as needed for avoiding detection, 2) verification of information received with possibly limited resources, and 3) active learning during operations to address dynamic conditions. Moreover, negotiations to jointly identify and execute a Course of Action (COA) solution will require building consensus under distributed and/or decentralized multiagent settings with information uncertainties. This chapter presents algorithmic approaches for enabling the collaboration and negotiation function. Strengths and limitations of potential techniques are identified, and a representative example is illustrated. Recommendations for future development are also discussed.

Chatterjee, Samrat↗
NASA NTRSDate not supplied

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗
DOE OSTI2021

Enabling Long-range Exploration in Minimization of Multimodal Functions

We consider the problem of minimizing multi-modal loss functions with a large number of local optima. Since the local gradient points to the direction of the steepest slope in an infinitesimal neighborhood, an optimizer guided by the local gradient is often trapped in a local minimum. To address this issue, we develop a novel nonlocal gradient to skip small local minima by capturing major structures of the loss’s landscape in black-box optimization. The nonlocal gradient is defined by a directional Gaussian smoothing (DGS) approach. The key idea of DGS is to conducts 1D long-range exploration with a large smoothing radius along d orthogonal directions in Rd, each of which defines a nonlocal directional derivative as a 1D integral. Such long-range exploration enables the nonlocal gradient to skip small local minima. The d directional derivatives are then assembled to form the nonlocal gradient. We use the Gauss-Hermite quadrature rule to approximate the d 1D integrals to obtain an accurate estimator. The superior performance of our method is demonstrated in three sets of examples, including benchmark functions for global optimization, and two real-world scientific problems.

Zhang, Jiaxin↗
DOE OSTI2018

Giant spin-valley polarization and multiple Hall effect in functionalized bismuth monolayers

Abstract Valleytronic materials, characterized by local extrema (valleys) in their bands, and topological insulators have separately attracted great interest recently. However, the interplay between valleytronic and topological properties in one single system, likely to enable important unexplored phenomena and applications, has been largely overlooked so far. Here, by combining a tight-binding model with first-principles calculations, we find the large-band-gap quantum spin Hall effects (QSHEs) and valley Hall effects appear simultaneously in the bismuth monolayers decorated with hydrogen/halogen elements, denoted as Bi 2 XY (X, Y = H, F, Cl, Br, or I). A staggered exchange field is introduced into the Bi 2 XY monolayers by transition-metal atom (Cr, Mo, or W) doping or LaFeO 3 magnetic substrates, which together with the strong spin-orbit coupling of bismuth atoms generates a time-reversal-symmetry-broken QSHE and a huge valley splitting (up to 513 meV) in the system. With gate control, QSHE and anomalous charge, spin, valley Hall effects can be observed in the single system. These predicted multiple and exotic Hall effects, associated with various degrees of freedom of electrons, could enable applications of the functionalized bismuth monolayers in electronics, spintronics, and valleytronics.

Zhou, Tong (ORCID:0000000345885263)↗
DOE OSTI2023

Electrochemical Oxidation and Functionalization of Low‐Density Polyethylene

Abstract Plastic waste is a serious environmental issue, and polyethylene (PE) is a significant component. The chemically inert nature of PE makes its recycling/upcycling process challenging. Thus, a novel method was demonstrated that enables the selective electrochemical functionalization and deconstruction of low‐density polyethylene (LDPE) by using low‐cost transition metal electrocatalysts at room temperature (23±2 °C) and low cell voltage (±1 V). Three different electrode and electrolyte combinations were studied for the oxidation of LDPE: copper metal/copper (II) ions, nickel metal/nickel (II) ions, and stainless steel/iron (II) and (III) ions. The copper and nickel electrode/electrolyte pairs showed a promising capability for oxidation and chain‐scission of LDPE. In contrast, the stainless‐steel and iron electrode/electrolyte pair showed no activity towards LDPE oxidation or depolymerization. The electrolysis of LDPE offers a new vista for the depolymerization and upcycling of plastics, further understanding of the process is needed.

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

Exploring Physics of Ferroelectric Domain Walls in Real Time: Deep Learning Enabled Scanning Probe Microscopy

The functionality of ferroelastic domain walls in ferroelectric materials is explored in real-time via the in situ implementation of computer vision algorithms in scanning probe microscopy (SPM) experiment. The robust deep convolutional neural network (DCNN) is implemented based on a deep residual learning framework (Res) and holistically nested edge detection (Hed), and ensembled to minimize the out-of-distribution drift effects. The DCNN is implemented for real-time operations on SPM, converting the data stream into the semantically segmented image of domain walls and the corresponding uncertainty. Further the pre-defined experimental workflows perform piezoresponse spectroscopy measurement on thus discovered domain walls, and alternating high- and low-polarization dynamic (out-of-plane) ferroelastic domain walls in a PbTiO 3 (PTO) thin film and high polarization dynamic (out-of-plane) at short ferroelastic walls (compared with long ferroelastic walls) in a lead zirconate titanate (PZT) thin film is reported. This work establishes the framework for real-time DCNN analysis of data streams in scanning probe and other microscopies and highlights the role of out-of-distribution effects and strategies to ameliorate them in real time analytics.

36 MATERIALS SCIENCE↗
NASA NTRS2017

Software Verification of Orion Cockpit Displays

NASA's latest spacecraft Orion is in the development process of taking humans deeper into space. Orion is equipped with three main displays to monitor and control the spacecraft. To ensure the software behind the glass displays operates without faults, rigorous testing is needed. To conduct such testing, the Rapid Prototyping Lab at NASA's Johnson Space Center along with the University of Texas at Tyler employed a software verification tool, EggPlant Functional by TestPlant. It is an image based test automation tool that allows users to create scripts to verify the functionality within a program. A set of edge key framework and Common EggPlant Functions were developed to enable creation of scripts in an efficient fashion. This framework standardized the way to code and to simulate user inputs in the verification process. Moreover, the Common EggPlant Functions can be used repeatedly in verification of different displays.

Biswas, M. A. Rafe↗
NASA NTRS2011

Defining Tolerance: Impacts of Delay and Disruption when Managing Challenged Networks

Challenged networks exhibit irregularities in their communication performance stemming from node mobility, power constraints, and impacts from the operating environment. These irregularities manifest as high signal propagation delay and frequent link disruption. Understanding those limits of link disruption and propagation delay beyond which core networking features fail is an ongoing area of research. Various wireless networking communities propose tools and techniques that address these phenomena. Emerging standardization activities within the Internet Research Task Force (IRTF) and the Consultative Committee for Space Data Systems (CCSDS) look to build upon both this experience and scalability analysis. Successful research in this area is predicated upon identifying enablers for common communication functions (notably node discovery, duplex communication, state caching, and link negotiation) and how increased disruptions and delays affect their feasibility within the network. Networks that make fewer assumptions relating to these enablers provide more universal service. Specifically, reliance on node discovery and link negotiation results in network-specific operational concepts rather than scalable technical solutions. Fundamental to this debate are the definitions, assumptions, operational concepts, and anticipated scaling of these networks. This paper presents the commonalities and differences between delay and disruption tolerance, including support protocols and critical enablers. We present where and how these tolerances differ. We propose a set of use cases that must be accommodated by any standardized delay-tolerant network and discuss the implication of these on existing tool development.

mobility drivers↗
DOE OSTI2015

Strong Lithium Polysulfide Chemisorption on Electroactive Sites of Nitrogen-Doped Carbon Composites For High-Performance Lithium–Sulfur Battery Cathodes

Despite the high theoretical capacity of lithium–sulfur batteries, their practical applications are severely hindered by a fast capacity decay, stemming from the dissolution and diffusion of lithium polysulfides in the electrolyte. A novel functional carbon composite (carbon-nanotube-interpenetrated mesoporous nitrogen-doped carbon spheres, MNCS/CNT), which can strongly adsorb lithium polysulfides, is now reported to act as a sulfur host. The nitrogen functional groups of this composite enable the effective trapping of lithium polysulfides on electroactive sites within the cathode, leading to a much improved electrochemical performance (1200 mAh g -1 after 200 cycles). The enhancement in adsorption can be attributed to the chemical bonding of lithium ions by nitrogen functional groups in the MNCS/CNT framework. Furthermore, the micrometer-sized spherical structure of the material yields a high areal capacity (ca. 6 mAh cm -2 ) with a high sulfur loading of approximately 5 mg cm -2 , which is ideal for practical applications of the lithium–sulfur batteries.

carbon materials↗
NASA NTRS1974

Influence of the atmosphere on spectral radiance and contrasts of natural formations measured from space

The method of transfer functions is discussed that enable the elimination of atmospheric effects from spectral photometric data measured from spacecraft. Soyuz 7, 9 and Salyut spacecraft data were used. The results made it possible to estimate the variations in the transfer functions in the visible spectral region depending on the albedo of the underlying surface both for the uniform surfaces and near the boundary between two uniform underlying surfaces.

Kondratyev, K. Y.↗
DOE OSTI2018

A Probe-Enabled Approach for the Selective Isolation and Characterization of Functionally Active Subpopulations in the Gut Microbiome

Increasing evidence has shown that microorganisms present in the mammalian gut have a major impact on the metabolism of xenobiotics – chemicals foreign to the body including drugs and environmental contaminants – either by modulating host metabolism or by transforming xenobiotics or their metabolites directly. Being able to predict these interactions will be critical to develop precision medicine strategies utilizing the gut microbiota. However, current knowledge of which microbes are responsible for a given activity is severely limited and is further complicated by the sheer diversity of gut microbes between individuals. Current approaches including metagenomic and metatranscriptomic analyses can only identify enzymes and organisms that have the potential to catalyze a specific reaction, but cannot determine if an enzyme is truly active within the gut. To identify the microorganisms that are directly responsible for an activity in the gut of an individual, new functional approaches are needed. Here, we present an activity-based probe (ABP) approach to define the microbial populations responsible for a specific xenobiotic metabolizing activity. We developed an ABP for β-glucuronidases, enzymes capable of reversing a major pathway in phase II metabolism that is responsible for xenobiotic elimination. Using this ABP, we covalently labelled active β-glucuronidases both in vitro and in bacterial cells in the mouse gut microbiota. Cells possessing β-glucuronidase activity were then fluorescently labeled, isolated using fluorescence-activated cell sorting (FACS), and identified by sequencing. We found that glucuronidase active bacteria in the murine gut are taxonomically diverse, and even within phyla the taxa displaying function are highly disparate. Perturbation of the gut microbiota with vancomycin decreased but did not eliminate β-glucuronidase activity, which corresponded to a shift in the β-glucuronidase active population. These data demonstrate that the metabolic activity of the gut microbiota can be plastic and that during perturbation, functional capacity may be maintained by phylogenetically disparate populations. This work highlights the utility of ABPs to identify currently unknown functional microbial subpopulations responsible for a specific activity of interest within the gut of an individual.

Whidbey, Christopher↗