不完备异构冲突信息系统中的极大一致联盟区间集族 被引量：1

1

作者 罗珺方 张硕 胡梦君 《计算机科学与探索》 CSCD 北大核心 2024年第5期1232-1242,共11页

作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于... 作为处理不确定性问题的有效工具,三支决策已被广泛应用于冲突分析研究中。然而,现有的三支冲突分析模型大多基于单一类型的冲突信息系统,难以应对实际应用中代理对议题具有多类型评价值和缺失值的情况。同时,已有联盟集的定义通常基于给定代理,即联盟集中的代理与给定代理具有联盟关系,但不一定两两联盟。为了解决这些问题,构建了基于不完备异构冲突信息系统的三支冲突分析模型,并提出了代理两两相关的极大一致联盟区间集族的定义及其构造算法。首先,通过定义代理不同类型评价值的支持度和反对度,将对单个议题单维度多类型评价值的不完备异构冲突信息系统转化为双维度同类型评价值的二维模糊不完备冲突信息系统。其次,通过定义代理之间的乐观与悲观距离函数,构造了基于代理的联盟、冲突、中立区间集。最后,定义了极大一致联盟区间集族,并利用极大团的枚举算法获取极大一致联盟区间集族。 展开更多

关键词 三支决策 冲突分析 不完备异构信息系统 极大团 极大一致联盟区间集族

在线阅读 下载PDF 职称材料

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 被引量：4

2

作者 刘玉珍 刘任任 《海军工程大学学报》 CAS 2004年第5期17-20,共4页

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

关于部分多值逻辑函数集中准完备集的若干性质 被引量：1

3

作者 刘任任 王婷 谭昊勋 《计算机学报》 EI CSCD 北大核心 2012年第4期754-760,共7页

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给... Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础. 展开更多

关键词 多值逻辑 完备性 保关系 准完备集 SHEFFER函数

在线阅读 下载PDF 职称材料

部分多值逻辑函数集中准完备集的分类问题研究

4

作者 王婷 刘任任 马珂 《计算机科学》 CSCD 北大核心 2014年第8期60-62,共3页

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。

关键词 多值逻辑 完备性 保关系 准完备集 SHEFFER函数

在线阅读 下载PDF 职称材料

部分多值逻辑的准完备集中同源关系的研究

5

作者 龚志伟 《计算机工程与科学》 CSCD 北大核心 2014年第8期1533-1537,共5页

通过研究准完备集之间存在的内在联系,首次提出了两个m项关系同源的概念,然后分析并证明了保同源关系的准完备集之间的性质,最后阐述了此性质在准完备集之最小覆盖的证明过程中所发挥的作用。

关键词 多值逻辑 准完备集 最小覆盖 同源关系

在线阅读 下载PDF 职称材料

一类零相关区序列集构造方法的改进 被引量：5

6

作者 江文峰 曾祥勇 +1 位作者 胡磊 刘合国 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1476-1479,共4页

最近Matsufuji和Torii等人分别提出了由酉矩阵和完备序列构造零相关区序列集的方法.本文不仅推广了Matsufuji等人的结论,而且推广了Torii等人的部分结论,扩大了基于酉矩阵和完备序列构造零相关区序列集的方法的适用范围,得到了一些新的... 最近Matsufuji和Torii等人分别提出了由酉矩阵和完备序列构造零相关区序列集的方法.本文不仅推广了Matsufuji等人的结论,而且推广了Torii等人的部分结论,扩大了基于酉矩阵和完备序列构造零相关区序列集的方法的适用范围,得到了一些新的零相关区序列集. 展开更多

关键词 准同步CDMA通信系统 零相关区序列集 完备序列 酉矩阵

在线阅读 下载PDF 职称材料

部分K值逻辑中正则可离函数集的一些结果 被引量：2

7

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

基于极大相容块的不完备模糊目标信息系统的近似约简 被引量：1

8

作者 胡宝清 温彪 《江西师范大学学报（自然科学版）》 CAS 北大核心 2015年第1期15-19,共5页

在不完备模糊目标信息系统中引入了极大相容块的概念,定义了上下近似,并通过精确度的计算得到上下近似的定义具有合理性,同时提出了近似一致集的概念,给出了相关的粗糙集模型,以及该模型的近似约简概念及辨识矩阵的近似约简方法.

关键词 不完备模糊目标信息系统 极大相容块 辨识矩阵 上近似一致集 下近似一致集 近似约简

在线阅读 下载PDF 职称材料

部分K值逻辑中完满对称函数集的确定和构造

9

作者 龚志伟 刘任任 《计算机工程与科学》 CSCD 北大核心 2013年第2期81-84,共4页

根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。

关键词 多值逻辑 准完备集 完满对称函数集

在线阅读 下载PDF 职称材料

极大相容度关系模型及其属性约简 被引量：1

10

作者 朱颢东 钟勇 《郑州大学学报（理学版）》 CAS 北大核心 2009年第4期35-39,共5页

经典粗集理论以等价关系为基础,它们在处理不完备信息系统时存在一定的局限性.从扩展粗集理论的适应范围角度出发,引入信息系统对象的先验概率,结合量化相容关系的思想,提出了极大相容度关系模型,然后以该模型为基础研究了不完备信息系... 经典粗集理论以等价关系为基础,它们在处理不完备信息系统时存在一定的局限性.从扩展粗集理论的适应范围角度出发,引入信息系统对象的先验概率,结合量化相容关系的思想,提出了极大相容度关系模型,然后以该模型为基础研究了不完备信息系统的属性约简,通过严格的数学证明,提出了一种不完备信息系统的启发式属性约简算法.最后通过一个实例验证了该相容关系模型及其基于启发式的属性约简算法. 展开更多

关键词 粗集 不完备信息系统 相容关系 极大相容度 属性约简

在线阅读 下载PDF 职称材料

部分K值逻辑中最小覆盖之判定的一些结果 被引量：5

11

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第23期38-39,50,共3页

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

部分二值逻辑中Sheffer函数的判定 被引量：6

12

作者 刘任任 陈建二 陈松乔 《计算机工程》 CAS CSCD 北大核心 2004年第24期19-21,共3页

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。

关键词 SHEFFER函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定 被引量：1

13

作者 金辉霞 何骞 《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 展开更多

关键词 多值逻辑 SHEFFER函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料

正则可离关系之最小覆盖成员的判定结果

14

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 正则可离关系

在线阅读 下载PDF 职称材料

部分三值逻辑中Sheffer函数的判定算法 被引量：4

15

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。

关键词 多值逻辑 准完备集 最小覆盖 SHEFFER函数

在线阅读 下载PDF 职称材料

部分二值逻辑中Sheffer函数的构造与判定算法 被引量：4

16

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2010年第5期28-30,共3页

在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种... 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。 展开更多

关键词 SHEFFER函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料