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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

[Stellar Occultation Studies of Small Bodies in the Outer Solar System: Accomplishments, Status, and Plans]

Bodies residing in the outer solar system exhibit unique physical processes, and some of the lessons learned from them can be applied to understanding what occurred in the outer solar system during its formation and early evolution. Pluto, the largest known Kuiper Belt object (KBO), and its near twin Triton--an ex-KBO that has been captured by Neptune--have nitrogen atmospheres that are in vapor-pressure equilibrium with surface ice. These atmospheres are most sensitively probed from Earth by the technique of Stellar occultations, which can provide the temperature and pressure profiles of these atmospheres at a spatial resolution of a few kilometers. Recent results from occultations show that the surface pressure of Triton's atmosphere has been increasing and that the shape of the atmosphere deviates from its expected spherical figure. With the occultation technique we can also learn the sizes of smaller bodies that have formed in the outer solar system: Charon, the Centaurs, and KBOs. Our proposed program involves identifying occultation candidates, predicting occultations, observing occultations, analysis of the data, and synthesis of the occultation results with other data. The main goals for our proposed work are to (i) further observe occultations by Triton with the objectives of understanding its pressure changes, distortion, and enigmatic thermal structure (ii) determine whether the abrupt drop in Pluto's stellar occultation light curve is caused by a sharp thermal gradient near its surface or by atmospheric haze, (iii) further observations to characterize the potential collapse of Pluto's atmosphere as it recedes from the sun (information that should be of interest to the Pluto-Kuiper Express), ( iv ) determine Charon's radius more accurately than can be done with the mutual events to derive a better estimate of Charon's density, and ( v ) directly determine the size (and albedo) of Centaurs with the goal of more accurately estimating the sizes of KBOS.

Elliott, James↗
NASA NTRS2004

Systems engingeering for the Kepler Mission : a search for terrestrial planets

The Kepler mission will launch in 2007 and determine the distribution of earth-size planets (0.5 to 10 earth masses) in the habitable zones (HZs) of solar-like stars. The mission will monitor > 100,000 dwarf stars simultaneously for at least 4 years. Precision differential photometry will be used to detect the periodic signals of transiting planets. Kepler will also support asteroseismology by measuring the pressure-mode (p-mode) oscillations of selected stars. Key mission elements include a spacecraft bus and 0.95 meter, wide-field, CCD-based photometer injected into an earth-trailing heliocentric orbit by a 3-stage Delta II launch vehicle as well as a distributed Ground Segment and Follow-up Observing Program. The project is currently preparing for Preliminary Design Review (October 2004) and is proceeding with detailed design and procurement of long-lead components. In order to meet the unprecedented photometric precision requirement and to ensure a statistically significant result, the Kepler mission involves technical challenges in the areas of photometric noise and systematic error reduction, stability, and false-positive rejection. Programmatic and logistical challenges include the collaborative design, modeling, integration, test, and operation of a geographically and functionally distributed project. A very rigorous systems engineering program has evolved to address these challenges. This paper provides an overview of the Kepler systems engineering program, including some examples of our processes and techniques in areas such as requirements synthesis, validation & verification, system robustness design, and end-to-end performance modeling.

systems engineering↗
DOE OSTI2017

Biomass to Liquid Fuels and Electrical Power

This research program provided data on immediate applicability of forest biomass production and logistics models. Also, the research further developed and optimized fractionation techniques that can be used to separate biomass feedstocks into their basic chemical constituents. Finally, additional research established systematic techniques to determine economically feasible technologies for production of biomass-derived synthesis gases that will be used for clean, renewable power generation and for production of liquid transportation fuels. Moreover, this research program continued our efforts to educate the next generation of engineers and scientists needed to implement these technologies.

09 BIOMASS FUELS↗
NASA NTRS1996

Development of an agility assessment module for preliminary fighter design

