Superconductivity in Iron Telluride Thin Films under Tensile Stress

By realizing in thin films a tensile stress state, superconductivity of 13 K was introduced into FeTe, a nonsuperconducting parent compound of the iron pnictides and chalcogenides, with a transition temperature higher than that of its superconducting isostructural counterpart FeSe. For these tensile stressed films, superconductivity is accompanied by a softening of the first-order magnetic and structural phase transition, and also, the in-plane extension and out-of-plane contraction are universal in all FeTe films independent of the sign of the lattice mismatch, either positive or negative. Moreover, the correlations were found to exist between the transition temperatures and the tetrahedra bond angles in these thin films.

由一阶逻辑公式得到命题逻辑可满足性问题实例

命题逻辑可满足性(SAT)问题是计算机科学中的一个重要问题.近年来许多学者在这方面进行了大量的研究,提出了不少有效的算法.但是,很多实际问题如果用一组一阶逻辑公式来描述,往往更为自然.当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为 SAT 问题.为了利用现有的高效 SAT工具,提出了一种从一阶逻辑公式生成 SAT 问题实例的算法,并描述了一个自动的转换工具,给出了相应的实验结果.还讨论了通过增加公式来消除同构从而减小搜索空间的一些方法.实验表明,这一算法是有效的,可以用来解决数学研究和实际应用中的许多问题.

reducing symmetries to generate easier sat instances

Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.

基于一阶迁移系统的限界模型检测工具实现

基于布尔可满足性(SAT)的限界模型检测是一种高效的模型检测方法，它具有快速查错，反例最小化等特点，已经成为学术界和工业界关注的热点。近些年出现了很多集成限界模型检测算法的验证工具，如ITC-IRST、卡内基梅隆大学(CMU)等多家科研机构联合开发的NuSMV工具；加利福尼亚大学伯克莱分校(UC Berkeley)、科罗拉多大学博尔德分校(CU Boulder)联合开发的VIS工具等。因此目前对于限界模型检测方法的研究和相关工具的设计与开发具有重要而广泛的意义。在进行限界模型检测的建模过程中，不同的工具采用了自定义的建模语言。如经典工具SPIN采用的建模语言是Promela语言，NuSMV采用的是自定义的NuSMV语言。随着系统验证规模的不断增大，建模语言的特点将会直接影响到建模的效率。例如采用NuSMV语言去建立一个网络通信协议模型会显得比较复杂和耗时，应用NuSMV语言去描述一个简单的数据链路层网络协议ABP协议(Alternating Bit Protocol)就不如采用Promela语言去描述显得直观和自然。 为了简化在限界模型检测过程中模型的建立过程，本文给出了一种采用基于一阶迁移系统语言描述的模型建立方法，并在一阶迁移系统语言中实现了通道的功能，从而增强了描述能力。在此基础上完成了一个以基于插值和k步归纳限界验证算法为核心的模型检测工具(BMCF)。最后利用该工具对常见的互斥协议，简单数据传输协议的性质进行了分析与验证。结果表明，利用该工具对系统进行建模具有方便直观的特点，并借助实现的验证算法能高效的检验安全性质的正确性，如果性质不成立工具会给出反例提示。

语义网的一阶逻辑推理技术支持

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.

一阶逻辑中约束求解的局部搜索法

以一阶谓词逻辑为基础，讨论约束满足问题．着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较．以皇后问题和哈密顿回路问题为例，说明基于一阶逻辑的方法能处理较大的问题实例．

Kinetic study of hydrolysis of xylan and agricultural wastes with hot liquid water

We investigated the kinetics of hot liquid water (HLW) hydrolysis over a 60-min period using a self-designed setup. The reaction was performed within the range 160-220 °C, under reaction conditions of 4.0 MPa, a 1:20 solid:liquid ratio (g/mL), at 500 rpm stirring speed. Xylan was chosen as a model compound for hemicelluloses, and two kinds of agricultural wastes-rice straw and palm shell-were used as typical feedstocks representative of herbaceous and woody biomasses, respectively. The hydrolysis reactions for the three kinds of materials followed a first-order sequential kinetic model, and the hydrolysis activation energies were 65.58 kJ/mol for xylan, 68.76 kJ/mol for rice straw, and 95.19 kJ/mol for palm shell. The activation energies of sugar degradation were 147.21 kJ/mol for xylan, 47.08 kJ/mol for rice straw and 79.74 kJ/mol for palm shell. These differences may be due to differences in the composition and construction of the three kinds of materials. In order to reduce the decomposition of sugars, the hydrolysis time of biomasses such as rice straw and palm shell should be strictly controlled.

