模糊domain相关论文
摘要Domain理论和Quantale理论具有理论计算机科学和纯粹数学的双重研究背景,它们各自发展,但两者均基于数学中三大基本结构之一的......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一......
产生于上个世纪70年代初的Domain理论具有理论计算机科学与纯粹数学的双重研究背景,为计算机程序设计语言的指称语义学奠定了数学......
首先引入了L-抽象基和模糊Round理想,并给出模糊Round理想的等价刻画,证明了一个模糊Domain的模糊Round理想同构于该模糊Domain.其......
通过引入模糊定向极小集和模糊Domain的基的概念,证明了模糊定向完备偏序集X是模糊Domain当且仅当X有基当且仅当（A）x∈X,x有模糊定向......
基于完备剩余格，借助于模糊Galois联络，给出了模糊domain更为细致的一个等价刻画定理，丰富了量化domain的理论知识．......
设L为完备剩余格,在L-偏序集中引入步函数的概念。基于一般的weight类,得到了L-偏序集映射空间连续性的一个刻画定理。基于以上结......
基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊d......
连续格是以拓扑方式作为数学的工具出现在计算科学(domain理论)领域的,由Scott在上世纪70年代初提出.尽管在其它的领域,如一般拓扑......
