对格上拓扑系统和Domain进行综合性深入研究, 获得拓扑性质、代数性质及偏序性质的相互制约关系。从测度、收敛和拓扑的紧密联系入手,提出基于格上拓扑和Domain的新的测度理论和收敛理论,由此获得格上拓扑的结构性质;给出若干Domain的进一步表示。利用内蕴拓扑对Domain函数空间的性质进行描述和刻画;得到Domain函数空间的诸多特性,从范畴方面考察相关范畴的狄卡儿闭性,并为理论计算机中函数式
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
基于MCPF算法的列车组合定位应用研究
基于主体视角的历史街区地方感差异研究———以北京南锣鼓巷为例
贵州织金洞洞穴CO2的来源及其空间分布特征
传统聚落中民间信仰建筑的流布、组织及仪式空间——以闽南慈济宫为例
Domain理论与格上拓扑学
函数空间的拓扑性质
函数空间与度量测度空间上的分析
量化 domain 的拓扑性质