~*命题集的约简及命题集的根 被引量：6

1

作者 任燕 马晓珏 王洪涛 《模糊系统与数学》 CSCD 北大核心 2006年第2期23-27,共5页

本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。

关键词 L^＊命题逻辑系统 可约元 不可约元 独立命题集 约简 根

下载PDF 职称材料

覆盖粗糙集的图表示和2-部矩阵 被引量：2

2

作者 孙峰 王敬前 《计算机科学》 CSCD 北大核心 2014年第3期85-87,109,共4页

通过图论和矩阵理论研究覆盖粗糙集。首先提出覆盖的关联二部图,一个覆盖的任意两个关联二部图都是同构的,进而从图论的角度给出一类覆盖近似算子的等价描述;然后给出二部图的2-部矩阵的定义,通过一个覆盖的关联二部图的2-部矩阵,既可... 通过图论和矩阵理论研究覆盖粗糙集。首先提出覆盖的关联二部图,一个覆盖的任意两个关联二部图都是同构的,进而从图论的角度给出一类覆盖近似算子的等价描述;然后给出二部图的2-部矩阵的定义,通过一个覆盖的关联二部图的2-部矩阵,既可以判断出这个覆盖是不是一元覆盖,又可以求出这个覆盖中的可约元;最后,研究划分对应的2-部矩阵的特点。 展开更多

关键词 覆盖粗糙集 近似算子 一元覆盖 可约元 二部图 2-部矩阵

下载PDF 职称材料

高斯环■上一类不可约元的判定方法 被引量：1

3

作者 邓从政 《凯里学院学报》 2019年第6期1-4,共4页

高斯环Z[√-d]是整环但不一定是唯一分解环,它有及其丰富和独特的代数性质,其元素的不可约性依赖于整数d的取值范围,利用二次剩余理论,探讨其一类特殊元素p取素数时这类元素为不可约元的判定方法,可极大地拓展代数学的发散思维.

关键词 高斯环 唯一分解环 可约元 不可约元 因子分解

下载PDF 职称材料

整环Z[(-5)～(1/2)]中的不可约元 被引量：1

4

作者 居腾霞 吕建波 《南通大学学报（自然科学版）》 CAS 2011年第3期78-82,共5页

利用近世代数及数论的一些基本知识与重要结论,讨论了整环Z[(-5)～(1/2)]中的可约元及不可约元,列出了一些判别准则,简化了对整环Z[(-5)～(1/2)]中某些特定元素的可约性的判断,并举例进行了说明.

关键词 整环 可约元 不可约元 素数

下载PDF 职称材料

基于模糊形式背景的概念格属性约简算法研究 被引量：1

5

作者 王璨 于茜 +1 位作者 林波 宁涛 《电子设计工程》 2016年第10期17-20,共4页

随着形式背景中数据的增多,概念数量会急剧增加。概念格的属性约简在保持形式背景所有概念的外延集不变的前提下,寻找极小属性子集,使概念格表示的知识变得更简单,也使得决策问题得以简化。本文主要研究了模糊形式背景的属性约简,通过... 随着形式背景中数据的增多,概念数量会急剧增加。概念格的属性约简在保持形式背景所有概念的外延集不变的前提下,寻找极小属性子集,使概念格表示的知识变得更简单,也使得决策问题得以简化。本文主要研究了模糊形式背景的属性约简,通过设定阈值将模糊形式背景转换为经典形式背景,引入可约元及属性约简集的构成,提出了属性约简算法,讨论了算法的时间复杂度。通过实例分析,对于属性个数小于对象个数的形式背景,文中提出的算法更有效。 展开更多

关键词 概念格 属性约简 可约元 模糊形式背景 阈值

下载PDF 职称材料

集族等价与基于粒的下近似算子研究

6

作者 胡霞 费鹏 杜卫锋 《智能系统学报》 CSCD 北大核心 2018年第2期327-330,共4页