A FORTRAN computer program is presented to perform agility analysis on fighter aircraft configurations. This code is one of the modules of the NASA Ames ACSYNT (AirCraft SYNThesis) design code. The background of the agility research in the aircraft industry and a survey of a few agility metrics are discussed. The methodology, techniques, and models developed for the code are presented. FORTRAN programs were developed for two specific metrics, CCT (Combat Cycle Time) and PM (Pointing Margin), as part of the agility module. The validity of the code was evaluated by comparing with existing flight test data. Example trade studies using the agility module along with ACSYNT were conducted using Northrop F-20 Tigershark and McDonnell Douglas F/A-18 Hornet aircraft models. The sensitivity of thrust loading and wing loading on agility criteria were investigated. The module can compare the agility potential between different configurations and has the capability to optimize agility performance in the preliminary design process. This research provides a new and useful design tool for analyzing fighter performance during air combat engagements.

Ngan, Angelen↗
DOE OSTI2017

Synthesis and Crystal Structures of Volatile Neptunium(IV) β-Diketonates

There is a large need for neptunium certified reference materials to support domestic nuclear forensics programs. These reference materials are required for quantification of Np forensic related samples. Isotopic separation is required to produce this material; traditional isotopic separation methods use electromagnetic separation techniques. Such methods require a gaseous introduction of Np into the separation source. This work sought to produce a volatile Np compound that would be suitable for the purpose of certified reference material production. ß-diketonates were identified as compounds likely able to serve this purpose. However, previously described synthesis requires NpCl4, which is not commercially available and prohibitively difficult to produce. A novel and facile procedure was developed here to successfully synthesize several tetravalent ß-diketonates of Np. They were characterized using FTIR and single crystal x-ray diffraction. The volatility of these compounds at elevated temperatures was then analyzed, and discussed. The synthesis procedure developed here presents a facile platform for further Np organometallic studies.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Assessing the cumulative effects of nearshore habitat restoration actions for multiple populations of juvenile salmon in Whidbey Basin, Washington: foundation and approach for synthesis and evaluation

Ecosystem restoration is a common tool for re-establishing ecosystem processes, structures, and functions to improve biodiversity and services in coastal and estuarine ecosystems. In the Salish Sea, salmon habitats have been fragmented, reduced in size, and diminished in quality, and the ecosystem processes that form and sustain these habitats have been degraded and disrupted as well. This loss is especially prevalent in estuaries, where up to 90% of former salmon habitat has been lost or compromised. Salmon species are integral to the identities and cultures of people in the Pacific Northwest, yet salmon abundances remain at historic lows, especially in urbanized areas. Recent investments in restoration are creating rearing habitat and repairing lost ecosystem function. However, restoration efforts in this region have largely proceeded at the site scale, with less attention to big-picture thinking regarding how restoration will effectively recover degraded or lost habitats for target species. As a result, no landscape-scale evaluation program exists, and the cumulative benefits of multiple interventions are unknown. We describe innovative methods for science synthesis related to the evaluation of cumulative effects of ecosystem restoration for Pacific salmon, using years of existing, but disparate data. Building from previous work on cumulative effects evaluation and incorporating a hierarchy of hypotheses approach, we propose using causal inference across numerous hypotheses in a framework to assess the cumulative benefits to Pacific salmon from multiple estuarine restoration projects. We present the framework as a method that can be used to address many complex questions and provide examples from the Salish Sea where the approach is being implemented. The framework draws on science synthesis from numerous fields and uses a hierarchy of hypotheses, causal analysis at multiple scales, and a new hierarchy of synthesis for assessing multiple lines of evidence documenting restoration effects on Pacific salmon. We propose causal inference to synthesize dissimilar data streams, in our case, to identify various manifestations of cumulative effects of restoration and benefits to salmon, and to further inform restoration and recovery planning. A unifying framework would allow for the detection of thresholds at which restoration provides measurable improvement and would greatly advance understanding of the effects of restoration on ecosystems.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

