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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 811 records · Page 45

All sources NASA NTRS DOE OSTI

NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

NASA NTRS1977

Synthesis and analysis of precise spaceborne laser ranging systems, volume 1

Measurement accuracy goals of 2 cm rms range estimation error and 0.003 cm/sec rms range rate estimation error, with no more than 1 cm (range) static bias error are requirements for laser measurement systems to be used in planned space-based earth physics investigations. Constraints and parameters were defined for links between a high altitude, transmit/receive satellite (HATRS), and one of three targets: a low altitude target satellite, passive (LATS), and active low altitude target, and a ground-based target, as well as with operations with a primary transmit/receive terminal intended to be carried as a shuttle payload, in conjunction with the Spacelab program.

Paddon, E. A.↗

NASA NTRS2020

Geostar – a ‘Shovel Ready’ Geostationary Microwave Sounder

A geostationary microwave sounder, capable of providing temperature, water vapor, clouds, precipitation, and wind in the presence of clouds, convection and precipitation, will add tremendously to our ability to observe dynamic atmospheric phenomena, such as hurricanes and severe storms, monsoonal moisture flow, atmospheric rivers, etc. Such a sensor is now feasible, enabled by technology that has been developed under NASA’s Instrument Incubator Program at the Jet Propulsion Laboratory. The Geostationary Synthetic Thinned Aperture Radiometer (GeoSTAR) is essentially an “AMSU in GEO”, i.e. it has similar capabilities as AMSU would have if it were operating on a geostationary satellite, but with similar spatial resolution. GEO orbits are almost 50 times higher than the LEO orbits that current AMSUs operate from, and the corresponding scaling of aperture size required to maintain spatial resolution has stymied the development of such a sensor for many decades. The aperture synthesis approach implemented with GeoSTAR finally overcomes that obstacle, and the large number of microwave receivers and associated electronics required is made possible with new technology that has now been developed. A low-cost mission operating as a hosted payload on a commercial communications satellite has been designed and is “shovel-ready”. The objectives of such a mission could be to advance our understanding and modeling of storm processes that control rapid or explosive intensification of hurricanes, mesoscale convective systems, and extratropical cyclones, or it could be to support operational weather forecasting and nowcasting. Retrieval of temperature and water vapor profiles is possible even in the presence of moderate precipitation, and with the ability to derive horizontal wind vectors by tracking water vapor features, a rich set of parameters measuring the thermodynamics, dynamics and convection and sampled every 15 minutes, will enable significant progress in storm science and forecasting.

Lambrigtsen, Bjorn H↗

DOE OSTI2023

Prediction and Control of Atomic Ordering in Electrodeposited Binary Alloy Films: Direct Synthesis of L10 Magnetic Phases

Permanent magnet materials are essential components in renewable energy technology, underlying, electric vehicles, hybrids, wind turbines and more. Today commercial permanent magnets based on Nd-Fe-B exhibit an energy product of ~ 400 kJ/m 3 , capable to run wind turbines efficiently. Unfortunately, the supplies of rare-earth elements are centralized, and their availability may see volatility over time. This state of affairs stimulates the search for the search for rare-earth-free permanent magnetic materials. The L1 0 crystal structure underlines an important class of chemical ordered alloys that exhibit uniaxial magnetocrystalline anisotropy. This material has been considered an excellent candidate for rare-earth-free permanent magnets. In this program, a series of systematic experiments were performed and analysed in order to understand the effect of each. In order to synthesize L 10-Fe-Ni, one has to circumvent the sluggish kinetic and the limited driving force resulted from the low order-disorder temperature (~320°C) of the system. A strategy was found to trigger a martensitic transformation from the FCC phase to one of the non-cubic phases by high-strain methods. The body-centered tetragonal Fe-Ni obtained by this strategy was considered as a precursor of L10 Fe-Ni. The formation of BCT Fe-Ni via a displacive process was also implemented at the nanoscale by using tailored AuNi@FeNi core@shell.

