Search NASA⌕ Search

SEARCH · Search NASA

Results for “programmable 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 91 records · Page 5

Radiation Mitigation and Power Optimization Design Tools for Reconfigurable Hardware in Orbit

The Reconfigurable Hardware in Orbit (RHinO)project is focused on creating a set of design tools that facilitate and automate design techniques for reconfigurable computing in space, using SRAM-based field-programmable-gate-array (FPGA) technology. In the second year of the project, design tools that leverage an established FPGA design environment have been created to visualize and analyze an FPGA circuit for radiation weaknesses and power inefficiencies. For radiation, a single event Upset (SEU) emulator, persistence analysis tool, and a half-latch removal tool for Xilinx/Virtex-II devices have been created. Research is underway on a persistence mitigation tool and multiple bit upsets (MBU) studies. For power, synthesis level dynamic power visualization and analysis tools have been completed. Power optimization tools are under development and preliminary test results are positive.

French, Matthew↗

Assembly of Metalloporphyrin Peptoids into Crystalline Nanomaterials as a Multifunctional System for Biomimetic Catalysis and Sensing

While natural enzymes excel at catalysis and sensing, they often suffer from high cost and low stability in applications outside living systems. Among tremendous efforts made toward the design and synthesis of catalytic biomimetic materials, the approach of using crystalline nanomaterials assembled from sequence-defined polymers has emerged as a promising strategy. Herein, we report the assembly of metalloporphyrin peptoids into crystalline nanomaterials as a multifunctional system for biomimetic catalysis and sensing. The precise spatial positioning of covalently attached porphyrins within crystalline peptoid nanomaterials enables the mimicry of several enzyme active sites, including phosphotriesterase and horseradish peroxidase, for efficient catalytic hydrolysis and oxidation reactions. Additionally, the high programmability of these peptoid crystalline materials enables the creation and tuning of the active site microenvironment for enhanced catalytic activity. We further demonstrate the integration of responsive organic dyes into catalytic peptoid assemblies to achieve both detection and degradation of chemical warfare agent (CWA) mimics, even in the vapor phase. In conclusion, we expect this multifunctional system to provide tremendous opportunities in biomimetic catalysis and sensing, including the detoxification and detection of CWAs.

Catalysts↗

Scale-free, programmable design of morphable chain loops of kilobots and colloidal motors

Micron-scale robots require systems that can morph into arbitrary target configurations controlled by external agents such as heat, light, electricity, and chemical environment. Achieving this behavior using conventional approaches is challenging because the available materials at these scales are not programmable like their macroscopic counterparts. To overcome this challenge, we propose a design strategy to make a robotic machine that is both programmable and compatible with colloidal-scale physics. Our strategy uses motors in the form of active colloidal particles that constantly propel forward. We sequence these motors end-to-end in a closed chain forming a two-dimensional loop that folds under its mechanical constraints. We encode the target loop shape and its motion by regulating six design parameters, each scale-invariant and achievable at the colloidal scale. We demonstrate the plausibility of our design strategy using centimeter-scale robots called kilobots . We use Brownian dynamics simulation to explore the large design space beyond that possible with kilobots, and present an analytical theory to aid the design process. Multiple loops can also be fused together to achieve several complex shapes and robotic behaviors, demonstrated by folding a letter shape “M,” a dynamic gripper , and a dynamic pacman . The material-agnostic, scale-free, and programmable nature of our design enables building a variety of reconfigurable and autonomous robots at both colloidal scales and macroscales.

36 MATERIALS SCIENCE↗

Development of a Crosslink Channel Simulator for Simulation of Formation Flying Satellite Systems

