模糊Domain相关论文
摘要Domain理论和Quantale理论具有理论计算机科学和纯粹数学的双重研究背景,它们各自发展,但两者均基于数学中三大基本结构之一的......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一......
产生于上个世纪70年代初的Domain理论具有理论计算机科学与纯粹数学的双重研究背景,为计算机程序设计语言的指称语义学奠定了数学......
首先引入了L-抽象基和模糊Round理想,并给出模糊Round理想的等价刻画,证明了一个模糊Domain的模糊Round理想同构于该模糊Domain.其......
基于完备剩余格,借助于模糊Galois联络,给出了模糊domain更为细致的一个等价刻画定理,丰富了量化domain的理论知识.......
连续格是以拓扑方式作为数学的工具出现在计算科学(domain理论)领域的,由Scott在上世纪70年代初提出.尽管在其它的领域,如一般拓扑......