作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质  CNKI文献

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真...

吴洪博 周建仁 《计算机学报》 2015年08期 期刊

关键词: 模糊逻辑 / 计量逻辑 / 命题逻辑系统R0L / Γ-真度

下载(120)| 被引(8)

Lukasiewicz命题逻辑中公式的Γ-真度理论和极限定理  CNKI文献

对"Lukasiewicz n值命题逻辑中公式的真度理论和极限定理"进行了再研究.(1)在Lukasiewicz n值命题逻辑中,给出了真度的赋值表示形式,该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质;...

吴洪博 《中国科学:信息科学》 2014年12期 期刊

关键词: Lukasiewicz命题逻辑 / 真度 / 赋值 / 局部有限理论

下载(215)| 被引(21)

计量逻辑中真度的均值表示形式及应用  CNKI文献

命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极...

吴洪博 周建仁 《电子学报》 2012年09期 期刊

关键词: 计量逻辑 / 真度 / 均值表示 / 极限定理

下载(192)| 被引(35)

基于正则FI代数的MT理想及其应用  CNKI文献

本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了...

吴洪博 汪宁 《电子学报》 2013年07期 期刊

关键词: 逻辑代数 / 正则FI代数 / MT理想 / 同余关系

下载(133)| 被引(14)

BR_0-代数中MT理想的扩展及素MT理想的存在性  CNKI文献

BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对...

吴洪博 王娜 《电子学报》 2015年06期 期刊

关键词: 逻辑代数 / BR0-代数 / 素并-理想 / MT理想

下载(104)| 被引(5)

Heyting系统及其H-空间化表示形式  CNKI文献

Steven Vickers将拓扑的方法与逻辑理论的结果相结合于专著《Topology via Logic》中建立了拓扑系统,并将这一理论应用于计算机理论的研究.本文借助于拓扑系统的思想和方法,以及Frame结构和Heyting代数的共有性质,以H...

吴洪博 石慧君 《电子学报》 2012年05期 期刊

关键词: 拓扑系统 / Heyting系统 / H-连续映射 / H-空间化

下载(118)| 被引(23)

WMTL-代数中的蕴涵滤子及其应用  CNKI文献

MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数...

吴洪博 梁颖 《计算机学报》 2018年04期 期刊

关键词: 模糊逻辑 / WMTL-代数 / 蕴涵滤子 / 强同余关系

下载(122)| 被引(1)

基础R_(0-)代数与基础L~*系统  CNKI文献

研究了王国俊教授建立的模糊命题演算的形式演绎系统L~*和与之在语义上相匹配的R_0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL_-代数,提出了基础Ro-代数和基础L~*系统的观点,讨论了基础R_0-代数与BL代数,基础...

吴洪博 《数学进展》 2003年05期 期刊

关键词: 模糊逻辑 / 基础R_0-代数 / 基础L~*系统 / MV-代数

下载(281)| 被引(163)

跨座式单轨交通车辆车体结构分析研究  CNKI文献

随着世界经济的迅速发展,城市的规模、人口不断扩大,城市交通问题日益突出。而单轨做为一种现代的交通工具,逐渐在全球各大城市发展起来。单轨车车体骨架是重要的承载结构,其结构性能的好坏直接关系到车体的寿命和整车...

吴洪博 导师:杜子学 重庆交通大学 2009-04-01 硕士论文

关键词: 车体 / 强度 / 模态分析 / 疲劳分析

下载(449)| 被引(15)

Heyting系统及其H-Locale化形式  CNKI文献

拓扑系统是Steven Vikers将拓扑的方法与数理逻辑理论的结果相结合于专著"Topology via Logic"中建立的一种新型的格论研究对象,并将这一理论应用于计算机理论的研究.本文借助于拓扑系统的思想和方法,以及F...

吴洪博 石慧君 《数学学报》 2012年06期 期刊

关键词: 拓扑系统 / Heyting系统 / H-连续映射 / H-Locale化

下载(97)| 被引(26)

抗滑表层施工技术在高速公路路面工程中的应用  CNKI文献

文章分析了抗滑表层的抗滑原理及影响因素,总结了国内外的抗滑标准及检测方法,提出了抗滑表层施工应用技术工艺及质量控制措施,给出了高速公路表层抗滑性能提高措施,以推进该技术在高速公路路面工程中的应用。

吴洪博 《中国高新科技》 2021年24期 期刊

关键词: 高速公路 / 路面工程 / 抗滑表层

下载(17)| 被引(0)

余Frame范畴中余积的构造  CNKI文献

首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil(S)是余Frame,讨论了简单上集值映射u:S→C Fil(S)的相关并半格同态性质...

吴洪博 寇海燕 《数学学报(中文版)》 2016年01期 期刊

关键词: 余Frame / 范畴 / 余积

下载(116)| 被引(6)

(3n+1)值逻辑系统R_0L中公式的真度性质  CNKI文献

基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与...

吴洪博 周建仁... 《电子学报》 2011年10期 期刊

关键词: 计量逻辑学 / R0L系统 / 真度 / 相似度

下载(141)| 被引(11)

BR_0–代数的无序表示形式及WBR_0–代数性质  CNKI文献

对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性...

吴洪博 王昭海 《工程数学学报》 2009年03期 期刊

关键词: 模糊逻辑 / 逻辑代数 / BR0–代数 / 无序

下载(149)| 被引(40)

强并半格中的C-滤子及其应用  CNKI文献

首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但...

吴洪博 寇海燕 《数学学报(中文版)》 2015年02期 期刊

关键词: 强并半格 / 上覆盖关系 / C-滤子 / 余Frame

下载(105)| 被引(7)

汽车ABS防抱死控制机构实验测试系统设计分析  CNKI文献

本文针对汽车ABS防抱死控制机构实验测试系统开展了设计分析。应用数字信号处理器(DSP)系统设计了测试的硬件系统和软件系统,对保证BS滑模变结构控制的高效率运行起到了一定的理论价值。

吴洪博 《科技风》 2018年25期 期刊

关键词: 防抱死控制 / 数字信号处理器 / 硬件系统 / 软件系统

下载(295)| 被引(4)

推理闭包算子及其诱导的空间  CNKI文献

目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭...

吴洪博 《西北大学学报(自然科学版)》 2008年01期 期刊

关键词: 模糊逻辑 / 命题演算 / 推理闭包算子 / 推理闭包空间

下载(190)| 被引(26)

函数算术均值极限的黎曼积分形式及其在R_0命题逻辑中的应用  CNKI文献

提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值...

吴洪博 王伦磊 《电子学报》 2016年08期 期刊

关键词: 计量逻辑 / 黎曼积分 / R0命题逻辑 / 局部有限理论

下载(121)| 被引(0)

R_0-代数的格蕴涵表示定理  CNKI文献

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系...

吴洪博 《模糊系统与数学》 2007年03期 期刊

关键词: 模糊逻辑 / R0-代数 / 格蕴涵

下载(131)| 被引(29)

R_0-代数在一般集合上的,→表示形式  CNKI文献

在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.

吴洪博 《吉林大学学报(理学版)》 2009年04期 期刊

关键词: 模糊逻辑 / 逻辑代数 / R0-代数 / 蕴涵算子

下载(109)| 被引(24)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状