基于覆盖的粗集是推广经典粗集理论的方法之一,有基于元素、基于粒和基于子系统的3类定义上下近似的途径,以往大多数的文献往往从基于元素的角度出发进行定义。为了研究基于粒的近似算子特别是下近似算子的性质,借鉴格论中既约元、可约... 基于覆盖的粗集是推广经典粗集理论的方法之一,有基于元素、基于粒和基于子系统的3类定义上下近似的途径,以往大多数的文献往往从基于元素的角度出发进行定义。为了研究基于粒的近似算子特别是下近似算子的性质,借鉴格论中既约元、可约元等概念,提出了集族约简的概念。从集族约简出发,探讨了集族等价的概念与性质,并设计了集族约简的算法,得到了两个集族等价是两个集族生成相同的下近似运算的充要条件这一结果,为进一步开展一般二元关系下基于粒的近似算子的公理化方法的研究做了初步的理论方面的准备工作。 展开更多

关键词 近似算子 约简 粗集 既约元 可约元 覆盖 粒 集族约简

下载PDF 职称材料

复交换Banach代数中可约元的等价条件

7

作者 殷苌茗 《长沙水电师院自然科学学报》 1990年第1期58-61,共4页

设A是一个复交换Banach代数.本文在G·Corach等人给出的“可约”概念基础上,证明了A中可约元(α,α)的几个有趣的等价条件.主要结果是:若A是一个复交换Banach代数,(α,α)∈U_(n+1)(A).则(α,α)在A中可约的充分必要条件是存在f_m∈... 设A是一个复交换Banach代数.本文在G·Corach等人给出的“可约”概念基础上,证明了A中可约元(α,α)的几个有趣的等价条件.主要结果是:若A是一个复交换Banach代数,(α,α)∈U_(n+1)(A).则(α,α)在A中可约的充分必要条件是存在f_m∈U_n(C(σ(A))),使得‖f_m-α‖Zα→0.这里‖f_m‖Zα=sup{‖f_m(h)h∈Z_α}.(m∈N). 展开更多

关键词 BANACH代数 可约元 复交换 等价

下载PDF 职称材料

形式背景与协调决策形式背景属性约简与概念格生成 被引量：37

8

作者 李进金 张燕兰 +1 位作者 吴伟志 陈锦坤 《计算机学报》 EI CSCD 北大核心 2014年第8期1768-1774,共7页

通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最后,针对协调决策形式背景,通过实例... 通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最后,针对协调决策形式背景,通过实例给出了新的属性约简方法. 展开更多

关键词 形式背景 概念格 交式可约元 属性约简 概念格的生成算法

下载PDF 职称材料

基于交可约等价类的概念格属性约简 被引量：5

9

作者 林培榕 张其森 李进金 《模式识别与人工智能》 EI CSCD 北大核心 2010年第5期720-726,共7页

定义交可约等价类的概念,研究基于交可等价类的概念格属性约简及其算法,并由此得到不同类型属性的特征.使用链表表示形式背景的逻辑结构并根据外延对象个数大小建立索引快速判断交运算对属性约简的有效性.根据属性对交运算的不同作用找... 定义交可约等价类的概念,研究基于交可等价类的概念格属性约简及其算法,并由此得到不同类型属性的特征.使用链表表示形式背景的逻辑结构并根据外延对象个数大小建立索引快速判断交运算对属性约简的有效性.根据属性对交运算的不同作用找出所有不必要属性,最终得到概念格的属性约简. 展开更多

关键词 概念格 属性约简 交可约等价类 交可约元

原文传递

Fuzzy函数并不可约元的再化简问题 被引量：3

10

作者 杨纶标 《应用数学》 CSCD 北大核心 1995年第1期20-25,共6页

文[1]将Fuzzy逻辑函数化为并不可约元的和式。本文讨论将这个和式进行再化简。主要证明了可删去项和字的充分必要条件。从而找到了把Fuzzy逻辑函数化到最简而且是简便的方法。

