全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 序相容 的翻译结果: 查询用时：0.018秒
 在分类学科中查询 所有学科 数学 更多类别查询

 历史查询

 序相容
 order consistent
 A lattice is Σ core compact (ΣF core compact) if it is core compact as a topological space after it is endowed with Scott topology (Scott open filter topology). It′s proved that if ΣF( L ) is order consistent topological space,then L is ΣF core compact if and only if L is continuous lattice. Thus the main result in is generalized. 所谓一个格具有Σ－core紧性（ΣF－core紧性），是指在赋以scot拓扑（scot开滤子拓扑）之后，这个格作为拓扑空间是core紧的．本文证明了若ΣF（L）为序相容拓扑空间，则L具有ΣF－core紧性当且仅当L为连续格． 短句来源
 “序相容”译为未确定词的双语例句
 First, it is proved that Grobner basis keep characters of base through linear map,then it is proved that Grobner basis keep characters of Grobner basis through linear map if and only if the matrix A is a non degenerative upper triangular matrix by changing its rows and the linear map Ф is compatible with the order. 首先证明了Grobner基在线性映射下保持基的性质 . 然后证明了当且仅当A为可经过行交换化为非退化上三角阵且线性映射与序相容时 ,Grobner基经线性映射仍保持Grobner基的性质 . 短句来源
 相似匹配句对
 Consistent Partial Orders for the Total Tardiness Problem 总延误问题的相容偏序 短句来源 Chapter Three Order — homomorphisms of consistently continuous domains. 第三章 相容连续Domain上的序同态。 短句来源 Say "Preface" “序”说 短句来源 Architectural Harmonization 相容建筑 短句来源 On the Order of Character Set 字符集的序性 短句来源

我想查看译文中含有：的双语例句

 order consistent
 However, the result is only to first order consistent with the exactly known spectral and critical properties of the two models. The calculated potential energies of the antagonist-H2 receptor complexes follow an order consistent with the published binding data, indicating that famotidine is the best H2 receptor ligand. The phlyogenetic tree appears to branch in an order consistent with accepted evolutionary pathways. In Case 1 there is a three-set joint order, while in Case 2 there is a two-set joint order consistent across all levels of the third set. In this form the theorem says that if only certain of the triples and quadruples are R-strings, then the whole set A is an R-string, and so has a linear order consistent with the ternary relation R. 更多
 A lattice is Σ core compact (ΣF core compact) if it is core compact as a topological space after it is endowed with Scott topology (Scott open filter topology).It′s proved that if ΣF( L ) is order consistent topological space,then L is ΣF core compact if and only if L is continuous lattice.Thus the main result in is generalized. 所谓一个格具有Σ－ｃｏｒｅ紧性（ΣＦ－ｃｏｒｅ紧性），是指在赋以ｓｃｏｔ拓扑（ｓｃｏｔ开滤子拓扑）之后，这个格作为拓扑空间是ｃｏｒｅ紧的．本文证明了若ΣＦ（Ｌ）为序相容拓扑空间，则Ｌ具有ΣＦ－ｃｏｒｅ紧性当且仅当Ｌ为连续格． Grobner basis is one of basic tools in symbolic computation, and the transformation of Grobner basis is needed in many questions. The transformation question of Grobner basis by linear map X=AY is considered. First, it is proved that Grobner basis keep characters of base through linear map,then it is proved that Grobner basis keep characters of Grobner basis through linear map if and only if the matrix A is a non degenerative upper triangular matrix by changing its rows and the linear map Ф is compatible with... Grobner basis is one of basic tools in symbolic computation, and the transformation of Grobner basis is needed in many questions. The transformation question of Grobner basis by linear map X=AY is considered. First, it is proved that Grobner basis keep characters of base through linear map,then it is proved that Grobner basis keep characters of Grobner basis through linear map if and only if the matrix A is a non degenerative upper triangular matrix by changing its rows and the linear map Ф is compatible with the order. Grobner基是符号计算中的基本工具之一 ,在许多实际问题中需要进行Grobner基的转换 .讨论了经线性映射X -AY后Grobner基的转换问题 .首先证明了Grobner基在线性映射下保持基的性质 .然后证明了当且仅当A为可经过行交换化为非退化上三角阵且线性映射与序相容时 ,Grobner基经线性映射仍保持Grobner基的性质 . This paper introduces the notion of compatibility between *_- orderings and *_-valuations on a *_- ring.Based on this notion,we give some necessary and sufficient conditions for a *_-valuation to be compatibible with a *_-ordering on a *_-ring.The results in this paper may be considered as generalizations of some relevant facts about commutative rings. 在带有一个对合映射 的具有 -序的 -环上,即在所谓的半实 -环上,引入了 -赋值、 -赋值对和 -序相容的概念,并给出了一些性质。在此基础上,对 -环的实位与实赋值进行了刻画,从而推广了实代数中交换环的一些结论。 << 更多相关文摘
 相关查询

 CNKI小工具 在英文学术搜索中查有关序相容的内容 在知识搜索中查有关序相容的内容 在数字搜索中查有关序相容的内容 在概念知识元中查有关序相容的内容 在学术趋势中查有关序相容的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
2008 CNKI－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社