1) nested domains
嵌套论域
1.
By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell’s method to prove a completeness theorem on relational algebraic semantics of those system.
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
2) neighbor embedding
邻域嵌套
1.
Reviewing super-resolution through neighbor embedding,this paper proposes an improved residual neighbor embedding algorithm inspired by multi-resolution processing.
通过对基于邻域嵌套的超分辨率算法研究,并受到多分辨率图像处理的启发,提出了一种改进的采用残差进行邻域嵌套的超分辨率算法。
3) nesting domain
嵌套域
4) net small watershed
嵌套小流域
6) VP Shell Hypothesis
VP嵌套理论
1.
In the framework of MP (outlined mainly in Chomsky 1995), an appropriate syntactic interpretation of this sentence type may be achieved via VP Shell Hypothesis: NP-raising is motivated to check the strong D-feature of T.
格理论和扩充的投射理论EPP不能对被动结构的推导动因做出完全解释;被动结构的形成与及物动词在句法层面的被动化有关;在Chomsky(1995)最简方案的框架内,运用VP嵌套理论能够对被动句式做出合理的句法解释:NP的前移是为了满足对T的强D特征核查的要求。
补充资料：嵌套PCR
分子式：
CAS号：
性质：后一次PCR的引物互补于前一次PCR所扩增序列的内侧。
CAS号：
性质：后一次PCR的引物互补于前一次PCR所扩增序列的内侧。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条