Multi-vehicle missions are an integral part of NASA s and other space agencies current and future business. These multi-vehicle missions generally involve collectively utilizing the array of instrumentation dispersed throughout the system of space vehicles, and communicating via crosslinks to achieve mission goals such as formation flying, autonomous operation, and collective data gathering. NASA s Goddard Space Flight Center (GSFC) is developing the Formation Flying Test Bed (FFTB) to provide hardware-in- the-loop simulation of these crosslink-based systems. The goal of the FFTB is to reduce mission risk, assist in mission planning and analysis, and provide a technology development platform that allows algorithms to be developed for mission hctions such as precision formation flying, synchronization, and inter-vehicle data synthesis. The FFTB will provide a medium in which the various crosslink transponders being used in multi-vehicle missions can be plugged in for development and test. An integral part of the FFTB is the Crosslink Channel Simulator (CCS),which is placed into the communications channel between the crosslinks under test, and is used to simulate on-orbit effects to the communications channel due to relative vehicle motion or antenna misalignment. The CCS is based on the Starlight software programmable platform developed at General Dynamics Decision Systems which provides the CCS with the ability to be modified on the fly to adapt to new crosslink formats or mission parameters.

Hart, Roger↗

ACSYNT - A standards-based system for parametric, computer aided conceptual design of aircraft

A group of eight US aerospace companies together with several NASA and NAVY centers, led by NASA Ames Systems Analysis Branch, and Virginia Tech's CAD Laboratory agreed, through the assistance of Americal Technology Initiative, in 1990 to form the ACSYNT (Aircraft Synthesis) Institute. The Institute is supported by a Joint Sponsored Research Agreement to continue the research and development in computer aided conceptual design of aircraft initiated by NASA Ames Research Center and Virginia Tech's CAD Laboratory. The result of this collaboration, a feature-based, parametric computer aided aircraft conceptual design code called ACSYNT, is described. The code is based on analysis routines begun at NASA Ames in the early 1970's. ACSYNT's CAD system is based entirely on the ISO standard Programmer's Hierarchical Interactive Graphics System and is graphics-device independent. The code includes a highly interactive graphical user interface, automatically generated Hermite and B-Spline surface models, and shaded image displays. Numerous features to enhance aircraft conceptual design are described.

Jayaram, S.↗

Machine Intelligence-Centered System for Automated Characterization of Functional Materials and Interfaces

Classic design of experiment relies on a time-intensive workflow that requires planning, data interpretation, and hypothesis building by experienced researchers. Here, in this paper, we describe an integrated, machine-intelligent experimental system which enables simultaneous dynamic tests of electrical, optical, gravimetric, and viscoelastic properties of materials under a programmable dynamic environment. Specially designed software controls the experiment and performs on-the-fly extensive data analysis and dynamic modeling, real-time iterative feedback for dynamic control of experimental conditions, and rapid visualization of experimental results. The system operates with minimal human intervention and enables time-efficient characterization of complex dynamic multifunctional environmental responses of materials with simultaneous data processing and analytics. The system provides a viable platform for artificial intelligence (AI)-centered material characterization, which, when coupled with an AI-controlled synthesis system, could lead to accelerated discovery of multifunctional materials.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Self-Assembling Cell-Free Systems for Scalable Bioconversion

This project focused on developing cell-free systems to directly express multi-enzyme catalysts and perform CO2 bioconversions for industrial chemical production. The use of cell-free expression (CFE) systems derived from bacterial lysates is emerging as a promising approach for biomanufacturing. CFEs are genetically programmable, permit the expression of toxic enzymes, and allow for rapid prototyping of metabolic pathways. Research Contributions: 1. Understanding the Area Investigated: This research advances the understanding of cell-free systems by demonstrating their capability to perform complex multi-enzyme reactions. By directly expressing multi-gene systems, CFEs avoid the high costs and inefficiencies associated with producing and purifying enzymes for multi-step pathways. 2. Technical Effectiveness and Economic Feasibility: The project successfully engineered a CFE-based multienzyme biocatalyst for the de novo synthesis of serine and glycine from CO2 equivalents (formate and bicarbonate) and ammonia. This method achieved a 30% conversion rate of formate into these industrially important amino acids. Additionally, an 8-gene CFE biocatalyst was developed to produce malate, conserving 43% of carbon that would otherwise be lost as CO2. This approach has the potential to reach higher carbon efficiency than microbial production. 3. Public Benefit: The cell-free production of chemicals like serine, glycine, and malate using electrochemically generated formate could significantly reduce CO2 emissions. For example, satisfying the global malate market with this method could avoid approximately 400,000 tons of CO2 emissions annually. This work demonstrates the potential of CFE systems to produce platform chemicals, contributing to environmental sustainability and reducing reliance on petrochemicals. Future Prospects: The CFE-based biocatalyst process could be extended to produce a variety of chemicals, including other industrial di-acids, aromatics, terpenes, alcohols, and polymers. This project showcases the capabilities of cell-free expression systems for prototyping carbon-conserving pathways and sustainably bioproducing platform chemicals, marking a significant step towards economically-viable industrial processes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

