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 415 records · Page 23

FEW questions, many answers: using machine learning to assess how students connect food–energy–water (FEW) concepts

There is growing support and interest in postsecondary interdisciplinary environmental education which integrate concepts and disciplines in addition to providing varied perspectives. There is a need to assess student learning in these programs as well as rigorous evaluation of educational practices, especially of complex synthesis concepts. This work tests a text classification machine learning model as a tool to assess student systems thinking capabilities using two questions anchored by the Food-Energy-Water (FEW) Nexus phenomena by answering two questions (1) Can machine learning models be used to identify instructor-determined important concepts in student responses? (2) What do college students know about the interconnections between food, energy and water, and how have students assimilated systems thinking into their constructed responses about FEW? Reported here are a broad range of model performances across 26 text classification models associated with two different assessment items, with model accuracy ranging from 0.755 to 0.992. Expert-like responses were infrequent in our dataset compared to responses providing simpler, incomplete explanations of the systems presented in the question. For those students moving from describing individual effects to multiple effects, their reasoning about the mechanism behind the system indicates advanced systems thinking ability. Specifically, students exhibit higher expertise for explaining changing water usage than discussing tradeoffs for such changing usage. This research represents one of the first attempts to assess the links between foundational, discipline-specific concepts and systems thinking ability. These text classification approaches to scoring student FEW Nexus Constructed Responses (CR) indicate how these approaches can be used, in addition to several future research priorities for interdisciplinary, practice-based education research. Development of further complex question items using machine learning would allow evaluation of the relationship between foundational concept understanding and integration of those concepts as well as more nuanced understanding of student comprehension of complex interdisciplinary concepts.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Development of methods for the analysis and evaluation of CCV aircraft

The development of an advanced, computerized method for the analysis and evaluation of the aeroelastic stability and control parameters of controls fixed and controls free flight vehicles is presented. Specifically, the Level 2.01 FLEXSTAB computer program system is described. Technical areas in aerodynamics, dynamics, and control system synthesis are defined in which further research and development are planned to extend the analysis capability of the system for future CCV applications.

Schwanz, R. C.↗

Radiation hardened microprocessor for small payloads

The RH-3000 program is developing a rad-hard space qualified 32-bit MIPS R-3000 RISC processor under the Naval Research Lab sponsorship. In addition, under IR&D Harris is developing RHC-3000 for embedded control applications where low cost and radiation tolerance are primary concerns. The development program leverages heavily from commercial development of the MIPS R-3000. The commercial R-3000 has a large installed user base and several foundry partners are currently producing a wide variety of R-3000 derivative products. One of the MIPS derivative products, the LR33000 from LSI Logic, was used as the basis for the design of the RH-3000 chipset. The RH-3000 chipset consists of three core chips and two support chips. The core chips include the CPU, which is the R-3000 integer unit and the FPA/MD chip pair, which performs the R-3010 floating point functions. The two support whips contain all the support functions required for fault tolerance support, real-time support, memory management, timers, and other functions. The Harris development effort had first passed silicon success in June, 1992 with the first rad-hard 32-bit RH-3000 CPU chip. The CPU device is 30 kgates, has a 508 mil by 503 mil die size and is fabricated at Harris Semiconductor on the rad-hard CMOS Silicon on Sapphire (SOS) process. The CPU device successfully passed tesing against 600,000 test vectors derived directly on the LSI/MIPS test suite and has been operational as a single board computer running C code for the past year. In addition, the RH-3000 program has developed the methodology for converting commercially developed designs utilizing logic synthesis techniques based on a combination of VHDK and schematic data bases.

Shah, Ravi↗

Lifetime Surveillance of Astronaut Health Newsletter

Welcome to the April 2024 issue of the Lifetime Surveillance of Astronaut Health (LSAH) Newsletter. In this issue, we celebrate LSAH lead, Dr. Mary Wear’s retirement, inform you of the Apollo Records Synthesis Project (ARSP), and recap information shared at the 2024 Human Research Program (HRP) Investigators’ Workshop (IWS) by our LSAH Epidemiologists and NASA HRP team.

Anna C. Morgenthaler-Cejka↗

Accelerated Charged Particle Tracking with Graph Neural Networks on FPGAs

We develop and study FPGA implementations of algorithms for charged particle tracking based on graph neural networks. The two complementary FPGA designs are based on OpenCL, a framework for writing programs that execute across heterogeneous platforms, and hls4ml, a high-level-synthesis-based compiler for neural network to firmware conversion. We evaluate and compare the resource usage, latency, and tracking performance of our implementations based on a benchmark dataset. We find a considerable speedup over CPU-based execution is possible, potentially enabling such algorithms to be used effectively in future computing workflows and the FPGA-based Level-1 trigger at the CERN Large Hadron Collider.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

An H-Infinity Approach to Control Synthesis with Load Minimization for the F/A-18 Active Aeroelastic Wing

The F/A-18 Active Aeroelastic Wing research aircraft will demonstrate technologies related to aeroservoelastic effects such as wing twist and load minimization. This program presents several challenges for control design that are often not considered for traditional aircraft. This paper presents a control design based on H-infinity synthesis that simultaneously considers the multiple objectives associated with handling qualities, actuator limitations, and loads. A point design is presented to demonstrate a controller and the resulting closed-loop properties.

