Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “COMPOUND ENGINES”

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 613 records · Page 34

Physical, Chemical, and Mineralogical Characterizations of MSWI Ash Product and Recommendations for Downstream Processing

The primary objectives of this project are to (1) systematically characterize MSWI ash, and (2) based on characterization findings, design preliminary flowsheets for downstream processing. To achieve these objectives, a total of ten tasks were completed, including sample collection, physical separation tests, liberation tests, synthetic MSWI ash preparation, elemental composition analysis, sequential chemical extraction, mineralogical characterization, pozzolanic activity characterization, thermal stability characterization, processing flowsheet design, TEA and T2M, and project performance reporting. Many useful findings and conclusions were obtained from the exhaustive efforts of this project from several different aspects, including: a) Valuable Metals in MSWI Ash: MSWI ash contains a diverse array of valuable metals. Based on potential recoverable values, the most valuable metals present in MSWI ash include Fe, Ti, Mn, Cu, Zn, V, Co, Ni, Sr, Sn, Ag, Mo, and Sc. Some of these metals have been identified as critical minerals by DOE and DOI, suggesting that MSWI is a promising feedstock for critical mineral recovery. Noticeable graphical and seasonable variations in the valuable metal content of MSWI ash were observed. Nevertheless, it was challenging to discern any clear, definitive patterns for conclusions from those observations. Compared with bottom ash, fly ash contains more volatile metals, such as Zn and Sn, but less nonvolatile metals, such as Fe, Mn, Cu, Zn, Co, and Ni. Mineralogical analyses showed that MSWI ash contains a substantial amount of calcium minerals, such as portlandite, lime, gypsum, and calcite. In addition, it was found that different types of valuable metals often exist in the same particles. b) Physical Separation of MSWI Ash: Both dry sieving and wet sieving were performed on MSWI ash. A notable disparity in the size distribution of the same material was observed when using the two different sieving methods. The disparity is due to the agglomeration of small particles. For the valuable metals investigated, no significant enrichment in a specific size fraction was observed, suggesting that it is challenging to preconcentrate the valuable metals through size fractionation. Due to the presence of ferromagnetic materials, such as Fe, most of the materials reported to the magnetic products obtained by dry magnetic separation. However, the enrichment effect is minimal due to the existence of particle agglomerates. Density separation at a cut-off density of 2.7 SG or higher led to noticeable enrichment of selected valuable metals, particularly Ti. The unburned carbon present in MSWI ash was effectively removed by flotation using diesel as the collector. A novel reagent scheme, Na2S plus cationic collectors, that can efficiently beneficiate nonferrous metals plus Co was developed. c) Liberation Tests: The particle size of MSWI ash was effectively reduced by grinding, and as a result, the encapsulated valuable metal particles (if any) were liberated to a certain degree. However, particle size reductions did not noticeably enhance the beneficiation performance using the physical separation methods, primarily due to the inefficiency of these methods in processing fine particles and/or a possibility that insufficient liberation is not a limiting factor for achieving satisfactory physical separation performance. Valuable metals were classified into water leachable, ion-exchangeable, acid soluble, reducible, oxidable, and insoluble forms. It was found that the distributions in the different categories, i.e., the occurrence modes of the valuable metals, were not affected by the particle size. d) Leaching Characteristics of Metals from MSWI Ash: Most of the valuable metals were extracted from the fly ash samples when using 1 M HCl or HNO3 as the lixiviant. The leaching reaction is a very fast process, which can reach equilibrium within the first 5 min. The releasing of Co, Ni and Ag are sensitive to leaching temperature, a higher recovery value could be obtained when using relatively higher leaching temperatures. The leachability of the valuable metals present in MSWI bottom ash is relatively lower than that of fly ash. Leaching recoveries increased with elevations in the acid concentration. Relatively high leaching recoveries were obtained for REEs, Mn, Co, Ni, Cu, and Zn using 1 M HCl or HNO3 as the lixiviant. Elevations in the reaction temperature noticeably increased the leachability of the valuable metals, whereas the leachability was barely influenced by oxidizing and reducing agents. Similar to fly ash, leaching valuable metals from bottom ash is a rapid process, with most of the leaching reaction completed within the first 5 minutes. e) Combusted iPhones: The original structure of iPhones was remained after treating at 400 ºC and 600 ºC, while after being treated at 800℃, the screen bent, and the back cover of iPhone melted. Increasing the combustion temperature to 1000℃, the screen scattered, and most of the components turned into ashes. Combustion enhanced the leachability of REEs, while the leachability of the other valuable metals, except for Zn, was barely affected. Most of the REEs present in the original iPhones occurred as oxidizable forms. With elevations in the combustion temperature up to 600 ºC, the oxidizable REEs were transformed to acid soluble forms. However, further elevations in temperature resulted in decreases in the acid soluble fraction and corresponding increases in the reducible and oxidizable forms. Additionally, combustion temperature also significantly altered the occurrence modes of other metals present in the iPhones. f) Synthetic MSWI Ash: It was found that in the absence of hydrogen peroxide, all the elements except for Si were leached to certain degrees. It is noteworthy that approximately 80% of Zn was leached with 1.2 M HCl. When hydrogen peroxide was added to the reaction system, noticeable increases in the leaching recovery of Fe, Mn, Co, Ni, and Cu were observed. The leaching recovery of Al and Si was barely affected by adding hydrogen peroxide. These results suggested that the majority of Zn in the synthetic MSWI ash existed as metal oxide, a portion of Fe, Mn, Co, Ni, and Cu existed as metal oxide, and Al and Si are associated with glasses which are difficult to leach. Additionally, the remaining Fe, Mn, Co, Ni, and Cu in the metallic form were efficiently oxidized in the presence of hydrogen peroxide. g) Pozzolanic Activity and Thermal Stability of MSWI Ash: MSWI fly ash has higher pozzolanic activity compared to the bottom ash sample, which indicates that the fly ash sample consumed more portlandite because of its smaller particle size as reactivity fundamentally relates to reaction surface area. However, after the recovery of valuable elements, the pozzolanic activity of both the valuable elements fraction and the less valuable elements-rich products decreased significantly, which means that the valuable elements recovery lowers the Ca(OH)2 consumption, thus leading to the low activity of SCM. h) Flowsheet Design for Metal Recovery from MSWI Ash: Based on the results of the comprehensive physical separation and acid leaching tests, circuits that enable the beneficiation of the valuable metals were developed. In these circuits, the valuable metals are recovered into nonferrous, ferrous, and other valuable metal concentrates, which are processed separately in the acid leaching step. The subsequent separation and purification steps are simplified due to the physical beneficiation step. In addition, the overall recovery cost is reduced since physical beneficiation is much cheaper compared with chemical processing. Using different technologies, such as selective precipitation and solvent extraction, a comprehensive hydrometallurgical circuit was designed, and compounds of Cu, Zn, Mn, Co, and Ni with a purity close to or even higher than 95% were successfully generated.

