Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program synthesis”

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 469 records · Page 26

Final Technical Report

The capture of CO2 and its simultaneously conversion to useful chemical fuels driven by solar energy represents one of the best solutions to resolve our growing energy and environmental concerns. The most critical challenge to this endeavor is the rational design of a photocatalytic architecture that can effectively couple a given photosensitizer (PS) with an appropriate catalyst, thereby enabling efficient photosensitization of a multi-electron reduction catalysis. This research program aims to address this challenge using an interdisciplinary approach that combines innovative material design and synthesis, fundamental mechanistic studies, and photocatalytic performance evaluation. The strategies include 1) constructing and investigating a novel class of 2D COF hybrid photocatalysts with an effective photoactive organic building block as PS and a precisely incorporated CO2 reduction molecular catalyst (MC); and 2) mechanistic origins of CO2 photoreduction using a set of complementary time-resolved and in situ spectroscopic techniques. The novelty of the proposed hybrid system lies in the unprecedented combination of the unique advantage of porous crystalline COF PS with the precise catalytic function of MC for photocatalytic CO2 reduction. In the periods of the support (09/01/2019-12/31/2022), we have made research progress in four projects: 1) Exploring 2D COFs with incorporated Mn complex for light driven CO2 reduction; 2) The dependence of excited state and charge transfer dynamics on monomer structure of 2D COFs; and 3) Control over Charge Separation by Imine Structural Isomerization in Covalent Organic Frameworks with Implications on CO2 Photoreduction; and 4) The impact of monomer structure on the photoluminescence properties of COFs. We found that both monomer structure and linker chemistry can effectively impact the excited state dynamics, charge transfer properties, and photoluminescence quantum yields, the important properties that dictate their applications in photocatalysis. In addition, we found that the direction of imine linker determines charge transfer direction and thus controls the types of catalytic reactions (e.g. water oxidation or CO2 reduction reactions). The result from these fundamental studies provides important information for correlating the structure of the COF photocatalysts with their photophysical properties and catalytic functions, paving the way for their novel application in photocatalysis. We expect that our findings will contribute to addressing current shortcomings of semiconductor- and molecular-based photocatalytic systems that suffer from inefficient light harvesting and charge separation and poor adsorption and activation of reactants. In turn, this research will contribute towards the development of novel photocatalytic systems for CO2 reduction to generate renewable chemical fuels and simultaneously address the problem of mitigating climate change due to CO2 accumulation. In addition, the experimental approaches employed in this research can be easily transferred to other energy technologies and are expected to broadly impact fields involving photocatalysis, optoelectronic devices, and solar energy conversion. The proposed research has also been integrated with educational activities and serve as a basis to raise awareness around the critical issues of global energy production and consumption, and to develop the next generation of solar energy scientists.

14 SOLAR ENERGY↗

Airborne forest fire research

The research relating to airborne fire fighting systems is reviewed to provide NASA/Langley Research Center with current information on the use of aircraft in forest fire operations, and to identify research requirements for future operations. A literature survey, interview of forest fire service personnel, analysis and synthesis of data from research reports and independent conclusions, and recommendations for future NASA-LRC programs are included.

Mattingly, G. S.↗

Development of a Two Dimensional Synthetic Aperture Radiometer at L-Band

A radiometer that uses aperture synthesis in two dimensions is being built as part of research under NASA's Instrument Incubator Program. The instrument development team consists of engineers at the Goddard Space Flight Center, the University of Massachusetts and Quadrant Engineering. This will be an aircraft instrument operating at L-band which builds on the heritage of ESTAR. The choice of L-band was made because the problem of achieving adequate resolution in space is most critical at this wavelength and because a polarimetric, conical scanning airborne radiometer for future experiments to validate soil moisture and ocean salinity retrieval algorithms is not currently available. The instrument will be designed to fly on the NASA P-3 aircraft in a nadir pointing mode, although other options are possible. The antenna will consist of an array of modules arranged in a rectangular grid. Each module will be comprised of a printed circuit dual-polarized patch and integrated receiver. The distribution of modules within the rectangular array will be adjustable so that several different imaging configurations (e.g. "+","Y", "T") can be employed. The integrated receiver will provide amplification and conversion to IF. The IF signal will be routed to a processor where the required correlations performed. The I and Q channels will be created digitally and the correlations will be done digitally in this processor. The digitization will be done with sufficient bits to study the effects of quantization on radiometer performance. A computer/controller will store the data for conversion to an image and will also perform temperature control and other data interfacing and housekeeping tasks. The instrument is currently in the bread boarding phase of development. A design of the critical components has been completed and hardware is being assembled to test the individual elements. It is expected that a complete 2-channel correlator will be tested by the summer of 2000 and that the complete instrument will be ready for flight tests the following summer (2001).