关键词 模糊函数 化简问题 并不可约元

下载PDF 职称材料

一种基于并不可约元的建格新方法 被引量：4

11

作者 万青 魏玲 李涛 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第1期10-14,共5页

目的研究形式背景的建格问题。方法由形式背景中对象集的每一个等价类所拥有的属性子集之间的包含关系出发构建Hasse图。结果由此Hasse图可直接得到形式背景的概念格和面向属性概念格的并稠密子集。结论提出的方法能较快速地找到概念格... 目的研究形式背景的建格问题。方法由形式背景中对象集的每一个等价类所拥有的属性子集之间的包含关系出发构建Hasse图。结果由此Hasse图可直接得到形式背景的概念格和面向属性概念格的并稠密子集。结论提出的方法能较快速地找到概念格和面向属性概念格的并稠密子集,进一步利用并不可约元的性质得到全部的概念。 展开更多

关键词 形式背景 Hasse图 并稠密 并不可约元 概念格

下载PDF 职称材料

面向对象概念格的属性约简方法 被引量：4

12

作者 汪秋分 李进金 卞洪亚 《重庆理工大学学报（自然科学）》 CAS 北大核心 2020年第5期256-262,共7页

在给定形式背景下,给出了求解经典概念格、面向对象概念格和面向属性概念格的一种简便方法。给出了面向对象概念格的属性约简的判定定理,并提出了一种利用并可约元求解面向对象概念格的属性约简的方法。在此基础上,得到了其约简集以及... 在给定形式背景下,给出了求解经典概念格、面向对象概念格和面向属性概念格的一种简便方法。给出了面向对象概念格的属性约简的判定定理,并提出了一种利用并可约元求解面向对象概念格的属性约简的方法。在此基础上,得到了其约简集以及属性集的3种分类,即必要属性集、相对必要属性集、不必要属性集. 展开更多

关键词 形式背景 面向对象概念格 属性约简 并可约元

下载PDF 职称材料

完全并不可约元和弱并不可约元

13

作者 徐款款 《洛阳师范学院学报》 2018年第8期1-2,共2页

在并不可约元的基础上,给出了完全并不可约元的定义及其性质和弱并不可约元的定义及其性质.

关键词 并-序生成 并不可约元 完全并不可约元 弱并不可约元

下载PDF 职称材料

基于并不可约元的面向对象概念格的属性约简 被引量：3

14

作者 陈永平 杨思春 苏新 《计算机工程与应用》 CSCD 2014年第10期131-135,共5页

概念格的属性约简是知识处理的重要研究问题之一。提出了一种面向对象概念格的属性约简方法。首先介绍了求面向对象概念格中并不可约元的方法,进而给出了面向对象概念格的并不可约元的外延集与面向对象概念格的协调集和约简集之间的关系... 概念格的属性约简是知识处理的重要研究问题之一。提出了一种面向对象概念格的属性约简方法。首先介绍了求面向对象概念格中并不可约元的方法,进而给出了面向对象概念格的并不可约元的外延集与面向对象概念格的协调集和约简集之间的关系,在此基础上,给出面向对象概念格的属性特征、并不可约元的外延集、属性等价类三者间的关系,最后利用这三者间的关系给出了面向对象概念格的约简集的构造。 展开更多

关键词 概念格 面向对象概念格 并不可约元 属性约简 属性类别

下载PDF 职称材料

闭格与拓扑交结构 被引量：3

15

作者 杨田 李庆国 王璐 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第12期76-79,共4页

定义了一种新形式的格——闭格以及一种新的交结构——拓扑交结构,并证明闭格与有上界的拓扑交结构是一一对应的,闭半格与拓扑交结构也是一一对应的.从范畴的观点来看,闭格构成的范畴TL与有上界的拓扑交结构所构成的范畴TTS是范畴等价的... 定义了一种新形式的格——闭格以及一种新的交结构——拓扑交结构,并证明闭格与有上界的拓扑交结构是一一对应的,闭半格与拓扑交结构也是一一对应的.从范畴的观点来看,闭格构成的范畴TL与有上界的拓扑交结构所构成的范畴TTS是范畴等价的;闭半格所构成的范畴TSL与拓扑交结构所构成的范畴TS也是范畴等价的. 展开更多

