苏忍锁

作品数:16被引量:54H指数:4
导出分析报告
供职机构:宝鸡文理学院数学系更多>>
发文主题:代数BESOV空间MP滤子正则BOOLE代数更多>>
发文领域:理学自然科学总论更多>>
发文期刊:《高等数学研究》《工程数学学报》《宝鸡文理学院学报(自然科学版)》《西北农林科技大学学报(自然科学版)》更多>>
所获基金:国家自然科学基金陕西省教育厅科研计划项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
Heyting代数与剩余格被引量:6
《陕西理工学院学报(自然科学版)》2009年第4期63-69,共7页苏忍锁 张馨文 
宝鸡文理学院重点科研资助项目(ZK2519)
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。
关键词:HEYTING代数 剩余格 正则剩余格 BOOLE代数 MV-代数 
R_0-代数与MV-代数的关系被引量:4
《西北农林科技大学学报(自然科学版)》2004年第10期145-148,152,共5页苏忍锁 
国家自然科学基金资助项目(19831040)
 证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。
关键词:R0-代数 MV-代数 预备知识 代数结构 非经典逻辑 
RL型蕴涵与Fuzzy推理的三I算法被引量:8
《陕西师范大学学报(自然科学版)》2004年第3期7-11,共5页苏忍锁 王国俊 
国家自然科学基金资助项目(19831040)
引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)|y∈Y} {A(x)|x...
关键词:三I算法 正则 蕴涵 Fuzzy推理 表示 对偶形式 一般表达式 RL IMT 条件 
蕴涵格、弱R_o代数与正则剩余格被引量:3
《宝鸡文理学院学报(自然科学版)》2004年第2期89-91,119,共4页苏忍锁 
讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1)弱Ro代数既是蕴涵格又是正则剩余格;(2)蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3)正则剩余格L是蕴涵格(弱Ro代数...
关键词:蕴涵格 弱R0代数 正则剩余格 
R_0代数的Fuzzy MP滤子被引量:16
《模糊系统与数学》2004年第2期15-23,共9页苏忍锁 王国俊 
国家自然科学基金资助项目(19831040)
引入R0代数的FuzzyMP滤子与Fuzzy素MP滤子的概念;给出R0代数的FuzzyMP滤子与Fuzzy素MP滤子的若干等价刻画,并由此得到R0代数的MP滤子与素MP滤子的一些等价刻画。
关键词:R0代数 (Fuzzy)MP滤子 (Fuzzy)素MP滤子 
一类线性算子在Besov空间中的饱和性被引量:2
《工程数学学报》2004年第1期91-96,共6页张三敖 阎恩让 苏忍锁 
陕西省教育厅专项科研计划项目 (0 0JK1 1 0 )
讨论了一类线性正算子在Besov空间中的饱和性
关键词:BESOV空间 饱和性 线性正算子 
积拓扑与箱拓扑的比较
《宝鸡文理学院学报(自然科学版)》2003年第3期182-185,共4页苏忍锁 
积拓扑与箱拓扑是在拓扑空间族的笛卡儿积上引进的2种不同的拓扑,它们都是有限积拓扑的推广,对这2种拓扑作以比较是有益的。系统地讨论了积拓扑与箱拓扑的概念、性质,并对它们之间的差异作了比较。
关键词:笛卡儿积 有限积拓扑 积拓扑 箱拓扑 
利用行列式构造辅助函数证明微分中值命题被引量:9
《高等数学研究》2003年第3期26-28,共3页苏忍锁 
利用行列式的性质及行列式函数的求导公式的特点构造辅助函数 。
关键词:行列式 辅助函数 微分中值命题 罗尔定理 例题 
环R上的矩阵环M_n(R)的理想被引量:1
《宝鸡文理学院学报(自然科学版)》2002年第2期115-117,共3页苏忍锁 
设 R是环 ,Z是整数环 ,F是除环或域。讨论了 Mn( R)与 R的理想、主理想和极大理想之间的对应关系 ,给出了 Mn( Z)和 Mn( F)的全部理想。
关键词:矩阵环 理想 主理想 极大理想 
单叶双曲面的直母线的性质被引量:3
《宝鸡文理学院学报(自然科学版)》2001年第2期97-99,共3页苏忍锁 
给出并证明了单叶双曲面的直母线的若干性质 。
关键词:单叶双曲面 渐近锥面 直母线 腰椭圆 直纹曲面 腰点 直线构成 
检索报告 对象比较 聚类工具 使用帮助 返回顶部