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     

拟阵与概念格的关系

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

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.     

On the ion exchange defects in aluminosilicate lattices

Summary Samples of synthetic leucite and boron-substituted leucite are investigated by infrared spectroscopy and spectrally resolved thermoluminescence. Evidence is obtained in favour of the assumption that point defects in aluminosilicate lattices are originated by exchanges of Si⁺⁴ and Al⁺³ ions lying in different cells.