您的位置： 专家智库 > >

寇辉

作品数：31 被引量：86H指数：7
供职机构：四川大学数学学院更多>>
发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家自然科学基金委员会数学天元基金更多>>
相关领域：理学自动化与计算机技术水利工程更多>>

合作作者

文献类型

  • 29篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 30篇理学
  • 2篇自动化与计算...
  • 1篇水利工程

主题

  • 10篇DOMAIN
  • 5篇拟连续
  • 5篇函数
  • 4篇拟连续DOM...
  • 4篇拓扑
  • 4篇函数空间
  • 3篇序集
  • 3篇偏序
  • 3篇偏序集
  • 3篇连续DOMA...
  • 3篇连续性
  • 3篇L-DOMA...
  • 2篇代数
  • 2篇注记
  • 2篇子范畴
  • 2篇拓扑空间
  • 2篇完全分配格
  • 2篇反射子范畴
  • 2篇分配格
  • 2篇SCOTT拓...

机构

  • 31篇四川大学
  • 1篇哈尔滨工业大...

作者

  • 31篇寇辉
  • 3篇罗懋康
  • 2篇梁基华
  • 2篇刘应明
  • 2篇熊利平
  • 2篇赵浩然
  • 1篇黄艳
  • 1篇孟华
  • 1篇张德学
  • 1篇徐晓泉
  • 1篇李中夫
  • 1篇耿俊
  • 1篇刘应明
  • 1篇张晴
  • 1篇原雅燕
  • 1篇黄方平
  • 1篇霍旭辉
  • 1篇王武
  • 1篇陈大江
  • 1篇熊雷

传媒

  • 16篇四川大学学报...
  • 5篇数学年刊（A...
  • 3篇模糊系统与数...
  • 2篇四川师范大学...
  • 1篇数学学报（中...
  • 1篇数学进展
  • 1篇中国科学（A...

年份

  • 1篇2024
  • 2篇2020
  • 1篇2018
  • 1篇2017
  • 2篇2015
  • 4篇2014
  • 1篇2013
  • 3篇2012
  • 4篇2011
  • 2篇2010
  • 1篇2009
  • 2篇2006
  • 2篇2003
  • 2篇2002
  • 1篇2001
  • 1篇2000
  • 1篇1998
共 31 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
c-空间范畴的一个Cartesian闭满子范畴被引量：6
2020年
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-空间及连续映射构成的范畴是c-空间范畴的Cartesian闭满子范畴.
车铭静寇辉
关于交半格同态构成的函数空间与FS-交连续Domain
2011年
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
孟华寇辉
关键词：函数空间
定向空间的下幂结构被引量：2
2020年
定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Sch?der定义的普通拓扑空间上观察诱导的下幂空间.
谢晓林寇辉
有界完备dcpo上的线性逼近——强线性FS-domain被引量：1
2009年
作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain,并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性质。
张晴寇辉
关键词：反射子范畴
量化plausibility测度在默认推理系统中的推理能力
2011年
作者讨论了量化plausibility测度在默认推理逻辑系统(P系统)中的推理能力,给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件.
霍旭辉寇辉
T_0拓扑空间的逼近结构被引量：11
2014年
本文通过网的收敛性给出了由Erné引入的c-空间的等价刻画,所得结果有助于Simpson等提出的拓扑domain理论的研究.
王武寇辉
偏序集乘积的拓扑与拓扑乘积被引量：2
2011年
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.
陈大江寇辉
关键词：SCOTT拓扑LAWSON拓扑
格上拓扑与理论计算机科学、逻辑和推理中的不确定性
刘应明罗懋康张德学梁基华寇辉李中夫
格上拓扑是数学三大结构中的拓扑结构与序结构有机的融合，其研究涉及T0pOs理论、af理经典领域。Locale理论以拓朴和直觉逻辑为背景，是格上拓扑学中首先成熟的分支。模糊信息处理的理论、方法、技术和产业在日、欧、美发展到...
关键词：
关键词：拓扑结构模糊信息处理理论计算机科学
Smyth幂半格及其连续domain表示被引量：7
2002年
本文证明了每个Ｓｍｙｔｈ幂半格同构于一连续ｄｃｐｏ的Ｓｍｙｔｈ幂ｄｏｍａｉｎ，而每个连续ｄｃｐｏ同构于其 Ｓｍｙｔｈ幂 ｄｏｍａｉｎ的 ｗａｙ ｂｅｌｏｗ素谱．通过上幂函子建立了连续ｄｏｍａｉｎ与Ｓｍｙｔｈ幂半格之间的范畴等价性，从而揭示了上、下幂ｄｏｍａｉｎ结构之间的联系．
寇辉刘应明
关键词：完全分配格连续DOMAIN
Scott连续自映射的不动点被引量：7
2001年
通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质 ,对Lawson和Mis love于 1 990年提出的一个问题作出了回答 .
寇辉罗懋康
关键词：不动点L-DOMAIN
全选 清除 导出
共4页<1234>
聚类工具0