EHW Approach to Temperature Compensation of Electronics

Efforts are under way to apply the concept of evolvable hardware (EHW) to compensate for variations, with temperature, in the operational characteristics of electronic circuits. To maintain the required functionality of a given circuit at a temperature above or below the nominal operating temperature for which the circuit was originally designed, a new circuit would be evolved; moreover, to obtain the required functionality over a very wide temperature range, there would be evolved a number of circuits, each of which would satisfy the performance requirements over a small part of the total temperature range. The basic concepts and some specific implementations of EHW were described in a number of previous NASA Tech Briefs articles, namely, "Reconfigurable Arrays of Transistors for Evolvable Hardware" (NPO-20078), Vol. 25, No. 2 (February 2001), page 36; Evolutionary Automated Synthesis of Electronic Circuits (NPO- 20535), Vol. 26, No. 7 (July 2002), page 37; "Designing Reconfigurable Antennas Through Hardware Evolution" (NPO-20666), Vol. 26, No. 7 (July 2002), page 38; "Morphing in Evolutionary Synthesis of Electronic Circuits" (NPO-20837), Vol. 26, No. 8 (August 2002), page 31; "Mixtrinsic Evolutionary Synthesis of Electronic Circuits" (NPO-20773) Vol. 26, No. 8 (August 2002), page 32; and "Synthesis of Fuzzy-Logic Circuits in Evolvable Hardware" (NPO-21095) Vol. 26, No. 11 (November 2002), page 38. To recapitulate from the cited prior articles: EHW is characterized as evolutionary in a quasi-genetic sense. The essence of EHW is to construct and test a sequence of populations of circuits that function as incrementally better solutions of a given design problem through the selective, repetitive connection and/or disconnection of capacitors, transistors, amplifiers, inverters, and/or other circuit building blocks. The connection and disconnection can be effected by use of field-programmable transistor arrays (FPTAs). The evolution is guided by a search-andoptimization algorithm (in particular, a genetic algorithm) that operates in the space of possible circuits to find a circuit that exhibits an acceptably close approximation of the desired functionality. The evolved circuits can be tested by mathematical modeling (that is, computational simulation) only, tested in real hardware, or tested in combinations of computational simulation and real hardware.

Stoica, Adrian↗

Understanding the structural mechanics of ligated DNA crystals via molecular dynamics simulation

DNA self-assembly is a highly programmable method to construct arbitrary architectures based on sequence complementarity. Among various constructs, DNA crystals are macroscopic crystalline materials formed by assembling motifs via sticky end association. Due to their high structural integrity and size ranging from tens to hundreds of micrometers, DNA crystals offer unique opportunities to study the structural properties and deformation behaviors of DNA assemblies. For example, enzymatic ligation of sticky ends can selectively seal nicks resulting in more robust structures with enhanced mechanical properties. However, the research efforts have been mostly on experiments involving different motif designs, structural optimization, or new synthesis methods, while their mechanics are not yet fully understood. The complex properties of DNA crystals are difficult to study via experiments alone, and numerical simulation can complement and aid the experiments. The coarse-grained molecular dynamics (MD) simulation is a powerful tool that can probe the mechanics of DNA assemblies. Here, we investigate DNA crystals made of four different motif lengths with various ligation patterns (full ligation, major directions, connectors, and in-plane) using oxDNA, an open-source, coarse-grained MD platform. We found that several distinct deformation stages emerge in response to mechanical loading and that the number and the location of ligated nucleotides can significantly modulate structural behaviors. These findings should be useful for predicting crystal properties and thus improving the design.