36 MATERIALS SCIENCE↗

Defined synthetic microbial communities colonize and benefit field-grown sorghum

The rhizosphere constitutes a dynamic interface between plant hosts and their associated microbial communities. Despite the acknowledged potential for enhancing plant fitness by manipulating the rhizosphere, the engineering of the rhizosphere microbiome through inoculation has posed significant challenges. These challenges are thought to arise from the competitive microbial ecosystem where introduced microbes must survive, and the absence of adaptation to the specific metabolic and environmental demands of the rhizosphere. Here, in this study, we engineered a synthetic rhizosphere community (SRC1) with the anticipation that it would exhibit a selective advantage in colonizing the host Sorghum bicolor, thereby potentially fostering its growth. SRC1 was assembled from bacterial isolates identified either for their potential role in community cohesion through network analysis or for their ability to benefit from host-specific exudate compounds. The growth performance of SRC1 was assessed in vitro on solid media, in planta under gnotobiotic laboratory conditions, and in the field. Our findings reveal that SRC1 cohesion is most robust when cultivated in the presence of the plant host under laboratory conditions, with lineages being lost from the community when grown either in vitro or in a native field setting. We establish that SRC1 effectively promotes the growth of both above- and below-ground plant phenotypes in both laboratory and native field contexts. Furthermore, in laboratory conditions, these growth enhancements correlate with the transcriptional dampening of lignin biosynthesis in the host. Collectively, these results underscore the potential utility of synthetic microbial communities for modulating crop performance in controlled and native environments alike.

60 APPLIED LIFE SCIENCES↗

Mining the air - Resources of other worlds may reduce mission costs

