Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Programmable”

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 199 records · Page 11

Single-Event Effect (SEE) Survey of Advanced Reconfigurable Field Programmable Gate Arrays: NASA Electronic Parts and Packaging (NEPP) Program Office of Safety and Mission Assurance

The NEPP Reconfigurable Field-Programmable Gate Array (FPGA) task has been charged to evaluate reconfigurable FPGA technologies for use in space. Under this task, the Xilinx single-event-immune, reconfigurable FPGA (SIRF) XQR5VFX130 device was evaluated for SEE. Additionally, the Altera Stratix-IV and SiliconBlue iCE65 were screened for single-event latchup (SEL).

Xilinx Single-Event Effects (SEE) Test Consortium↗

Single Event Analysis and Fault Injection Techniques Targeting Complex Designs Implemented in Xilinx-Virtex Family Field Programmable Gate Array (FPGA) Devices

An informative session regarding SRAM FPGA basics. Presenting a framework for fault injection techniques applied to Xilinx Field Programmable Gate Arrays (FPGAs). Introduce an overlooked time component that illustrates fault injection is impractical for most real designs as a stand-alone characterization tool. Demonstrate procedures that benefit from fault injection error analysis.

Single Event Upset Testing↗

NEPP Update of Independent Single Event Upset Field Programmable Gate Array Testing

This presentation provides a NASA Electronic Parts and Packaging (NEPP) Program update of independent Single Event Upset (SEU) Field Programmable Gate Array (FPGA) testing including FPGA test guidelines, Microsemi RTG4 heavy-ion results, Xilinx Kintex-UltraScale heavy-ion results, Xilinx UltraScale+ single event effect (SEE) test plans, development of a new methodology for characterizing SEU system response, and NEPP involvement with FPGA security and trust.

Field Programmable Gate Array (FPGA); Triple Modul↗

Microsemi RTG4 Rev C Field Programmable Gate Array Single Event Effects (SEE) Heavy-Ion Test Report

The goal of this study was to perform an independent investigation of single event destructive and transient susceptibility of the Microsemi RTG4 device. The devices under test were the Microsemi RTG4 field programmable gate array (FPGA) Rev C. The devices under test will be referenced as the DUT or RTG4 Rev C throughout this document. The DUT was configured to have various test structures that are geared to measure specific potential susceptibilities of the device. DesignDevice susceptibility was determined by monitoring the DUT for Single Event Transient (SET) and Single Event Upset (SEU) induced faults by exposing the DUT to a heavy ion beam. Potential Single Event Latch-up (SEL) was checked throughout heavy-ion testing by monitoring device current.

Field Programmable Gate Array (FPGA)↗

Model Evaluation of Short-Lived Climate Forcers for the Arctic Monitoring and Assessment Programme: A Multi-Species, Multi-Model Study

While carbon dioxide is the main cause for global warming, modeling short-lived climate forcers (SLCFs) such as methane, ozone, and particles in the Arctic allows us to simulate near-term climate and health impacts for a sensitive, pristine region that is warming at 3 times the global rate. Atmospheric modeling is critical for understanding the long-range transport of pollutants to the Arctic, as well as the abundance and distribution of SLCFs throughout the Arctic atmosphere. Modeling is also used as a tool to determine SLCF impacts on climate and health in the present and in future emissions scenarios. In this study, we evaluate 18 state-of-the-art atmospheric and Earth system models by assessing their representation of Arctic and Northern Hemisphere atmospheric SLCF distributions, considering a wide range of different chemical species (methane, tropospheric ozone and its precursors, black carbon, sulfate, organic aerosol, and particulate matter) and multiple observational datasets. Model simulations over 4 years (2008-2009 and 2014-2015) conducted for the 2022 Arctic Monitoring and Assessment Programme (AMAP) SLCF assessment report are thoroughly evaluated against satellite, ground, ship, and aircraft-based observations. The annual means, seasonal cycles, and 3-D distributions of SLCFs were evaluated using several metrics, such as absolute and percent model biases and correlation coefficients. The results show a large range in model performance, with no one particular model or model type performing well for all regions and all SLCF species. The multi-model mean (mmm) was able to represent the general features of SLCFs in the Arctic and had the best overall performance. For the SLCFs with the greatest radiative impact (CH4, 03, BC, and SO(sup 2-)(sub 4)), the mmm was within ±25 % of the measurements across the Northern Hemisphere. Therefore, we recommend a multi-model ensemble be used for simulating climate and health impacts of SLCFs. Of the SLCFs in our study, model biases were smallest for C"4 and greatest for OA. For most SLCFs, model biases skewed from positive to negative with increasing latitude. Our analysis suggests that vertical mixing, long-range transport, deposition, and wildfires remain highly uncertain processes. These processes need better representation within atmospheric models to improve their simulation of SLCFs in the Arctic environment. As model development proceeds in these areas, we highly recommend that the vertical and 3-D distribution of SLCFs be evaluated, as that information is critical to improving the uncertain processes in models.

Arctic Monitoring and Assessment Programme↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