Towards On-Chip Learning for Low Latency Reasoning with End-to-End Synthesis

The Software Defined Architectures (SODA) Synthesizer is an open-source compiler-based tool able to automatically generate domain-specialized systems targeting Application-Specific Integrated Circuits (ASICs) or Field Programmable Gate Arrays (FPGAs) starting from high-level programming. SODA is composed of a frontend, SODA-OPT, which leverages the multilevel intermediate representation (MLIR) framework to interface with productive programming tools (e.g., machine learning frame-works), identify kernels suitable for acceleration, and perform high-level optimizations, and of a state-of-the-art high-level synthesis backend, Bambu from the PandA framework, to generate custom accelerators. One specific application of the SODA Synthesizer is the generation of accelerators to enable ultra-low latency inference and control on autonomous systems for scientific discovery (e.g., electron microscopes, sensors in particle accelerators, etc.). This paper provides an overview of the flow in the context of the generation of accelerators for edge processing to be integrated in transmission electron microscopy (TEM) devices, focusing on use cases from precision material synthesis. We show the tool in action with an example of design space exploration for inference on reconfigurable devices with a conventional deep neural network model (LeNet). Finally, we discuss the research directions and opportunities enabled by SODA in the area of autonomous control for scientific experimental workflows.

Castellana, Vito G.↗
DOE OSTI2018

Peptoid Backbone Flexibilility Dictates Its Interaction with Water and Surfaces: A Molecular Dynamics Investigation

Peptoids are peptide-mimetic biopolymers that are easy-to-synthesize and adaptable for use in drugs, chemical scaffolds, and coatings. However, there is insufficient information about their structural preferences and interactions with the environment in various applications. We conducted a study to understand the fundamental differences between peptides and peptoids using molecular dynamics simulations with semi-empirical (PM6) and empirical (AMBER) potentials, in conjunction with metadynamics enhanced sampling. From studies of single molecules in water and on surfaces, we found that sarcosine (model peptoid) is much more flexible than alanine (model peptide) in different environments. However, the sarcosine and alanine interact similarly with a hydrophobic or a hydrophilic. Finally, this study highlights the conformational landscape of peptoids and the dominant interactions that drive peptoids towards these conformations. ACKNOWLEDGMENT: MD simulations and manuscript preparation were supported by the MS3 (Materials Synthesis and Simulation Across Scales) Initiative at Pacific Northwest National Laboratory (PNNL), a multi-program national laboratory operated by Battelle for the U.S. Department of Energy. CJM was supported by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences Division of Chemical Sciences, Geosciences, and Biosciences. MDB was supported by the US Department of Energy, Office of Basic Energy Sciences, Biomolecular Materials Program at PNNL. Computing resources were generously allocated by University of Washington's IT department and PNNL's Institutional Computing program. The authors greatly acknowledge conversations with Dr. Kayla Sprenger, Josh Smith, and Dr. Yeneneh Yimer.

alanine↗
DOE OSTI2020

A New Process for Carbon Dioxide Conversion to Fuel

