搜索到94篇“ 连续DOMAIN“的相关文章
- 序列拟连续domain的广义有界理想
- 2024年
- domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明了序列拟基可以嵌入到其广义有界理想中。同时,本文指出广义有界理想的集合是序列拟连续domain。这为理论计算机提供了更为简单的程序式语义和数学模型,有助于对domain理论的进一步研究。
- 王武
- 关键词：DOMAIN
- 拟连续Domain的SM^(*)性质
- 2023年
- 研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具有SM^(*)性质的等价条件;给出了两类具有性质SM^(*)的特殊的拟连续Domain.
- 王武谭彬张舜
- 关键词：拟连续DOMAIN
- 强连续 domain 的刻画
- 宋颖龙
- 拟连续domain函数空间和KF-连续空间的研究
- 随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于最为活跃的时期.自上个世纪七十年代发展至今,已经有了非常丰富的研究成果,并与范畴论,逻辑学,...
- 刘德贤
- 关键词：函数空间拟连续DOMAINSCOTT拓扑
- 文献传递
- 一种基于闭包空间和Scott型信息系统的连续domain的表示方法被引量：1
- 2020年
- 概念层次结构的序性质是形式概念分析的研究重点。本文基于对关系相容F-扩张形式背景的研究,提出一种基于闭包空间的Scott型信息系统,为连续domains提供一种新的表示方法。首先,我们基于对关系相容F-扩张形式背景诱导的信息系统的研究,公理化地提出基于闭包的信息系统的概念。然后,利用信息态这一概念,我们证明:任意一个基于闭包的信息系统都可诱导一个连续domain.而且,我们提出F-态射作为基于闭包的信息系统之间的态射,并研究了它的性质。最后,我们建立了基于闭包的信息系统范畴和连续domains范畴之间的等价性。
- 贾振华郭兰坤甘艳萍
- 关键词：形式概念分析闭包空间信息系统连续DOMAIN范畴等价
- 基于闭包空间的连续信息系统与连续domain之间的范畴等价
- Domain结构的表示是Domain理论的一个热点研究方向,其目的是用相对具体或简单的数学结构来表示相对抽象的domain结构.常用于表示domain结构的工具有闭包空间和Scott提出的信息系统.最近的研究结果表明,形...
- 甘艳萍
- 关键词：闭包空间信息系统连续DOMAIN范畴等价
- 文献传递
- Z-准连续Domain的性质及其等价刻画被引量：1
- 2017年
- 引入了Z-准极小集,通过Z-准极小集定义了Z-准连续Domain,给出了Z-准连续Domain的等价刻画.
- 马崛魏美华
- Z-半连续Domain和Z-模糊半连续Domain的研究
- 近年来,连续Domain的推广引起了人们广泛的兴趣,郭智莲博士引入了半连续Domain和模糊半连续Domain,本文在此基础上引入Z-半连续Domain和Z-模糊半连续Domain的概念,并探讨与其相关的一些性质性质.基...
- 赵京
- 文献传递
- Z-相容连续Domain及其相关性质
- 2017年
- 对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
- 赵京卢涛
- Z-相容连续Domain及其相关性质
- 2017年
- 对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
- 李冠宇卢涛
相关作者
- 刘妮
- 作品数：28被引量：50H指数：4
- 供职机构：陕西师范大学
- 研究主题：连续DOMAIN SCOTT拓扑 偏序集 拟阵 QUANTALE
- 赵彬
- 作品数：121被引量：263H指数：11
- 供职机构：陕西师范大学
- 研究主题：QUANTALE 核映射 完备格 滤子 SCOTT拓扑
- 饶三平
- 作品数：27被引量：39H指数：3
- 供职机构：南昌工程学院理学院
- 研究主题：DOMAIN Z 连续DOMAIN 子集系统 完全分配格
- 郭智莲
- 作品数：20被引量：34H指数：3
- 供职机构：西北政法大学经济学院
- 研究主题：L-拓扑空间 DOMAIN 连续DOMAIN S- Z
- 黄艳
- 作品数：8被引量：36H指数：3
- 供职机构：哈尔滨工业大学
- 研究主题：连续DOMAIN Z 模糊积分 大空间 光学