36 MATERIALS SCIENCE↗

NASA NTRS1975

Synthesis and development of low cost, high temperature N-arylene polybenzimidazole foam material

Polymer (and foam) studies followed two basic routes: (1) formation of high molecular weight uncyclized polyamide followed by subsequent fusion and cyclodehydration to yield NABI (foam) and (2) polymer and foam formation by reaction of diphenyl esters (or anhydrides) with the tetramine. The latter route was found much more attractive since considerable versatility in both basic polymer structure and crosslinkability is achievable. Preliminary studies on BAB, phthalic anhydride (PA), and 3, 3 (prime), 4, 4(prime) benzo pheno netetracarboxylic acid dianhydride (BTDA) as crosslinked polymer precursors were conducted. Nonmelting rigid char forming foams with densities as low as 2.7 lb/cubic ft. were achieved. The program was successful in the preparation of a potentially low cost, low density, high char yield, high temperature foam material.

Harrison, E. S.↗

NASA NTRS2002

Systems Architecture for Fully Autonomous Space Missions

The NASA Goddard Space Flight Center is working to develop a revolutionary new system architecture concept in support of fully autonomous missions. As part of GSFC's contribution to the New Millenium Program (NMP) Space Technology 7 Autonomy and on-Board Processing (ST7-A) Concept Definition Study, the system incorporates the latest commercial Internet and software development ideas and extends them into NASA ground and space segment architectures. The unique challenges facing the exploration of remote and inaccessible locales and the need to incorporate corresponding autonomy technologies within reasonable cost necessitate the re-thinking of traditional mission architectures. A measure of the resiliency of this architecture in its application to a broad range of future autonomy missions will depend on its effectiveness in leveraging from commercial tools developed for the personal computer and Internet markets. Specialized test stations and supporting software come to past as spacecraft take advantage of the extensive tools and research investments of billion-dollar commercial ventures. The projected improvements of the Internet and supporting infrastructure go hand-in-hand with market pressures that provide continuity in research. By taking advantage of consumer-oriented methods and processes, space-flight missions will continue to leverage on investments tailored to provide better services at reduced cost. The application of ground and space segment architectures each based on Local Area Networks (LAN), the use of personal computer-based operating systems, and the execution of activities and operations through a Wide Area Network (Internet) enable a revolution in spacecraft mission formulation, implementation, and flight operations. Hardware and software design, development, integration, test, and flight operations are all tied-in closely to a common thread that enables the smooth transitioning between program phases. The application of commercial software development techniques lays the foundation for delivery of product-oriented flight software modules and models. Software can then be readily applied to support the on-board autonomy required for mission self-management. An on-board intelligent system, based on advanced scripting languages, facilitates the mission autonomy required to offload ground system resources, and enables the spacecraft to manage itself safely through an efficient and effective process of reactive planning, science data acquisition, synthesis, and transmission to the ground. Autonomous ground systems in turn coordinate and support schedule contact times with the spacecraft. Specific autonomy software modules on-board include mission and science planners, instrument and subsystem control, and fault tolerance response software, all residing within a distributed computing environment supported through the flight LAN. Autonomy also requires the minimization of human intervention between users on the ground and the spacecraft, and hence calls for the elimination of the traditional operations control center as a funnel for data manipulation. Basic goal-oriented commands are sent directly from the user to the spacecraft through a distributed internet-based payload operations "center". The ensuing architecture calls for the use of spacecraft as point extensions on the Internet. This paper will detail the system architecture implementation chosen to enable cost-effective autonomous missions with applicability to a broad range of conditions. It will define the structure needed for implementation of such missions, including software and hardware infrastructures. The overall architecture is then laid out as a common thread in the mission life cycle from formulation through implementation and flight operations.

Esper, Jamie↗

NASA NTRS2003

Software for Simulating Remote Sensing Systems

