奇异扰动的二阶非自治格点系统的一致吸引子的上半连续性

本文研究概周期外力驱动的二阶非自治格点系统的一致吸引子在Hausdorff半距离下关于二阶项系数的上半连续性.首先证明在一定条件下二阶非自治格点系统和对应的一阶非自治格点系统分别存在一致吸引子.然后考虑二阶导数项系数趋于零时,这两个一致吸引子之间的关系.采用的方法是在二阶非自治格点系统的相空间中构造一个子集,使得一阶非自治格点系统的一致吸引子作为第一分量自然地嵌入到该子集中,并证明当二阶项系数充分小时,二阶非自治格点系统的一致吸引子可以进入到这个子集的任何邻域内.最后讨论二阶非自治格点系统的一致吸引子在正的二阶导数项系数处的上半连续性.     

FI代数的导出序结构的一些性质

深入研究F I代数的与其导出序结构相关的一些性质。特别地,分别得到了在F I代数(L,→,0)中下列各式之一成为恒等式的若干条件:(1)(x∨y)→z=(x→z)∧(y→z);(2)z→(x∨y)=(z→x)∨(z→y);(3)(x∧y)→z=(x→z)∨(y→z);(4)z→(x∧y)=(z→x)∧(z→y)。     

格蕴涵代数的素对偶理想

在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。     

Study of Topological Structure of Vacuum by Lattice QCD

Overlap fermions and improved 5Li cooling are compared, which exhibits that these two filter methods can produce similar structures. Then the overlap fermions and improved 5Li cooling are combined to calculate the topological charge and identify the structure of the vacuum. The results are consistent with instanton liquid model .     

可换逻辑的代数语义综述

主要介绍九种可换逻辑的语义系统,它们是布尔代数, MV-代数, BL-代数, MTL-代数,剩余格, Hoops,半Hoops, EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值得进一步研究的公开问题.     

有1模格的另外两种等价定义

对具有单位元的模格,本文给出了两种更为简洁的等价条件,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格的各种定义之间的等价性。     

完备格上的广义Rough集模型

基于way-below关系和弱way-below关系,在具有逆合对应的完备格上建立了广义Rough上下近似算子,研究了它们的基本性质,并说明本文提出的广义Rough集模型是Pawlak标准粗糙集的推广.同时,在De Morgan代数上建立了广义Rough上下近似算子,给出了相应的基本性质.     

对称拓扑分子格的直和

文章给出了对称拓扑分子格的直和概念,给出了拓扑分子格的直和的特征,证明了对称拓扑分子格的分离性Ti(i=-1,0,1,2)及可数性CⅠ,CⅡ是可和性质.     

格蕴涵代数的生成(∈,∈∨q)-Ⅳ模糊LI理想

基于常规Ⅳ模糊集合包含序?,引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明了生成(∈,∈∨q)-Ⅳ模糊LI理想的表示定理.为研究(∈,∈∨q)-Ⅳ模糊LI理想全体之集在?下的格结构特征奠定了基础.     

基于对象导出三支概念格的决策背景规则获取

规则获取是当前形式概念分析领域的研究热点.首先给出了基于对象导出三支概念格间的细于关系,定义了基于对象导出三支概念格的三支弱协调性,并研究了其与经典概念格下的二支弱协调性之间的关系.然后,研究了基于对象导出三支概念格的规则获取,并与经典概念格的规则获取进行了比较.最后,定义了对象导出三支概念的弱闭标记,研究了基于弱闭标记的三支弱协调决策形式背景的规则获取,剔除了冗余规则,并且得到一些新的更为精简的三支规则.