DNA crystal↗

Sequence invariant state machines

A synthesis method and new VLSI architecture are introduced to realize sequential circuits that have the ability to implement any state machine having N states and m inputs, regardless of the actual sequence specified in the flow table. A design method is proposed that utilizes BTS logic to implement regular and dense circuits. A given state sequence can be programmed with power supply connections or dynamically reallocated if stored in a register. Arbitrary flow table sequences can be modified or programmed to dynamically alter the function of the machine. This allows VLSI controllers to be designed with the programmability of a general purpose processor but with the compact size and performance of dedicated logic.

Whitaker, S.↗

AutoBayes/CC: Combining Program Synthesis with Automatic Code Certification: System Description

Code certification is a lightweight approach to formally demonstrate software quality. It concentrates on aspects of software quality that can be defined and formalized via properties, e.g., operator safety or memory safety. Its basic idea is to require code producers to provide formal proofs that their code satisfies these quality properties. The proofs serve as certificates which can be checked independently, by the code consumer or by certification authorities, e.g., the FAA. It is the idea underlying such approaches as proof-carrying code [6]. Code certification can be viewed as a more practical version of traditional Hoare-style program verification. The properties to be verified are fairly simple and regular so that it is often possible to use an automated theorem prover to automatically discharge all emerging proof obligations. Usually, however, the programmer must still splice auxiliary annotations (e.g., loop invariants) into the program to facilitate the proofs. For complex properties or larger programs this quickly becomes the limiting factor for the applicability of current certification approaches.

Whalen, Michael↗

Neuro-Spark: A Submicrosecond Spiking Neural Networks Architecture for In-Sensor Filtering

Neuro-Spark, which is a new neuromorphic architecture with a field-programmable gate array (FPGA) implementation for ultrafast spiking neural network (SNN) inference at the edge, facilitates smart-pixel in-sensor filtering for high-energy physics experiments at the Large Hadron Collider (LHC). Utilizing the evolutionary optimization for neuromorphic systems (EONS) training method, we generate compact SNN models with 91% signal efficiency, akin to convolutional neural networks but with half the parameters. However, deploying near the detector poses a challenge because the SNN must handle a sustained input data rate exceeding 1013 GB/s. To overcome this, we propose a novel hardware architecture that uses high-level synthesis to construct a tuned architecture for the EONS-trained SNN. In addition to the analysis and validation with an AMD Xilinx Artix-A7 FPGA, our solution consumes only ç24% of FPGA LUT and flipflops. We also introduce an innovative quantization method that reduces FPGA resource utilization by ç15% without compromising accuracy. Our FPGA implementation achieves computing latency of ç10 ns for smart-pixel application inference on an edge FPGA.

Miniskar, Narasinga Rao↗

Fundamentals of hydrogen storage in nanoporous materials

Abstract Physisorption of hydrogen in nanoporous materials offers an efficient and competitive alternative for hydrogen storage. At low temperatures (e.g. 77 K) and moderate pressures (below 100 bar) molecular H 2 adsorbs reversibly, with very fast kinetics, at high density on the inner surfaces of materials such as zeolites, activated carbons and metal–organic frameworks (MOFs). This review, by experts of Task 40 ‘Energy Storage and Conversion based on Hydrogen’ of the Hydrogen Technology Collaboration Programme of the International Energy Agency, covers the fundamentals of H 2 adsorption in nanoporous materials and assessment of their storage performance. The discussion includes recent work on H 2 adsorption at both low temperature and high pressure, new findings on the assessment of the hydrogen storage performance of materials, the correlation of volumetric and gravimetric H 2 storage capacities, usable capacity, and optimum operating temperature. The application of neutron scattering as an ideal tool for characterising H 2 adsorption is summarised and state-of-the-art computational methods, such as machine learning, are considered for the discovery of new MOFs for H 2 storage applications, as well as the modelling of flexible porous networks for optimised H 2 delivery. The discussion focuses moreover on additional important issues, such as sustainable materials synthesis and improved reproducibility of experimental H 2 adsorption isotherm data by interlaboratory exercises and reference materials.

