您的位置： 专家智库 > >

熊利平

作品数：2 被引量：0H指数：0
供职机构：四川大学数学学院更多>>
发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇理学

主题

  • 2篇L-DOMA...
  • 1篇DOMAIN
  • 1篇L-稳定
  • 1篇I

机构

  • 2篇四川大学

作者

  • 2篇寇辉
  • 2篇熊利平

传媒

  • 1篇模糊系统与数...
  • 1篇四川大学学报...

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
事件结构与Domain
2012年
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。
熊利平寇辉
关键词：L-DOMAIN
L-稳定事件结构和L-domain
2013年
在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质Ⅰ的代数L-domain.
熊利平寇辉
关键词：L-DOMAIN
全选 清除 导出
共1页<1>
聚类工具0