您的位置： 专家智库 > >

教育部“新世纪优秀人才支持计划”(070576)

作品数：7 被引量：9H指数：2
相关作者：寇辉原雅燕赵浩然陈大江曾钰更多>>
相关机构：四川大学更多>>
发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 7篇理学

主题

  • 3篇函数
  • 3篇函数空间
  • 2篇序集
  • 2篇偏序
  • 2篇偏序集
  • 2篇DOMAIN
  • 1篇拟连续
  • 1篇拟连续DOM...
  • 1篇注记
  • 1篇拓扑
  • 1篇连续格
  • 1篇默认
  • 1篇SCOTT拓...
  • 1篇L-DOMA...
  • 1篇LAWSON...
  • 1篇超连续
  • 1篇超连续格
  • 1篇乘积
  • 1篇I

机构

  • 7篇四川大学

作者

  • 7篇寇辉
  • 1篇孟华
  • 1篇原雅燕
  • 1篇熊利平
  • 1篇霍旭辉
  • 1篇陈大江
  • 1篇赵浩然
  • 1篇曾钰

传媒

  • 3篇四川大学学报...
  • 2篇模糊系统与数...
  • 2篇数学年刊（A...

年份

  • 2篇2012
  • 4篇2011
  • 1篇2010
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
关于交半格同态构成的函数空间与FS-交连续Domain
2011年
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
孟华寇辉
关键词：函数空间
偏序集范畴的Cartesian闭性被引量：1
2011年
作者讨论了偏序集范畴的Cartesian闭性,给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件.特别地,作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴,L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.
曾钰寇辉
关键词：偏序集
量化plausibility测度在默认推理系统中的推理能力
2011年
作者讨论了量化plausibility测度在默认推理逻辑系统(P系统)中的推理能力,给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件.
霍旭辉寇辉
事件结构与Domain
2012年
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。
熊利平寇辉
关键词：L-DOMAIN
偏序集乘积的拓扑与拓扑乘积被引量：2
2011年
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.
陈大江寇辉
关键词：SCOTT拓扑LAWSON拓扑
关于函数空间的超连续性被引量：4
2010年
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.
原雅燕寇辉
关键词：超连续格函数空间
关于拟连续domain以及函数空间的注记被引量：3
2012年
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
赵浩然寇辉
关键词：拟连续函数空间
全选 清除 导出
共1页<1>
聚类工具0