期刊文献+
共找到112篇文章
< 1 2 6 >
每页显示 20 50 100
命题逻辑中的L-型冗余性质
1
作者 刘凌荣 陈树伟 姜世攀 《计算机科学》 CSCD 北大核心 2023年第S01期43-47,共5页
在命题逻辑SAT求解过程中,子句集简化技术是重要的一个环节。冗余性质所对应的子句消去方法可以准确识别并删除冗余子句。无论是在预处理阶段还是SAT求解过程中,子句消去方法嵌入到SAT求解器均可加快求解器的求解效率。现有的高效子句... 在命题逻辑SAT求解过程中,子句集简化技术是重要的一个环节。冗余性质所对应的子句消去方法可以准确识别并删除冗余子句。无论是在预处理阶段还是SAT求解过程中,子句消去方法嵌入到SAT求解器均可加快求解器的求解效率。现有的高效子句消去方法大多基于封锁子句冗余性质和蕴涵模归结子句冗余性质扩展而来,为检查子句C是否冗余,只需要考虑子句C是否满足冗余条件。提出一种L-型冗余性质,它是封锁冗余性质、包含冗余性质、蕴涵模归结冗余性质的推广,将冗余子句判断条件由单个文字的归结式拓展到文字集合的组合。然后,针对L-型冗余性质,分析L-型冗余子句具有的性质,并将L-型冗余子句与已有的冗余子句的高效性进行比较,说明所提出的L-型冗余性质的高效性。 展开更多
关键词 命题逻辑 子句消去方法 l-型冗余性质
下载PDF
Carnap's Thought on Inductive Logic
2
作者 Yusuke Kaneko 《Journal of Philosophy Study》 2012年第11期773-793,共21页
关键词 归纳逻辑 逻辑思想 卡尔 维特根斯坦 研究人员 统计分布 装配顺序 哲学论
下载PDF
Kabbalah Logic and Semantic Foundations for a Postmodern Fuzzy Set and Fuzzy Logic Theory
3
作者 Gabriel Burstein Constantin Virgil Negoita Menachem Kranz 《Applied Mathematics》 2014年第9期1375-1385,共11页
Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of ... Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of a postmodern fuzzy set and fuzzy logic theory addressing these issues by deconstructing fuzzy truth values and fuzzy set membership functions to re-capture the human knowledge and subjectivity structure in membership function evaluations. We formulate a fractal multi-modal logic of Kabbalah which integrates the cognitive, emotional and behavioral levels of humanistic systems into epistemic and modal, deontic and doxastic and dynamic multi-modal logic. This is done by creating a fractal multi-modal Kabbalah possible worlds semantic frame of Kripke model type. The Kabbalah possible worlds semantic frame integrates together both the multi-modal logic aspects and their Kripke possible worlds model. We will not focus here on modal operators and axiom sets. We constructively define a fractal multi-modal Kabbalistic L-fuzzy set as the central concept of the postmodern fuzzy set theory based on Kabbalah logic and semantics. 展开更多
关键词 l-Fuzzy SETS FUZZY SETS FUZZY logic Modal logic FUZZY Semantics Kripke Possible Worlds Model Kabbalah Sefirot Partzufim Tree of life Tikkun POSTMODERNISM Deconstruction logic HUMANISTIC Systems
下载PDF
基于双掩码技术的抗功耗攻击CMOS电路设计
4
作者 姚茂群 李海威 +1 位作者 李聪辉 薛紫微 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第4期418-425,共8页
为增强现有差分传输管预充电逻辑(differential pass-transistor pre-charge logic,DP^(2)L)电路结构的抗功耗攻击性能,设计并开发了一种改进型DP^(2)L电路。与改进前电路相比,改进型DP^(2)L电路在不同输入信号下晶体管的导通数目保持相... 为增强现有差分传输管预充电逻辑(differential pass-transistor pre-charge logic,DP^(2)L)电路结构的抗功耗攻击性能,设计并开发了一种改进型DP^(2)L电路。与改进前电路相比,改进型DP^(2)L电路在不同输入信号下晶体管的导通数目保持相同,从而表现出更好的功耗恒定性能。在此基础上,进一步设计了双轨双掩码差分传输管预充电逻辑(double masked differential pass-transistor pre-charge logic,DMDP^(2)L)电路。该电路不仅改善了原有电路的功耗恒定特性,而且引入的双掩码具有随机性,加大了攻击者获取电路运算结果的难度。模拟结果表明,设计的双轨DMDP^(2)L电路较其他3种同类型逻辑电路的标准化能量偏差(normalized energy deviation,NED)分别减小了11.33%,5.19%和3.06%,表明其具有更好的功耗恒定特性和抗功耗攻击能力。 展开更多
关键词 功耗攻击 功耗恒定 双掩码技术 双轨DMDP^(2)l
下载PDF
L^*系统中由单个原子生成的公式的真值函数的特征 被引量:12
5
作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页
本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多
关键词 l^*系统 逻辑公式 真值函数
下载PDF
L^*系统中的模糊演绎定理的改进形式 被引量:8
6
作者 吴洪博 王小敏 韩诚 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期27-32,共6页
研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步... 研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法. 展开更多
关键词 模糊逻辑 l^*系统 圈乘算子 演绎定理
下载PDF
基于N-(9-蒽甲基)-L-组氨酸的NOR荧光逻辑门 被引量:5
7
作者 宗国强 吕功煊 《物理化学学报》 SCIE CAS CSCD 北大核心 2008年第10期1902-1906,共5页
合成了一个新的组氨酸衍生物,N-(9-蒽甲基)-L-组氨酸(1),并对其进行了元素分析、电喷雾电离质谱(ESI-MS)、核磁共振氢谱(1H-NMR)和碳谱(13C-NMR)等波谱表征.考查了pH值及15种不同金属离子对其荧光强度的影响.实验结果表明,中性水溶液条... 合成了一个新的组氨酸衍生物,N-(9-蒽甲基)-L-组氨酸(1),并对其进行了元素分析、电喷雾电离质谱(ESI-MS)、核磁共振氢谱(1H-NMR)和碳谱(13C-NMR)等波谱表征.考查了pH值及15种不同金属离子对其荧光强度的影响.实验结果表明,中性水溶液条件下,Zn2+和Cd2+能使体系荧光增强,而Pb2+、Co2+、Hg2+、Ni2+和Cu2+等则使体系荧光有不同程度的猝灭.其中,Cu2+和Ni2+猝灭能力最强,它们与化合物1均形成了物质的量比为1∶2的配合物,络合常数分别为2.88×106和1.12×106L2·mol-2.Cu2+和Ni2+对化合物1的荧光猝灭为静态猝灭过程.在此基础上,以Cu2+和Ni2+作为两个输入信号,以蒽的特征荧光发射作为输出信号,构建了一个NOR荧光分子逻辑门. 展开更多
关键词 荧光逻辑门 l-组氨酸 CU2%PlUS% NI2%PlUS%
下载PDF
格值一阶逻辑系统LF(X)中的广义量词 被引量:4
8
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2006年第5期96-100,共5页
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。
关键词 格值-阶逻辑系统lF(X) 广义量词 不确定性推理
下载PDF
格值一阶逻辑系统LF(X)中带广义量词的不确定性推理 被引量:3
9
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2007年第2期40-45,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。
关键词 格值一阶逻辑系统lF(X) 广义量词 FMP FMT不确定性推理规则
下载PDF
系统L中公式相对于有限理论的∑_Γ-真度理论 被引量:9
10
作者 王昭海 吴洪博 《山东大学学报(理学版)》 CAS CSCD 北大核心 2008年第2期35-39,共5页
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有... 将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。 展开更多
关键词 模糊逻辑 系统l 有限理论 ∑Г-真度 ρГ-伪距离
下载PDF
系统L^*中极大相容理论结构刻画的归纳证明 被引量:3
11
作者 周红军 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第3期1-6,共6页
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命... 在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系. 展开更多
关键词 模糊逻辑 系统l^* 极大相容理论 满足性定理 紧致性定理
下载PDF
系统L^*中极大相容理论的结构刻画和紧致性定理 被引量:3
12
作者 周红军 王国俊 《模糊系统与数学》 CSCD 北大核心 2008年第4期8-14,共7页
为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■... 为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■p2i)&(■(■pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件。本文还证明了系统L*的满足性定理和紧致性定理。至此,系统L*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统L*的理论体系。 展开更多
关键词 模糊逻辑 系统l^* 极大相容理论 满足性定理 紧致性定理
下载PDF
形式系统L~*(n)的完备性 被引量:10
13
作者 裴道武 王三民 《高校应用数学学报(A辑)》 CSCD 北大核心 2001年第3期253-262,共10页
模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ... 模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 展开更多
关键词 多值逻辑 模糊逻辑 形式系统T^%MUl% 扩张T^%MUl%(n) 完备性
下载PDF
基于L*-格值逻辑上的直觉不分明化群 被引量:4
14
作者 张广济 王森 《大连大学学报》 2008年第6期4-7,共4页
在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化群的概念,将用集论所刻画的群的概念及相关性质在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化群的有关性质。
关键词 l^*-格值 lUKASIEWICZ蕴涵算子 直觉不分明化群
下载PDF
基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想 被引量:2
15
作者 王森 张广济 《模糊系统与数学》 CSCD 北大核心 2010年第2期7-14,共8页
在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想... 在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质。 展开更多
关键词 l*-格值 lUKASIEWICZ蕴涵算子 闭理想 q理想 直觉不分明化BCH-代数
下载PDF
基于L*-格值逻辑上的直觉不分明化凸集 被引量:5
16
作者 张广济 王森 《大连大学学报》 2008年第3期5-10,共6页
本文在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化凸集的概念,将用集论所刻画的凸集在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化凸集的有关代数性质。
关键词 l^*-格值 lUKASIEWICZ蕴涵算子 直觉不分明化凸集
下载PDF
基于L~*系统的一种非单调推理系统 被引量:3
17
作者 吴洪博 马巧云 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第4期4-8,共5页
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系|~:A|~B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这... 研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系|~:A|~B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路. 展开更多
关键词 l^*系统 非单调推理系统 累积单调推理系统 CM系统 P系统 后承关系 模糊逻辑
下载PDF
群上L-fuzzy同余关系 被引量:1
18
作者 沈继忠 《江西师范大学学报(自然科学版)》 CAS 2001年第3期189-194,共6页
利用剩余格值逻辑的语义方法讨论了L fuzzy同余关系的某些性质 ,给出了L fuzzy正规子群与群上L fuzzy同余之间的某些联系 .
关键词 l-fuzzy同余关系 l-FUZZY群 半群 剩余价值逻辑
下载PDF
模糊逻辑系统Luk和L^*中理论相容度的计算公式(Ⅲ) 被引量:3
19
作者 张兴芳 《模糊系统与数学》 CSCD 北大核心 2008年第3期8-15,共8页
解决了模糊逻辑系统L*与Luk中理论相容度的计算问题。首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。
关键词 逻辑系统l^*与luk 理论 真度 相容度
下载PDF
基于L-BFGS的自适应模糊互补滤波 被引量:1
20
作者 刘宇 丁其星 郭俊启 《压电与声光》 CAS CSCD 北大核心 2018年第6期955-959,共5页
针对惯性测量单元噪声大及常规姿态解算算法精度不高的问题,提出了一种基于拟牛顿法(L-BFGS)的自适应模糊互补滤波(AFCF)算法。该方法利用L-BFGS对加速度计、磁力计进行寻优估计,并通过监测系统的运动等级、加速度计、磁力计的误差,运... 针对惯性测量单元噪声大及常规姿态解算算法精度不高的问题,提出了一种基于拟牛顿法(L-BFGS)的自适应模糊互补滤波(AFCF)算法。该方法利用L-BFGS对加速度计、磁力计进行寻优估计,并通过监测系统的运动等级、加速度计、磁力计的误差,运用模糊逻辑理论调控加权因子及增益权重,动态地调整互补滤波参数,实现姿态误差的动态补偿,优化姿态解算结果。经实验验证,系统静态误差在0.4°内;动态误差在1.3°内,且该系统能减少噪声的干扰及陀螺仪的漂移。 展开更多
关键词 姿态解算 拟牛顿法(l-BFGS) 模糊逻辑 互补滤波
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部