08 HYDROGEN↗

A Fixed Point VHDL Component Library for a High Efficiency Reconfigurable Radio Design Methodology

Advances in Field Programmable Gate Array (FPGA) technologies enable the implementation of reconfigurable radio systems for both ground and space applications. The development of such systems challenges the current design paradigms and requires more robust design techniques to meet the increased system complexity. Among these techniques is the development of component libraries to reduce design cycle time and to improve design verification, consequently increasing the overall efficiency of the project development process while increasing design success rates and reducing engineering costs. This paper describes the reconfigurable radio component library developed at the Software Defined Radio Applications Research Center (SARC) at Goddard Space Flight Center (GSFC) Microwave and Communications Branch (Code 567). The library is a set of fixed-point VHDL components that link the Digital Signal Processing (DSP) simulation environment with the FPGA design tools. This provides a direct synthesis path based on the latest developments of the VHDL tools as proposed by the BEE VBDL 2004 which allows for the simulation and synthesis of fixed-point math operations while maintaining bit and cycle accuracy. The VHDL Fixed Point Reconfigurable Radio Component library does not require the use of the FPGA vendor specific automatic component generators and provide a generic path from high level DSP simulations implemented in Mathworks Simulink to any FPGA device. The access to the component synthesizable, source code provides full design verification capability:

Hoy, Scott D.↗

A Reconfigurable Neural Network ASIC for Detector Front-End Data Compression at the HL-LHC

Despite advances in the programmable logic capabilities of modern trigger systems, a significant bottleneck remains in the amount of data to be transported from the detector to off-detector logic where trigger decisions are made. We demonstrate that a neural network (NN) autoencoder model can be implemented in a radiation-tolerant application-specific integrated circuit (ASIC) to perform lossy data compression alleviating the data transmission problem while preserving critical information of the detector energy profile. For our application, we consider the high-granularity calorimeter from the Compact Muon Solenoid (CMS) experiment at the CERN Large Hadron Collider. The advantage of the machine learning approach is in the flexibility and configurability of the algorithm. By changing the NN weights, a unique data compression algorithm can be deployed for each sensor in different detector regions and changing detector or collider conditions. To meet area, performance, and power constraints, we perform quantization-aware training to create an optimized NN hardware implementation. The design is achieved through the use of high-level synthesis tools and the hls4ml framework and was processed through synthesis and physical layout flows based on a low-power (LP)-CMOS 65-nm technology node. The flow anticipates 200 Mrad of ionizing radiation to select gates and reports a total area of 3.6 mm 2 and consumes 95 mW of power. The simulated energy consumption per inference is 2.4 nJ. Furthermore, this is the first radiation-tolerant on-detector ASIC implementation of an NN that has been designed for particle physics applications.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Circularity in Sequence-Controlled Copolyamides Enabled by Regioselective Enzymatic Hydrolysis

