Structural, photoluminescence, and field emission properties of vertically well-aligned ZnO nanorod arrays

The self-assembled growth of vertically well-aligned ZnO nanorod arrays with uniform length and diameter on Si substrate has been demonstrated via thermal evaporation and vapor-phase transport. The structural, photoluminescence (PL), and field emission properties of the as-prepared nanorod arrays were investigated. The PL spectrum at 10 K shows a strong and sharp near-band gap emission (NBE) peak ( full width at half-maximum (FWHM) = 4.7 meV) and a weak neglectable deep-level emission (DL) peak (I-NBE/I-DL= 220), which implies its good crystallinity and high optical quality. The room-temperature NBE peak was deduced to the composition of free exciton and its first-order replicas emissions by temperature-dependent PL spectra. The field emission measurements indicate that, with a vacuum gap of 400 Am, the turn-on field and threshold field is as low as 2.3 and 4.2 V/mu m. The field enhancement factor beta and vacuum gap d follows a universal equation.

Equilateral-triangle-resonator injection lasers with directional emission

Equilateral-triangle-resonator (ETR) lasers with an output waveguide jointed at one vertex of the resonator are fabricated on (100) GaInAsP-InP wafers using photolithography and a two-step inductively coupled plasma (ICP) etching technique. Distinct peaks with the mode spacing of longitudinal mode intervals are observed in the luminescence spectra at room temperature. Furthermore, some minor peaks appear in the middle of the main peaks, which can be attributed to the first-order transverse modes as predicted in the theoretical results. CW directional lasing emissions are achieved for ETR lasers with side lengths ranging from 15 to 30 pm up to 200 K. The temperature dependences of the threshold current and lasing wavelength are measured for an ETR laser with the side length of 20 mu m from 80 to 200 K. The observed threshold current rapidly increases as temperature increases over 170 K.

Pressure dependence of the near-band-edge photoluminescence from ZnO microrods at low temperature

The temperature and pressure dependences of band-edge photo luminescence from ZnO microrods have been investigated. The energy separation between the free exciton (FX) and its first order phonon replica (FX-1LO) decreases at a rate of k(B)T with increasing temperature. The intensity ratio of the FX-1LO to the bound exciton (BX) emission is found to decrease slightly with increasing pressure. All of the exciton emission peaks show a blue shift with increasing pressure. The pressure coefficient of the FX transition, longitudinal optical (LO) phonon energy, and binding energy of BX are estimated to be 21.4, 0.5, and 0.9 meV/GPa, respectively. (c) 2006 Elsevier Ltd. All rights reserved.

Mode-coupling analysis of three-dimensional microdisk resonators by the finite-difference time-domain technique

Quality factor enhancement due to mode coupling is observed in a three-dimensional microdisk resonator. The microdisk, which is vertically sandwiched between air and a substrate, with a radius of 1 mu m, a thickness of 0.2 mu m, and a refractive index of 3.4, is considered in a finite-difference time-domain (FDTD) numerical simulation. The mode quality factor of the fundamental mode HE71 decreases with an increase of the refractive index of the substrate, n(sub), from 2.0 to 3.17. However, the mode quality factor of the first-order mode HE72 reaches a peak value at n(sub) = 2.7 because of the mode coupling between the fundamental and the first-order modes. The variation of mode field distributions due to the mode coupling is also observed. This mechanism may be used to realize high-quality-factor modes in microdisks with high-refractive-index substrates. (c) 2006 Optical Society of America.

Raman scattering of nanocrystalline silicon embedded in SiO2

Raman scattering of nanocrystalline silicon embedded in SiO2 matrix is systematically investigated. It is found that the Raman spectra can be well fitted by 5 Lorentzian lines in the Raman shift range of 100-600 cm(-1). The two-phonon scattering is also observed in the range of 600-1100 cm(-1) The experimental results indicate that the silicon crystallites in the films consist of nanocrystalline phase and amorphous phase; both can contribute to the Raman scattering. Besides the red-shift of the first order optical phonon modes with the decreasing size of silicon nanocrystallites, we have also found an enhancement effect on the second order Raman scattering, and the size effect on their Raman shift.

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.

Hydrogenation and anisotropic expansions in R3Fe29-xTx (R = Y, Ce, Nd, Sm, Gd, Tb and Dy; T = V and Cr)

A systematic study of the phase formation, structure and magnetic properties of the R3Fe29-xTx compounds (R=Y, Ce, Nd, Sm, Gd, Tb, and Dy; T=V and Cr) has been performed upon hydrogenation. 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 of the compounds upon hydrogenation. Hydrogenation leads to an increase in the Curie temperature and a corresponding increase in the saturation magnetization at room temperature for each compound. First order magnetization processes (FOMP) occur in the external magnetic fields for Nd3Fe24.5Cr4.5H5.0, Tb3Fe27.0Cr2.0H2.8, and Gd3Fe28.0Cr1.0H4.2 compounds.