关键词 拓扑 拓扑闭包算子 闭格 拓扑交结构 并不可约元

下载PDF 职称材料

格上合作对策的Banzhaf值 被引量：2

16

作者 吴美容 孙浩 《运筹学学报》 CSCD 2009年第3期103-110,共8页

本文介绍了格上的合作对策,并给出了格上合作对策的Banzhaf解,同时利用线性性,哑元性,单调性,对称性,不变性和2-有效性等六条公理完成了对Banzhaf值的唯一性刻画.在证明唯一性的过程中,利用了一个同构变换,将格上多选择合作对策映射到... 本文介绍了格上的合作对策,并给出了格上合作对策的Banzhaf解,同时利用线性性,哑元性,单调性,对称性,不变性和2-有效性等六条公理完成了对Banzhaf值的唯一性刻画.在证明唯一性的过程中,利用了一个同构变换,将格上多选择合作对策映射到经典合作对策来进行研究. 展开更多

关键词 运筹学 格 Banzhaf值 合作对策 并不可约元

下载PDF 职称材料

有序加权几何均值(OWG)算子的序结构 被引量：1

17

作者 李楠 樊太和 《浙江理工大学学报（自然科学版）》 2011年第1期131-134,154,共5页

讨论有序加权几何均值(OWG)算子的比较问题。将原有的OWG算子定义作了推广,从而使得OWG算子对闭单位区间的乘积上所有元素都有定义。证明了按照权重向量的序关系OWG算子集合构成一个完备格。在此基础上,给出了权重向量中的并不可约元的... 讨论有序加权几何均值(OWG)算子的比较问题。将原有的OWG算子定义作了推广,从而使得OWG算子对闭单位区间的乘积上所有元素都有定义。证明了按照权重向量的序关系OWG算子集合构成一个完备格。在此基础上,给出了权重向量中的并不可约元的结构,并给出了用并不可约元表示权重向量集合里的所有元素的方法。 展开更多

关键词 有序加权几何均值算子 算子比较 序 并不可约元

下载PDF 职称材料

匹配分配格J(Z_n)

18

作者 杨德五 张光辉 王三良 《长春师范学院学报（自然科学版）》 2006年第2期13-15,共3页

关于平面二部图的完美匹配集合上的分配格结构已经被建立。一个格是匹配分配格,如果它同构于这样的格,这自然需要对匹配分配格进行刻画。在本文中,一类匹配分配格J(Zn)被给出,其中Zn表示n-元“zig-zag”偏序集或者栅栏,它的元素是{x1,x2... 关于平面二部图的完美匹配集合上的分配格结构已经被建立。一个格是匹配分配格,如果它同构于这样的格,这自然需要对匹配分配格进行刻画。在本文中,一类匹配分配格J(Zn)被给出,其中Zn表示n-元“zig-zag”偏序集或者栅栏,它的元素是{x1,x2,…,xn},而覆盖关系是x2i-1 x2i和x2i x2i+1。 展开更多

关键词 匹配分配格 偏序集 有向Z-变换图 哈斯图 六角链 并不可约元 平面二部图 完美匹配

下载PDF 职称材料

闭格的性质

19

作者 李庆国 吴琼 伍秀华 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第7期113-116,共4页

对闭格进行研究,给出了闭格的等价刻画,讨论了闭格与Locale的关系,并证明了闭格的笛卡尔乘积仍是闭格.同时,得到了闭格在保任意并的满态射下仍是闭格,最后证明了闭格在闭包运算下的像是闭格.

关键词 闭格 并不可约元 LOCALE 笛卡尔乘积 闭包运算

下载PDF 职称材料