In this project, TDA developed a new mixed metal oxide-based sorbent that converts CO 2 (captured from coal fired power plant) to CO, which can then be combined with renewable H 2 generated by water electrolysis to produce different liquid fuels. TDA’s absorbent-based CO 2 conversion process uses a redox process, which splits the reverse water gas shift reaction steps into two stages: CO 2 reduction to CO and H 2 oxidation to H 2 O and eliminates the equilibrium limitations. The CO produced in the two-stage reactor system can then be further reacted with renewable H 2 to produce methanol, naphtha, diesel, or gasoline. We worked with the Gas Technology Institute (GTI) and Advanced Power & Energy Program (APEP) of University of California, Irvine (UCI) to design and develop the liquid fuel synthesis process that is built around this new material. We demonstrated the techno-economic viability of the new sorbent based redox process to convert CO 2 into synthesis gas by: 1) demonstrating continuous carbon dioxide reduction in a prototype test system for over 500 hours while converting up to 0.4 kg CO 2 /day. With the successful completion of the R&D effort, the technology is now ready for a larger pilot-scale demonstration and the technology readiness has been raised from TRL 3 to TRL 5. In collaboration UCI, we also completed a high-fidelity process design and economic analysis. The required selling price (RSP) for methanol (Case 1 H2-MeOH) is $\$$3.06/gal, naphtha and diesel (Case 2 H2-FT) are $\$$6.21/gal and $\$$8.91/gal, and for gasoline (Case 3 H2-MTG) is $\$$6.96/gal on a 2011 dollar basis. To put these costs in perspective, the recent (June 2020) U.S. price for methanol made from natural gas is about $\$$1.19/gal according to Methanex, a major methanol producer in North America. The recent (June 2, 2020) California prices for gasoline and diesel with California’s strict specifications are $\$$3.35/gal and $\$$3.73/gal according to the U.S. Energy Information Agency. On the other hand, it should be noted that the gasoline and diesel produced by the designs of Case 2 and Case 3 would be both nitrogen and sulfur free. These RSPs are based on a cost of imported electricity of $\$$64/MWh based on the low-end current wind generated electricity cost (Genevieve and Ramsden, Wind Electrolysis: Hydrogen Cost Optimization, Technical Report, June 2011, NREL/TP-5600-50408). This cost is by far the largest component of the variable costs used in computing the RSPs. The cost of the imported electricity has to approach zero for the RSP to be competitive for methanol produced in Case 1 and naphtha and diesel produced in Case 2 while the cost of electricity has to be less than $\$$10/MWh for gasoline produced in Case 3.

01 COAL, LIGNITE, AND PEAT↗
DOE OSTI2022

A Novel Process for Carbon Dioxide Conversion to Fuel

In this project, TDA developed a new mixed metal oxide-based sorbent that converts CO2 (captured from coal fired power plants) to CO, which can then be combined with renewable H2 generated by water electrolysis or H2 from steam methane reforming to produce different liquid fuels. TDA’s absorbent-based CO2 conversion process uses a redox process, which splits the catalytic reforming of methane with CO2 reaction into two stages: CO2 reduction to CO and CH4 reforming into H2 and CO which eliminates the equilibrium limitations. The CO produced in the two-stage reactor system can then be further reacted with renewable H2 to produce methanol, naphtha, diesel, or gasoline. We worked with the Advanced Power & Energy Program (APEP) of University of California, Irvine (UCI) to design and develop the liquid fuel synthesis process that is built around this new material. We demonstrated the techno-economic viability of the new sorbent based redox process to convert CO2 into synthesis gas by demonstrating continuous carbon dioxide reduction in a prototype test system for over 585 hours while converting up to 10 kg CO2/day. With the successful completion of the R&D effort, the technology is now ready for a larger pilot-scale demonstration and the technology readiness has been raised from TRL 3 to TRL 5. In collaboration with UCI, we completed a high-fidelity process design and economic analysis. The required sale price (RSP) for gasoline (Case 1 NG-MTG) is $4.91/gal and naphtha and diesel (Case 2 NG-FT) are $4.23/gal and $6.07/gal, respectively, on a 2011 dollar basis. To put these costs in perspective, the California prices in current dollars (with its strict specifications) for regular grade gasoline from last year to current year have varied from a low of $3.10/gal in January 2021 to a high of $5.76/gal in March 2022, while prices for diesel from last year to current year have varied from a low of $3.40/gal in January 2021 to a high of $6.41/gal in May 2022 according to the U.S. Energy Information Agency data. It should be noted that the gasoline and diesel produced by these designs of Case 1 and Case 2 would be of very high quality and both nitrogen and sulfur free. These RSPs are based on a cost of imported electricity of $64/MWh based on the low-end current wind generated electricity cost (Genevieve 2011). This cost is by far the largest component of the variable costs used in computing the RSPs. A sensitivity analysis of these RSPs to the cost of imported electricity shows that the cost of the imported electricity has a significant effect on the RSPs. The life cycle analysis (LCA) shows that the total cradle-to-gate CO2 emissions for both liquid fuels (diesel and gasoline) were negative, indicating that overall more CO2 is consumed than released during production of the fuel from CO2 feed stack for both cases (-296 kgCO2 per MT gasoline for Case 1 and -705 kgCO2 per MT diesel for Case 2). On a cradle-to-grave comparison, the use of diesel produced using TDA’s process (2,457 kgCO2 per MT diesel) would release 37.6% less CO2 compared to petroleum based diesel (3,937 kgCO2 per MT diesel) while the use of gasoline produced using TDA’s process (2,792 kgCO2 per MT gasoline) would release 29.3% less CO2 compared to petroleum based gasoline (3,946 kgCO2 per MT gasoline). With the successful completion of the R&D effort, the technology is now ready for a bench-scale demonstration and the technology readiness has been raised from TRL 3 (Analytical and experimental critical function and/or characteristic proof of concept) to TRL 5 (Laboratory scale similar system validation in relevant environment).