The Application Research Toolbox (ART) is a collection of computer programs that implement algorithms and mathematical models for simulating remote sensing systems. The ART is intended to be especially useful for performing design-tradeoff studies and statistical analyses to support the rational development of design requirements for multispectral imaging systems. Among other things, the ART affords a capability to synthesize coarser-spatial-resolution image-data sets from finer-spatial-resolution data sets and multispectral-image-data products from hyperspectral-image-data products. The ART also provides for synthesis of image-degradation effects, including point-spread functions, misregistration of spectral images, and noise. The ART can utilize real or synthetic data sets, along with sensor specifications, to create simulated data sets. In one example of a typical application, simulated data pertaining to an existing multispectral sensor system are used to verify the data collected by the system in operation. In the case of a proposed sensor system, the simulated data can be used to conduct trade studies and statistical analyses to ensure that the sensor system will satisfy the requirements of potential scientific, academic, and commercial user communities.

Zanoni, Vicki↗

NASA NTRS2003

Software for Simulating Remote Sensing Systems

Vicki Zanoni↗

DOE OSTI2023

Autonomous sputter synthesis of thin film nitrides with composition controlled by Bayesian optimization of optical plasma emission

Autonomous experimentation has emerged as an efficient approach to accelerate the pace of material discovery. Although instruments for autonomous synthesis have become popular in molecular and polymer science, solution processing of hybrid materials, and nanoparticles, examples of autonomous tools for physical vapor deposition are scarce yet important for the semiconductor industry. Here, we report the design and implementation of an autonomous workflow for sputter deposition of thin films with controlled composition, leveraging a highly automated sputtering reactor custom-controlled by Python, optical emission spectroscopy (OES), and a Bayesian optimization algorithm. We modeled film composition, measured by x-ray fluorescence, as a linear function of plasma emission lines monitored during co-sputtering from elemental Zn and Ti targets in an N 2 and Ar atmosphere. A Bayesian control algorithm, informed by OES, navigates the space of sputtering power to fabricate films with user-defined compositions by minimizing the absolute error between desired and measured optical emission signals. We validated our approach by autonomously fabricating Zn x Ti 1-x N y films that deviate from the targeted cation composition by a relative ±3.5%, even for 15 nm thin films, demonstrating that the proposed approach can reliably synthesize thin films with a specific composition and minimal human interference. Moreover, the proposed method can be extended to more difficult synthesis experiments where plasma intensity lines depend non-linearly on pressure, or the elemental sticking coefficients strongly depend on the substrate temperature.

36 MATERIALS SCIENCE↗

NASA NTRS1987

Comparative induction of nitrate reductase by nitrate and nitrite in barley leaves

The comparative induction of nitrate reductase (NR) by ambient NO3- and NO2- as a function of influx, reduction (as NR was induced) and accumulation in detached leaves of 8-day-old barley (Hordeum vulgare L.) seedlings was determined. The dynamic interaction of NO3- influx, reduction and accumulation on NR induction was shown. The activity of NR, as it was induced, influenced its further induction by affecting the internal concentration of NO3-. As the ambient concentration of NO3- increased, the relative influences imposed by influx and reduction on NO3- accumulation changed with influx becoming a more predominant regulant. Significant levels of NO3- accumulated in NO2(-)-fed leaves. When the leaves were supplied cycloheximide or tungstate along with NO2-, about 60% more NO3- accumulated in the leaves than in the absence of the inhibitors. In NO3(-)-supplied leaves NR induction was observed at an ambient concentration of as low as 0.02 mM. No NR induction occurred in leaves supplied with NO2- until the ambient NO2- concentration was 0.5 mM. In fact, NR induction from NO2- solutions was not seen until NO3- was detected in the leaves. The amount of NO3- accumulating in NO2(-)-fed leaves induced similar levels of NR as did equivalent amounts of NO3- accumulating from NO3(-)-fed leaves. In all cases the internal concentration of NO3-, but not NO2-, was highly correlated with the amount of NR induced. The evidence indicated that NO3- was a more likely inducer of NR than was NO2-.

