期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

关于混合Domain的几个问题

On the Mixed Powerdomain
下载PDF
导出
摘要 研究了Lawson紧的连续domainD的混合幂domainM(D),给出了M(D)的极大元的刻画.证明了M(D)是其极大点空间Max(M(D))的domain环境,同时证明了FB domain关于混合幂domain构造是封闭的. A characteration of the maximal points of a mixed powerdomain is given. It is proved that the mixed powerdomain M(D) is the domain hull of Max(M(D)) when D is a Lawson-compact domain. Meanwhile it is proved that FB-domain is closed with respect to the construction of the mixed powerdomain.
作者 韩本三 梁基华
机构地区 四川大学数学院
出处 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第6期1099-1103,共5页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金重点项目(040258) 博士点基金项目(20020610057)
关键词 混合幂domain FB-domain domain环境 极大点空间 mixed powerdomain FB-domain hull of domain maximal space
分类号 O189 [理学—基础数学]
  • 相关文献

参考文献10

  • 1Edalat A, Heckman R. A computational model for metric spaces[J]. Theoretical Computer Science, 1998, 193:53-73.
  • 2Lawson J D. Space for maximal points[J]. Math. Struct. in Comp. Science, 1997, 7:543-555.
  • 3Martin K. A foundation for computation[D]. New Orlean:Department of Mathematics, Tulane University, 2000.
  • 4Reinhold Heckmann. A power domain constructions[J]. SIAM J. Comp, 1976, 5:452-487.
  • 5Gunter C A. The mixed powerdomain[J]. Theoretical Computer Science, 1992, 103:311-334.
  • 6Liang J H. On FS-domain of Plotkin's powerdomain[J]. Anal. Math. (Chinese), 2000, 6:697-700.
  • 7Liang J H, Kou H. Convex-power domain and vietoris space[J].Computer and Mathematics with Applications, 2004, 47:541-548.
  • 8Jung. A. Cartesian closed categories of domain[M]. Amsterdam:CWI Tracts 66, 1989.
  • 9Bramsky S A, Jung A. Domain theory[A]. Bramsky S A, GabayD M, Maibaum T S E. Handbook of logic in computer science[C]. Oxford:Clarendon Press, 1994.1-168.
  • 10Gierz G,Hofmanm K H, Keimel K, et al. A compendium of continuous lattice[M]. New York/Berlin:Springer-Verlag, 1980.
四川大学学报（自然科学版）
2004年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部