Lind, Rick↗

An H-infinity Approach to Control Synthesis with Load Minimization for the F/A-18 Active Aeroelastic Wing

The F/A-18 Active Aeroelastic Wing research aircraft will demonstrate technologies related to aeroservoelastic effects such as wing twist and load minimization. This program presents several challenges for control design that are often not considered for traditional aircraft. This paper presents a control design based on H(sub infinity) synthesis that simultaneously considers the multiple objectives associated with handling qualities, actuator limitations, and loads. A point design is presented to demonstrate a controller and the resulting closed-loop properties.

Lind, Rick↗

Dynamic Inlet Distortion Prediction with a Combined Computational Fluid Dynamics and Distortion Synthesis Approach

A procedure has been developed for predicting peak dynamic inlet distortion. This procedure combines Computational Fluid Dynamics (CFD) and distortion synthesis analysis to obtain a prediction of peak dynamic distortion intensity and the associated instantaneous total pressure pattern. A prediction of the steady state total pressure pattern at the Aerodynamic Interface Plane is first obtained using an appropriate CFD flow solver. A corresponding inlet turbulence pattern is obtained from the CFD solution via a correlation linking root mean square (RMS) inlet turbulence to a formulation of several CFD parameters representative of flow turbulence intensity. This correlation was derived using flight data obtained from the NASA High Alpha Research Vehicle flight test program and several CFD solutions at conditions matching the flight test data. A distortion synthesis analysis is then performed on the predicted steady state total pressure and RMS turbulence patterns to yield a predicted value of dynamic distortion intensity and the associated instantaneous total pressure pattern.

Norby, W. P.↗

NASA Tech Briefs, December 2005

Topics covered include: Video Mosaicking for Inspection of Gas Pipelines; Shuttle-Data-Tape XML Translator; Highly Reliable, High-Speed, Unidirectional Serial Data Links; Data-Analysis System for Entry, Descent, and Landing; Hybrid UV Imager Containing Face-Up AlGaN/GaN Photodiodes; Multiple Embedded Processors for Fault-Tolerant Computing; Hybrid Power Management; Magnetometer Based on Optoelectronic Microwave Oscillator; Program Predicts Time Courses of Human/ Computer Interactions; Chimera Grid Tools; Astronomer's Proposal Tool; Conservative Patch Algorithm and Mesh Sequencing for PAB3D; Fitting Nonlinear Curves by Use of Optimization Techniques; Tool for Viewing Faults Under Terrain; Automated Synthesis of Long Communication Delays for Testing; Solving Nonlinear Euler Equations With Arbitrary Accuracy; Self-Organizing-Map Program for Analyzing Multivariate Data; Tool for Sizing Analysis of the Advanced Life Support System; Control Software for a High-Performance Telerobot; Java Radar Analysis Tool; Architecture for Verifiable Software; Tool for Ranking Research Options; Enhanced, Partially Redundant Emergency Notification System; Close-Call Action Log Form; Task Description Language; Improved Small-Particle Powders for Plasma Spraying; Bonding-Compatible Corrosion Inhibitor for Rinsing Metals; Wipes, Coatings, and Patches for Detecting Hydrazines; Rotating Vessels for Growing Protein Crystals; Oscillating-Linear-Drive Vacuum Compressor for CO2; Mechanically Biased, Hinged Pairs of Piezoelectric Benders; Apparatus for Precise Indium-Bump Bonding of Microchips; Radiation Dosimetry via Automated Fluorescence Microscopy; Multistage Magnetic Separator of Cells and Proteins; Elastic-Tether Suits for Artificial Gravity and Exercise; Multichannel Brain-Signal-Amplifying and Digitizing System; Ester-Based Electrolytes for Low-Temperature Li-Ion Cells; Hygrometer for Detecting Water in Partially Enclosed Volumes; Radio-Frequency Plasma Cleaning of a Penning Malmberg Trap; Reduction of Flap Side Edge Noise - the Blowing Flap; and Preventing Accidental Ignition of Upper-Stage Rocket Motors.

