寇辉
- 作品数：31 被引量：86H指数：7
- 供职机构：四川大学数学学院更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家自然科学基金委员会数学天元基金更多>>
- 相关领域：理学自动化与计算机技术水利工程更多>>
- 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测度具有相同推理能力的条件.
- 霍旭辉寇辉
- 格上拓扑与理论计算机科学、逻辑和推理中的不确定性
- 刘应明罗懋康张德学梁基华寇辉李中夫
- 格上拓扑是数学三大结构中的拓扑结构与序结构有机的融合，其研究涉及T0pOs理论、af理经典领域。Locale理论以拓朴和直觉逻辑为背景，是格上拓扑学中首先成熟的分支。模糊信息处理的理论、方法、技术和产业在日、欧、美发展到...
- 关键词：
- 关键词：拓扑结构模糊信息处理理论计算机科学
- Smyth幂半格及其连续domain表示被引量：7
- 2002年
- 本文证明了每个Ｓｍｙｔｈ幂半格同构于一连续ｄｃｐｏ的Ｓｍｙｔｈ幂ｄｏｍａｉｎ，而每个连续ｄｃｐｏ同构于其 Ｓｍｙｔｈ幂 ｄｏｍａｉｎ的 ｗａｙ ｂｅｌｏｗ素谱．通过上幂函子建立了连续ｄｏｍａｉｎ与Ｓｍｙｔｈ幂半格之间的范畴等价性，从而揭示了上、下幂ｄｏｍａｉｎ结构之间的联系．
- 寇辉刘应明
- 关键词：完全分配格连续DOMAIN
- Scott连续自映射的不动点被引量：7
- 2001年
- 通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质 ,对Lawson和Mis love于 1 990年提出的一个问题作出了回答 .
- 寇辉罗懋康
- 关键词：不动点L-DOMAIN
- 由T_0空间的特殊化序定义的定向空间被引量：15
- 2015年
- 通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴.
- 俞月寇辉
- 线性FS格上的线性投射空间被引量：2
- 2010年
- 作者研究了线性FS格上的线性投射空间的性质,证明了:线性FS格的子类完全分配格具有连续的线性投射空间当且仅当它的线性投射空间同构于幂集格.
- 黄玉杰寇辉
- 关键词：完全分配格
