一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

Asymptotique de la norme $L^2$ d'un cycle géodésique dans les revêtements de congruence d'une variété hyperbolique arithmétique

Let M be an arithmetic hyperbolic manifold and be a codimension 1 geodesic cycle. In this paper, we study the asymptotic growth of the -norm of the lifts of F in the congruence tower above M. We obtain an explicit value for the growth rate of this norm. In particular, we provide a new proof of a celebrated result of Millson [Mi] on the homology of the arithmetic hyperbolic manifolds. The method is quite general and gives a new way of getting non zero homology classes in certain locally symmetric spaces. Received: 20 April 2001; in final form: 26 September 2001 / Published online: 28 February 2002     

Normalization of complex-valued planar vector fields which degenerate along a real curve

Taking as a start point the recent article of Meziani [7], we present several results concerning the normalization of a class of complex vector fields in the plane which degenerate along a real curve. We mainly deal with operators with finite regularity and analyze both the local situation as well as the case of normalization near a circle. Some related questions (e.g., on semi-global solvability and on the normalization of a class of generalized Mizohata operators) are also discussed.     

Model spectral function and superconductivity in BaxK1−xBiO3 (x=0.5-0.7)

The Eliashberg spectral density function is constructed for the superconducting compound Ba_xK_1−xBiO₃ with x=0.5, 0.6, 0.7. The functions, besides yielding some prominent structures, show widely spreading spectra that inhibit lattice instability by yielding not too large values of λ(<1.32). The resulting spectral functions show similar shape as other results, where available, and also successfully reproduce the observed critical temperature, isotope exponent, gap ratio and several other parameters.     

Attractors for 2D-Navier-Stokes models with delays

The existence of an attractor for a 2D-Navier-Stokes system with delay is proved. The theory of pullback attractors is successfully applied to obtain the results since the abstract functional framework considered turns out to be nonautonomous. However, on some occasions, the attractors may attract not only in the pullback sense but in the forward one as well. Also, this formulation allows to treat, in a unified way, terms containing various classes of delay features (constant, variable, distributed delays, etc.). As a consequence, some results for the autonomous model are deduced as particular cases of our general formulation.     

Multilinear interpolation between adjoint operators

Multilinear interpolation is a powerful tool used in obtaining strong-type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear operator satisfies a weak L^q estimate for a single index q (which may be less than one) and that all the adjoints of the multilinear operator are of similar nature, and thus they also satisfy the same weak L^q estimate. Under this assumption, in this note we give a general multilinear interpolation theorem which allows one to obtain strong-type boundedness for the operator (and all of its adjoints) for a large set of exponents. The key point in the applications we discuss is that the interpolation theorem can handle the case q?1. When q>1, weak L^q has a predual, and such strong-type boundedness can be easily obtained by duality and multilinear interpolation (cf. Interpolation Spaces, An Introduction, Springer, New York, 1976; Math. Ann. 319 (2001) 151; in: Function Spaces and Applications (Lund, 1986), Lecture Notes in Mathematics, Vol. 1302, Springer, Berlin, New York, 1988; J. Amer. Math. Soc. 15 (2002) 469; Proc. Amer. Math. Soc. 21 (1969) 441).     

Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4-manifolds

This paper studies several aspects of asymptotically hyperbolic (AH) Einstein metrics, mostly on 4-manifolds. We prove boundary regularity (at infinity) for such metrics and establish uniqueness under natural conditions on the boundary data. By examination of explicit black hole metrics, it is shown that neither uniqueness nor finiteness holds in general for AH Einstein metrics with a prescribed conformal infinity. We then describe natural conditions which are sufficient to ensure finiteness.     

成分和厚度的依赖

通过调整Mn的成分，系统地研究了Ni81Fe19/Ni100-xMnx双层膜的磁学性质，特别是交换偏置场(Hex)的变化.当Ni100-xMnx中Mn的原子百分比在534%到600%之间时，对于150nm的Ni81Fe19，得到了最大的交换偏置场175kA/m，同时由于Mn对Ni81Fe19层的扩散所造成的磁矩的降低小于20%；高角x射线衍射证明Ni100-xMnx的晶格常数随着Mn成分的改变而变化，Mn含量越多，其晶格常数越大；制备态Ni100-xMnx膜晶格常数与θ相NiMn膜晶格常数的接近程度与NiMn膜θ相形成的容易程度相对应.也研究了交换偏置场随着Ni１００-xMnx厚度的变化，第一次得到了当Ni100-xMnx中Mn的原子百分比为706%时，Ni81Fe19(150nm)/Ni100-xMnx(90nm)双层膜在经过240℃，5h退火后，可以有80kA/m的交换偏置场，此时铁磁层磁矩的大小几乎不变. 关键词： Ni81Fe19/Ni100-xMnx 交换偏置场     

70K温区混合工质分凝分离循环节流制冷机实验研究

混合工质节流制冷机正在许多方面获得越来越广泛的应用。文中设计了一种新型的混合工质分凝分离循环 ,建立了实验系统 ,并在 70 K温区进行了实验。实验结果表明 ,节流制冷机可以达到 6 5 .3K的低温 ,并在 72 K温度提供 1W的制冷量 ,输入功率为 5 0 0 W。     

Synthesis of bioactive indolocarbazoles: synthesis, nucleophilic ring-opening and chiral base desymmetrisation of a cyclic sulfate intermediate

A number of new functionalised bridged indolocarbazole systems have been prepared by ring-opening reactions of a key cyclic sulfate intermediate, prepared from the corresponding diol by the action of sulfuryl diimidazole and DBU. The same cyclic sulfate also undergoes an unprecedented asymmetric rearrangement to a chiral ketone, on treatment with a chiral lithium amide base.