稳定映射相关论文
主要研究L-论域的极大可分性的等价刻画.论域的局部分配性与交紧性等基本概念被引入.局部分配的交紧的L-论域称为dm-论域.论文表明......
通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质......
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......
主要研究L-论域的极大可分性的等价刻画.论域的局部分配性与交紧性等基本概念被引入.局部分配的交紧的L-论域称为dm-论域.论文表明......
研究了准连续Domain的积结构,子结构和商结构.给出了有界完备准连续Domain上同余关系的等价刻画.讨论了有界完备准连续Domain上稳......
...
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为Domain,而程序的指称是Domain间的映射.本文主要介绍Dom......
引入了相容LDomain概念,给出了相容LDomain的多种内部的和外部的刻画;利用Scott拓扑定义了相容LDomain的定向完备化,证明了相容LDo......
研究了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的性主Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射与拓扑之间的联系，给出了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的特征定理，得到了Ｓｃｔｏｏ Ｄｏｍａｉｎ上的稳定映射下Ｌａｗｓｏｎ拓扑之间的关系定理......
主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射，则Fix（f）是双有限domain......
以丹江流域(河南段) 2002—2017年16个时相的Landsat TM/OLI和HJ-1A CCD影像为数据源,提取土地利用变化图谱,提出基于改进稳定映射......
