期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
Domain理论与拓扑 被引量:13
1
作者 梁基华 刘应明 《数学进展》 CSCD 北大核心 1999年第2期97-104,共8页
Domain理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用。本文力图从Domain理论产生的背景,它在几个方面的发展,反映Domain理论与拓扑的紧密联系,使我们看到序和... Domain理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用。本文力图从Domain理论产生的背景,它在几个方面的发展,反映Domain理论与拓扑的紧密联系,使我们看到序和拓扑的结合怎样应用于程序设计语言研究。 展开更多
关键词 domain理论 SCOTT拓扑 拓扑 程序设计语言
下载PDF
DOMAIN理论及其应用
2
作者 李庆国 《国际学术动态》 2014年第6期50-51,共2页
第6届Domain理论及其应用国际学术研讨会(The 6th International Symposiumon Domain Theory and Its Applications)于2013年10月25~2913在湖南大学举行。会议由四川大学和湖南大学联合主办,湖南大学承办。会议得到了教育部国际合... 第6届Domain理论及其应用国际学术研讨会(The 6th International Symposiumon Domain Theory and Its Applications)于2013年10月25~2913在湖南大学举行。会议由四川大学和湖南大学联合主办,湖南大学承办。会议得到了教育部国际合作与交流司、中国数学会、国家自然科学基金委员会以及湖南大学的资助。 展开更多
关键词 domain理论 国家自然科学基金委员会 应用 domain理论 国际学术研讨会 湖南大学 中国数学会 四川大学
下载PDF
第7届Domain理论国际研讨会
3
作者 梁基华 《国际学术动态》 2005年第3期47-47,共1页
第7届Domain理论国际研讨会(Domains Ⅶ)于2004年8月29日至9月2日在德国Darmstadt技术大学举行。与会学者45人,来自10余个国家,主要是德国、英国、法国和美国。中国有两位学者参会。
关键词 domain理论 国际研讨会 第7届 2004年8月 德国 学者
下载PDF
domain理论下的建材信息系统设计及应用
4
作者 王韦帆 《中国建材科技》 2015年第4期58-59,共2页
建筑行业对于经济发展的影响有着重要的作用,在其迅速发展的进展中,也标志着一个国家的富强。随着科学技术的进步,市场化的发展已经逐步的走入了信息化,而domain理论也在这个时候悄然进入到了我们的视线之中。
关键词 domain理论 建材信息系统 建筑系统管理
下载PDF
第4届Domain理论国际学术研讨会
5
作者 李庆国 《国际学术动态》 2007年第1期52-53,共2页
第4届Domain理论国际学术研讨会(The 4th International Symposiumon Domain Theory)于2006年6月2-6日在中国长沙湖南大学举行。由四川大学和湖南大学联合主办,会议得到了国家教育部和国家自然科学基金委员会以及教育部高等学校数学... 第4届Domain理论国际学术研讨会(The 4th International Symposiumon Domain Theory)于2006年6月2-6日在中国长沙湖南大学举行。由四川大学和湖南大学联合主办,会议得到了国家教育部和国家自然科学基金委员会以及教育部高等学校数学研究与高等人才培养中心的资助,美国、德国、爱尔兰、挪威、新加坡、中国大陆地区著名大学及研究机构的专家学者70余人参加了会议。 展开更多
关键词 domain理论 国际学术研讨会 国家自然科学基金委员会 中国大陆地区 湖南大学 四川大学 人才培养 数学研究
下载PDF
第四届DOMAIN理论国际学术研讨会会议纪要
6
《模糊系统与数学》 CSCD 北大核心 2006年第3期158-158,共1页
关键词 国际学术研讨会 domain理论 第四届 INTERNATIONAL 会议 国家自然科学基金委员会 domain理论 纪要 湖南大学 四川大学
下载PDF
关于紧连续L-domain的一个刻画定理 被引量:6
7
作者 寇辉 《数学进展》 CSCD 北大核心 2003年第6期683-688,共6页
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理。其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致。
关键词 ω-连续性 函数空间 SCOTT拓扑 Isbell拓扑 domain理论 偏序集
下载PDF
Dom ain理论中的映射 被引量:1
8
作者 陈仪香 《模糊系统与数学》 CSCD 2002年第4期1-11,共11页
Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。
关键词 domain理论 Scott连续映射 稳定映射 程序设计语言
下载PDF
稳定连续半格的闭包空间表示
9
作者 王胜文 张冰 +1 位作者 马俊叶 王龙春 《曲阜师范大学学报(自然科学版)》 CAS 2024年第1期61-66,共6页
为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映... 为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性. 展开更多
关键词 闭包空间 domain理论 稳定连续半格 Scott连续映射 范畴等价
下载PDF
L-拟序集上的广义Alexandroff拓扑 被引量:4
10
作者 张奇业 郑崇友 《模糊系统与数学》 CSCD 2002年第1期13-17,共5页
在一类特殊的 L -拟序集上定义广义 Alexandroff拓扑 ,限制到通常的拟序集上就是 Alexandroff拓扑 ,并且该拓扑可以由其上的一族 Alexandroff拓扑取并得到。还证明任意一个拓扑空间的拓扑都可以表示为某个 L-拟序集上的广义 Alexandrof... 在一类特殊的 L -拟序集上定义广义 Alexandroff拓扑 ,限制到通常的拟序集上就是 Alexandroff拓扑 ,并且该拓扑可以由其上的一族 Alexandroff拓扑取并得到。还证明任意一个拓扑空间的拓扑都可以表示为某个 L-拟序集上的广义 Alexandroff拓扑。 展开更多
关键词 拓扑 拟序集 L-单调映射 广义Alexandroff拓扑 完全分配格 domain理论
下载PDF
拓扑系统的分离性 被引量:12
11
作者 李世伦 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第4期644-648,共5页
拓扑系统是目前最广泛的拓扑研究对象之一 ,它以点集拓扑空间 ,Locale的空间化 ,模糊拓扑空间与拓扑分子格为特例 .它可以用来研究计算机程序语言的指称语义的Domain理论 .作者从拓扑学的角度研究了拓扑系统的分离性 。
关键词 分离性 拓扑空间 拓扑系统 连续映射 拓扑学 蕴涵关系 同胚映射 domain理论
下载PDF
稳定模糊谓词 被引量:1
12
作者 马艳芳 陈仪香 《上海师范大学学报(自然科学版)》 2006年第6期30-36,共7页
引入稳定模糊谓词的概念,讨论稳定模糊谓词的一些基本性质和它的线性运算,建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系.
关键词 domain理论 半拓扑 稳定模糊谓词
下载PDF
完全相容稳定模糊谓词转换器
13
作者 马艳芳 陈仪香 《模糊系统与数学》 CSCD 北大核心 2009年第6期113-125,共13页
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完... 谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。 展开更多
关键词 domain理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器
下载PDF
L-Fuzzy伴随的若干特征定理
14
作者 尚云 赵彬 《模糊系统与数学》 CSCD 2002年第1期18-23,共6页
研究 Frame格上的一类等价关系 ,给出 L - Fuzzy伴随的若干性质定理及其等价刻画 ,体现了L- Fuzzy伴随的层次伴随特点 ,最后引入广义 L-值偏序集的概念 ,得到了类似经典伴随的若干特征定理。
关键词 L-Fuzzy拟序集 L-Fuzzy伴随 广义L-Fuzzy偏序集 Frame格 伴随映射 domain理论 理论
下载PDF
数学与科技交叉融合管窥
15
作者 罗懋康 《学会》 2001年第1期13-15,共3页
关键词 domain理论 模糊逻辑 数学 应用学科 高新技术 交叉融合
下载PDF
我校喜获4项国家自然科学基金资助项目
16
《五邑大学学报(自然科学版)》 CAS 2010年第4期23-23,共1页
2010年度国家自然科学基金项目评审已结束,五邑大学共获得国家自然科学基金资助项目4项,总资助经费84万元,立项数目、资助经费额度为历年最多。获得资助的项目分别是:曾庆光博士主持的高压下不同微结构的Eu:Ti纳米材料的光学性能与结... 2010年度国家自然科学基金项目评审已结束,五邑大学共获得国家自然科学基金资助项目4项,总资助经费84万元,立项数目、资助经费额度为历年最多。获得资助的项目分别是:曾庆光博士主持的高压下不同微结构的Eu:Ti纳米材料的光学性能与结构的研究;龙拥兵博士主持的基于金属微腔的体异质结聚合物太阳能电池研究;白世忠教授主持的Fuzzy Domain理论及其新拓扑工具研究;甘俊英教授主持的基于超完备稀疏表示与仿生模式的伪装人脸识别研究。 展开更多
关键词 国家自然科学基金 基金资助项目 domain理论 太阳能电池 FUZZY 项目评审 光学性能 纳米材料
下载PDF
Lawson紧的代数L-domain递归方程的逻辑形式
17
作者 王龙春 邹娟 《模糊系统与数学》 北大核心 2022年第5期69-80,共12页
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结... 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。 展开更多
关键词 domain理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部