On the acid-base stability of Keggin Al-13 and Al-30 polymers in polyaluminum coagulants

The acid-base stabilities of Al-13 and Al-30 in polyaluminum coagulants during aging and after dosing into water were studied systematically using batch and flow-through acid-base titration experiments. The acid decomposition rates of both Al-13 and Al-30 increase rapidly with the decrease in solution pH. The acid decompositions of Al-13 and Al-30 with respect to H+ concentration are composed of two parallel first-order and second-order reactions, and the reaction orders are 1.169 and 1.005, respectively. The acid decomposition rates of Al-13 and Al-30 increase slightly when the temperature increases from 20 to ca. 35 A degrees C, but decrease when the temperature increases further. Al-30 is more stable than Al-13 in acidic solution, and the stability difference increases as the pH decreases. Al-30 is more possible to become the dominant species in polyaluminum coagulants than Al-13. The acid catalyzed decomposition and followed by recrystallization to form bayerite is one of the main processes that are responsible for the decrease of Al-13 and Al-30 in polyaluminum coagulants during storage. The deprotonation and polymerization of Al-13 and Al-30 depend on solution pH. The hydrolysis products are positively charged, and consist mainly of repeated Al-13 and Al-30 units rather than amorphous Al(OH)(3) precipitates. Al-30 is less stable than Al-13 upon alkaline hydrolysis. Al-13 is stable at pH < 5.9, while Al-30 lose one proton at the pH 4.6-5.75. Al-13 and Al-30 lose respective 5 and 10 protons and form [Al-13] (n) and [Al-30] (n) clusters within the pH region of 5.9-6.25 and 5.75-6.65, respectively. This indicates that Al-30 is easier to aggregate than Al-13 at the acidic side, but [Al-13] (n) is much easier to convert to Alsol-gel than [Al-30] (n) . Al-30 possesses better characteristics than Al-13 when used as coagulant because the hydrolysis products of Al-30 possess higher charges than that of Al-13, and [Al-30] (n) clusters exist within a wider pH range.

Bio-syngas production from biomass catalytic gasification

A promising application for biomass is liquid fuel synthesis, such as methanol or dimethyl ether (DME). Previous studies have studied syngas production from biomass-derived char, oil and gas. This study intends to explore the technology of syngas production from direct biomass gasification, which may be more economically viable. The ratio of H-2/CO is an important factor that affects the performance of this process. In this study, the characteristics of biomass gasification gas, such as H-2/CO and tar yield, as well as its potential for liquid fuel synthesis is explored. A fluidized bed gasifier and a downstream fixed bed are employed as the reactors. Two kinds of catalysts: dolomite and nickel based catalyst are applied, and they are used in the fluidized bed and fixed bed, respectively. The gasifying agent used is an air-steam mixture. The main variables studied are temperature and weight hourly space velocity in the fixed bed reactor. Over the ranges of operating conditions examined, the maximum H-2 content reaches 52.47 vol%, while the ratio of H-2/CO varies between 1.87 and 4.45. The results indicate that an appropriate temperature (750 degrees C for the current study) and more catalyst are favorable for getting a higher H-2/CO ratio. Using a simple first order kinetic model for the overall tar removal reaction, the apparent activation energies and pre-exponential factors are obtained for nickel based catalysts. The results indicate that biomass gasification gas has great potential for liquid fuel synthesis after further processing.

Bleaching kinetics of indoly-benzylfulgimide in PMMA

Indoly-benzlfulgimide belongs to the photochromic fulgide family and follows photochemical first order kinetics. Its bleaching kinetics is investigated at 633 nm and 640 nm by spectroscopy, by the time dependence of transmission and of diffraction from holographically induced gratings. The non-exponential decay law resulting for diffraction experiments with a Gaussian beam profile is calculated and verified experimentally. For a quasi-homogeneous beam profile the time constant determined from diffraction decay is half the one for absorbance decay. The photochemical reaction rate of indoly-benzylfulgimide in PMMA is (3.9 +/- 0.3) cm(2)/J at 650 nm. (c) 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Photoluminescence of GaInP under high pressure