NASA Program CELSS↗

NASA NTRS1997

Organic synthesis in experimental impact shocks

Laboratory simulations of shocks created with a high-energy laser demonstrate that the efficacy of organic production depends on the molecular, not just the elemental composition of the shocked gas. In a methane-rich mixture that simulates a low-temperature equilibrium mixture of cometary material, hydrogen cyanide and acetylene were produced with yields of 5 x 10(17) molecules per joule. Repeated shocking of the methane-rich mixture produced amine groups, suggesting the possible synthesis of amino acids. No organic molecules were produced in a carbon dioxide-rich mixture, which is at odds with thermodynamic equilibrium approaches to shock chemistry and has implications for the modeling of shock-produced organic molecules on early Earth.

NASA Discipline Exobiology↗

NASA NTRS1991

VERDEX: A virtual environment demonstrator for remote driving applications

One of the key areas of the National Advanced Robotics Centre's enabling technologies research program is that of the human system interface, phase 1 of which started in July 1989 and is currently addressing the potential of virtual environments to permit intuitive and natural interactions between a human operator and a remote robotic vehicle. The aim of the first 12 months of this program (to September, 1990) is to develop a virtual human-interface demonstrator for use later as a test bed for human factors experimentation. This presentation will describe the current state of development of the test bed, and will outline some human factors issues and problems for more general discussion. In brief, the virtual telepresence system for remote driving has been designed to take the following form. The human operator will be provided with a helmet-mounted stereo display assembly, facilities for speech recognition and synthesis (using the Marconi Macrospeak system), and a VPL DataGlove Model 2 unit. The vehicle to be used for the purposes of remote driving is a Cybermotion Navmaster K2A system, which will be equipped with a stereo camera and microphone pair, mounted on a motorized high-speed pan-and-tilt head incorporating a closed-loop laser ranging sensor for camera convergence control (currently under contractual development). It will be possible to relay information to and from the vehicle and sensory system via an umbilical or RF link. The aim is to develop an interactive audio-visual display system capable of presenting combined stereo TV pictures and virtual graphics windows, the latter featuring control representations appropriate for vehicle driving and interaction using a graphical 'hand,' slaved to the flex and tracking sensors of the DataGlove and an additional helmet-mounted Polhemus IsoTrack sensor. Developments planned for the virtual environment test bed include transfer of operator control between remote driving and remote manipulation, dexterous end effector integration, virtual force and tactile sensing (also the focus of a current ARRL contract, initially employing a 14-pneumatic bladder glove attachment), and sensor-driven world modeling for total virtual environment generation and operator-assistance in remote scene interrogation.

Stone, Robert J.↗

NASA NTRS2013

NASA Tech Briefs, May 2013

Topics include: Test Waveform Applications for JPL STRS Operating Environment; Pneumatic Proboscis Heat-Flow Probe; Method to Measure Total Noise Temperature of a Wireless Receiver During Operation; Cursor Control Device Test Battery; Functional Near-Infrared Spectroscopy Signals Measure Neuronal Activity in the Cortex; ESD Test Apparatus for Soldering Irons; FPGA-Based X-Ray Detection and Measurement for an X-Ray Polarimeter; Sequential Probability Ratio Test for Spacecraft Collision Avoidance Maneuver Decisions; Silicon/Carbon Nanotube Photocathode for Splitting Water; Advanced Materials and Fabrication Techniques for the Orion Attitude Control Motor; Flight Hardware Packaging Design for Stringent EMC Radiated Emission Requirements; RF Reference Switch for Spaceflight Radiometer Calibration; An Offload NIC for NASA, NLR, and Grid Computing; Multi-Scale CNT-Based Reinforcing Polymer Matrix Composites for Lightweight Structures; Ceramic Adhesive and Methods for On-Orbit Repair of Re-Entry Vehicles; Self-Healing Nanocomposites for Reusable Composite Cryotanks; Pt-Ni and Pt-Co Catalyst Synthesis Route for Fuel Cell Applications; Aerogel-Based Multilayer Insulation with Micrometeoroid Protection; Manufacturing of Nanocomposite Carbon Fibers and Composite Cylinders; Optimized Radiator Geometries for Hot Lunar Thermal Environments; A Mission Concept: Re-Entry Hopper-Aero-Space-Craft System on-Mars (REARM-Mars); New Class of Flow Batteries for Terrestrial and Aerospace Energy Storage Applications; Reliability of CCGA 1152 and CCGA 1272 Interconnect Packages for Extreme Thermal Environments; Using a Blender to Assess the Microbial Density of Encapsulated Organisms; Mixed Integer Programming and Heuristic Scheduling for Space Communication; Video Altimeter and Obstruction Detector for an Aircraft; Control Software for Piezo Stepping Actuators; Galactic Cosmic Ray Event-Based Risk Model (GERM) Code; Sasquatch Footprint Tool; and Multi-User Space Link Extension (SLE) System.

