1) consistent L-domain
相容L-domain
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) Consistent FS-Domain
FS-相容Domain
3) Consistent domain
相容domain
4) consistently algebraic domain
相容代数domain
5) Consistently continuous domain
相容连续Domain
6) consistently bifinite domains
相容双有限domain
1.
Based on the concepts of consistently bifinite domains and the equivalent properties,the article proves several relevant conclusions of consistently bifinite domains.
在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论:相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等。
2.
This paper generalizes some concepts such as bifinite domains from dcpos to consistently directed complete posets, defines concepts of approximate identity, finitely separated, consistently bifinite domains on consistently directed complete posets, and provides an equivalent proposition of consistently bifinite domains.
将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题。
补充资料：domain
分子式：
CAS号：
性质：又称基元。蛋白质分子的一种折叠单位，是较大的蛋白质分子或亚基三维折叠中的一个层次或一种相对独立的三维实体。：一条长钓多肽链最后一步折叠就是结构域缔合(association)，而成一个有活性的蛋白质分子或亚基。在一级(维)结构中的氨基酸序列的某些区域相邻的氨基酸残基形成有规则的二级(维)结构(如α-螺旋、β-折叠、β-转角和无规卷曲等)；然后再把相邻的二级结构片段集装在一起，形成超二级结构；在此基础上，多肽链再进一步折叠，或为近乎球状的三维(级)结构而成(一个)结构域。对于一个较大球状蛋白质分子来说，一条庞大的多肽链往往由两个或两个以上相对独立的三维实体缔合而成三维结构体。最常见的结构域约含有100～200个氨基酸残基，一般至少40个、多的可至400个以上；对于较小的蛋白质分子或亚基，“结构域”和“三级结构”往往是一个概念，也就是说，这些蛋白质是属于单结构域分子(如卵溶菌酶等)。从功能角度看，很多属于多结构域的酶蛋白，其活性中心都位于结构域之间，这是基于:(1)通过结构域容易构建具有特定三维排布的活性中心；(2)结构域之间常只有一段肽链相连，使域间容易发生相对运动，这将有利于活性中心结合底物或施加应力，有利于别构中心结合调节物和发生别构效应，以利于酶对反应的催化。
CAS号：
性质：又称基元。蛋白质分子的一种折叠单位，是较大的蛋白质分子或亚基三维折叠中的一个层次或一种相对独立的三维实体。：一条长钓多肽链最后一步折叠就是结构域缔合(association)，而成一个有活性的蛋白质分子或亚基。在一级(维)结构中的氨基酸序列的某些区域相邻的氨基酸残基形成有规则的二级(维)结构(如α-螺旋、β-折叠、β-转角和无规卷曲等)；然后再把相邻的二级结构片段集装在一起，形成超二级结构；在此基础上，多肽链再进一步折叠，或为近乎球状的三维(级)结构而成(一个)结构域。对于一个较大球状蛋白质分子来说，一条庞大的多肽链往往由两个或两个以上相对独立的三维实体缔合而成三维结构体。最常见的结构域约含有100～200个氨基酸残基，一般至少40个、多的可至400个以上；对于较小的蛋白质分子或亚基，“结构域”和“三级结构”往往是一个概念，也就是说，这些蛋白质是属于单结构域分子(如卵溶菌酶等)。从功能角度看，很多属于多结构域的酶蛋白，其活性中心都位于结构域之间，这是基于:(1)通过结构域容易构建具有特定三维排布的活性中心；(2)结构域之间常只有一段肽链相连，使域间容易发生相对运动，这将有利于活性中心结合底物或施加应力，有利于别构中心结合调节物和发生别构效应，以利于酶对反应的催化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条