蕴涵代数与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     

Sharp estimates in terms of moduli of smoothness for compound cubature rules

Summary In 1980 Dahmen-DeVore-Scherer introduced a modulus of continuity which turns out to reflect invariance properties of compound cubature rules effectively. Accordingly, sharp error bounds are derived, the existence of relevant counterexamples being a consequence of a quantitative resonance principle, established previously.     

SN方法粒子输运计算程序自动建模关键技术问题研究

在充分调研和分析SN方法粒子输运计算程序自动建模方法的基础上，对建模过程中的模型文件格式识别、属性编辑、空腔处理及自动划分离散网格等关键技术问题进行了研究，并提出了合理可行的解决方法。通过对SNAM程序建模部分功能测试，验证了这些方法的正确性和有效性。This paper presents two approaches to enhance the geometry modeling ability of SN particle transport simulation codes and focus on the key issues that lie in the processing from CAD model to SN code geometry model, e.g. CAD file format support, void modeling, mesh generation and model-editing. SNAM （SN Automatic Modeling system） has been developed as an interface code between commercial CAD software and SN particle transport simmulation codes. The testing results have shown that the algorithm and implementation used in SNAM are efficient and capable of all the necessary processing from CAD model to SN geometry model.     

A comparative study of the structure and crystallization of bulk metallic amorphous rod Pr60Ni30Al10 and melt-spun metallic amorphous ribbon Al87Ni10Pr3

Pr-based bulk metallic amorphous （BMA） rods （Pr60Ni30Al10） and Al-based amorphous ribbons （Al87Ni10Pr3） have been prepared by using copper mould casting and single roller melt-spun techniques, respectively. Thermal parameters deduced from differential scanning calorimeter （DSC） indicate that the glass-forming ability （GFA） of Pr60Ni30Al10 BMA rod is far higher than that of Al87Ni10Pr3 ribbon. A comparative study about the differences in structure between the two kinds of glass-forming alloys, superheated viscosity and crystallization are also made. Compared with the amorphous alloy Al87Ni10Pr3, the BMA alloy Pr60Ni30Al10 shows high thermal stability and large viscosity, small diffusivity at the same superheated temperatures. The results of x-Ray diffraction （XRD） and transmission electron microscope （TEM） show the pronounced difference in structure between the two amorphous alloys. Together with crystallization results, the main structure compositions of the amorphous samples are confirmed. It seems that the higher the GFA, the more topological type clusters in the Pr-Ni-Al amorphous alloys, the GFAs of the present glass-forming alloys are closely related to their structures.     

Electron spin resonance of diluted solid solutions of MnO2 in Y2O3

Electron spin resonance spectra of Mn²⁺ in diluted solid solutions of MnO₂ in Y₂O₃ have been studied at room temperature for Mn concentrations between 0.20 and 2.00 mol%. Isolated Mn²⁺ ions in sites with two different symmetries were observed, as well as Mn²⁺ ions coupled by the exchange interaction. The relative concentration of isolated to coupled Mn²⁺ ions decreases with increasing manganese concentration. The results are consistent with the assumption that the manganese ions occupy preferentially the C₂ symmetry sites. A theoretical calculation based on this model yields an effective range of the exchange interaction between Mn²⁺ ions of 0.53 nm, of the same order as that of Mn²⁺ ions in CaO.     

CsI(Tl)晶体中反冲Cs和I核Quenching?Factor的测量

许多实验对用CsI(Tl)闪烁晶体作为探测器来寻找和探测暗物质的可行性进行了研究.本工作利用8MeV单能中子轰击CsI(Tl)晶体探测器来研究Cs核和I核的QuenchingFactor.在数据处理中,运用脉冲形状甄别(PSD)方法来分辨反冲核信号和本底信号.实验结果表明,在7keV到132keV的能区中,Quench ingFactor随着反冲核能量的减少而增加.在探测暗物质的实验中,这一性质对于CsI(Tl)晶体探测器获得较低的能量阈值是很有利的.     

Charge transport in a polypeptide chain

Charge transport is one important example of signal transduction in a protein which is responsible for action at a distance, and is a fundamental process in biochemical action. A model is presented in which electronic effects interact with motional processes to combine into a bifunctional model. This model is investigated with new detailed molecular dynamics calculations and successfully explains such action at a distance. Received 1st February 2002 / Received in final form 26 May 2002 Published online 13 September 2002     

静磁场伴随有静电场存在

阐述检测物体是否产生了电场的方法；通过实际检测证实立方体永磁体既产生了负静电场，也产生了正静电场，并测定了具体的场强．