1) Scott continuous
Scott连续
1.
In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed.
考察相容L-domain范畴,得出了以Scott连续映射为态射的相容L-domain范畴是cartesian闭范畴的结论。
2) S-Scott continu-ous
S-Scott连续
3) Scott continuous functions
Scott连续函数
1.
It is showed that the category CPOSET of continuous posets and Scott continuous functions is a reflective subcategory of the category CPRSET of continuous pre-ordered sets and Scott continuous functions.
介绍了连续预序集的概念及其基本性质,得到以连续偏序集为对象,Scott连续函数为态射的范畴CPOSET是以连续预序集为对象,Scott连续函数为态射的范畴CPRSET的反射子范畴。
4) biscott continuous map
双Scott连续映射
1.
the category whose objects are bicontinuous lattices and whose morphisms are biscott continuous maps),as the intersectional category of two Cartesian closed categories BICONT_S(i.
证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴。
5) dual scott continuous map
对偶Scott连续映射
1.
the category whose objects are bicontinuous lattices and whose morphisms are dual scott continuous maps.
证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴。
6) lattice-valued Scott continuous mappings
格值Scott连续映射
补充资料:连续和非连续孔径射电望远镜
射电望远镜因接收天体射电的天线孔径的构成方式不同,而有连续孔径和非连续孔径之分。连续孔径射电望远镜是射电望远镜的一种最简单的类型,其天线孔径为接收单元所布满,因而天线增益和分辨率全由天线孔径的实际尺寸和形状决定。这类望远镜天线孔径可以有各种形状,如通常的抛物面、球面、抛物柱面、抛物带形反射面等。某些由分立天线(如偶极子天线、裂缝波导等)组成的天线阵,当阵元间距不大于半波长时,由于电场强度方向图和连续面电流分布的场强方向图相似,也被认为是连续孔径射电望远镜。这种情况更常见于线孔径或米波、十米波段的偶极子阵。非连续孔径射电望远镜是天线结构只分布在孔径部分面积内的望远镜,通常由多个天线组成。栅式干涉仪、复合射电干涉仪、栅十字、 T形栅、圆阵、圆环以及综合孔径射电望远镜等都是。这种望远镜的分辨率由天线范围(设想的孔径)的外尺寸决定,而总的天线增益或灵敏度,则取决于全部天线单元面积的总和。图中a所示的连续孔径天线可认为由N个单元面积组成,经天线传至接收机的信号是各单元反射信号的迭加,连续孔径射电望远镜通过焦点处的馈源自动得到这种迭加。由于二单元A、B信号的迭加效果等效于处在A、B的相关干涉仪输出,非连续孔径射电望远镜正是基于这个原理,在省去孔径一部分的情况下,保留连续孔径各单元间的全部间距和取向,如图中b所示的"骨架式"射电望远镜,或者依观测需要对这些间距和取向进行有限的采样(各种干涉阵),甚至用不少于2的有限天线依次采样后进行处理;图中c是综合孔径望远镜。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条