1) Connected algebraic domain
连通代数Domain
3) algebraic L-domain
代数L-domain
1.
In this paper,we characterize algebraic L-domains through introducing the new concept of strong core com-pact space.
引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain。
2.
They are finally proved to be respectively equivalent with the category ALD of all algebraic L-domains and the category ABD of all algebraic bc-domains.
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价。
3.
In this paper, we discuss the interval constructor on lattices and Bi-domains, andstudy the function spaces between two algebraic L-domains.
另外,讨论了代数L-domain上的两种函数空间,得到结论:这两种函数空间仍然是代数的L-Domain。
4) algebraic bc-domain
代数bc-domain
1.
They are finally proved to be respectively equivalent with the category ALD of all algebraic L-domains and the category ABD of all algebraic bc-domains.
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价。
5) quasialgebraic Domain
拟代数Domain
1.
Some properties on quasialgebraic Domain;
拟代数Domain的若干性质
6) Consistently connected continuous domain
相通连续Domain
补充资料:单连通和多(复)连通超导体(simplyandmultiplyconnectedsuperconductors)
单连通和多(复)连通超导体(simplyandmultiplyconnectedsuperconductors)
单连通超导体一般指的是不包含有非超导绝缘物质或空腔贯通的整块同质超导体,若有非超导绝缘物质或空腔贯通的超导体则称为多(复)连通超导体。从几何学上讲,在超导体外表面所包围的体积内任取一曲线回路,这回路在超导物质内可收缩到零(或点),且所取的任意回路均可收缩到零而无例外,则称单连通超导体。若有例外,即不能收缩到零,则称多连通超导体。例如空心超导圆柱体,则在围绕柱空腔周围取一回路就不能收缩为零。多连通超导体可有磁通量子化现象(见“磁通量子化”)。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条