-
题名完备格上交既约元的性质
被引量:3
- 1
-
-
作者
祝祯祯
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《江苏师范大学学报(自然科学版)》
CAS
2014年第2期50-52,共3页
-
基金
安徽省自然科学研究项目(KJ2012Z358)
国家自然科学基金资助项目(11171156)
-
文摘
根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.
-
关键词
完备格
交既约元
连续交既约元
完全交既约元
-
Keywords
complete lattice
intersection irreducible element
continuous intersection irreducible element
complete-ly intersection irreducible element
-
分类号
O189
[理学—基础数学]
-
-
题名上邻及弱上邻
被引量:2
- 2
-
-
作者
王娣
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《天津师范大学学报(自然科学版)》
CAS
2016年第5期17-19,共3页
-
基金
国家自然科学基金资助项目(11171156)
安徽省高校自然科学研究重点资助项目(KJ2015A064)
-
文摘
首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约元讨论了上邻及弱上邻在交半格、完备格及余dcpo不同背景下的性质.
-
关键词
way-up
弱完全交既约元
余dcpo
弱上邻
插入关系
-
Keywords
way-up
weak complete intersection irreducible elements
co-dcpo
weak adjacent
interpolation property
-
分类号
O153
[理学—基础数学]
-
-
题名弱完全交既约元及其性质
被引量:1
- 3
-
-
作者
王娣
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《佳木斯大学学报(自然科学版)》
CAS
2015年第6期837-838,共2页
-
基金
国家自然科学基金项目(11171156)
安徽省自然科学研究项目(KJ2012Z358)
-
文摘
根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交既约元的另一种等价定义.
-
关键词
连续交既约元
完全交既约元
弱完全交既约元
-
Keywords
continuous intersection irreducible element
complete intersection irreducible element
weak complete intersection irreducible element
-
分类号
O189
[理学—基础数学]
-
-
题名弱连续交既约元及其性质
- 4
-
-
作者
王逸芬
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《佳木斯大学学报(自然科学版)》
CAS
2017年第1期138-139,共2页
-
基金
国家自然科学基金项目(11171156)
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
作为交既约元的一种推广,引入弱连续交既约元的概念,并对其在完备格上的一些性质进行讨论,得到若干结果.
-
关键词
完备格
连续交既约元
弱连续交既约元
-
Keywords
complete lattice
continuous intersection irreducible elements
weak continuous intersection irreducible elements
-
分类号
O189
[理学—基础数学]
-
-
题名简单闭包空间与形式背景的联系
- 5
-
-
作者
张文娟
-
机构
闽南师范大学数学与统计学院
-
出处
《闽南师范大学学报(自然科学版)》
2021年第2期13-21,共9页
-
基金
国家自然科学基金资助项目(11871259)。
-
文摘
结合概念格中交不可约元的概念,探讨简单闭包空间与形式背景的联系.首先,根据简单闭包空间与知识空间的对偶性,定义知识基的对偶集A,在此基础上,研究合取模型下技能约简的实质.其次,在技能背景中提出交不可约元的概念,论证A与交不可约元一致性.然后,阐述技能约简的本质与形式背景中保持最小交式生成组的约简相同.最后,给出技能约简的方法.
-
关键词
简单闭包空间
知识空间
形式概念分析
交不可约元
知识基
-
Keywords
simple clousure space
knowledge space
formal concept analysis
intersectional irreducible elements
knowledge base
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-