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.     

Dual frames in connected with generalized sampling in shift-invariant spaces

The aim of this article is to derive stable generalized sampling in a shift-invariant space by using some special dual frames in L²(0,1). These sampling formulas involve samples of filtered versions of the functions in the shift-invariant space. The involved samples are expressed as the frame coefficients of an appropriate function in L²(0,1) with respect to some particular frame in L²(0,1). Since any shift-invariant space with stable generator is the image of L²(0,1) by means of a bounded invertible operator, our generalized sampling is derived from some dual frame expansions in L²(0,1).     

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     

Analogues of the Kolosov–Muskhelishvili General Representation Formulas and Cauchy–Riemann Conditions in the Theory of Elastic Mixtures

Analogues of the well-known Kolosov–Muskhelishvili formulas of general representations are obtained for nonhomogeneous equations of statics in the case of the theory of elastic mixtures. It is shown that in this theory the displacement and stress vector components, as well as the stress tensor components, are represented through four arbitrary analytic functions.The usual Cauchy–Riemann conditions are generalized for homogeneous equations of statics in the theory of elastic mixtures.     

A compactness result for Kähler Ricci solitons

In this paper we prove a compactness result for compact Kähler Ricci gradient shrinking solitons. If (Mi,gi) is a sequence of Kähler Ricci solitons of real dimension n?4, whose curvatures have uniformly bounded Ln/2 norms, whose Ricci curvatures are uniformly bounded from below and μ(gi,1/2)?A (where μ is Perelman's functional), there is a subsequence (Mi,gi) converging to a compact orbifold (M_∞,g_∞) with finitely many isolated singularities, where g_∞ is a Kähler Ricci soliton metric in an orbifold sense (satisfies a soliton equation away from singular points and smoothly extends in some gauge to a metric satisfying Kähler Ricci soliton equation in a lifting around singular points).     

拟阵与概念格的关系

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

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     

拟线性抛物型方程广义解的局部有界性

本文给出了一类较广泛的拟线性抛物型方程广义解的局部有界性,进而也得到了解的Holder连续性.