云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(10471083)

国家自然科学基金(10471083): 作品数：106被引量：303H指数：10; 导出分析报告; 相关作者：吴洪博赵彬韩胜伟龚加安代建云更多>>; 相关机构：陕西师范大学集美大学商洛职业技术学院浙江师范大学更多>>; 相关期刊：《模糊系统与数学》《南阳师范学院学报》《河南科技大学学报（自然科学版）》《西安石油大学学报（自然科学版）》更多>>; 相关主题：模糊逻辑代数QUANTALEBRBR0代数更多>>; 相关领域：理学自动化与计算机技术天文地球更多>>

乘积模糊系统的发散度和相容度被引量：1: 《纺织高校基础科学学报》2011年第2期283-286,共4页崔宏志龚加安吴洪博; 国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金项目(995130);商洛职业技术学院科研基金项目(2010080); 为了研究乘积代数的相容理性,通过在乘积模糊系统中理论的相容度的研究,给出了理论的发散度和用以区分理论相容与否的级指标,得到了一种适应任一有限或无限理论且表达相对简单的相容函数.; 关键词：乘积模糊逻辑系统发散度相容度

值乘积命题逻辑中命题的α-真度理论被引量：1: 《河南师范大学学报（自然科学版）》2010年第1期8-11,共4页龚加安吴洪博; 国家自然科学基金(10471083);陕西师范大学重点科研基金(995130); 利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.; 关键词：α-真度真度 α-相似度伪距离

内部算子与内部系统被引量：3: 《南阳师范学院学报》2009年第12期7-9,共3页龚加安吴洪博; 国家自然科学基金(10471083);陕西师范大学重点科研基金(995130); 为了从另一个角度研究格上逻辑,通过对闭包算子与闭包系统的研究,用对偶的方法给出内部算子的定义,建立了相应的内部系统.; 关键词：闭包算子闭包系统内部算子内部系统

BR_0代数的模糊滤子与模糊素滤子被引量：2: 《安康学院学报》2009年第6期91-93,共3页龚加安吴洪博; 国家自然科学基金(10471083);陕西师范大学重点科研基金(995130); 本文引入BR0代数的模糊滤子和模糊素滤子的概念,讨论了BR0代数的模糊滤子和模糊素滤子的若干性质,给出了BR0代数的模糊集是模糊滤子的充要条件,证明了模糊滤子和模糊素滤子在BR0代数同构下的不变性.; 关键词：模糊逻辑 BR0代数模糊滤子模糊素滤子

基于剩余格理论的P-有界分配格的理想集代数: 《模糊系统与数学》2009年第5期65-69,共5页李小杰刘军吴洪博; 国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金资助项目(995130); 讨论P-有界分配格的理想集代数与剩余格的关系。证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩余格。定义了生成理想,并借助格论上的原子定义了P-有界分配格,然后讨论了它的一些性质,得到了一些好的...; 关键词：理想格剩余格 MV代数 R0代数

二值命题逻辑系统中公式的语构真度理论被引量：1: 《云南师范大学学报（自然科学版）》2009年第5期17-21,共5页龚加安吴洪博; 国家自然科学基金资助课题(10471083);陕西师范大学重点科研基金资助课题(995130); 从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。; 关键词：命题逻辑系统语构真度格值真度

BR_0代数中素理想的拓扑空间: 《纺织高校基础科学学报》2009年第3期279-283,共5页龚加安吴洪博; 国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金(995130); 为了研究BR0代数M上全体理想及素理想的结构,通过在M的全体理想I(M)上定义格运算的方法,证明了如此定义的格是有界分配格,得到了M上的全体素理想P I(M)构成了一个T0的紧致拓扑空.; 关键词：BR0代数理想素理想紧致空间

乘积代数的性质和度量: 《西安文理学院学报（自然科学版）》2009年第3期1-4,共4页龚加安吴洪博; 国家自然科学基金项目(No.10471083);陕西师范大学重点科研基金项目(No.995130); 给出了乘积代数的定义,讨论了其性质,并建立了乘积代数的度量,对逻辑度量空间的结构及其性质进行了讨论,得到了一些好的结果.; 关键词：乘积代数度量逻辑度量空间

BR_0代数中理想及其性质被引量：5: 《模糊系统与数学》2009年第2期93-97,共5页李小杰吴洪博; 国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金资助项目(995130); 通过在BR0代数M中引入运算定义了M中的理想和素理想,然后讨论了生成理想的性质,得到了一些好的结果;最后讨论了素理想的性质,得到了BR0代数中素理想定理。; 关键词：BR0代数 +理想素+理想

The Separation and N-Compactness of Induced R（L）-Fuzzy Topological Spaces: 《Journal of Mathematical Research and Exposition》2009年第1期106-112,共7页LIU Zhi Bin; Foundation item： the National Natural Science Foundation of China （No. 10471083）; the Natural Science Foundation of Zhejiang Education Committee （No. 20060500）.; In this paper, we prove that （L^X,5） is T0,T1, T2, regular （T3）, normal （T4） and completely regular spaces if and only if （R（L）^X, ω（δ）） is T0, T1, T2, regular （T3）, normal （T4） and completely regula...; 关键词：Induced R（L）-fuzzy topological spaces SEPARATION N-compactness.

国家自然科学基金(10471083)