Source record↗

NASA NTRS1992

The Acid Growth Theory of auxin-induced cell elongation is alive and well

Plant cells elongate irreversibly only when load-bearing bonds in the walls are cleaved. Auxin causes the elongation of stem and coleoptile cells by promoting wall loosening via cleavage of these bonds. This process may be coupled with the intercalation of new cell wall polymers. Because the primary site of auxin action appears to be the plasma membrane or some intracellular site, and wall loosening is extracellular, there must be communication between the protoplast and the wall. Some "wall-loosening factor" must be exported from auxin-impacted cells, which sets into motion the wall loosening events. About 20 years ago, it was suggested that the wall-loosening factor is hydrogen ions. This idea and subsequent supporting data gave rise to the Acid Growth Theory, which states that when exposed to auxin, susceptible cells excrete protons into the wall (apoplast) at an enhanced rate, resulting in a decrease in apoplastic pH. The lowered wall pH then activates wall-loosening processes, the precise nature of which is unknown. Because exogenous acid causes a transient (1-4 h) increase in growth rate, auxin must also mediate events in addition to wall acidification for growth to continue for an extended period of time. These events may include osmoregulation, cell wall synthesis, and maintenance of the capacity of walls to undergo acid-induced wall loosening. At present, we do not know if these phenomena are tightly coupled to wall acidification or if they are the products of multiple independent signal transduction pathways.

NASA Discipline Number 40-50↗

NASA NTRS1984

Future scientific missions for STS

The present investigation is concerned with a number of astrophysics missions which are currently being studied by NASA. The missions will be initially flown on the Space Transportation System (STS) and subsequently could be conducted in connection with the utilization of a Space Station on Space Platform. One of the missions involves the use of a large antenna system designed to significantly extend the aperture synthesis technique of earth-based very long baseline interferometry technique (orbiting VLBI). It has been recommended that a space VLBI antenna be launched in low earth orbit during this decade. Another mission considered is related to the Advanced Solar Observatory (ASO). ASO is a long duration space observatory. It will consist of four major instrument groupings including a High Resolution Solar Telescope Cluster (HRSTC), a Pinhole Occulter Facility, a Solar High Energy Facility, and a Solar Low Frequency Radio Facility. Attention is also given to a new program entitled Capabilities for Opportunity Payload Experiments (COPE).

De Sanctis, C. E.↗

NASA NTRS2001

Polyimide Based Nanocomposites for Affordable Space Transport

