助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   序相容 的翻译结果: 查询用时: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.

所谓一个格具有Σ-core紧性(ΣF-core紧性),是指在赋以scot拓扑(scot开滤子拓扑)之后,这个格作为拓扑空间是core紧的.本文证明了若ΣF(L)为序相容拓扑空间,则L具有ΣF-core紧性当且仅当L为连续格.

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-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社