您的位置： 专家智库 > >

国家自然科学基金(10871137)

作品数：24 被引量：28H指数：3
相关作者：汤建钢张红李国华寇辉陈全国更多>>
相关机构：伊犁师范学院四川大学更多>>
发文基金：国家自然科学基金新疆维吾尔自治区自然科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域：理学更多>>

文献类型

  • 24篇中文期刊文章

领域

  • 24篇理学

主题

  • 6篇代数
  • 4篇函数
  • 3篇函数空间
  • 3篇函子
  • 3篇DOMAIN
  • 2篇等值
  • 2篇映射
  • 2篇拟连续
  • 2篇拟连续DOM...
  • 2篇逆序
  • 2篇注记
  • 2篇反HE
  • 2篇伴随函子
  • 2篇ING
  • 2篇L-DOMA...
  • 1篇定理
  • 1篇序集
  • 1篇诱导型
  • 1篇诱导映射
  • 1篇余代数

机构

  • 15篇伊犁师范学院
  • 11篇四川大学

作者

  • 15篇汤建钢
  • 8篇寇辉
  • 8篇李国华
  • 8篇张红
  • 3篇陈全国
  • 2篇熊利平
  • 2篇赵浩然
  • 1篇周鑫
  • 1篇孟华
  • 1篇耿俊
  • 1篇原雅燕
  • 1篇高百俊
  • 1篇何敏
  • 1篇霍旭辉
  • 1篇陈大江

传媒

  • 6篇模糊系统与数...
  • 6篇伊犁师范学院...
  • 4篇四川大学学报...
  • 2篇工程数学学报
  • 2篇数学年刊（A...
  • 1篇数学学报（中...
  • 1篇Chines...
  • 1篇烟台大学学报...
  • 1篇中央民族大学...

年份

  • 1篇2013
  • 4篇2012
  • 6篇2011
  • 9篇2010
  • 4篇2009
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
L集合范畴中的等值子和余等值子被引量：3
2009年
为了研究L集合的性质,建立L集合的数学框架,在L集合范畴Set(L)中,研究了集合范畴Set(L)中的等值子和余等值子,以及等值子和余等值子的无点式与有点式刻画,为进一步研究集合范畴Set(L)的topos性质打下了基础.
何敏汤建钢
量化plausibility测度在默认推理系统中的推理能力
2011年
作者讨论了量化plausibility测度在默认推理逻辑系统(P系统)中的推理能力,给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件.
霍旭辉寇辉
事件结构与Domain
2012年
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。
熊利平寇辉
关键词：L-DOMAIN
弱Hopf代数和迹函数
2010年
Nikshych D讨论了左积分对偶对之间所蕴含的关系,在此基础上,进一步讨论左积分对偶对所蕴含的关系,并得到2个重要的结果S-1(l)=l←α,λ←g=λS-1.借助左积分多偶对及上述2个结果,利用弱Hopf代数积分理论,讨论了弱Hopf代数情形下Endk(H)中的一些态射的迹,得到了一些重要结论,以定理及推论形式出现在文中,从而推广了Radford D E在平常Hopf代数情形下所作的工作.
陈全国汤建钢
关键词：弱HOPF代数
关于函数空间的超连续性被引量：4
2010年
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.
原雅燕寇辉
关键词：超连续格函数空间
L集合范畴的格值函数空间及其性质被引量：2
2010年
引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质.
李国华张红汤建钢
关键词：伴随函子
关于交半格同态构成的函数空间与FS-交连续Domain
2011年
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
孟华寇辉
关键词：函数空间
L集诱导的L关系性质的研究被引量：1
2010年
引入了L集的概念,给出了L集诱导的L关系的定义,进一步研究了L关系具有的性质.
耿俊汤建钢
L集合范畴的Cartesian闭性被引量：4
2010年
定义L集合范畴中的一些基本概念,并研究了L集合范畴的格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,即L集合范畴满足Cartesian闭性,其为Cartesian闭范畴。
汤建钢李国华张红
L子集范畴中定向函子与逆向函子的伴随性研究被引量：1
2010年
引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。
张红李国华汤建钢
关键词：伴随性
全选 清除 导出
共3页<123>
聚类工具0