您的位置： 专家智库 > >

曹永林

作品数：4 被引量：0H指数：0
供职机构：山东理工大学数学与信息科学学院更多>>
发文基金：山东省自然科学基金国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇理学

主题

  • 2篇序半群
  • 2篇英文
  • 2篇半群
  • 2篇DOMAIN
  • 1篇偏序
  • 1篇偏序半群
  • 1篇连续信息
  • 1篇SCOTT
  • 1篇SFP

机构

  • 4篇山东理工大学
  • 2篇湖南大学

作者

  • 4篇曹永林
  • 2篇李庆国
  • 2篇陈学友
  • 1篇陈贞波
  • 1篇孙维君

传媒

  • 1篇模糊系统与数...
  • 1篇数学的实践与...
  • 1篇工程数学学报
  • 1篇纯粹数学与应...

年份

  • 2篇2006
  • 2篇2003
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
左阿基米德序半群的自然序带(英文)
2003年
刻划了分别可分解为左阿基米德序半群、左单序半群的幂零扩张序半群和左单序半群的自然序带的序半群的特征。
曹永林
关键词：序半群
真理想为Archimedean子半群的偏序半群
2003年
根据真理想情况给出了偏序半群的一种分类,研究了真理想为Archimedean子半群的偏序半群的特征.
曹永林孙维君陈贞波
关键词：偏序半群
连续信息基(英文)
2006年
D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。
陈学友李庆国曹永林
关键词：SCOTTDOMAIN
拟信息基,ω-代数Cpo,和SFP domain
2006年
G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.
陈学友李庆国曹永林
关键词：SFPDOMAIN
全选 清除 导出
共1页<1>
聚类工具0