formal methods↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

Field-Programmable Gate Array Implementation of a Single Photon-Counting Receive Modem

We present a field-programmable gate array (FPGA) implementation of a single photon-counting receive modem for a pulse position modulated signal. The modem is compliant with the Consultative Committee for Space Data Systems (CCSDS) High Photon Efficiency (HPE) Optical Communications Coding and Synchronization standard and is capable of a maximum data rate of 267 Mbps. The system is designed on a commercial off-the-shelf FPGA platform and utilizes superconducting nanowire single photon counting detectors, analog to digital converters (ADC s) to sample the detectors, and two FPGAs. Symbol timing recovery, photon counting, convolutional deinterleaving, and codeword synchronization areis performed in the first FPGA. The second FPGA performs iterative decoding on each codeword of the serially concatenated pulse position modulated (SCPPM) signal. A digital filter is included to compensate for timing jitter of the detector, and the decoder throughput can be modified adjusted through reconfigurable parallelization. The decoder also implements a resource-efficient, algorithmic polynomial interleaver and deinterleaver. Both FPGAs can be reconfigured to switch between pulse position modulation (PPM)-16 and PPM-32 with code rates 1/3, 1/2, and 2/3. In this paper, we describe the receiver architecture and FPGA implementation of the timing recovery loop and SCPPM decoder, FPGA utilization for the different modes, and receive modem characterization test results.

Field-programmable Gate Array↗

Universal Coating by 3D Hybrid Programmable Matter

Motivated by the prospect of nano-robots that assist human physiological functions at the nanoscale, we investigate the coating problem in the three-dimensional model for hybrid programmable matter. In this model, a single agent with strictly limited viewing range and the computational capability of a deterministic finite automaton can act on passive tiles by picking up a tile, moving, and placing it at some spot. The goal of the coating problem is to fill each node of some surface graph of size n with a tile. We first solve the problem on a restricted class of graphs with a single tile type, and then use constantly many tile types to encode this graph in certain surface graphs capturing the surface of 3D objects. Our algorithm requires O(n^2) steps, which is worst-case optimal compared to an agent with global knowledge and no memory restrictions.

programmable matter↗

A Lithography‐Free and Field‐Programmable Photonic Metacanvas

Abstract The unique correspondence between mathematical operators and photonic elements in wave optics enables quantitative analysis of light manipulation with individual optical devices. Phase‐transition materials are able to provide real‐time reconfigurability of these devices, which would create new optical functionalities via (re)compilation of photonic operators, as those achieved in other fields such as field‐programmable gate arrays (FPGA). Here, by exploiting the hysteretic phase transition of vanadium dioxide, an all‐solid, rewritable metacanvas on which nearly arbitrary photonic devices can be rapidly and repeatedly written and erased is presented. The writing is performed with a low‐power laser and the entire process stays below 90 °C. Using the metacanvas, dynamic manipulation of optical waves is demonstrated for light propagation, polarization, and reconstruction. The metacanvas supports physical (re)compilation of photonic operators akin to that of FPGA, opening up possibilities where photonic elements can be field programmed to deliver complex, system‐level functionalities.

Dong, Kaichen↗

Freestanding 3D Mesostructures, Functional Devices, and Shape-Programmable Systems Based on Mechanically Induced Assembly with Shape Memory Polymers

Capabilities for controlled formation of sophisticated 3D micro/nanostructures in advanced materials have foundational implications across a broad range of fields. Recently developed methods use stress release in prestrained elastomeric substrates as a driving force for assembling 3D structures and functional microdevices from 2D precursors. A limitation of this approach is that releasing these structures from their substrate returns them to their original 2D layouts due to the elastic recovery of the constituent materials. Here, a concept in which shape memory polymers serve as a means to achieve freestanding 3D architectures from the same basic approach is introduced, with demonstrated ability to realize lateral dimensions, characteristic feature sizes, and thicknesses as small as ≈500, 10, and 5 µm simultaneously, and the potential to scale to much larger or smaller dimensions. Wireless electronic devices illustrate the capacity to integrate other materials and functional components into these 3D frameworks. Quantitative mechanics modeling and experimental measurements illustrate not only shape fixation but also capabilities that allow for structure recovery and shape programmability, as a form of 4D structural control. These ideas provide opportunities in fields ranging from micro-electromechanical systems and microrobotics, to smart intravascular stents, tissue scaffolds, and others.

36 MATERIALS SCIENCE↗

Architected Liquid Crystal Elastomer Lattices with Programmable Energy Absorption

Architected LCE lattices are fabricated with flow-induced alignment via direct ink writing and systematically characterized their shape morphing, stiffness, and energy absorption behavior across strain rates spanning six orders of magnitude from 10 −3 to 10 3 s −1 . It is shown that architected liquid crystal elastomer (LCE) lattices exhibit superior energy absorption compared to their non-mesogenic (silicone) counterparts. Importantly, the LCE-to-silicone energy absorption ratios are up to 18-fold higher at the highest strain rate tested. A finite element model that captures their shape-morphing response is developed, which exhibits excellent agreement with the experimental observations. In conclusion, the work opens new avenues for designing and fabricating LCE lattices with programmable alignment, shape morphing, and mechanics.