20 FOSSIL-FUELED POWER PLANTS↗
NASA NTRS1974

Minimum-weight designs for hat-stiffened composite panels under uniaxial compression

Optimum hat-stiffened compression panel designs are determined by a structural synthesis technique. The effects of simplifying assumptions made in the buckling analysis for the optimization program are investigated by a linked plate element program. Optimization results for hat-stiffened graphite-epoxy panels show a 50-percent weight savings over optimized aluminum panels. Composite panels are shown to possess a variety of proportions at nearly constant weight.

Agarwal, B.↗
NASA NTRS1992

Modeling for health monitoring and control with applications to the Space Transportation Main Engine

The work reported herein represents a continuation of work begun at MSFC during the 1991 NASA/ASEE Summer Faculty Fellowship Program. During this period, the author proposed and studied a paradigm for the analysis and synthesis of Integrated Health Monitoring and Control Systems (IHMCS) for rocket engines. This work was motivated by NASA's desire to develop advanced propulsion systems which could operate with increased cost. The Space Transportation Main Engine (STME) whose function it is to provide primary thrust for the National Launch System (NLS) family of vehicles is a primary example of this trend.

Helmicki, Arthur J.↗
NASA NTRS2006

NASA Tech Briefs, May 2006

T-Shaped Emitter Metal Structures for HBTs Rigorous Estimation of SNR of a PSK Communication Link Advanced Ka-Band Transceiver With Monopulse Tracking EMI Filters for Low-Temperature Applications Lightweight Electronic Camera for Research on Clouds Pilot Weather Advisor System Waveguide Power-Amplifier Module for 80 to 150 GHz Better Back Contacts for Solar Cells on Flexible Substrates Topics covered include:Tunable, Highly Stable Lasers for Coherent Lidar; Improved Photon-Emission-Microscope System; Program Synthesizes UML Sequence Diagrams; Aspect-Oriented Subprogram Synthesizes UML Sequence Diagrams; Updated Computational Model of Cosmic Rays Near Earth; Software for Alignment of Segments of a Telescope Mirror; Simulation of Dropping of Cargo With Parachutes; DAVE-ML Utility Program; Robust Control for the Mercury Laser Altimeter; Thermally Stable Piezoelectric and Pyroelectric Polymers; Combustion Synthesis of Ca3(PO4)2 Net-Shape Surgical Implants; Stochastic Representation of Chaos Using Terminal Attractors; Two High-Temperature Foil Journal Bearings; Using Plates To Represent Fillets in Finite-Element Modeling; Repairing Chipped Silicide Coatings on Refractory Metal Substrates; Simplified Fabrication of Helical Copper Antennas; Graded-Index "Whispering-Gallery" Optical Microresonators; Optical Profilometers Using Adaptive Signal Processing; Manufacture of Sparse-Spectrum Optical Microresonators; Exact Tuning of High-Q Optical Microresonators by Use of UV; Automation for "Direct-to" Clearances in Air-Traffic Control; Improved Traps for Removing Gases From Coolant Liquids; and Lunar Constellation of Frozen Elliptical Inclined Orbits.