LeVine, D. M.↗

Multi-Mission System Architecture Platform: Design and Verification of the Remote Engineering Unit

The Multi-Mission System Architecture Platform (MSAP) represents an effort to bolster efficiency in the spacecraft design process. By incorporating essential spacecraft functionality into a modular, expandable system, the MSAP provides a foundation on which future spacecraft missions can be developed. Once completed, the MSAP will provide support for missions with varying objectives, while maintaining a level of standardization that will minimize redesign of general system components. One subsystem of the MSAP, the Remote Engineering Unit (REU), functions by gathering engineering telemetry from strategic points on the spacecraft and providing these measurements to the spacecraft's Command and Data Handling (C&DH) subsystem. Before the MSAP Project reaches completion, all hardware, including the REU, must be verified. However, the speed and complexity of the REU circuitry rules out the possibility of physical prototyping. Instead, the MSAP hardware is designed and verified using the Verilog Hardware Definition Language (HDL). An increasingly popular means of digital design, HDL programming provides a level of abstraction, which allows the designer to focus on functionality while logic synthesis tools take care of gate-level design and optimization. As verification of the REU proceeds, errors are quickly remedied, preventing costly changes during hardware validation. After undergoing the careful, iterative processes of verification and validation, the REU and MSAP will prove their readiness for use in a multitude of spacecraft missions.

Sartori, John↗

Auralization Architectures for NASA?s Next Generation Aircraft Noise Prediction Program

Aircraft community noise is a significant concern due to continued growth in air traffic, increasingly stringent environmental goals, and operational limitations imposed by airport authorities. The assessment of human response to noise from future aircraft can only be afforded through laboratory testing using simulated flyover noise. Recent work by the authors demonstrated the ability to auralize predicted flyover noise for a state-of-the-art reference aircraft and a future hybrid wing body aircraft concept. This auralization used source noise predictions from NASA's Aircraft NOise Prediction Program (ANOPP) as input. The results from this process demonstrated that auralization based upon system noise predictions is consistent with, and complementary to, system noise predictions alone. To further develop and validate the auralization process, improvements to the interfaces between the synthesis capability and the system noise tools are required. This paper describes the key elements required for accurate noise synthesis and introduces auralization architectures for use with the next-generation ANOPP (ANOPP2). The architectures are built around a new auralization library and its associated Application Programming Interface (API) that utilize ANOPP2 APIs to access data required for auralization. The architectures are designed to make the process of auralizing flyover noise a common element of system noise prediction.

Rizzi, Stephen A.↗

Developing a taxonomy for mission architecture definition

The Lunar and Mars Exploration Program Office (LMEPO) was tasked to define candidate architectures for the Space Exploration Initiative to submit to NASA senior management and an externally constituted Outreach Synthesis Group. A systematic, structured process for developing, characterizing, and describing the alternate mission architectures, and applying this process to future studies was developed. The work was done in two phases: (1) national needs were identified and categorized into objectives achievable by the Space Exploration Initiative; and (2) a program development process was created which both hierarchically and iteratively describes the program planning process.

Neubek, Deborah J.↗

SNF Canister Coatings for Corrosion Prevention and Mitigation (FY21 Status Report)

This report summarizes the current actives in FY21 related to the effort by Sandia National Laboratories to identify and test coating materials for the prevention, mitigation, and repair of spent nuclear fuel dry storage canisters against potential chloride-induced stress corrosion cracking. This work follows up on the details provided in Sandia National Laboratories FY20 report on the same topic, which provided a detailed description of the specific coating properties desired for application and implementation on spent nuclear fuel canisters, as well as provided detail into several different coatings and their applicability to coat spent nuclear fuel canisters. In FY21, Sandia National Laboratories has engaged with private industry to create a Memorandum of Understanding and established a collaborative R&D program building off the analytical and laboratory capabilities at Sandia National Laboratories and the material design and synthesis capabilities of private industry. The resulting Memorandum of Understanding included four companies to date (Oxford Performance Materials, White Horse R&D, Luna Innovations, and Flora Coating) proposing six different coating technologies (polyetherketoneketone, modified polyimide/polyurea, modified phenolic resin, silane-based polyurethane hybrid with and without a Znrich primer, and a quasi-ceramic sol-gel polyurethane hybrid) to be tested, evaluated, and optimized for their potential use for this application. This report provides a detailed description of each of the coating systems proposed by the participating industry partners. It also provides a description of the planned experimental actives to be performed by Sandia National Laboratories including physical tests, electrochemical tests, and characterization methods. These analyses will be used to identify specific ways to further improve coating technologies toward their application and implementation on spent nuclear fuel canisters. In FY21, Sandia National Laboratories began baseline testing of the base metal material in according with activities of the Memorandum of Understanding. In FY22, Sandia National Laboratories will receive coated coupons from each of the participating industry partners and begin characterization, physical, and electrochemical testing following the test plan described herein.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Improvement of chemical vapor deposition process for production of large diameter carbon base monofilaments

