您的位置: 专家智库 > >

国家自然科学基金(19331030)

作品数:4 被引量:531H指数:3
相关作者:王国俊更多>>
相关机构:陕西师范大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇理学
  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇定理
  • 1篇蕴涵
  • 1篇蕴涵格
  • 1篇三I算法
  • 1篇重言式
  • 1篇模糊控制
  • 1篇模糊推理
  • 1篇函数
  • 1篇Α-重言式
  • 1篇PROBLE...
  • 1篇TAME
  • 1篇TAMENE...
  • 1篇CRI算法
  • 1篇LINDEN...
  • 1篇HOMOGE...
  • 1篇ALGEBR...
  • 1篇BIMODU...

机构

  • 3篇陕西师范大学

作者

  • 3篇王国俊

传媒

  • 2篇中国科学(E...
  • 1篇科学通报
  • 1篇Scienc...

年份

  • 1篇2007
  • 1篇1999
  • 2篇1998
4 条 记 录,以下是 1-4
排序方式:
△-tame quasi-hereditary algebras
2007年
Let (K, M,H) be an upper triangular bimodule problem. Briistle and Hille showed that the opposite algebra A of the endomorphism algebra of a projective generator P of the matrices category of (K., M, H) is quasi-hereditary, and there is an equivalence between the category of△-good modules of A and Mat(K, M). In this note, based on the tame theorem for bimodule problems, we show that if the algebra A associated with an upper triangular bimodule problem is of△-tame representation type, then the category F(△) has the homogeneous property, i.e. almost all modules in F(△) are isomorphic to their Auslander-Reiten translations. Moreover, if (K, M,H)is an upper triangular bipartite bimodule problem, then A is of△-tame representation type if and only if F(△) is homogeneous.
Yun-ge XU & Ying-bo ZHANG Faculty of Mathematics and Computer Science, Hubei University, Wuhan 430062, China
关键词:BIMODULEPROBLEMALGEBRA
模糊推理的全蕴涵三I算法被引量:413
1999年
指出从逻辑语义蕴涵的角度看CRI算法中的复合运算是缺乏根据的 ,提出了在每一步都使用蕴涵算子的全蕴涵三I算法 .对于Zadeh的蕴涵算子而言 ,三I算法的结果较CRI算法的结果为优 .基于蕴涵算子R0 展开三I算法理论 ,给出了模糊MP算法与模糊MT算法的计算公式 ,进一步将三I算法一般化 ,提出了支持度理论 ,得到了一般的α_三IMP公式与α_三IMT公式 .
王国俊
关键词:模糊推理CRI算法三I算法模糊控制
修正的Kleene系统中的Σ-(α-重言式)理论被引量:146
1998年
证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .
王国俊
关键词:重言式
蕴涵格与Stone表现定理的推广被引量:24
1998年
从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .
王国俊
关键词:LINDENBAUM代数
共1页<1>
聚类工具0