It is proposed that the mining of resources on another planet to support operations there and also to provide a means for the return trip to earth provides a less expensive way to send humans beyond low earth orbit to live on the moon and to explore Mars. Since a large fraction of any chemical propellant combination is the oxidizer that burns with the fuel to generate the rocket jet, and for life support, the generation of oxygen from any of its atmospheric or mineral compounds is a valuable capability. Such materials include the lunar minerals ilmenite and anorthite, Martian permafrost, water ice at the Martian poles, and atmospheric carbon dioxide on Mars. The possibilities of developing such technologies are discussed and the prospects of developing building materials for such facilities from local resources are considered. The role of the Space Engineering Research Center at the University of Arizona in exploring the use of local planetary resources is noted.

Ramohalli, Kumar↗

Opening the Bandgap of Metallic Half-Heuslers via the Introduction of d–d Orbital Interactions

Half-Heusler compounds with semiconducting behavior have been developed as high-performance thermoelectric materials for power generation. Many half-Heusler compounds also exhibit metallic behavior without a bandgap and thus inferior thermoelectric performance. Here, taking metallic half-Heusler MgNiSb as an example, a bandgap opening strategy is proposed by introducing the d–d orbital interactions, which enables the opening of the bandgap and the improvement of the thermoelectric performance. The width of the bandgap can be engineered by tuning the strength of the d–d orbital interactions. The conduction type and the carrier density can also be modulated in the Mg 1- x Ti x NiSb system. Both improved n-type and p-type thermoelectric properties are realized, which are much higher than that of the metallic MgNiSb. The proposed bandgap opening strategy can be employed to design and develop new half-Heusler semiconductors for functional and energy applications.

36 MATERIALS SCIENCE↗

Verification of Subcritical Limits in ANSI/ANS-8.1-2014

The first edition of the current American National Standards Institute (ANSI)/American Nuclear Society (ANS) standard ANSI/ANS-8.1-2014, “Nuclear Criticality Safety in Operations with Fissionable Materials Outside Reactors,” was published in 1964 as ASA N6.1-1964, “Safety Standard for Operations with Fissionable Materials Outside Reactors.” In 1969, that standard was revised as ANSI N16.1-1969, “Nuclear Criticality Safety in Operations with Fissionable Materials Outside Reactors.” ANSI N16.1-1969 includes a variety of subcritical limits (SCLs) for uniform aqueous solutions and metals containing fissile nuclides of 233 U, 235 U, and 239 Pu. Furthermore, SCLs are also included for uranium-water lattices. In the 1983 version of ANSI/ANS-8.1 (a revision of ANSI N16.1-1975), the suite of SCLs in the standard was expanded to include 235 U enrichment limits for homogeneous uranium-water mixtures and dry/damp oxides, uniform aqueous solutions of low-enriched uranium, and uniform aqueous mixtures of Pu(NO 3 ) 4 containing 240Pu in addition to the SCLs included in ANSI N16.1-1969. The SCLs have changed little in subsequent revisions (ANSI/ANS-8.1-1998 and ANSI/ANS-8.1-2014). The ANSI/ANS-8.1-2014 standard is currently being revised to include new SCLs (uranium metal and compounds with enrichments up to 20 wt% 235 U) and possible updates to the current SCLs already in the standard, although these new/updated SCLs will not be available to the nuclear criticality safety (NCS) community for a number of years. The original bases for these SCLs were documented in papers in journals such as Nuclear Science and Engineering and in ANS meeting transactions; however, these bases are ambiguous enough that sites and regulators in the United States have not widely endorsed them for safety purposes. Overall, the purpose of this paper is to present the results of a comparison study for the SCLs in the ANSI/ANS-8.1-2014 standard using modern codes (SCALE and MCNP) and cross sections (ENDF/B-VIII.0) to provide some assurance about their quality (bias and bias uncertainty) for use in NCS applications and for consideration by the ANS-8.1 Working Group as a reference for future revisions.

42 ENGINEERING↗

Manipulation of glycogen and sucrose synthesis increases photosynthetic productivity in cyanobacteria

Photosynthetic productivity is limited by low energy conversion efficiency in naturally evolved photosynthetic organisms, via multiple mechanisms that are not fully understood. Here we show evidence that extends recent findings that cyanobacteria use “futile” cycles in the synthesis and degradation of carbon compounds to dissipate ATP. Reduction of the glycogen cycle or the sucrose cycle in the model cyanobacterium Synechocystis 6803 led to redirection of cellular energy toward faster growth under simulated outdoor light conditions in photobioreactors that was accompanied by higher energy charge [concentration ratio of ATP/(ATP + ADP)]. Such manipulation of energy metabolism may have potential in engineering microalgal chassis cells to increase productivity of biomass or target metabolites.

09 BIOMASS FUELS↗