Research was conducted to develop large diameter carbon monofilament, containing 25 to 35 mole % element boron, in the 2.0 to 10.0 mil diameter range using the chemical vapor deposition process. The objective of the program was to gain an understanding of the critical process variables and their effect on fiber properties. Synthesis equipment was modified to allow these variables to be studied. Improved control of synthesis variables permitted reduction in scatter of properties of the monofilaments. Monofilaments have been synthesized in the 3.0 to nearly 6.0 mil diameter range having measured values up to 552,000 psi for ultimate tensile strength and up to 30 million psi for elastic modulus.

Hough, R. L.↗

Integrated membrane material design and system synthesis

In designing membrane systems, the synergy between membrane materials and the process design is often overlooked. In this paper, we present a mixed-integer nonlinear programming (MINLP) model for synthesizing membrane systems while simultaneously designing the respective membrane materials for multicomponent gas separation. The approach considers superstructure representations for systems with: (1) same, (2) potentially different, and (3) property-targeting membrane materials. In the first two systems, the selection of membrane material is a decision, while in the final type, membrane permeances are subject to optimization. Physics-based surrogate models are used to describe permeation in crossflow and countercurrent flow permeators. We show that, through a case study of biogas upgrading, our approach obtains high quality solutions. Furthermore, we use the proposed approach while considering permeance-based production cost to find the optimal membrane.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Effects of 2G on Gene Expression of Stress-Related Hormones in Rat Placenta

Understanding the effects of spaceflight on mammalian reproductive and developmental physiology is important to future human space exploration and permanent settlement beyond Earth orbit. Fetal developmental programming, including modulation of the HPA axis, is thought to originate at the placental-uterine interface, where both transfer of maternal hormones to the fetus and synthesis of endogenous hormones occurs. In healthy rats, fetal corticosterone levels are kept significantly lower by 11BetaHSD-2, which inactivates corticosterone by conversion into cortisone. Placental tissues express endogenous HPA axis-associated hormones including corticotropin-releasing hormone (CRH), pre-opiomelanocortin (POMC), and vasopressin, which may contribute to fetal programming alongside maternal hormones. DNA methylase 3A, 11BetaHSD-2, and 11BetaHSD-1, which are involved in the regulation of maternal cortisol transfer and modulation of the HPA axis, are also expressed in placental tissues along with glucocorticoid receptor and may be affected by differential gravity exposure during pregnancy. Fetuses may respond differently to maternal glucocorticoid exposure during gestation through sexually dimorphic expression of corticosterone-modulating hormones. To elucidate effects of altered gravity on placental gene expression, here we present a ground-based analogue study involving continuous centrifugation to produce 2g hypergravity. We hypothesized that exposure to 2g would induce a decrease in 11BetaHSD-2 expression through the downregulation of DNA methylase 3a and GC receptor, along with concurrent upregulation in endogenous CRH, POMC, and vasopressin expression. Timed pregnant female rats were exposed to 2G from Gestational day 6 to Gestational day 20, and comparisons made with Stationary Control (SC) and Vivarium Control (VC) dams at 1G. Dams were euthanized and placentas harvested on G20. We homogenized placental tissues, extracted and purified RNA, synthesized cDNA, and quantified the expression levels of the genes of interest relative to the GAPDH housekeeping gene, using RT-qPCR and gene-specific cDNA probes. Elucidation of glucocorticoid transfer and synthesis in the placenta can provide new insights into the unique dynamics of mammalian development in microgravity and guide future multi-generational studies in space.

Benson, S.↗

The Apollo program and amino acids