In setting forth its strategic plan, NASA has indicated that low-cost access to space is the key to unleashing the commercial potential of space and greatly expanding space research and exploration. The development of advanced materials will be an enabling technology for this quest for low-cost space access. In this research program, we are attempting to address the need for new advanced materials by developing high-performance nanodispersed inorganic/organic and organic/organic polyimide composites utilizing specific interactions. Our goal is to systematically manipulate these interactions and investigate the resulting processing morphology-property relationships. Specifically, we will investigate three main parameters on these relationships. These include (1) the type of polyimide; (2) the structure of the inorganic nanoparticle being used; and (3) manipulation of the interfacial energy. During the first year of this effort, we have demonstrated the successful synthesis of PMR-15/layered silicate nanocomposites. Morphological studies indicate that exfoliated structures were obtained in most instances, with a mixture of exfoliated and intercalated structures being observed also. Significant enhancements of the onset of decomposition were obtained by varying the strength of the interaction between the nanoparticle and the polymer. Varying the amount of a specific nanoparticle also affected the decomposition temperatures. A slight catalytic effect of the nanoparticles on both the imidization and crosslinking reaction has been observed and will be presented. In addition, incorporation of the nanoparticles was found to increase the glass transition temperature and slightly broaden the breadth of this relaxation.

Dean, Derrick↗

NASA NTRS1993

An overview of the cosmic dust analogue material production in reduced gravity: the STARDUST experience

The formation, properties and chemical dynamics of microparticles are important in a wide variety of technical and scientific fields including synthesis of semiconductor crystals from the vapour, heterogeneous chemistry in the stratosphere and the formation of cosmic dust surrounding the stars. Gravitational effects on particle formation from vapors include gas convection and buoyancy and particle sedimentation. These processes can be significantly reduced by studying condensation and agglomeration of particles in microgravity. In addition, to accurately simulate particle formation near stars, which takes place under low gravity conditions, studies in microgravity are desired. We report here the STARDUST experience, a recent collaborative effort that brings together a successful American program of microgravity experiments on particle formation aboard NASA KC-135 Reduced Gravity Research Aircraft and several Italian research groups with expertise in microgravity research and astrophysical dust formation. The program goal is to study the formation and properties of high temperature particles and gases that are of interest in astrophysics and planetary science. To do so we are developing techniques that are generally applicable to study particle formation and properties, taking advantage of the microgravity environment to allow accurate control of system parameters.

NASA Discipline Exobiology↗

NASA NTRSDate not supplied

Probabilistic Modeling of a Three-Stage Human Landing System Architecture

Unmitigated uncertainties are known to have previously led to failed development programs; in order to combat these uncertainties, risks and their impacts must be understood and handled to ensure program success. In this paper, a probabilistic methodology to handle uncertainties is demonstrated on a three-element Human Landing System (HLS) concept, which allows tracking of current best estimates of the vehicle’s performance and assessment of its robustness against uncertainties. This methodology has two key parts: ﬁrst, the creation of a dynamic architecture model of a three-element HLS concept; and second, its use with surrogate modeling and range estimating techniques to capture and propagate uncertainties. The DYnamic Rocket EQuation Tool (DYREQT), a space systems synthesis and sizing framework used by NASA, was used as to model the HLS architecture. For the probabilistic analysis, uncertainties of interest within the HLS concept were enumerated and represented as parameters within the DYREQT model as inputs for vehicle stages or mission proﬁle events. Range estimating — a probabilistic method that combines Monte Carlo sampling, focus on critical parameters, and heuristics to assess risk and opportunities — is then adapted with operational parameters as well as vehicle parameters in the DYREQT model to capture mission uncertainty alongside vehicle uncertainty. To perform the range estimation portion of this methodology, the DYREQT model was sampled using a Design of Experiments (DoE) to eﬃciently explore the architecture design space with respect to the set of uncertainty parameters. Then, the results were used to create surrogate models, multivariate regressions that can visualize hypercube trends in the design space, of the architecture with respect to the uncertainty parameters. Using a correlation matrix constructed for the uncertainty parameters, previously independent samples were transformed to perform a Correlated Monte Carlo on the surrogate models. This probabilistic methodology was proved to provide insight into the underlying uncertainties of the three-element HLS architecture.

Stephanie Y Zhu↗