Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

A result on sets,with applications to vector optimization

In this paper there is stated a result on sets in ordered linear spaces which can be used to show that some properties of the sets are inherited by their convex hulls under suitable conditions. As applications one gives a characterization of weakly efficient points and a duality result for nonconvex vector optimization problems.     

Cardy's formula for some dependent percolation models

We prove Cardy's formula for rectangular crossing probabilities in dependent site percolation models that arise from a deterministic cellular automaton with a random initial state. The cellular automaton corresponds to the zero-temperature case of Domany's stochastic Ising ferromagnet on the hexagonal lattice  (with alternating updates of two sublattices) [7]; it may also be realized on the triangular lattice 𝕋 with flips when a site disagrees with six, five and sometimes four of its six neighbors. Received: 24 December 2001     

MgxZn1-xO结构性质

采用第一性原理计算模拟了不同组分的Mg_xZn_1-xO半导体混晶的晶格常数、总能、结构,以及禁带宽度的变化。计算结果显示,随着Mg组分的增加,晶格常数逐渐减小,晶体逐渐偏离纤锌矿结构。对各种不同的Mg原子排列情况进行比较认为,Mg_xZn_1-xO的结构随组分x的增大,发生从纤锌矿到岩盐矿的结构相变的可能性高于发生相分离。另一方面,禁带宽度随组分增大主要由价带顶的移动所致。进一步分析Mg原子各种电子态对价带的影响表明,Mg对价带顶附近能带的贡献依次来自p、d、s态电子。随着组分x的增加,p态电子在价带顶附近的密度明显提高,说明sp轨道杂化不但对晶体的几何结构产生影响,而且对其电子结构也起重要作用。     

多棱锥镜产生多光束干涉场的理论和实验研究

提出了一种使用多棱锥镜和多棱台镜产生多束相干光形成二维和三维光学格子的方法。理论分析和数值模拟了多束轴对称平面波干涉产生的二维及三维点阵结构的特性,得到了光场分布随光束数增加的关系,发现随着干涉光数目的增加,干涉场会复杂变化,当棱锥棱数足够多近似于一个圆锥时,干涉场会变为同心圆结构的贝塞尔光束的场分布。实验上使用多棱锥和多棱台镜进行了多光束干涉实验,得到了多束轴对称平面波干涉形成的光学格子,将数值模拟与实验结果进行了比较,二者完全吻合。     

拟阵与概念格的关系

本文以构造的方式建立起拟阵与概念格的联系,得到在同构意义下每个拟阵是一个概念格,但反之不然的结论;该结论使得利用概念格的性质研究拟阵成为现实,特别为将建造概念格的算法尤其是已计算机化的算法应用于求取拟阵奠定了基础,也为拟阵论成为研究概念格性质的辅助工具打下基础．     

Precise lattice parameter measurements in CsCl-Br solid solutions between room temperature and 90°K by powder x-ray diffraction

Solid solutions of CsCl-Br in five different concentrations were prepared in sealed quartz tubes by heating the mixture to 1123°K for 6–8 hr and quenching to room temperature. X-ray diffractograms were taken at eight different temperatures between room temperature and 90°K for these solid solutions using the YPC50NM powder diffractometer and a continuous flow cryostat. The observed lattice parameters for each sample at each temperature obtained from the powder diffractograms were then extrapolated to give the true lattice parameters using the least square method with Nelson-Riley extrapolation scheme. The values of the true lattice parameters at each concentration and at each temperature were tabulated and the results discussed. It is shown that the lattice parameters vs temperature for some concentrations exhibit an anomalous behaviour. Contribution No. 691     

An efficient hydrodynamic cellular automata for simulating fluids with large viscosities

A hydrodynamic cellular automata (HDCA) for simulating two-dimensional fluids with large viscosities is proposed. The model is characterized by a mean free path which is of the same size as in the FHP-II model, but with a viscosity more than 10 times larger. This new model should make simulations of flows at low Reynolds number more efficient.