刘应明

作品数：24被引量：99H指数：6
导出分析报告
供职机构：四川大学数学学院更多>>
发文主题：拓扑完全分配格SCOTT拓扑LOCALE范畴拓扑空间更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机科学与探索》《数学学报（中文版）》《数学年刊（A辑）》《陕西理工大学学报（社会科学版）》更多>>
所获基金：国家自然科学基金国家教育部博士点基金江西省自然科学基金霍英东基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多维空间索引结构SHG-Tree(英文)被引量：1
《计算机科学与探索》2009年第1期68-90,共23页刘胤田 刘应明 徐开阔 曾涛 唐常杰 
国家自然科学基金;成都大学信息技术发展基金~~
R-Tree及其变种的多维索引结构在数据的操作过程中通过对空间的分隔和不断调整将整个空间划分为大小不等的子空间以容纳足够的空间对象,这种方法能有效地实现多维空间对象的索引,但不能避免频繁的节点分裂与重组操作所造成的计算开销,...
关键词：空间索引 空间超立方格子树 对象线性化 
正则关系与完全正则空间被引量：3
《数学年刊（A辑）》2008年第6期819-828,共10页徐晓泉 刘应明 
国家自然科学基金(No.10331010;No.10861007);973(No.2002CB312206);高等学校全国优秀博士学位论文作者专项基金(No.2007B14);教育部博士点基金(No.0020105102019);江西省自然科学基金(No.0411025;No.2007GZS0179);江西师范大学博士基金资助的项目.
借助于关系的某些代数性质刻画拓扑空间的完全正则性,证明了拓扑空间是完全正则的当且仅当其闭集与开集之间存在满足一定简单条件的正则关系,有限正则关系或广义有限正则关系.
关键词：二元关系 正则性 拓扑 完全正则性 
Z-拟连续domain上的Scott拓扑和Lawson拓扑被引量：33
《数学年刊（A辑）》2003年第3期365-376,共12页徐晓泉 刘应明 
国家自然科学基金(No.19831040;No.19561002);教育部博士点基金;江西省主要学科跨世纪学术带头人培养基金;江西省自然科学基金
对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawso...
关键词：Z—拟连续domain 超连续格  Z—Scott拓扑  Z—Lawson拓扑 严格完全正则序空间 
不分明拓扑中的Stone表示定理被引量：2
《中国科学（A辑）》2003年第3期236-247,共12页刘应明 张德学 
国家自然科学基金(批准号:10071053);国家重点基础研究发展规划;教育部博士点基金;霍英东教育基金会资助项目
对一类完全分配格给出了Stone表示定理的格值形式.准确地说,证明了若L是一frame且0∈L是素元或1∈L是余素元,则分配格范畴对偶同构于凝聚L-locale范畴;若L还是完全分配的,则分配格范畴对偶同构于凝聚满层L-拓扑空间范畴.
关键词：不分明拓扑 Stone表示定理 完全分配格 L-拓扑空间 FRAME 余素元 L-locale范畴 
Smyth幂半格及其连续domain表示被引量：4
《数学学报（中文版）》2002年第2期209-214,共6页寇辉 刘应明 
国家重点基金;国家自然科学基金;数学青年天元基金(TY10125022)资助项目
本文证明了每个Ｓｍｙｔｈ幂半格同构于一连续ｄｃｐｏ的Ｓｍｙｔｈ幂ｄｏｍａｉｎ，而每个连续ｄｃｐｏ同构于其 Ｓｍｙｔｈ幂 ｄｏｍａｉｎ的 ｗａｙ ｂｅｌｏｗ素谱．通过上幂函子建立了连续ｄｏｍａｉｎ与Ｓｍｙｔｈ幂半格之间的范...
关键词：连续dcpo Smyth幂半格 完全分配格 连续DOMAIN 上幂domain 下幂domain 
关于Lowen空间指数对象的一点注记被引量：1
《数学年刊（A辑）》2002年第1期33-40,共8页刘应明 张德学 
国家自然科学基金(No.19831040;No.10071053);四川省青年科技基金(No.457)资助的项目.
Ｌ－拓扑空间（Ｘ，△）称为一 Ｌｏｗｅｎ空间若△有一组由层特征函数构成的基，即△中形如ａ∧Ｕ，ａ∈Ｌ，Ｕ　Ｘ的元素构成△的一组基．若Ｌ＝［０，１］；则（Ｘ，△）是一Ｌｏｗｅｎ空间当且仅当（Ｘ，△）是一 Ｌｏｗｅｎ意义下...
关键词：L-拓扑空间 Lowen空间 指数对象 完全分配格 Fuzzy领域空间 
Domain投射空间的连续性被引量：1
《数学年刊（A辑）》2000年第5期579-584,共6页寇辉 刘应明 
本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是；若连续ｃｐｏＤ的投射空间是连续的，则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步，若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有...
关键词：连续CPO 代数DOMAIN 投射空间 序稠链 连续性 
Domain理论与拓扑被引量：13
《数学进展》1999年第2期97-104,共8页梁基华 刘应明 
国家自然科学基金;国家教委博士点基金;国家教委高等院校数学研究中心资助项目
Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用。本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几个方面的发展，反映Ｄｏｍａｉｎ理论与拓扑的紧密联系，使我们看到序和...
关键词：DOMAIN理论 SCOTT拓扑 拓扑 程序设计语言 序 
完备格上的上拓扑和区间拓扑
《数学年刊（A辑）》1999年第1期15-20,共6页徐晓泉 刘应明 
国家自然科学基金;国家教委博士点基金;江西省自然科学基金
对完备格 Ｌ；记ｖ（Ｌ）为 Ｌ上的上拓扑之闭集格本文证明了完备格 Ｌ为 Ｆ－分配格当且仅当映射ｓｕｐ：ｖ（Ｌ）→Ｌ为满完备格同态；若Ｌ为Ｆ－分配的Ｂｏｏｌｅ格，则Ｌ同构于某幂集格、对Ｔ１格 Ｌ，证明了下述各条件等价。（１）...
关键词：F-分配性 连续性 T1格 上拓扑 区间拓扑 完备格 
locale范畴中的逆极限被引量：7
《中国科学（A辑）》1998年第4期321-327,共7页贺伟 刘应明 
国家自然科学基金资助项目 !(批准号 :193310 3);高校数学研究中心资助项目
给出locale范畴中逆极限结构的明确描述 .借助于引入的一种新的极限形式———集体拉回 ,详细讨论了逆极限的性质 ,特别地 ,不用选择公理证明了locale形式的Steenrod定理 ,并且证明了紧空间式locale的逆极限一般不是空间式的 .作为在拓...
关键词：LOCALE范畴 逆极限 选择公理 拓扑空间范畴 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部