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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
DOE OSTI2014

THE NEW ONLINE METADATA EDITOR FOR GENERATING STRUCTURED METADATA

Nobody is better suited to “describe” data than the scientist who created it. This “description” about a data is called Metadata. In general terms, Metadata represents the who, what, when, where, why and how of the dataset [1]. eXtensible Markup Language (XML) is the preferred output format for metadata, as it makes it portable and, more importantly, suitable for system discoverability. The newly developed ORNL Metadata Editor (OME) is a Web-based tool that allows users to create and maintain XML files containing key information, or metadata, about the research. Metadata include information about the specific projects, parameters, time periods, and locations associated with the data. Such information helps put the research findings in context. In addition, the metadata produced using OME will allow other researchers to find these data via Metadata clearinghouses like Mercury [2][4]. OME is part of ORNL’s Mercury software fleet [2][3]. It was jointly developed to support projects funded by the United States Geological Survey (USGS), U.S. Department of Energy (DOE), National Aeronautics and Space Administration (NASA) and National Oceanic and Atmospheric Administration (NOAA). OME’s architecture provides a customizable interface to support project-specific requirements. Using this new architecture, the ORNL team developed OME instances for USGS’s Core Science Analytics, Synthesis, and Libraries (CSAS&L), DOE’s Next Generation Ecosystem Experiments (NGEE) and Atmospheric Radiation Measurement (ARM) Program, and the international Surface Ocean Carbon Dioxide ATlas (SOCAT).Researchers simply use the ORNL Metadata Editor to enter relevant metadata into a Web-based form. From the information on the form, the Metadata Editor can create an XML file on the server that the editor is installed or to the user’s personal computer. Researchers can also use the ORNL Metadata Editor to modify existing XML metadata files.As an example, an NGEE Arctic scientist use OME to register their datasets to the NGEE data archive and allows the NGEE archive to publish these datasets via a data search portal (http://ngee.ornl.gov/data). These highly descriptive metadata created using OME allows the Archive to enable advanced data search options using keyword, geo-spatial, temporal and ontology filters. Similarly, ARM OME allows scientists or principal investigators (PIs) to submit their data products to the ARM data archive.How would OME help Big Data Centers like the Oak Ridge National Laboratory Distributed Active Archive Center (ORNL DAAC)?The ORNL DAAC is one of NASA’s Earth Observing System Data and Information System (EOSDIS) data centers managed by the Earth Science Data and Information System (ESDIS) Project. The ORNL DAAC archives data produced by NASA's Terrestrial Ecology Program. The DAAC provides data and information relevant to biogeochemical dynamics, ecological data, and environmental processes, critical for understanding the dynamics relating to the biological, geological, and chemical components of the Earth's environment. Typically data produced, archived and analyzed is at a scale of multiple petabytes, which makes the discoverability of the data very challenging. Without proper metadata associated with the data, it is difficult to find the data you are looking for and equally difficult to use and understand the data.OME will allow data centers like the NGEE and ORNL DAAC to produce meaningful, high quality, standards-based, descriptive information about their data products in-turn helping with the data discoverability and interoperability. Useful Links:USGS OME: http://mercury.ornl.gov/OME/NGEE OME: http://ngee-arctic.ornl.gov/ngeemetadata/ARM OME: http://archive2.ornl.gov/armome/Contact: Ranjeet Devarakonda (devarakondar@ornl.gov)References:[1] Federal Geographic Data Committee. Content standard for digital geospatial metadata. Federal Geographic Data Committee, 1998.[2] Devarakonda, Ranjeet, et al. "Mercury: reusable metadata management, data discovery and access system." Earth Science Informatics 3.1-2 (2010): 87-94.[3] Wilson, B. E., Palanisamy, G., Devarakonda, R., Rhyne, B. T., Lindsley, C., & Green, J. (2010). Mercury Toolset for Spatiotemporal Metadata.[4] Pouchard, L. C., Branstetter, M. L., Cook, R. B., Devarakonda, R., Green, J., Palanisamy, G., ... & Noy, N. F. (2013). A Linked Science investigation: enhancing climate change data discovery with semantic technologies. Earth science informatics, 6(3), 175-185.

FGDC CSDGM↗
DOE OSTI2023

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↗
NASA NTRS2017

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.↗
NASA NTRS1973

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.↗
NASA NTRS1977

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.↗
DOE OSTI2015

Current Status of Human Resource Training Program for Fostering RIBiomics Professionals

RI-Biomics is a state-of-the-art radiation fusion technology for evaluating in-vivo dynamics such as absorption, distribution, metabolism and excretion (ADME) of new drug candidates and biomaterials using radioisotope (RI), and quantitative evaluation of their efficacy via molecular imaging techniques and animal models. The RI-Biomics center is the sole comprehensive research and experiment complex in Korea that can simultaneously perform the radio-synthesis of drug candidate with radioisotope, analysis, and molecular imaging evaluation with animal model. Molecular imaging techniques, including nuclear imaging (SPECT and PET), near-infrared fluorescent (NIRF) imaging, and magnetic resonance imaging (MRI), are the cutting-edge technologies for evaluating drug candidates. Since they allow in vivo real-time imaging of the diseased site, monitoring the biodistribution of drug and determining the optimal therapeutic efficacy following treatments, we have integrated RI-ADME and molecular imaging to provide useful information for drug evaluation and to accelerate the development of new drugs and biomaterials. The RI-Biomics center was established with total investment of 18 million $ during four years from 2009 to 2012 in order to develop a comprehensive analyzing system using RI for new drug development as an axis for national growth in the next generation. The RI-Biomics center has labeling synthesis facility for the radiosynthesis of drug candidate with radioisotope such as Tc-99m, I-125, I-131, F-18, H-3 and C-14 using hot cell. It also includes RI-general analysis facilities, such as Radio-HPLC, LC/MS, GC/MS, gamma counter that can analyzing the radio-synthesized materials, and animal image analysis facilities that developed small animal imaging equipment such as SPECT/PET/CT, 7 T MRI, in-vivo optical imaging system and others. In order to achieve the system to verify safety and effectiveness of the new drugs using RI, it is necessary to establish a human resource training program for fostering RI-Biomics professionals in the following key fields; (1) Radio-pharmaceuticals synthesis and labeled compound development, (2) Development of RI-ADME in the living object and image assessment technology. Personnel training program that carries out theoretical education and practical training in the field related to RI-Biomics in parallel is being conducted. Internship training for university students has been administered twice already while educational program for the existing professionals in the RI-Biomics field will be carried out during the summer of 2014. The human resource training program for combination of RIADME and different molecular imaging techniques can offer synergistic advantages to facilitate understanding RIADME and fostering RI-ADME professionals. (authors)

62 RADIOLOGY AND NUCLEAR MEDICINE↗
NASA NTRS1989

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.↗
DOE OSTI2024

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↗
DOE OSTI2020

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↗
DOE OSTI2026

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↗
DOE OSTI2024

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↗
NASA NTRS1969

Tracking system study

A digital computer program was generated which mathematically describes an optimal estimator-controller technique as applied to the control of antenna tracking systems used by NASA. Simulation studies utilizing this program were conducted using the IBM 360/91 computer. The basic ideas of applying optimal estimator-controller techniques to antenna tracking systems are discussed. A survey of existing tracking methods is given along with shortcomings and inherent errors. It is explained how these errors can be considerably reduced if optimal estimation and control are used. The modified programs generated in this project are described and the simulation results are summarized. The new algorithms for direct synthesis and stabilization of the systems including nonlinearities, are presented.

Dennis, A. R.↗
NASA NTRS1983

Adaptation of a software development methodology to the implementation of a large-scale data acquisition and control system

A progress report is presented on a program to upgrade the existing NASA Deep Space Network in terms of a redesigned computer-controlled data acquisition system for channelling tracking, telemetry, and command data between a California-based control center and three signal processing centers in Australia, California, and Spain. The methodology for the improvements is oriented towards single subsystem development with consideration for a multi-system and multi-subsystem network of operational software. Details of the existing hardware configurations and data transmission links are provided. The program methodology includes data flow design, interface design and coordination, incremental capability availability, increased inter-subsystem developmental synthesis and testing, system and network level synthesis and testing, and system verification and validation. The software has been implemented thus far to a 65 percent completion level, and the methodology being used to effect the changes, which will permit enhanced tracking and communication with spacecraft, has been concluded to feature effective techniques.

Madrid, G. A.↗
NASA NTRS1979

Digital systems design language. Design synthesis of digital systems

The Digital Systems Design Language (DDL) is implemented on the SEL-32 computer systems. The details of the language, translator and simulator programs are included. Several example descriptions and a tutorial on hardware description languages are provided, to guide the user.

Shiva, S. G.↗
NASA NTRS1984

Viking radio science data analysis and synthesis

The rotational motion of Mars and its geophysical ramifications were investigated. Solar system dynamics and the laws of gravitation were also studied. The planetary ephemeris program, which was the central element in data analysis for this project, is described in brief. Viking Lander data were used in the investigation.

Shapiro, I. I.↗
NASA NTRS1993

Feasibility study of a synthesis procedure for array feeds to improve radiation performance of large distorted reflector antennas

There were several tangible products that resulted from the reflector antenna research program. The initial technical effort was to develop techniques to compensate for distortions over the surface of the main reflector of a large reflector antenna system. An in-depth investigation of this problem resulted in a new technique for the electronic correction of surface errors. A journal article on the findings describe the use of the iterative sampling method. Shortly after the 'Mission to Planet Earth' program started, we began investigating the use of large reflector antennas in geostationary orbit for passive earth remote sensing. A study panel was coordinated by Virginia Tech to set technical goals for the effort. These were used to guide the design of several antennas. The original interest stemmed from an industrial (Reynolds Metals) need and currently involves work with industry (Prodelin Corporation) on high technology, low cost reflectors. The intervening years (1987 - 1993) is the period of this report and Virginia Tech's reflector antenna activity then was exclusively with NASA LaRC.

Stutzman, W. L.↗
NASA NTRS1986

COFS 2: 3-D dynamics and controls technology

The Control of Flexible Structures (COFS) 2 project is a complex and ambitious undertaking which will address several critical technology areas. Among them are modeling, structural dynamics, controls, and ground testing issues which are not only germane to this effort, but to other large space structure programs being contemplated. This effort requires the early integration of controls and structural dynamics considerations in order to achieve mission success. Several technology advances must be achieved in the areas of system modelling, control synthesis and methodology, sensor/actuator development, and ground testing techniques for system evaluation and on-orbit performance prediction and verification. This project offers a unique opportunity for the integration of several disciplines to produce technology advances which will benefit many future programs. In addition, the opportunities available to participate in the various levels in the phase of this project, e.g., analytical development and modelling, ground testing, and flight testing, permit for the involvement of a significant number of interested researchers and organizations from government, universities and industry.

Pyle, Jon S.↗