Crystal Growth of Mixed Optical Materials With the Automatic Czochralski Puller

Most of optical and semiconductor single crystalline materials produced in the electronic industry is grown with the Czochralski technique. This is the only technique capable of producing large high quality single crystals in a reasonable amount of time. The technique originated, and took its name, from pioneering work by Polish engineer J. Czochralski in 1917, who pulled single crystal wires (fibers) of low melting point metals from the melt in order to determine the maximum speeds at which they could be crystallized. The technique has been modified and its application has been extended first to the growth of silicon and later to a very wide range of compound semiconductors, metals, oxides and halides. It is now the dominant technique for the wide range of materials in the electronic industries. Czochralski growth is initiated by dipping a seed crystal of a chosen crystallographic orientation onto the surface of a melt contained in the heated crucible. The seed is then slowly withdrawn, solidifying the adherent column of the melt in steady state at an average rate given by the sum of the pulling rate and the rate of lowering the solid-liquid interface due to the depletion of the melt in the crucible. The control of the desired crystal diameter is achieved by closely controlling the heat balance at the solid-liquid interface.

Loutts, George B.↗

Catabolism of β-5 linked aromatics by Novosphingobium aromaticivorans

ABSTRACT Aromatic compounds are an important source of commodity chemicals traditionally produced from fossil fuels. Aromatics derived from plant lignin can potentially be converted into commodity chemicals through depolymerization followed by microbial funneling of monomers and low molecular weight oligomers. This study investigates the catabolism of the β-5 linked aromatic dimer dehydrodiconiferyl alcohol (DC-A) by the bacterium Novosphingobium aromaticivorans . We used genome-wide screens to identify candidate genes involved in DC-A catabolism. Subsequent in vivo and in vitro analyses of these candidate genes elucidated a catabolic pathway composed of four required gene products and several partially redundant dehydrogenases that convert DC-A to aromatic monomers that can be funneled into the central aromatic metabolic pathway of N. aromaticivorans . Specifically, a newly identified γ-formaldehyde lyase, PcfL, opens the phenylcoumaran ring to form a stilbene and formaldehyde. A lignostilbene dioxygenase, LsdD, then cleaves the stilbene to generate the aromatic monomers vanillin and 5-formylferulate (5-FF). We also showed that the aldehyde dehydrogenase FerD oxidizes 5-FF before it is decarboxylated by LigW, yielding ferulic acid. We found that some enzymes involved in the β-5 catabolism pathway can act on multiple substrates and that some steps in the pathway can be mediated by multiple enzymes, providing new insights into the robust flexibility of aromatic catabolism in N. aromaticivorans . A comparative genomic analysis predicted that the newly discovered β-5 aromatic catabolic pathway is common within the order Sphingomonadales. IMPORTANCE In the transition to a circular bioeconomy, the plant polymer lignin holds promise as a renewable source of industrially important aromatic chemicals. However, since lignin contains aromatic subunits joined by various chemical linkages, producing single chemical products from this polymer can be challenging. One strategy to overcome this challenge is using microbes to funnel a mixture of lignin-derived aromatics into target chemical products. This approach requires strategies to cleave the major inter-unit linkages of lignin to release monomers for funneling into valuable products. In this study, we report newly discovered aspects of a pathway by which the Novosphingobium aromaticivorans DSM12444 catabolizes aromatics joined by the second most common inter-unit linkage in lignin, the β-5 linkage. This work advances our knowledge of aromatic catabolic pathways, laying the groundwork for future metabolic engineering of this and other microbes for optimized conversion of lignin into products.

59 BASIC BIOLOGICAL SCIENCES↗

Auto-deconvolution and molecular networking of gas chromatography–mass spectrometry data

We engineered a machine learning approach, MSHub, to enable auto-deconvolution of gas chromatography–mass spectrometry (GC–MS) data. We then designed workflows to enable the community to store, process, share, annotate, compare and perform molecular networking of GC–MS data within the Global Natural Product Social (GNPS) Molecular Networking analysis platform. MSHub/GNPS performs auto-deconvolution of compound fragmentation patterns via unsupervised non-negative matrix factorization and quantifies the reproducibility of fragmentation patterns across samples.

47 OTHER INSTRUMENTATION↗

Local chemical fluctuation mediated ultra-sluggish martensitic transformation in high-entropy intermetallics

