梁基华
- 作品数：32 被引量：63H指数：4
- 供职机构：四川大学数学学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金重庆市教育委员会科学技术研究项目更多>>
- 相关领域：理学自动化与计算机技术自然科学总论文化科学更多>>
- 第7届Domain理论国际研讨会
- 2005年
- 第7届Domain理论国际研讨会(Domains Ⅶ)于2004年8月29日至9月2日在德国Darmstadt技术大学举行。与会学者45人，来自10余个国家，主要是德国、英国、法国和美国。中国有两位学者参会。
- 梁基华
- 关键词：DOMAIN理论学者
- L-Fuzzy拓扑空间的实紧性被引量：2
- 2000年
- 以L Fuzzy实直线R(L)的弱诱导化 R(L) 为标准空间 ,在L Fuzzy拓扑空间中建立了实紧理论 .讨论了弱诱导的H(λ)完全正则的次T0 空间 (LX,δ)的实紧化γ(LX) ,证明了实紧化的唯一性定理 ,得到了实紧化与H(λ)式Stone Cech紧化之间的关系 ,并在L =[0 ,1]时 ,给出了实紧空间的一个必要性刻画 .
- 于卫萍梁基华
- 关键词：拓扑空间模糊拓扑
- 格上拓扑与理论计算机科学、逻辑和推理中的不确定性
- 刘应明罗懋康张德学梁基华寇辉李中夫
- 格上拓扑是数学三大结构中的拓扑结构与序结构有机的融合，其研究涉及T0pOs理论、af理经典领域。Locale理论以拓朴和直觉逻辑为背景，是格上拓扑学中首先成熟的分支。模糊信息处理的理论、方法、技术和产业在日、欧、美发展到...
- 关键词：
- 关键词：拓扑结构模糊信息处理理论计算机科学
- 关于函数空间上的Isebell和Scott拓扑的一个注记(英文)
- 2003年
- 主要讨论Domain函数空间上的Isebell拓扑和Scott拓扑何时相同的问题 ,对这一问题 ,刘应明和梁基华已给出了部分的回答 ,作者改进了这一结果 ,并且对L
- 奚小勇梁基华
- 关键词：SCOTT拓扑
- 诱导空间的度量化问题
- 诱导空间作为一类很重要的L-Fuzzy拓扑空间,具有广泛的数学背景[4,5],对它的研究一直为许多作者所关注[1-5],诱导空间的度量化问题自然是这一领域的基本工作。本文给出了诱导空间的Fuzzy伪度量可用底空间上的伪度...
- 梁基华
- 关键词：度量化伪度量拓扑空间
- 文献传递
- 拓扑空间的计算环境(英文)
- 2007年
- 讨论了Tychonoff空间的计算环境.主要结论有:Choquet完备的弱domain,其极大点空间也是Choquet完备的;拓扑空间X是Tychonoff空间当且仅当X有一有界完备的弱环境;Tychonoff空间的Hausdorff紧化可以通过其计算环境实现.
- 黄方平梁基华
- 连续B-domain的一个刻划定理被引量：4
- 1998年
- 本文证明了在Ｌ－ｄｏｍａｉｎ条件下，连续Ｂ－ｄｏｍａｉｎ与ＦＳ－ｄｏｍａｉｎ等价，并由此得到了连续Ｂ－ｄｏｍａｉｎ的一个刻划定理．
- 梁基华
- 关键词：L-DOMAIN偏序集
- 函数空间连续性的一个注记被引量：2
- 2004年
- 证明了当X是稳定空间 ,M是一个特定的既不是L domain也不是B domian的DCPO时 ,[X→M]是连续DCPO .
- 索剑峰梁基华
- 关键词：函数空间DOMAIN
- 关于FS-Domain的Plotkin幂-Domain被引量：2
- 2000年
- 本文证明了 ＦＳ－Ｄｏｍａｉｎ关于 Ｐｌｏｔｋｉｎ幂－Ｄｏｍａｉｎ构造是封闭的．
- 梁基华
- 关键词：程序设计语言
- 关于不分明度量空间的几个问题
- 梁基华
