蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001     

On a conjecture of Cox and Katz

This note shows that a certain toric quotient of the quintic Calabi-Yau threefold in provides a counterexample to a recent conjecture of Cox and Katz concerning nef cones of toric hypersurfaces. Received: 8 February 2001; in final form: 17 September 2001 / Published online: 1 February 2002     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

IFS attractors and Cantor sets

We build a metric space which is homeomorphic to a Cantor set but cannot be realized as the attractor of an iterated function system. We give also an example of a Cantor set K in R³ such that every homeomorphism f of R³ which preserves K coincides with the identity on K.     

Study of thermal currents in powder β-spodumene ceramics doped with Cuo, FeO and TiO2

Ternary-phase ceramic system of Li₂O Al₂O₃ 4SiO₂ doped with CuO, FeO and TiO₂ has been prepared and subjected to dc electrical conductivity and thermally stimulated depolarization current (TSDC) measurements as a function of temperature (30-250 °C) and field strength. The electrical conductivity results are explained by assuming both ionic and electronic conduction mechanisms coexist with different contributions over the whole temperature range of experiments. TSDC spectra have been found to be characterized by a broad intense relaxation peak, which can be attributed to an ionic charge polarization. The broad relaxation transitions are apparently a result of the nonuniform nature of this process. Activation energies are calculated for both dc electrical conductivity and TSDC according to Arrhenius equation and initial rise method, respectively.     

Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

A novel and efficient synthesis of porphine

meso-Tetra(n-hexyloxycarbonyl)porphyrin was found to be converted into porphine, the mother compound of porphyrins, in a 77% yield when heated in aqueous sulfuric acid at 180 °C over 30 min under an inert atmosphere. The observation demonstrates that the substituted porphyrin serves as a novel and useful precursor for porphine.     

High pressure X-ray diffraction study of CdAl2Se4 and Raman study of AAl2Se4 (A=Hg, Zn) and CdAl2X4 (X=Se, S)

We report the results of an X-ray diffraction study of CdAl₂Se₄ and of Raman studies of HgAl₂Se₄ and ZnAl₂Se₄ at room temperature, and of CdAl₂S₄ and CdAl₂Se₄ at 80 K at high pressure. The ambient pressure phase of CdAl₂Se₄ is stable up to a pressure of 9.1 GPa above which a phase transition to a disordered rock salt phase is observed. A fit of the volume pressure data to a Birch-Murnaghan type equation of state yields a bulk modulus of 52.1 GPa. The relative volume change at the phase transition at ∼9 GPa is about 10%. The analysis of the Raman data of HgAl₂Se₄ and ZnAl₂Se₄ reveals a general trend observed for different defect chalcopyrite materials. The line widths of the Raman peaks change at intermediate pressures between 4 and 6 GPa as an indication of the pressure induced two stage order-disorder transition observed in these materials. In addition, we include results of a low temperature Raman study of CdAl₂S₄ and CdAl₂Se₄, which shows a very weak temperature dependence of the Raman-active phonon modes.     

Inequalities for the Moments and Distribution of the Ladder Height of a Random Walk

We obtain upper bounds for the tail distribution of the first nonnegative sum of a random walk and for the moments of the overshoot over an arbitrary nonnegative level if the expectation of jumps is positive and close to zero. In addition, we find an estimate for the expectation of the first ladder epoch.