Stabilization of 6H-Hexagonal SrMnO3 Polymorph by Al2O3 insertion

We demonstrate the structural evolution of polymorphic phases in Al₂O₃-inserted SrMnO₃ ceramics synthesized by solid state reaction. While the 4H-hexagonal phase is predominant in pure SrMnO₃ ceramics, a small amount of 6H-hexagonal polymorph is identified in addition to the primary 4H-hexagonal SrMnO₃ and the secondary hexagonal SrAl₂O₄ phases in the as-sintered ceramics, evidenced by x-ray diffraction and subsequent Rietveld refinement analyses. The existence of the 6H-hexagonal SrMnO₃ phase is corroborated using Raman spectroscopy. The chemical compositions and electronic structures of the Al₂O₃-inserted SrMnO₃ compounds are also examined using energy dispersive spectroscopy and x-ray photoelectron spectroscopy, respectively. The first-principles calculations reveal that there is no clear difference between the total energies of 4H- and 6H-hexagonal polymorphs regardless of the presence/absence of Sr and oxygen vacancies. Possible origins are discussed with the estimation of actual strain based on the refined lattice parameter of 6H SrMnO₃.     

A 1 GHz CMOS analog front-end for a generalized PRML read channel

A 1 GHz CMOS analog front-end for general partial response maximum likelihood (GPRML) read channel in hard disk drive application has been implemented in 0.35 /spl mu/m CMOS. A continuous time analog filter fulfills the relaxed equalization for GPRML detection and can save up to 35% power consumption for the whole read channel. An analog DFE-based timing recovery loop is implemented to avoid the extremely long latency in the digital signal processing path (Viterbi decoder). The measured performances is 1.1 dB off simulations at 800 MHz and 1.6 dB off at 1GHz. The chip draws 240 mW from a 3.3 V supply at 800MHz clock and 380 mW from a 3.6 V supply at 1 GHz clock.     

The amylose and lipid contents,dimensions, and gelatinisation characteristics of some wheat starches and their A- and B-granule fractions

Starches isolated from 23 bread wheats (Triticum aestivum) and 26 durum wheats (T. durum) contained 26.3-30.6% (mean 29.1%) total amylose, 19.3–25.1% (mean 22.9%) apparent amylose and 783–1144mg 100g^?1 (mean 977 mg 100g^?1) lysophos-pholipids. Gelatinisation temperatures were 57.3–64.9°C (mean 61.8°C) and enthalpies 6.4–11.8 Jg^?1 (mean 9.7Jg^?1) in excess water, measured by differential scanning calorimetry. There were no correlations between any of these parameters. Starch granule size distributions were determined with a Coulter Counter and 100–channel analyser. A-granule mean volumes were 1235–2585μm³ (av. 1778), modal volumes 863–1804μm³ (av. 1264), mean diameters 13.9–16.0μm (av. 13.99), and specific surface areas 0.236–0.302m²g^?1. B-granule mean volumes were 35.4–100.4μm³ (av. 55.9), modal volumes 16.5–54.5μm³ (av. 27.7), mean diameters 3.66–5.07μm (av. 4.09), and specific surface areas 0.684–0.920m²g^?1. The B-granule contents of the starches were 12.8–34.6% (av. 27.3) by weight (sedimentation method) and 13.0–37.3% (av. 24.0) by volume (Coulter method), the latter being the more accurate method.     

Soil–conduit interaction: an artificial intelligence application for reinforced concrete and corrugated steel conduits

Neural Computing and Applications - Marston’s load theory is commonly used for understanding the soil–conduit interaction. However, there are no practical methods available which can...     

3D Simulation Research on Urea-SCR DeNO<em>x Catalyst for Diesel Engine

In order to reduce oxides of nitrogen (NOx) emanated from a diesel eng ine, a comprehensive urea selective catalyst reduction (SCR) DeNOx catalys t was modeled in which numerical simulations were used as a complementary tool f or the experimental investigations to make the design decisions, and hence short en the development process. In this approach, relevant conversion reactions were studied in 1D model, and the parameters obtained in this way were transferred t o 3D simulations. According to the results ...     

Data Compression for Proof Replay

We describe a compressing translation from SAT solver generated propositional resolution refutation proofs to classical natural deduction proofs. The resulting proof can usually be checked quicker than one that simply simulates the original resolution proof. We use this result in interactive theorem provers, to speed up reconstruction of SAT solver generated proofs. The translation is fast and scales up to large proofs with millions of inferences.     

直觉线性μ-演算

线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL).确立了IμTL和ILTL的关系,比较了它们之间的表达能力.讨论了使用IμTL与安全性质和活性描述的关系以及描述"假设-保证"规范的问题.