模态逻辑S4的覆盖语义及其完备性 被引量：1

1

作者 于海 詹婉荣 张瑞玲 《电子学报》 EI CAS CSCD 北大核心 2012年第4期745-750,共6页

基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.

关键词 模态逻辑 覆盖语义 Kripke语义 拓扑语义 完备性

在线阅读 下载PDF 职称材料

大变量逻辑函数最佳覆盖问题研究 被引量：2

2

作者 管致锦 张义清 +1 位作者 邱建林 王波 《计算机应用与软件》 CSCD 北大核心 2003年第12期11-13,共3页

逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算... 逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明 ,改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。 展开更多

关键词 逻辑函数 最佳覆盖问题 逻辑综合 Beister算法

在线阅读 下载PDF 职称材料

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定 被引量：5

3

作者 刘任任 王婷 谭昊勋 《计算机科学》 CSCD 北大核心 2010年第11期257-260,共4页

根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

关键词 多值逻辑 SHEFFER函数 最小覆盖

在线阅读 下载PDF 职称材料

表达式的覆盖、分解与划分 被引量：2

4

作者 周生炳 戴汝为 《软件学报》 EI CSCD 北大核心 1996年第4期223-232,共10页

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础... 本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础． 展开更多

关键词 标记逻辑程序 表达式 覆盖 分解 划分

在线阅读 下载PDF 职称材料

部分四值逻辑中准完备集的最小覆盖 被引量：1

5

作者 龚志伟 刘任任 《计算机工程与应用》 CSCD 2012年第23期52-57,76,共7页

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。

关键词 多值逻辑 最小覆盖 SHEFFER函数

在线阅读 下载PDF 职称材料

计算机辅助逻辑函数化简——多维体化简方法研究 被引量：5

6

作者 李月桥 韩万余 +1 位作者 孙淑艳 马永超 《现代电力》 2000年第2期44-49,共6页

在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的... 在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的化简方法对于掌握数字电子设计自动化领域的综合优化技术 ,进而开发出综合优化软件工具 。 展开更多

关键词 逻辑设计 逻辑函数 多维体 计算机辅助 电子设计

在线阅读 下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定与构造 被引量：2

7

作者 刘任任 《计算机工程与科学》 CSCD 2008年第11期75-76,共2页

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。

关键词 多值逻辑 Sheller函数 最小覆盖

在线阅读 下载PDF 职称材料

计算机化简逻辑函数的算法研究 被引量：6

8

作者 朱幼莲 《南京理工大学学报》 EI CAS CSCD 北大核心 2003年第4期405-408,共4页

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题 ,该文用改进的重复包含算法寻找逻辑函数的质蕴涵 ,选择极值法求最小覆盖 ,并对循环函数进行处理。实验表明 ,这种算法可以减少存储容量、加快运算速度 ,而且可... 针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题 ,该文用改进的重复包含算法寻找逻辑函数的质蕴涵 ,选择极值法求最小覆盖 ,并对循环函数进行处理。实验表明 ,这种算法可以减少存储容量、加快运算速度 ,而且可以增大算法的应用范围。因此 。 展开更多

关键词 逻辑函数 化简 质蕴涵 最小覆盖

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

P^＊4中保四元正则可离关系非最小覆盖的剔除 被引量：1

10

作者 周小强 刘任任 《计算机应用研究》 CSCD 北大核心 2009年第6期2090-2091,2094,共3页

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多

关键词 多值逻辑 完备性 正则可离关系 最小覆盖

在线阅读 下载PDF 职称材料

适于大数目输入变量的逻辑综合启发式算法

11

作者 管致锦 张义清 《计算机应用与软件》 CSCD 北大核心 2004年第11期8-9,20,共3页

本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输... 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。 展开更多

关键词 输入变量 逻辑综合 启发式算法 文字 自顶向下 逼近 测试 实验证明 数目 随机

在线阅读 下载PDF 职称材料

P4^＊中保四元正则可离关系最小覆盖之确定 被引量：1

12

作者 周小强 刘任任 《计算机科学》 CSCD 北大核心 2009年第9期176-177,192,共3页

根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。

关键词 多值逻辑 正则可离关系 SHEFFER函数 最小覆盖

在线阅读 下载PDF 职称材料

线性可分结构系对二进神经元的覆盖问题

13

作者 杨娟 陆阳 黄镇谨 《计算机科学》 CSCD 北大核心 2012年第7期195-199,共5页

二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论了其是否覆盖了所有的二进神经元;最后,指出阈值在某些范围内... 二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论了其是否覆盖了所有的二进神经元;最后,指出阈值在某些范围内二进神经元所对应的线性可分函数的逻辑意义仍不清楚,这为进一步完善二进神经元的覆盖问题指明了方向。 展开更多

关键词 二进神经网络 线性可分结构系 覆盖问题 逻辑意义

在线阅读 下载PDF 职称材料

csf可数空间的注记 被引量：2

14

作者 林寿 葛英 《高校应用数学学报（A辑）》 CSCD 北大核心 2017年第1期79-86,共8页

讨论csf可数空间的性质,把csf可数空间刻画为度量空间的映像,同时探讨了伪紧的csf可数空间的第一可数性质,推广了Arhangel’skiˇ?关于度量空间伪开s映像的结果,证明了正则伪紧的仿拓扑群是可度量化的当且仅当它是csf可数的Fr′echet空间.

关键词 csf可数空间 序列覆盖映射 伪紧空间 仿拓扑群

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

逻辑函数高阶布尔e偏导数求解算法的实现

20

作者 罗文强 王伦耀 夏银水 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2018年第4期420-426,共7页

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"... 针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感. 展开更多

关键词 e导数 e偏导数 高阶 逻辑覆盖 逻辑不相交运算

在线阅读 下载PDF 职称材料