Source record↗
NASA NTRS1995

A possible prebiotic synthesis of pantetheine, a precursor to coenzyme A

The involvement of coenzyme A in many enzyme reactions suggests that it acted in this capacity very early in the development of life on Earth. Particularly relevant in this regard is its role in the activation of amino acids and hydroxy acids in the biosynthesis of some peptide antibiotics--a mechanism of peptide synthesis that forms the basis for the proposal that a thioester world could have preceded the RNA world. The components of coenzyme A have been shown to be probable prebiotic compounds: beta-alanine, pantoyl lactone and cysteamine and possibly adenosine. We show here that the pantetheine moiety of coenzyme A (which also occurs in a number of enzymes) can be synthesized in yields of several per cent by heating pantoyl lactone, beta-alanine and cysteamine at temperatures as low as 40 degrees C. These components are extremely soluble and so would have been preferentially concentrated in evaporating bodies of water, for example on beaches and at lagoon margins. Our results show that amide bonds can be formed at temperatures as low as 40 degrees C, and provide circumstantial support for the suggestion that pantetheine and coenzyme A were important in the earliest metabolic systems.

NASA Discipline Number 52-20↗
DOE OSTI2022

The SODA Approach: Leveraging High-Level Synthesis for Hardware/Software Co-design and Hardware Specialization: Invited

Novel "converged" applications combine phases of scientific simulation with data analysis and machine learning. Each computational phase can benefit from specialized accelerators. However, algorithms evolve so quickly that mapping them on existing accelerators is suboptimal or even impossible. This paper presents the SODA (Software Defined Accelerators) framework, a modular, multi-level, open-source, no-human-in-the-loop, hardware synthesizer that enables end-to-end generation of specialized accelerators. SODA is composed of SODA-Opt, a high-level frontend developed in MLIR that interfaces with domain-specific programming frameworks and allows performing system level design, and Bambu, a state-of-the-art high-level synthesis engine that can target different device technologies. The framework implements design space exploration as compiler optimization passes. We show how the modular, yet tight, integration of the high-level optimizer and lower-level HLS tools enables the generation of accelerators optimized for the computational patterns of converged applications. We then discuss some of the research opportunities that such a framework allows, including system-level design, profile driven optimization, and supporting new optimization metrics.

Bohm Agostini, Nicolas↗
NASA NTRS1991

Synthesis of the coenzymes adenosine diphosphate glucose, guanosine diphosphate glucose, and cytidine diphosphoethanolamine under primitive Earth conditions

The nonenzymatic synthesis of the coenzymes adenosine diphosphate glucose (ADPG), guanosine diphosphate glucose (GDPG), and cytidine diphosphoethanolamine (CDP-ethanolamine) has been carried out under conditions considered to have been prevalent on the early Earth. The production of these compounds was performed by allowing simple precursor molecules to react under aqueous solutions, at moderate temperatures and short periods of time, with mediation by cyanamide or urea. These two condensing agents are considered to have been present in significant amounts on the primitive Earth and have been previously used in the nonenzymatic synthesis of several other important biochemical compounds. In our experiments, ADPG was obtained by heating glucose-1-phosphate (G1P) and ATP in the presence of cyanamide for 24 h at 70 degrees C. The reaction of G1P and GTP under the same conditions yielded GDPG. The cyanamide-mediated production of CDP-ethanolamine was carried out by reacting a mixture of ethanolamine phosphate and CTP for 24 h at 70 degrees C. The separation and identification of the reaction products was carried out by paper chromatography, thin-layer chromatography, high performance thin-layer chromatography, high performance liquid chromatography, both normal and reverse-phase, UV spectroscopy, enzymatic assays, and acid hydrolysis. Due to the mild conditions employed, and to the relative ease of these reactions, these studies offer a simple attractive system for the nonenzymatic synthesis of phosphorylated high-energy metabolic intermediates under conditions considered to have been prevalent on the ancient Earth.

