您的位置： 专家智库 > >

陈群

作品数：4 被引量：1H指数：1
供职机构：江西师范大学数学与信息科学学院更多>>
发文基金：江西省自然科学基金高等学校全国优秀博士学位论文作者专项资金国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇理学

主题

  • 2篇H
  • 1篇代数
  • 1篇代数格
  • 1篇序集
  • 1篇拟连续
  • 1篇拟连续DOM...
  • 1篇偏序
  • 1篇偏序集
  • 1篇注记
  • 1篇拓扑
  • 1篇连续格
  • 1篇超连续
  • 1篇超连续格

机构

  • 4篇江西师范大学
  • 2篇南昌教育学院

作者

  • 4篇陈群
  • 3篇杨金波
  • 2篇龚雅玲
  • 1篇万潇

传媒

  • 3篇模糊系统与数...

年份

  • 1篇2011
  • 3篇2010
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
强Raney偏序集与HC-偏序集的若干性质
Domain理论产生于20世纪70年代早期D. Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期,Lawson、Stralka等人为寻求一类紧半格的代数刻画而定义了一种有特殊性质的完备格.但他们...
陈群
文献传递
强Raney偏序集被引量：1
2010年
引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集。
杨金波陈群龚雅玲
HC-偏序集的若干性质
2011年
基于超连续格的内蕴式刻画,引入HC-偏序集的概念,讨论了HC-偏序集的一些性质。类似地,作为超代数格的推广,引入了HA-偏序集并讨论其相关性质。
杨金波万潇陈群
关键词：超连续格
关于拟连续Domain的一个注记
2010年
证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。
杨金波龚雅玲陈群
关键词：拟连续DOMAIN
全选 清除 导出
共1页<1>
聚类工具0