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轨道杂化不但对晶体的几何结构产生影响,而且对其电子结构也起重要作用。     

无界区域抛物方程自然边界元方法

本文应用自然边界元方法求解无界区域抛物型初边值问题。首先将控制方程对时间进行离散化,得到关于时间步长离散化的椭圆型问题。通过Fourier展开,导出相应问题的自然积分方程和Poisson积分公式。研究了自然积分算子的性质,并讨论了自然积分方程的数值解法,最后给出数值例子。从而解决了抛物型问题的自然边界归化和自然边界元方法。     

拟阵与概念格的关系

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

Thin-walled Beams: A Derivation of Vlassov Theory via Γ-Convergence

This paper deals with the asymptotic analysis of the three-dimensional problem for a linearly elastic cantilever having an open cross-section which is the union of rectangles with sides of order ε and ε ², as ε goes to zero. Under suitable assumptions on the given loads and for homogeneous and isotropic material, we show that the three-dimensional problem Γ-converges to the classical one-dimensional Vlassov model for thin-walled beams.      

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     

Improvement of the properties of polyarylate reinforced with liquid crystalline polymers

Blends of polyarylate of bisphenol A, PAr, with two commercial main chain liquid crystalline polymers, Vectra A950 and Vectra B950, are studied. From dynamic viscoelastic measurements it is deduced that both systems (PAr/Vectra A950 and PAr/Vectra B950) are immiscible and scanning electron microscopy (SEM) micrographs show the presence of spherical domains of the liquid crystalline polymer when PAr constitutes the matrix. Extrusion capillary measurements reveal that, under conditions of temperature and shear rate similar to those of processing, the viscosity is reduced to approximately 10% of its value when the content of liquid crystalline polymer is only 20%. This great improvement of the rheological properties is observed in both PAr/Vectra A950 and PAr/Vectra B950 blends. The effect of draw ratio on Young's modulus for different compositions is also analyzed, pointing out the reinforcing action of both liquid crystalline polymers on polyarylate: for instance, 20% of Vectra B950 in the blend gives rise to a 700% increase of the modulus of fibres prepared at a draw ratio of 50. SEM of the extrudates reveals that the spherical domains are elongated at the entrance of the capillary giving rise to a microfibrillar morphology which is related to the excellent rheological and mechanical properties of the blends.     

Synthesis of perfluoroheptanal by ozonolysis of perfluoro-1-octene

Perfluoro-1-octene was used as a model for developing a method for the preparative ozonolysis of perfluoro-1-alkenes to the corresponding perfluoro-nor-alkenals. Perfluoroheptanal was synthesized.Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 6, pp. 1146–1147, June, 1994.