Superelasticity associated with martensitic transformation has found a broad range of engineering applications, such as in low-temperature devices in the aerospace industry. Nevertheless, the narrow working temperature range and strong temperature sensitivity of the first-order phase transformation significantly hinder the usage of smart metallic components in many critical areas. Here, we scrutinized the phase transformation behavior and mechanical properties of multicomponent B2-structured intermetallic compounds. Strikingly, the (TiZrHfCuNi) 83.3 Co 16.7 high-entropy intermetallics (HEIs) show superelasticity with high critical stress over 500 MPa, high fracture strength of over 2700 MPa, and small temperature sensitivity in a wide range of temperatures over 220 K. The complex sublattice occupation in these HEIs facilitates formation of nano-scaled local chemical fluctuation and then elastic confinement, which leads to an ultra-sluggish martensitic transformation. The thermal activation of the martensitic transformation was fully suppressed while the stress activation is severely retarded with an enhanced threshold stress over a wide temperature range. Moreover, the high configurational entropy also results in a small entropy change during phase transformation, consequently giving rise to the low temperature sensitivity of the superelasticity stress. Furthermore, our findings may provide a new paradigm for the development of advanced superelastic alloys, and shed new insights into understanding of martensitic transformation in general.

36 MATERIALS SCIENCE↗

Novel in-capsule synthesis of metal–organic framework for innovative carbon dioxide capture system

Metal-Organic Frameworks (MOFs) have been developed as solid sorbents for CO2 capture applications and their properties can be controlled by tuning the chemical blocks of their crystalline units. A number of MOFs (e.g., HKUST-1) have been developed but the question remains how to deploy them for gas–solid contact. Unfortunately, the direct use of MOFs as nanocrystals would lead to serious problems and risks. Here, for the first time, we report a novel MOF-based hybrid sorbent that is produced via an innovative in-situ microencapsulated synthesis. Using a custom-made double capillary microfluidic assembly, double emulsions of the MOF precursor solutions and UV-curable silicone shell fluid are produced. Subsequently, HKUST-1 MOF is successfully synthesized within the droplets enclosed in the gas permeable microcapsules. The developed MOF-bearing microcapsules uniquely allow the deployment of functional nanocrystals without the challenge of handling ultrafine particles, and further, can selectively reject undesired compounds to protect encapsulated MOFs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Inorganic Halide Double Perovskites with Optoelectronic Properties Modulated by Sublattice Mixing