Apollo lunar sample analyses designed to detect the presence of organic compounds are reviewed, and the results are discussed from the viewpoint of relevance to laboratory experiments on the synthesis of amino acids and to theoretical models of cosmochemical processes resulting in the formation of organic compounds. Glycine, alanine, glutamic acid, aspartic acid, serine, and threonine have been found repeatedly in the hydrolyzates of hot aqueous extracts of lunar dust. These compounds represent an early step in the sequence of events leading to the rise of living material and were probably deposited by the solar wind. The results of the Apollo program so far suggest that the pathway from cosmic organic matter to life as it evolved on earth could have been pursued on the moon to the stage of amino acid precursors and then may have been terminated for lack of sufficient water.

Fox, S. W.↗

Advanced space program studies. Overall executive summary

NASA and DoD requirements and planning data were used in multidiscipline advanced planning investigations of space operations and associated elements (including man), identification of potential low cost approaches, vehicle design, cost synthesis techniques, technology forecasting and opportunities for DoD technology transfer, and the development near-, mid-, and far-term space initiatives and development plans with emphasis on domestic and military commonality. An overview of objectives and results are presented for the following studies: advanced space planning and conceptual analysis, shuttle users, technology assessment and new opportunities, standardization and program practice, integrated STS operations planning, solid spinning upper stage, and integrated planning support functions.

Wolfe, M. G.↗

Reuse at the Software Productivity Consortium

The Software Productivity Consortium is sponsored by 14 aerospace companies as a developer of software engineering methods and tools. Software reuse and prototyping are currently the major emphasis areas. The Methodology and Measurement Project in the Software Technology Exploration Division has developed some concepts for reuse which they intend to develop into a synthesis process. They have identified two approaches to software reuse: opportunistic and systematic. The assumptions underlying the systematic approach, phrased as hypotheses, are the following: the redevelopment hypothesis, i.e., software developers solve the same problems repeatedly; the oracle hypothesis, i.e., developers are able to predict variations from one redevelopment to others; and the organizational hypothesis, i.e., software must be organized according to behavior and structure to take advantage of the predictions that the developers make. The conceptual basis for reuse includes: program families, information hiding, abstract interfaces, uses and information hiding hierarchies, and process structure. The primary reusable software characteristics are black-box descriptions, structural descriptions, and composition and decomposition based on program families. Automated support can be provided for systematic reuse, and the Consortium is developing a prototype reuse library and guidebook. The software synthesis process that the Consortium is aiming toward includes modeling, refinement, prototyping, reuse, assessment, and new construction.

Weiss, David M.↗

Synergizing human expertise and AI efficiency with language model for microscopy operation and automated experiment design

With the advent of large language models (LLMs), in both the open source and proprietary domains, attention is turning to how to exploit such artificial intelligence (AI) systems in assisting complex scientific tasks, such as material synthesis, characterization, analysis and discovery. Here, we explore the utility of LLMs, particularly ChatGPT4, in combination with application program interfaces (APIs) in tasks of experimental design, programming workflows, and data analysis in scanning probe microscopy, using both in-house developed APIs and APIs given by a commercial vendor for instrument control. We find that the LLM can be especially useful in converting ideations of experimental workflows to executable code on microscope APIs. Beyond code generation, we find that the GPT4 is capable of analyzing microscopy images in a generic sense. At the same time, we find that GPT4 suffers from an inability to extend beyond basic analyses for more in-depth technical experimental design. We argue that an LLM specifically fine-tuned for individual scientific domains can potentially be a better language interface for converting scientific ideations from human experts to executable workflows. Such a synergy between human expertise and LLM efficiency in experimentation can open new doors for accelerating scientific research, enabling effective experimental protocols sharing in the scientific community.

97 MATHEMATICS AND COMPUTING↗

NISQ+: Boosting quantum computing power by approximating quantum error correction

Quantum computers are growing in size, and design decisions are being made now that attempt to squeeze more computation out of these machines. In this spirit, we design a method to boost the computational power of near-term quantum computers by adapting protocols used in quantum error correction to implement "Approximate Quantum Error Correction (AQEC)." By approximating fully-fledged error correction mechanisms, we can increase the compute volume (qubits × gates, or "Simple Quantum Volume (SQV)") of near-term machines. The crux of our design is a fast hardware decoder that can approximately decode detected error syndromes rapidly. Specifically, we demonstrate a proof-of-concept that approximate error decoding can be accomplished online in near-term quantum systems by designing and implementing a novel algorithm in Single-Flux Quantum (SFQ) superconducting logic technology. This avoids a critical decoding backlog, hidden in all offline decoding schemes, that leads to idle time exponential in the number of T gates in a program. Our design utilizes one SFQ processing module per physical qubit. Employing state-of-the-art SFQ synthesis tools, we show that the circuit area, power, and latency are within the constraints of contemporary quantum system designs. Under pure dephasing error models, the proposed accelerator and AQEC solution is able to expand SQV by factors between 3,402 and 11,163 on expected near-term machines. The decoder achieves a 5% accuracy-threshold and pseudo-thresholds of ~ 5%,4.75%,4.5%, and 3.5% physical error-rates for code distances 3,5,7, and 9. Decoding solutions are achieved in a maximum of ~20 nanoseconds on the largest code distances studied. By avoiding the exponential idle time in offline decoders, we achieve a 10x reduction in required code distances to achieve the same logical performance as alternative designs.