Photoluminescence of GaInP under hydrostatic pressure is investigated. The Gamma valley of disordered GaInP shifts sublinearly upwards with respect to the top of the valence band with increasing pressure and this sublinearity is caused by the nonlinear relationship between lattice constant and hydrostatic pressure. The Gamma valleys of ordered GaInP rise more slowly than that of the disordered one and the relationship between the band gap and the pressure can not be explained in the same way. Taking into account the interactions between the Gamma valley and the folded L valleys, as well as, the X valleys, the experimental pressure dependences of the band gap of ordered GaInP epilayers are calculated and fitted quite well using first order perturbation theory. The results indicate that simultaneous ordering along [111] and [100] directions can occur in ordered GaInP. (C) 1996 American Institute of Physics.

Analysis of directional emission in square resonator lasers with an output waveguide

Square microcavity laser with an output waveguide is proposed and analyzed by the finite-difference time-domain (FDTD) technique. For a square resonator with refractive index of 3.2, side length of 4 microns, and output waveguide of 0.4-micron width, we have got the quality factors (Q factors) of 6.7×10~2 and 7.3×10~3 for the fundamental and first-order transverse magnetic (TM) mode near the wavelength of 1.5 microns, respectively. The simulated intensity distribution for the first-order TM mode shows that the coupling efficiency in the waveguide reaches 53%. The numerical simulation shows that the first-order transverse modes have fairly high Q factor and high coupling efficiency to the output waveguide. Therefore the square resonator with an output waveguide is a promising candidate to realize single-mode directional emission microcavity lasers.

Crystallographic and magnetic properties of hydride R3Fe29-xTxHy (R=Y, Ce, Nd, Sm, Gd, Tb and Dy; T=V and Cr)

The crystallographic and intrinsic magnetic properties of hydride R3Fe29-xTxHy (R=Y, Ce, Nd, Sm, Gd, Tb, and Dy; T=V and Cr) have been investigated. The lattice constants and the unit cell volume of R3Fe29-xTxHy decrease with increasing R atomic number from Nd to Dy, except for Ce, reflecting the lanthanide contraction. Regular anisotropic expansions, mainly along the a- and b-axis rather than along the c-axis, are observed for all the compounds upon hydrogenation. Hydrogenation leads to an increase in Curie temperature. First-order magnetization processes (FOMP) occur in magnetic fields of around 1.5 T and 4.0 T at 4.2 K for Nd3Fe24.5Cr4.5H5.0 and Tb(3)Fc(27.0)Cr(2.0)H(2.8), and around 1.4 T at room temperature for Gd3Fe28.0Cr1.0H4.2 Abnormal crystallographic and magnetic properties of Ce3Fe29-xTxHy suggest that the Ce ion is non-triply ionized.

Photocatalytic degradation of AZO dyes by supported TiO2+UVin aqueous solution

The photocatalytic degradation performance of photocatalysts TiO2 supported on 13-X, Na-Y, 4A zeolites with different loading content was evaluated using the photocatalytic oxidation of dyes direct fast scarlet 4BS and acid red 3B in aqueous medium. The results showed that the best reaction dosage of TiO2-zeolite catalysts is about 2 g/l and the photocatalytic kinetics follows first order for all supported catalysts. The photocatalytic activity order of the three series catalysts is 13X type >Y type >4A type. The physical state of titanium dioxide on the supports is evaluated by X-ray photoelectron spectra (XPS), powder X-ray diffraction (XRD), BET, and FTIR. (C) 2000 Elsevier Science Ltd. All rights reserved.

An eigenfunction expansion-variational method in prediction of the transverse thermal conductivity of fiber reinforced composites considering interfacial characteristics

An eigenfunction expansion-variational method based on a unit cell is developed to deal with the steady-state heat conduction problem of doubly-periodic fiber reinforced composites with interfacial thermal contact resistance or coating. The numerical results show a rapid convergence of the present method. The present solution provides a unified first-order approximation formula of the effective thermal conductivity for different interfacial characteristics and fiber distributions. A comparison with the present high-order results, available experimental data and micromechanical estimations demonstrates that the first-order approximation formula is a good engineering closed-form formula. An engineering equivalent parameter reflecting the overall influence of the thermal conductivities of the matrix and fibers and the interfacial characteristic on the effective thermal conductivity, is found. The equivalent parameter can greatly simplify the complicated relation of the effective thermal conductivity to the internal structure of a composite. (c) 2010 Elsevier Ltd. All rights reserved.