Sequence-controlled polymers enable precise control over macromolecular structures and function, but both their synthesis and end-of-life management remain fundamental challenges. Achieving high sequence fidelity is synthetically demanding, and conventional depolymerization methods lack regioselectivity, leading to irreversible loss of encoded molecular information and limiting polymer circularity. Enzymatic catalysis offers a potential solution by combining substrate specificity with selective bond cleavage. Here, we report the synthesis, characterization, and regioselective enzymatic depolymerization of poly- (X,AMA), a sequence-controlled copolyamide composed of alternating hexamethylenediamine−adipic acid (MA) and pxylylenediamine− adipic acid (XA) repeat units. Poly(X,AMA) was synthesized via solid-state polycondensation (SSP) of sequence-defined oligomers, enabling precise control over repeat-unit order. Polymer microstructure and sequence fidelity were confirmed by 13 C NMR spectroscopy and MALDI−TOF mass spectrometry. Comparison with a statistical copolymer analogue and Nylon-66 demonstrated pronounced differences in crystallinity, morphology, and thermal behavior arising from sequence control. Screening of 96 Nylon hydrolase homologues against poly(X,AMA) revealed strongly enzyme-dependent depolymerization profiles. While tetrad formation was generally favored, enzymes displayed pronounced sequence selectivity, preferentially releasing distinct sequence-defined tetrads XAMA or MAXA. SSP of sequence-defined tetrad MAXA produced a copolyamide with near identical monomer ordering as poly(X,AMA). Computational modeling of enzyme−substrate complexes identified structural features consistent with the observed regioselectivity. Together, these results establish selective enzymatic depolymerization as a viable strategy for the circular recycling of sequence-controlled polymers and provide a foundation for the rational engineering of enzymes for programmable polymer deconstruction.

Amides↗

Tuning Anisotropic Optical Properties of Inorganic and Hybrid Organic–Inorganic MXenes via Topochemical Surface Modification

Surface groups are central to the properties of MXenes, yet their role in optical anisotropy remains largely unexplored. Here, we use a topochemical route to synthesize single crystals of stacked Ti 3 C 2 Cl 2 and hybrid organic–inorganic MXenes (h-MXenes) with lateral sizes of 38–75 μm, rotational registry, and tunable interlayer spacing. Solid-state NMR spectroscopy shows that topochemical substitution generates mixed amido, imido, and hydride surface motifs, which modify the electronic structure of the Ti 3 C 2 inorganic core. Imaging spectroscopic ellipsometry with micron-scale spatial resolution enables reconstruction of the complex dielectric tensor of individual multilayer crystals. Ti 3 C 2 Cl 2 exhibits a type-II hyperbolicity above 930 nm, whereas h-MXenes do not display hyperbolicity within the measured 300–1700 nm window, instead showing reduced in-plane conductivity, suppressed out-of-plane light absorption, and a chain-length-dependent blue shift of a near-infrared absorption feature. These results demonstrate topochemical surface modification as a direct handle for engineering MXenes as surface-programmable optical media.

Hybrid materials↗

Near-complete depolymerization of polyesters with nano-dispersed enzymes

Successfully interfacing enzymes and biomachinery with polymers affords on-demand modification and/or programmable degradation during the manufacture, utilization and disposal of plastics, but requires controlled biocatalysis in solid matrices with macromolecular substrates. Embedding enzyme microparticles speeds up polyester degradation, but compromises host properties and unintentionally accelerates the formation of microplastics with partial polymer degradation. Here we show that by nanoscopically dispersing enzymes with deep active sites, semi-crystalline polyesters can be degraded primarily via chain-end-mediated processive depolymerization with programmable latency and material integrity, akin to polyadenylation-induced messenger RNA decay. It is also feasible to achieve processivity with enzymes that have surface-exposed active sites by engineering enzyme-protectant-polymer complexes. Poly(caprolactone) and poly(lactic acid) containing less than 2 weight per cent enzymes are depolymerized in days, with up to 98 per cent polymer-to-small-molecule conversion in standard soil composts and household tap water, completely eliminating current needs to separate and landfill their products in compost facilities. Furthermore, oxidases embedded in polyolefins retain their activities. However, hydrocarbon polymers do not closely associate with enzymes, as their polyester counterparts do, and the reactive radicals that are generated cannot chemically modify the macromolecular host. This study provides molecular guidance towards enzyme-polymer pairing and the selection of enzyme protectants to modulate substrate selectivity and optimize biocatalytic pathways. Furthermore, the results also highlight the need for in-depth research in solid-state enzymology, especially in multi-step enzymatic cascades, to tackle chemically dormant substrates without creating secondary environmental contamination and/or biosafety concerns.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