NASA Discipline Exobiology↗
DOE OSTI2024

Understanding and Tailoring Diffusion and Co-Adsorption Inside the Confined Pores of Metal-Organic Frameworks (Final Scientific/Technical Report for Award DE-SC0019902)

The aim of this program was to gain a fundamental understanding of the behavior of various guest molecules in nano-confined environments, such as metal organic frameworks (MOFs), using a combination of novel synthesis, ab initio modeling, and in situ characterization. Through this project, we developed a concise understanding of the mechanisms that control adsorption/desorption of gaseous molecules and their mixtures, leading to design/synthesis guidelines for MOFs with desired functionality. We further developed methods to disentangle kinetic from thermodynamic effects during adsorption, as well as to characterize the interactions at play. In the first funding cycle, the focus was on the unambiguously characterization of co-adsorption and diffusion of gasses/vapors and their mixtures. In the second funding cycle, the focus was on characterizing the effects of the nano-confinement on the kinetics and thermodynamics of adsorption processes inside MOFs, again with an emphasis on mixtures of gasses and vapors. The nano-confinement can tip the thermodynamic vs. kinetic balance, and current understanding and theory based on single-component analysis can lead to incorrect predictions for mixtures. This is of particular interest in real-world applications, where gasses/vapors are typically mixed, contain impurities, or are often exposed to humid conditions. Our main findings were: (i) within confined environments the adsorption behavior of mixed gasses/vapors can be drastically different from the “sum” of the corresponding single phases; (ii) co-adsorption is often competitive and detrimental to performance, but it can also be cooperative and beneficial; (iii) in some co-adsorbed gasses/vapors, molecules that are strongly bound in the single-component phase can be replaced by molecules that are nominally weaker bound (molecular exchange) due to guest-guest interactions that lower the kinetic barriers and favor the final adsorption state; (iv) kinetic and thermodynamic effects can be precisely controlled through pore-size engineering and synthesis; and, (v) kinetic effects can be identified and disentangled from thermodynamic effects during adsorption through a series of sequential and simultaneous gas loading measurements. The short-term goal of this program was the controlling and understanding of common MOF systems in real-world situations where gasses/vapors are mixed, which will have an important impact on industrial processes and applications from gas storage and sequestration to catalysis and sensors. The long-term goals include the development of theoretical and experimental methods for gaining a fundamental understanding of adsorption/reaction processes within MOFs, as well as new guidelines for synthesizing MOFs with tailored physical and chemical properties.

36 MATERIALS SCIENCE↗
NASA NTRS1992

BETA: Behavioral testability analyzer and its application to high-level test generation and synthesis for testability

In this thesis, a behavioral-level testability analysis approach is presented. This approach is based on analyzing the circuit behavioral description (similar to a C program) to estimate its testability by identifying controllable and observable circuit nodes. This information can be used by a test generator to gain better access to internal circuit nodes and to reduce its search space. The results of the testability analyzer can also be used to select test points or partial scan flip-flops in the early design phase. Based on selection criteria, a novel Synthesis for Testability approach call Test Statement Insertion (TSI) is proposed, which modifies the circuit behavioral description directly. Test Statement Insertion can also be used to modify circuit structural description to improve its testability. As a result, Synthesis for Testability methodology can be combined with an existing behavioral synthesis tool to produce more testable circuits.

Chen, Chung-Hsing↗