检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到6篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

QBL-代数及其与BL-代数的等价性被引量：6: 1; 作者高李红吴洪博《吉林大学学报（理学版）》 CAS CSCD 北大核心 2011年第1期41-46,共6页; 根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表... 展开更多; 关键词模糊逻辑 bl-代数 bl-系统 Qbl-代数剩余格; 下载PDF 职称材料

BL~＊系统的一种扩张及相关性质被引量：1: 2; 作者张琼吴洪博《计算机工程与应用》 CSCD 北大核心 2010年第19期36-38,共3页; 对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张... 展开更多; 关键词模糊逻辑命题演算 BR0代数 BOOLE代数 bl＊系统形式系统L; 下载PDF 职称材料

BL_Δ~*系统的完备性: 3; 作者吴洪博《吉首大学学报（自然科学版）》 CAS 2009年第6期1-5,共5页; 研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的... 展开更多; 关键词模糊逻辑 bl*系统 Δ-滤子完备性广义演绎定理; 下载PDF 职称材料

BL*系统和IMTL系统等价性的语构证明被引量：1: 4; 作者周建仁吴洪博《计算机工程与应用》 CSCD 北大核心 2016年第5期41-46,共6页; BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算... 展开更多; 关键词模糊逻辑语构理论 IMTL命题系统 bl＊命题系统等价性; 下载PDF 职称材料

基于BL2000嵌入式系统的电阻应变测量放大电路的设计被引量：1: 5; 作者亓晓鹏《机电产品开发与创新》 2009年第3期142-144,共3页; 电阻应变测量方法是将应变转换成电信号进行测量的方法。应变电阻输出信号一般很微弱,为了实现BL2000嵌入式系统对完成信号处理,必须对其进行放大。本文介绍了应变测量方法,并在此基础上完成了系统基本放大电路的设计。; 关键词电阻应变测量基本放大电路 bl2000嵌入式系统; 下载PDF 职称材料

BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题: 6; 作者张琼吴洪博《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第4期60-65,共6页; 对BL*系统进行了研究。结合PetrH偄jek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL*Δ系统。随后在BLΔ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了... 展开更多; 关键词模糊逻辑 bl^＊系统一元逻辑连接词Δ Δ-根广义MP问题; 原文传递

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部