Source record↗

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 Electronically Steered Thinned Array Radiometer (ESTAR). This instrument is a next step in the development of aperture synthesis (STAR technology) to meet the goal of a future mission to monitor soil moisture globally from space. 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 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 infrared (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 design of critical components has been completed and hardware is being assembled to test the individual elements. It is expected that a complete two-channel correlator will be tested by the end of 2000 and that the complete instrument will be ready for flight tests the following summer (2001).

LeVine, D. M.↗

Applying cumulative effects to strategically advance large-scale ecosystem restoration

Programs restoring large terrestrial-aquatic ecosystems are expected to increase in area and number over the next decade. Factors ensuring long-term effectiveness at the program scale differ from those at the individual restoration project scale, necessitating a new synthesis. Here we contextualize hydrological, geomorphological, and biological effects of large-scale ecosystem restoration activities within a cumulative-effects paradigm. Evidence of eight modes of cumulative effects benefiting species and ecosystems was elucidated by reviewing restoration efforts in the greater Florida Everglades, Gulf Coast, lower Columbia River and estuary, Puget Sound estuary, Missouri River, northeastern coastal states, San Francisco Bay and Sacramento Delta. Additive and nonlinear cumulative effects of interacting restoration projects propagated across landscape and regional geographic scales, and throughout trophic levels, affecting population structures. Applying a cumulative-effects paradigm to planning, implementing, and evaluating large-scale restoration will avoid countervailing effects and capitalize on positive feedback, advancing evidence-based programs to recover priority species and ecosystems.

54 ENVIRONMENTAL SCIENCES↗

Symmetry-Breaking Dendrimer Synthons in Colloidal Crystal Engineering with DNA

Breaking symmetry in colloidal crystals is challenging due to the inherent chemical and structural isotropy of many nanoscale building blocks. If a non-particle component could be used to anisotropically encode such building blocks with orthogonal recognition properties, one could expand the scope of structural and compositional possibilities of colloidal crystals beyond what is thus far possible with purely particle-based systems. In this work, we report the synthesis and characterization of novel DNA dendrimers that function as symmetry-breaking synthons, capable of programming anisotropic and orthogonal interactions within colloidal crystals. When the DNA dendrimers have identical sticky ends, they hybridize with DNA-functionalized nanoparticles to yield three distinct colloidal crystals, dictated by dendrimer size, including a structure not previously reported in the field of colloidal crystal engineering, Si 2 Sr. When used as symmetry-breaking synthons (when the sticky ends deliberately consist of orthogonal sequences), the synthesis of binary and ternary colloidal alloys with structures that can only be realized through directional interactions is possible. Furthermore, by modulating the extent of shape anisotropy within the DNA dendrimers, the local distribution of the nanoparticles within the crystals can be directed.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Prebiotic synthesis of 5-substituted uracils: a bridge between the RNA world and the DNA-protein world

Under prebiotic conditions, formaldehyde adds to uracil at the C-5 position to produce 5-hydroxymethyluracil with favorable rates and equilibria. Hydroxymethyluracil adds a variety of nucleophiles, such as ammonia, glycine, guanidine, hydrogen sulfide, hydrogen cyanide, imidazole, indole, and phenol, to give 5-substituted uracils with the side chains of most of the 20 amino acids in proteins. These reactions are sufficiently robust that, if uracil had been present on the primitive Earth, then these substituted uracils would also have been present. The ribozymes of the RNA world would have included many of the functional groups found in proteins today, and their catalytic activities may have been considerably greater than presently assumed.

NASA Program NSCORT↗

ARCS: Agentic Retrieval-Augmented Code Synthesis with Iterative Refinement

Agentic Retrieval-Augmented Code Synthesis with Iterative RefinementIn supercomputing, efficient and optimized code generation is essential to leverage high-performance systems effectively. We have developed Agentic Retrieval-Augmented Code Synthesis (ARCS), an advanced framework for accurate, robust, and efficient code generation, completion, and translation. ARCS integrates Retrieval-Augmented Generation (RAG) with Chain-of-Thought (CoT) reasoning to systematically break down and iteratively refine complex programming tasks. An agent-based RAG mechanism retrieves relevant code snippets, while real-time execution feedback drives the synthesis of candidate solutions. This process is formalized as a state-action search tree optimization, balancing code correctness with editing efficiency. Evaluations on the Geeks4Geeks and HumanEval benchmarks demonstrate that ARCS significantly outperforms traditional prompting methods in translation and generation quality. By enabling scalable and precise code synthesis, ARCS offers transformative potential for automating and optimizing code development in supercomputing applications, enhancing computational resource utilization

Bhattarai, Manish [Los Alamos National Labs]↗

Composable Programming of Hybrid Workflows for Quantum Simulation

We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data structures and methods that enable programming of a broad variety of complex hybrid quantum simulation applications. The abstract core of our scheme is distilled from the analysis of the current quantum simulation algorithms. Subsequently, it allows a synthesis of new hybrid algorithms and workflows via the extension, specialization, and dynamic customization of the abstract core classes defined by our design. We implement our design scheme using the hardware-agnostic programming language QCOR into the QuaSiMo library. To validate our implementation, we test and show its utility on commercial quantum processors from IBM, running some prototypical quantum simulations.

97 MATHEMATICS AND COMPUTING↗

Solar Photovoltaic Module Recycling: A Survey of U.S. Policies and Initiatives

Industry stakeholders, regulators, and policymakers in the United States are starting to develop policies for PV module recycling. Well-designed policies could reduce negative environmental impacts and resource constraints while opening new market and employment opportunities. This paper summarizes drivers, barriers, and enablers related to PV module recycling, which might be addressed via policy. It then analyzes existing and proposed U.S. policies that may affect PV module recycling. Among the global and national voluntary industry stewardship standards related to EoL PV management, this paper discusses a Solar Energy Industries Association program encouraging PV recycling among its U.S. membership. The paper concludes with a synthesis of policy-related factors that may encourage effective EoL PV module management.

14 SOLAR ENERGY↗