期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到114篇文章
< 1 2 … 6 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Boole幂格与Boole幂环
1
作者 明平华 胡适耕 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第5期114-116,共3页
超代数是近年来较为热门的研究对象 ,它在逻辑和近似推理等研究中具有重要的应用前景 .在格的提升———幂格 ,环的提升———幂环的基础上给出了Boole幂格与Boole幂环的概念 ,并且讨论了Boole幂格与Boole幂环的一些基本性质和它们在一... 超代数是近年来较为热门的研究对象 ,它在逻辑和近似推理等研究中具有重要的应用前景 .在格的提升———幂格 ,环的提升———幂环的基础上给出了Boole幂格与Boole幂环的概念 ,并且讨论了Boole幂格与Boole幂环的一些基本性质和它们在一定条件下的对应关系 . 展开更多
关键词 boole格 boole环 boole幂格 boole幂环
在线阅读 下载PDF
关于Boole语义的真度不变性定理 被引量：5
2
作者 段景瑶 王国俊 《模糊系统与数学》 CSCD 北大核心 2008年第2期36-40,共5页
基于B-赋值理论,在B为有限Boole代数的前提下,得出了三个主要结论。首先,讨论了广义Boole函数与Boole函数之间的关系。其次,得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。
关键词 B-赋值 B-真度 boole函数 K级元 boole代数
在线阅读 下载PDF
命题演算系统L~*中的Boole型理论
3
作者 王茹 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第4期1-3,7,共4页
研究了命题演算系统L*中一类特殊理论——Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小... 研究了命题演算系统L*中一类特殊理论——Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小的Boole型闭理论. 展开更多
关键词 boole型理论 R0代数 boole代数 箩系统
在线阅读 下载PDF
经典命题逻辑的Boole语义理论 被引量：11
4
作者 傅丽 宋建社 《模糊系统与数学》 CSCD 北大核心 2007年第2期46-52,共7页
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。
关键词 有限boole代表 B-赋值 B-真度
在线阅读 下载PDF
Boole环的推广 被引量：2
5
作者 马彪 《杭州师范大学学报（自然科学版）》 CAS 2013年第1期61-64,69,共5页
定义了弱Boole环,并在第一部分考虑了弱Boole环的一些基本性质,如特征和交换性.第二部分研究弱Boole环的理想,主要是素理想、极大理想和有限生成理想,并证明了有限弱Boole环是有限Boole环与Z3的直和.最后,给出了弱Boole环的一些扩张.
关键词 boole环 弱boole环 幂等元
在线阅读 下载PDF
基于Boole过程的并行逻辑模拟算法 被引量：2
6
作者 冯刚 马光胜 杜振军 《哈尔滨工程大学学报》 EI CAS CSCD 2001年第6期59-64,1,共6页
在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻... 在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法 .该算法免除了以往耗时很多的电路划分过程 ,在一定程度上提高了并行加速比 . 展开更多
关键词 boole过程论 加权活动元件队列 加速比 并行逻辑模拟算法
在线阅读 下载PDF
Boole函数的线性可分性(Ⅰ)——n-维超立方体的基本理论 被引量：4
7
作者 许进 保铮 《电子与信息学报》 EI CSCD 1996年第S1期6-13,共8页
Boole函数的线性可分性是前向人工神经网络理论中的一个比较困难的问题之一。目前仅对变量数n≤7的某些问题给予讨论。当n≥8时,尚无判别Boole函数线性可分的一般准则,更无线性可分Boole函数的计数公式。基于此,本文详细地研究了与Bool... Boole函数的线性可分性是前向人工神经网络理论中的一个比较困难的问题之一。目前仅对变量数n≤7的某些问题给予讨论。当n≥8时,尚无判别Boole函数线性可分的一般准则,更无线性可分Boole函数的计数公式。基于此,本文详细地研究了与Boole函数线性可分性有关的n-维超立方体的基本理论,包括n-维超立方体的基本性质、超立方体中的平行线、子超立方体的计数等,并给出了构造n-维超立方体图的一种新方法。 展开更多
关键词 前向人工神经网络 线性可分性 boole函数 n-维超立方体
在线阅读 下载PDF
有限Boole语义的随机化 被引量：3
8
作者 左卫兵 叶晓枫 《兰州理工大学学报》 CAS 北大核心 2012年第1期143-148,共6页
基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.
关键词 有限boole代数 B-赋值 B-随机真度 B-随机相似度 逻辑度量空间
在线阅读 下载PDF
Boole函数的线性可分性(Ⅱ)——判别Boole函数线性可分的若干准则 被引量：3
9
作者 许进 保铮 《电子与信息学报》 EI CSCD 1996年第S1期14-20,共7页
Boole函数线性可分性问题是前向人工神经网络的一个非常重要而困难的问題之一,目前只就函数的维数n≤7的情况进行过讨论,当n≥8时,还没有一个判别Boole函数是否是线性可分的一般方法。本文应用图论的方法,给出了判别Boole函数线性可分... Boole函数线性可分性问题是前向人工神经网络的一个非常重要而困难的问題之一,目前只就函数的维数n≤7的情况进行过讨论,当n≥8时,还没有一个判别Boole函数是否是线性可分的一般方法。本文应用图论的方法,给出了判别Boole函数线性可分的若干简捷方法,即给出了Boole函数线性可分的若干充分条件和必要条件,从而解决了前向人工神经网络中的一个基本问题。 展开更多
关键词 boole函效 线性可分性 前向神经网络 图论
在线阅读 下载PDF
基于Boole过程的考虑互连延迟的逻辑电路波形模拟中的关键问题 被引量：1
10
作者 冯刚 马光胜 杜振军 《计算机工程与应用》 CSCD 北大核心 2003年第6期13-15,40,共4页
论文运用Boole过程论中对逻辑电路进行描述和计算的基本思想,较好地解决了逻辑电路波形模拟中的冒险检测与消除、反馈环路处理、伪路径识别和惯性延迟冲突等关键问题。在此基础上,面向详细布线提出RC延迟与动态加载串扰相结合的互连线... 论文运用Boole过程论中对逻辑电路进行描述和计算的基本思想,较好地解决了逻辑电路波形模拟中的冒险检测与消除、反馈环路处理、伪路径识别和惯性延迟冲突等关键问题。在此基础上,面向详细布线提出RC延迟与动态加载串扰相结合的互连线延迟计算方法,并将其融入到基于Boole过程的波形模拟算法中。论文充实和完善了基于Boole过程的波形模拟算法,改进了其中的不足之处,扩展了Boole过程的应用。 展开更多
关键词 boole过程 互连延迟 波形模拟 惯性延迟 耦合电容 逻辑电路 超深亚微米工艺
在线阅读 下载PDF
Boole语义的程度化方法 被引量：4
11
作者 左卫兵 《电子学报》 EI CAS CSCD 北大核心 2012年第3期441-447,共7页
基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化... 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法. 展开更多
关键词 boole语义 B-赋值 B-概率真度 概率逻辑度量空间 近似推理
在线阅读 下载PDF
多值Boole过程 被引量：1
12
作者 杜振军 马光胜 《计算机工程》 CAS CSCD 北大核心 2003年第10期21-23,共3页
采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、... 采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。 展开更多
关键词 boole过程 多值逻辑电路 带状波形 Allen-Givone代数
在线阅读 下载PDF
R_0-代数的Boole可补元与直积分解 被引量：5
13
作者 朱怡权 《高校应用数学学报（A辑）》 CSCD 北大核心 2006年第4期495-500,共6页
在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解.这些结果在一定程度上反映了R0-代数内部结构的特征,有益于从语义的角度进一步研究格值模糊逻辑系统.
关键词 R0-代数 boole可补元 直积分解
在线阅读 下载PDF
备Boole格的同态是备的充要条件 被引量：3
14
作者 董荣森 《数学杂志》 CSCD 北大核心 1989年第3期279-284,共6页
本文主要给出下面的结果.设Φ是备Boole格到格的同态,那末Φ是备的充分必要条件是:Φ的核是单项幻.
关键词 备boole格 备同态 核 单项幻
在线阅读 下载PDF
Boole代数的等价刻画 被引量：1
15
作者 段景瑶 王国俊 《宝鸡文理学院学报（自然科学版）》 CAS 2007年第3期169-172,179,共5页
目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各... 目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。 展开更多
关键词 boole代数 公理集 独立性
在线阅读 下载PDF
关于Boole格同态的扩张 被引量：2
16
作者 董荣森 《数学杂志》 CSCD 北大核心 1989年第4期381-390,共10页
本文主要证明了Boole格到格上的同态Φ可扩张为的完备化到的完备化上的备同态的充分必要条件是:Φ的核是一个分划。
关键词 boole格 同态 完备化 核 分划
在线阅读 下载PDF
紧T_2拓扑Boole格的超滤子的收敛性 被引量：2
17
作者 董荣森 《江西师范大学学报（自然科学版）》 CAS 1989年第2期1-6,12,共7页
本文主要证明了下面的结果:紧 T_2拓扑 Boole 格的每个超滤子都有唯一的极限.
关键词 拓扑boole格 超滤子 收敛性
在线阅读 下载PDF
关于拓扑Boole格的积(Ⅰ) 被引量：1
18
作者 董荣森 《江西师范大学学报（自然科学版）》 CAS 1990年第4期117-118,共2页
本文将拓扑空间上的连通性推广到一般拓扑Boolean格上,从而否定了文献[2]里提到的一个猜测。
关键词 拓扑空间 拓扑boole格 积
在线阅读 下载PDF
Boole环的结构特征 被引量：1
19
作者 林大华 戴立辉 《廊坊师范学院学报（自然科学版）》 2018年第4期7-9,共3页
对Boole环的结构进行探讨,得到了若干Boole环的基本性质定理,并对Boole的特征作了较为系统的刻画。
关键词 环 幂等元 boole环
在线阅读 下载PDF
Boole矩阵法模糊聚类在地形图数据挖掘中的应用 被引量：2
20
作者 王宇 臧妻斌 《高师理科学刊》 2006年第3期71-75,共5页
Boole数形成的λ-截矩阵Rλ能有效的对模糊相似矩阵进行分类,其分类结果与传递闭包法模糊聚类结果一样.但相比传递闭包法,在大容量数据应用中,Boole矩阵法在计算机编程时更容易应用.将Boole矩阵模糊聚类的方法应用在地形图数据分析中,... Boole数形成的λ-截矩阵Rλ能有效的对模糊相似矩阵进行分类,其分类结果与传递闭包法模糊聚类结果一样.但相比传递闭包法,在大容量数据应用中,Boole矩阵法在计算机编程时更容易应用.将Boole矩阵模糊聚类的方法应用在地形图数据分析中,使分析聚类在计算机应用上更容易. 展开更多
关键词 boole矩阵 模糊聚类 数据挖掘
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 6 下一页 到第 页
使用帮助 返回顶部