active lattices↗

Designer Nanomaterials through Programmable Assembly

Nanoparticles have long been recognized for their unique properties, leading to exciting potential applications across optics, electronics, magnetism, and catalysis. These specific functions often require a designed organization of particles, which includes the type of order as well as placement and relative orientation of particles of the same or different kinds. DNA nanotechnology offers the ability to introduce highly addressable bonds, tailor particle interactions, and control the geometry of bindings motifs. Here, we discuss how developments in structural DNA nanotechnology have enabled greater control over 1D, 2D, and 3D particle organizations through programmable assembly. This Review focuses on how the use of DNA binding between nanocomponents and DNA structural motifs has progressively allowed the rational formation of prescribed particle organizations. Here, we offer insight into how DNA-based motifs and elements can be further developed to control particle organizations and how particles and DNA can be integrated into nanoscale building blocks, so-called “material voxels”, to realize designer nanomaterials with desired functions.

77 NANOSCIENCE AND NANOTECHNOLOGY↗

Programmable 3D Hexagonal Geometry of DNA Tensegrity Triangles

Abstract Non‐canonical interactions in DNA remain under‐explored in DNA nanotechnology. Recently, many structures with non‐canonical motifs have been discovered, notably a hexagonal arrangement of typically rhombohedral DNA tensegrity triangles that forms through non‐canonical sticky end interactions. Here, we find a series of mechanisms to program a hexagonal arrangement using: the sticky end sequence; triangle edge torsional stress; and crystallization condition. We showcase cross‐talking between Watson–Crick and non‐canonical sticky ends in which the ratio between the two dictates segregation by crystal forms or combination into composite crystals. Finally, we develop a method for reconfiguring the long‐range geometry of formed crystals from rhombohedral to hexagonal and vice versa. These data demonstrate fine control over non‐canonical motifs and their topological self‐assembly. This will vastly increase the programmability, functionality, and versatility of rationally designed DNA constructs.

Lu, Brandon↗

Programmable 3D Hexagonal Geometry of DNA Tensegrity Triangles

Non-canonical interactions in DNA remain under-explored in DNA nanotechnology. Recently, many structures with non-canonical motifs have been discovered, notably a hexagonal arrangement of typically rhombohedral DNA tensegrity triangles that forms through non-canonical sticky end interactions. Here, in this study, we find a series of mechanisms to program a hexagonal arrangement using: the sticky end sequence; triangle edge torsional stress; and crystallization condition. We showcase cross-talking between Watson–Crick and non-canonical sticky ends in which the ratio between the two dictates segregation by crystal forms or combination into composite crystals. Finally, we develop a method for reconfiguring the long-range geometry of formed crystals from rhombohedral to hexagonal and vice versa. These data demonstrate fine control over non-canonical motifs and their topological self-assembly. This will vastly increase the programmability, functionality, and versatility of rationally designed DNA constructs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Programmable Gene Knockdown in Diverse Bacteria Using Mobile‐CRISPRi

Abstract Facile bacterial genome sequencing has unlocked a veritable treasure trove of novel genes awaiting functional exploration. To make the most of this opportunity requires powerful genetic tools that can target all genes in diverse bacteria. CRISPR interference (CRISPRi) is a programmable gene‐knockdown tool that uses an RNA‐protein complex comprised of a single guide RNA (sgRNA) and a catalytically inactive Cas9 nuclease (dCas9) to sterically block transcription of target genes. We previously developed a suite of modular CRISPRi systems that transfer by conjugation and integrate into the genomes of diverse bacteria, which we call Mobile‐CRISPRi. Here, we provide detailed protocols for the modification and transfer of Mobile‐CRISPRi vectors for the purpose of knocking down target genes in bacteria of interest. We further discuss strategies for optimizing Mobile‐CRISPRi knockdown, transfer, and integration. We cover the following basic protocols: sgRNA design, cloning new sgRNA spacers into Mobile‐CRISPRi vectors, Tn 7 transfer of Mobile‐CRISPRi to Gram‐negative bacteria, and ICE Bs1 transfer of Mobile‐CRISPRi to Bacillales. © 2020 The Authors. Basic Protocol 1 : sgRNA design Basic Protocol 2 : Cloning of new sgRNA spacers into Mobile‐CRISPRi vectors Basic Protocol 3 : Tn 7 transfer of Mobile‐CRISPRi to Gram‐negative bacteria Basic Protocol 4 : ICE Bs1 transfer of Mobile‐CRISPRi to Bacillales Support Protocol 1 : Quantification of CRISPRi repression using fluorescent reporters Support Protocol 2 : Testing for gene essentiality using CRISPRi spot assays on plates Support Protocol 3 : Transformation of E. coli by electroporation Support Protocol 4 : Transformation of CaCl 2 ‐competent E. coli

59 BASIC BIOLOGICAL SCIENCES↗