模糊RCC8拓扑关系

研究几类模糊空间关系.作为分明的RCC8拓扑关系的推广,给出R-正则开的模糊集、R-正则闭的模糊集、R-开的模糊集以及R-闭的模糊集的模糊RCC8刻画.这些模糊空间关系将会有助于对模糊空间区域进行定性的推理研究.     

关于Locale Wallman紧化的一点注记

本文证明了在正规locale范畴中,Banaschewski-Mulvey形式的紧正则反射与Johnstone形式的Wallman紧化一致,从而推广了Johnstone在文献[4]中的主要结果.     

L-连续偏序集的M性质与有限分离性

讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果: (1)若P为L-连续偏序集,则P是有限卜集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.     

完备布尔代数商格的注

本文研究了完备布尔代数L的商格Q(L),建立 L上q-集构成的集合Q′(L)与Q(L)之间的同构,得出了完备布尔代数的商格仍是完备布尔代数,并给出了完备布尔代数范畴的某些性质.     

Locale的仿紧完全正则反射

1972年, Isbell利用locale中由正规覆盖构成的一致结构的完备化, 证明了仿紧完全正则locale范畴是locale范畴的满反射子范畴. 本文通过在locale的补零元理想格上做核映射的方法, 给出locale的仿紧完全正则反射的明确构造, 并证明locale的仿紧完全正则反射是locale的 Stone-Čech紧化的子locale.     

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．     

Locale 的内部与边界

本文定义了ｌｏｃａｌｅ的内部算子与边界算子,详细讨论了这两个算子的性质,进一步得到了ｌｏｃａｌｅ形式的Ｋｕｒａｔｏｗｓｋｉ定理。     

无点滤子收敛

我们在ｌｏｃａｌｅ上定义了一种新的滤子收敛概念．对空间式ｌｏｃａｌｅ,这种收敛与拓扑收敛等价,并且适应于任意ｌｏｃａｌｅ．作为应用,我们给出了ｌｏｃａｌｅ紧的程度的刻划和 Ｃａｕｃｈｙ完备性的描述．     

SiN掺杂提高BaMgAl10O17:Eu2+荧光粉光学性能的第一性原理研究

使用基于密度泛函理论的CASTEP软件计算了BAM:Eu²⁺(BaMgAl₁₀O₁₇:Eu²⁺)荧光粉在SiN掺杂前后的能带、态密度、吸收光谱和Mulliken布居．Eu²⁺处于BR位置光吸收更强;SiN掺杂使处于BR位置的Eu²⁺的数量上升,而处于mO位置的Eu²⁺的数量下降,抵消了SiN掺杂降低Eu的态密度对光谱的影响．所以适量掺杂的SiN提高了BAM:Eu²⁺荧光粉的吸收发射光谱强度．Si-N键和Eu-N键的Mulliken布居数分别高于Al-O键和Eu-O键, 说明Si-N键和Eu-N键的共价性分别强于Al-O键和Eu-O键．发光中心Eu²⁺局域结构共价性的增强降低了BAM:Eu²⁺镜面层的活性,这是SiN掺杂提高BAM:Eu²⁺+荧光粉光学稳定性的主要原因．     

A New Treatment for Some Periodic Schr?dinger Operators Ⅱ: The Wave Function

Following the approach of our previous paper we continue to study the asymptotic solution of periodic Schrödinger operators. Using the eigenvalues obtained earlier the corresponding asymptotic wave functions are derived. This gives further evidence in favor of the monodromy relations for the Floquet exponent proposed in the previous paper. In particular, the large energy asymptotic wave functions are related to the instanton partition function of N=2 supersymmetric gauge theory with surface operator. A relevant number theoretic dessert is appended.