All-inorganic halide double perovskites have emerged as a promising class of materials that are potentially more stable and less toxic than lead-containing hybrid organic-inorganic perovskite optoelectronic materials. In this work, 311 cesium chloride double perovskites (Cs 2 BB'Cl 6 ) were selected from a set of 903 compounds as likely being stable on the basis of a statistically learned tolerance factor (t) for perovskite stability. First-principles calculations on these 311 double perovskites were then performed to assess their stability and identify candidates with band gaps appropriate for optoelectronic applications. We predict that 261 of the 311 Cs 2 BB'Cl 6 compounds are likely synthesizable on the basis of a thermodynamic analysis of their decomposition to competing compounds (decomposition enthalpy <0.05 eV/atom). Of these 261 likely synthesizable compounds, 47 contain no toxic elements and have direct or nearly direct (within 100 meV) band gaps between 1 and 3 eV, as computed with hybrid density functional theory (HSE06). Within this set, we identify the triple-alkali perovskites Cs 2 [Alk] + [TM] 3+ Cl 6 , where Alk is a group 1 alkali cation and TM is a transition-metal cation, as a class of Cs 2 BB'Cl 6 double perovskites with remarkable optical properties, including large and tunable exciton binding energies as computed by the GW-Bethe-Salpeter equation (GW-BSE) method. We attribute the unusual electronic structure of these compounds to the mixing of the Alk-Cl and TM-Cl sublattices, leading to materials with small band gaps, large exciton binding energies, and absorption spectra that are strongly influenced by the identity of the transition metal. The role of the double-perovskite structure in enabling these unique properties is probed through an analysis of the electronic structures and chemical bonding of these compounds in comparison with other transition-metal and alkali transition-metal halides.

14 SOLAR ENERGY↗

DeepMC: a deep learning method for efficient Monte Carlo beamlet dose calculation by predictive denoising in magnetic resonance-guided radiotherapy

Abstract Emerging magnetic resonance (MR) guided radiotherapy affords significantly improved anatomy visualization and, subsequently, more effective personalized treatment. The new therapy paradigm imposes significant demands on radiation dose calculation quality and speed, creating an unmet need for the acceleration of Monte Carlo (MC) dose calculation. Existing deep learning approaches to denoise the final plan MC dose fail to achieve the accuracy and speed requirements of large-scale beamlet dose calculation in the presence of a strong magnetic field for online adaptive radiotherapy planning. Our deep learning dose calculation method, DeepMC, addresses these needs by predicting low-noise dose from extremely noisy (but fast) MC-simulated dose and anatomical inputs, thus enabling significant acceleration. DeepMC simultaneously reduces MC sampling noise and predicts corrupted dose buildup at tissue-air material interfaces resulting from MR-field induced electron return effects. Here we demonstrate our model’s ability to accelerate dose calculation for daily treatment planning by a factor of 38 over traditional low-noise MC simulation with clinically meaningful accuracy in deliverable dose and treatment delivery parameters. As a post-processing approach, DeepMC provides compounded acceleration of large-scale dose calculation when used alongside established MC acceleration techniques in variance reduction and graphics processing unit-based MC simulation.

Engineering↗

Electro-activated indigos intensify ampere-level CO 2 reduction to CO on silver catalysts

The electrochemical reduction of carbon dioxide (CO 2 ) to carbon monoxide (CO) is challenged by a selectivity decline at high current densities. Here we report a class of indigo-based molecular promoters with redox-active CO 2 binding sites to enhance the high-rate conversion of CO 2 to CO on silver (Ag) catalysts. Theoretical calculations and in situ spectroscopy analyses demonstrate that the synergistic effect at the interface of indigo-derived compounds and Ag nanoparticles could activate CO 2 molecules and accelerate the formation of key intermediates (*CO 2 – and *COOH) in the CO pathway. Indigo derivatives with electron-withdrawing groups further reduce the overpotential for CO production upon optimizing the interfacial CO 2 binding affinity. By integrating the molecular design of redox-active centres with the defect engineering of Ag structures, we achieve a Faradaic efficiency for CO exceeding 90% across a current density range of 0.10 − 1.20 A cm –2 . The Ag mass activity toward CO increases to 174 A mg –1 Ag . This work showcases that employing redox-active CO 2 sorbents as surface modification agents is a highly effective strategy to intensify the reactivity of electrochemical CO 2 reduction.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Structural characterization of a new samarium–sodium heterometallic coordination polymer

Lanthanide-containing materials are of interest in the field of crystal engineering because of their unique properties and distinct structure types. In this context, a new samarium–sodium heterometallic coordination polymer, poly[tetrakis(μ 2 -2-formyl-6-methoxyphenolato)samarium(III)sodium(I)], {[SmNa(C 8 H 7 O 3 ) 4 ]·solvent} n ( Sm-1 ), was synthesized and crystallized via slow evaporation from a mixture of ethanol and acetonitrile. The compound features alternating Sm III and Na I ions, which are linked by ortho -vanillin ( o -vanillin) ligands to form a mono-periodic chain-like coordination polymer. The chains propagate along the [001] direction. Residual electron density of disordered solvent molecules in the void space could not be reasonably modeled, thus the SQUEEZE function was applied. The structural, vibrational, and optical properties are reported.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

HDL to verification logic translator

The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

Gambles, J. W.↗

Pnictogen-Bonding Catalysis: Copolymerization of CO 2 and Epoxides on Antimony(V) Platforms

The copolymerization of CO 2 and epoxides to access polycarbonates represents a promising strategy for CO 2 utilization and for the production of useful polymers. Aiming to explore alternative transition-metal-free approaches that support this chemistry, we have investigated a series of triaryl-catecholatostiboranes as pnictogen-bonding platforms for the copolymerization of CO 2 and cyclohexene oxide (CHO). Our survey of these antimony species has identified motifs that promote this polymerization reaction efficiently, provided that bis(triphenylphosphine)iminium chloride is administered as an activator. By coupling these polymerization studies with a careful assessment of the structure, electronic attributes and Lewis acidity of the catecholatostiboranes, this work shows that high activity is generally observed with the weakest pnictogen-bond donors or Lewis acids investigated. Mechanistic studies, which indicate that the polymerization reaction is first order in stiborane, reveal a nonlinear dependence on the CO 2 pressure. This nonlinear dependence could be satisfactorily modeled based on a pre-equilibrium process involving the reversible insertion of the gaseous monomer into the growing chain. Altogether these findings greatly expand the reach of pnictogen bond catalysis while also providing an entry for the use of heavy group 15 elements as competent platforms for CO 2 utilization.

antimony↗