寇辉

作品数：29被引量：73H指数：6
导出分析报告
供职机构：四川大学数学学院更多>>
发文主题：DOMAIN拟连续DOMAIN函数空间连续DOMAIN连续性更多>>
发文领域：理学自动化与计算机技术水利工程更多>>
发文期刊：《模糊系统与数学》《数学年刊（A辑）》《四川师范大学学报（自然科学版）》《数学学报（中文版）》更多>>
所获基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家自然科学基金委员会数学天元基金江西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
S^(*)-收敛和局部强紧空间
《四川大学学报（自然科学版）》2024年第3期81-86,共6页陈俣旭 寇辉 
国家自然科学基金(12231007,11871353,12001385)。
定向空间是定向完备偏序集的拓扑推广,局部强紧空间可以刻画为拟连续的定向空间.本文给出了关于局部强紧空间的一个拓扑版的Scott收敛定理.通过引入S^(*)-收敛的概念并定义有限逼近空间,本文得到以下主要结果:(i)定向空间X是局部强紧的...
关键词：S^(*)-收敛 定向空间 局部强紧空间 LAWSON拓扑 
c-空间范畴的一个Cartesian闭满子范畴被引量：6
《四川师范大学学报（自然科学版）》2020年第6期756-762,共7页车铭静 寇辉 
国家自然科学基金(11871353)。
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-空间及连续映射构成的范畴是c-空间范畴的Cartesian闭满子范畴.
关键词：c-空间 并半格c-空间 Cartesian闭范畴 
定向空间的下幂结构被引量：2
《四川大学学报（自然科学版）》2020年第2期211-217,共7页谢晓林 寇辉 
国家自然科学基金(11871353)
定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间...
关键词：幂domain 定向空间的下幂空间 观察诱导的下幂空间 
几乎代数基与有界完备domain被引量：1
《四川师范大学学报（自然科学版）》2018年第1期9-14,共6页陈煜 寇辉 
国家自然科学基金(11371262)
研究几乎代数dcpo的性质,并得到如下主要结果:1)具有可数几乎代数弱闭基的有界完备domain构成的范畴是Cartesian闭的;2)对每个具有(可数)几乎代数基的dcpo,其相容下幂domain是一个具有可数几乎代数弱闭基的有界完备domain.
关键词：几乎代数基 有界完备domain 相容下幂domain Cartesian闭范畴 
T_0拓扑空间的拟连续性与交连续性被引量：12
《四川大学学报（自然科学版）》2017年第5期905-910,共6页冯华容 寇辉 
国家自然科学基金(11371262)
本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober...
关键词：定向空间 拟连续性空间 交连续空间 c-空间 
由T_0空间的特殊化序定义的定向空间被引量：16
《四川大学学报（自然科学版）》2015年第2期217-222,共6页俞月 寇辉 
国家自然科学基金(11371262)
通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定...
关键词：定向空间 范畴 cartesian闭 
C-双有限domain与SM性质被引量：3
《四川大学学报（自然科学版）》2015年第1期16-20,共5页吕振超 寇辉 
国家自然科学基金(11371262)
讨论了C-双有限domain的SM性质,并证明:(i)所有C-双有限domain具有SM性质;(ii)连续L-domain D是C-双有限domain当且仅当D具有SM性质当且仅当D上存在基B使得其理想完备化Id(B)是双有限domain.
关键词：C-双有限domain SM性质 L—domain 
基于Ω-范畴的定向与逆向函子伴随性的研究
《模糊系统与数学》2014年第6期16-19,共4页耿俊 寇辉 
国家自然科学基金资助项目(11371262)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
关键词：Ω-范畴 Zadeh型定向函子 Zadeh型逆向函子 伴随性 
连续d-cone的Sandwich性质被引量：1
《四川大学学报（自然科学版）》2014年第5期863-867,共5页熊雷 寇辉 
国家自然科学基金(11371262)
本文研究了连续d-cone的Sandwich性质,证明连续d-cone的Sandwich性质关于乘积和连续线性收缩封闭.特别地,本文证明了:设X是连续domain,C是连续d-cone,下述两条等价:(1)任给Scott连续映射^q,^p:X×C→-R+满足^q≤^p,若对任意x∈X,^q(x,-)...
关键词：Sandwich性质 线性函数 
T_0拓扑空间的逼近结构被引量：11
《四川大学学报（自然科学版）》2014年第4期681-683,共3页王武 寇辉 
本文通过网的收敛性给出了由Erné引入的c-空间的等价刻画,所得结果有助于Simpson等提出的拓扑domain理论的研究.
关键词：逼近 c-空间 收敛 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部