Crystallographic and magnetic properties of the hydrides R3Fe29-xCrxHy (R = Y, Ce, Nd, Sm, Gd, Tb, and Dy)

A systematic study of the structural and intrinsic magnetic properties of the hydrides R3Fe29-xCrxHy (R = Y, Ce, Nd, Sm, Gd, Tb, and Dy) has been performed. Hydrogenation lends to a relative volume expansion of the unit cell and a decrease in x-ray density for each compound. Anisotropic expansions mainly along the n- and b-axes rather than along the c-axis for all of the compounds upon hydrogenation are observed. The lattice constants and the unit-cell volume of R3Fe29-xCrx and R3Fe29-xCrxHy decrease with increasing R atomic number from Nd to Dy, except for Ce, reflecting the lanthanide contraction. Hydrogenation results in an increase in the Curie temperature and a corresponding increase in the saturation magnetization at room temperature for each compound. After hydrogenation a decrease of 0.34 mu(B)/Fe in the average Fe atomic magnetic moment and a slight increase in the anisotropy field for Y3Fe27.2Cr1.8 are achieved at 4.2 K. 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 TD3Fe27.0Cr2.0H2.8, and around 1.4 T at room temperature for Gd3Fe28.0Cr1.0H4.2. The abnormal crystallographic and magnetic properties of Ce3Fe25.0Cr4.0 and Ce3Fe25.0Cr4.0H5.4 suggest that the Ce ion non-triply ionized.

Crystallographic and magnetic properties of nitride R3Fe29-xCrxN4 (R = Y, Ca, Nd, Sm, Gd, Tb, and Dy)

A systematic investigation of crystallographic and magnetic properties of nitride R3Fe29-xCrxN4 (R=Y, Ce, Nd, Sm, Gd, Tb, and Dy) has been performed. The lattice constants and unit cell volume decrease with increasing rare earth atomic number from Nd to Dy, reflecting the lanthanide contraction. After nitrogenation the relative volume expansion of each nitride is around between 5% and 7%. The nitrogenation results in a good improvement in the Curie temperature, the saturation magnetization and anisotropy fields at 4.2 K, and room temperature for R3Fe29-xCrxN4. Magnetohistory effects of R3Fe29-xCrxN4 and R3Fe29-xCrx (R=Nd and Sm) are observed in a low field of 0.04 T. First order magnetization process occurs in Sm3Fe24.0Cr5.0N4 in magnetic fields of 2.8 T at 4.2 K. After nitrogenation, the easy magnetization direction of Sm3Fe24.0Cr5.0 is changed from the easy-cone structure to the uniaxial. The good intrinsic magnetic properties of Sm3Fe24.0Cr5.0N4 make this compound a hopeful candidate for new high-performance hard magnets. (C) 1998 American Institute of Physics.

Structure and magnetic properties of nitrides R3Fe29-xCrxN4

A systematic investigation of nitrides R3F29-xCrxN4 (R = Y, Ce, Nd, Sm, Gd, Tb, and Dy) has been performed. The nitrogen concentration in the nitride R3Fe29-xCrxNy was determined to be y = 4. Nitrogenation leads to a relative volume expansion of about 5.3%. The lattice constants and unit cell volume decrease with increasing rare earth atomic number from Nd to Dy, reflecting the lanthanide contraction. In average, the increase of Curie temperature upon nitrogenation is about 200 K, compared with its parent compound. The nitrogenation also results in a remarkable improvement in the saturation magnetization and anisotropy fields for R3Fe29-x CrxN4 at 4.2 K and room temperature, compared with their parent compounds. A spin reorientation of Nd3Fe24.5Cr4.5N4 occurs at around 368 K, which is 138 K higher than that of Nd3F24.5Cr4.5. Magnetohistory effects of R3Fe29-xCrxN4 (R = Nd and Sm) are observed in a low field of 0.04 T. First-order magnetization process occurs in Sm3Fe24.0Cr5.0N4 in magnetic fields of around 3.0 T at 4.2 K. After nitrogenation the easy magnetization direction of Sm3Fe24.0C5.0 is changed from the easy-cone structure to the uniaxial. The excellent intrinsic magnetic properties of Sm3Fe24.0Cr5.0N4 make this compound a hopeful candidate for new high-performance permanent magnets.

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)。最后利用该工具对常见的互斥协议，简单数据传输协议的性质进行了分析与验证。结果表明，利用该工具对系统进行建模具有方便直观的特点，并借助实现的验证算法能高效的检验安全性质的正确性，如果性质不成立工具会给出反例提示。

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

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