97 MATHEMATICS AND COMPUTING↗

Juvenile Salmon and Their Habitats in the Columbia River Estuary: A Review and Synthesis of Knowledge Development 2000–2025

[This is a 90% discussion draft.] This is the third Synthesis Memorandum funded by the U.S. Army Corps of Engineers and developed for the Columbia Estuary Ecosystem Restoration Program (CEERP) on the topic of habitat restoration in the Columbia River Estuary (CRE) from Bonneville Dam to the river mouth. While the first two were developed by PNNL and NOAA without the benefit of stakeholder participation, for the current memo, two key activities were initiated: (1) review, by the Expert Regional Technical Group (ERTG), of status and trends monitoring and action effectiveness monitoring funded by CEERP, and (2) a workshop including representatives of the Bonneville Power Administration and the U.S. Army Corps of Engineers (the action agencies [AAs]), the National Oceanic and Atmospheric Administration (NOAA), major research agencies contributing to CEERP, and sponsors who implement CEERP restoration actions. A systematic literature review was conducted using ClarivateTM Web of ScienceTM database. The topics of interest for CRE relevant research included salmon ecology, physical processes, and wetland habitats, and therefore required the use of broad search terms. Our final search criteria included a combination of Boolean operators and an approach to combine different sets of search terms. The final search result yielded 669 records. The records were classified by groups and assigned to the relevant disciplinary expert for review. The review identified substantive advances in understanding the provision of salmon habitat functions through spatiotemporally dynamic physical and ecological processes, and the use of CRE habitats by numerous stocks of juvenile salmon. It also uncovered heretofore unincorporated historical documentation of riparian habitats across the CRE. The characterization of the structural components of floodplain habitat including plant associations and channel networks has advanced considerably, together with the understanding of seasonal changes and long-term trends. The relative influence of salmon-habitat location in the CRE as compared with temporal factors, mainly season, has been well described, which affects the prioritization of restoration. Stressors on the ecosystem and fish, and the drivers of these stressors, have been more carefully elucidated and predictive models are in various stages of development. The vision, aims, and design of restoration projects have advanced together with methods of data collection, analysis, and modeling that have seen substantial improvements. Experiments intended to inform the design of restoration projects are underway or have been completed. An important outstanding area of research that has lagged behind the advances in fundamental understanding of the ecosystem and salmon habitat functions remains the peer-reviewed documentation of the outcomes of restoration for both habitats and fish functions.

estuary↗

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors

Dynamically field-programmable qubit arrays (DPQA) have recently emerged as a promising platform for quantum information processing. In DPQA, atomic qubits are selectively loaded into arrays of optical traps that can be reconfigured during the computation itself. Leveraging qubit transport and parallel, entangling quantum operations, different pairs of qubits, even those initially far away, can be entangled at different stages of the quantum program execution. Such reconfigurability and non-local connectivity present new challenges for compilation, especially in the layout synthesis step which places and routes the qubits and schedules the gates. In this paper, we consider a DPQA architecture that contains multiple arrays and supports 2D array movements, representing cutting-edge experimental platforms. Within this architecture, we discretize the state space and formulate layout synthesis as a satisfiability modulo theories problem, which can be solved by existing solvers optimally in terms of circuit depth. For a set of benchmark circuits generated by random graphs with complex connectivities, our compiler OLSQ-DPQA reduces the number of two-qubit entangling gates on small problem instances by 1.7x compared to optimal compilation results on a fixed planar architecture. To further improve scalability and practicality of the method, we introduce a greedy heuristic inspired by the iterative peeling approach in classical integrated circuit routing. Using a hybrid approach that combined the greedy and optimal methods, we demonstrate that our DPQA-based compiled circuits feature reduced scaling overhead compared to a grid fixed architecture, resulting in 5.1X less two-qubit gates for 90 qubit quantum circuits. These methods enable programmable, complex quantum circuits with neutral atom quantum computers, as well as informing both future compilers and future hardware choices.

Physics↗