说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 亚自反
1)  hyporeflexive
亚自反
1.
We investigate that if A is a subalgebra of B(X) such that A has a separating vectorx0, then A is 2-reflexive and it is also hyporeflexive.
设A是B(X)的子代数,且A具有分离向量x0,本文讨论它的2-自反性和亚自反性,并就具有分离向量的交换算子代数。
2)  Hyporeflexivity
亚自反性
3)  autotrophic denitrifying
自养反亚硝化
1.
A new process for biological treatment of nitric wastewater——nitrous nitrifying/ autotrophic denitrifying process;
一种新型生物脱氮工艺——亚硝化/自养反亚硝化工艺
2.
The best advantage of the biological nitrous nitrifying/ Autotrophic denitrifying in this dissertation is that no silicon source is needed in the process of biological nitrogen removal, this can save energy and reactor volume、simplify treatment process、reduce occupied aerea, especially the low C/N wastewater.
本论文所研究的生物亚硝化/自养反亚硝化脱氮工艺最大的优点正是在于“生物脱氮过程中不需碳源的加入”,这能节省能耗、反应器容积等,这些能极大地拓展生物脱氮工艺的应用范围、强化生物脱氮工艺的处理效果、简化处理流程、减少处理占地等,特别是对于低C/N比的废水而言,亚硝化/自养反亚硝化工艺的优势更为明显。
4)  reflexive [英][rɪ'fleksɪv]  [美][rɪ'flɛksɪv]
自反
1.
Design and implementation of a reflexive workflow model;
一种工作流自反性模型的设计与实现
2.
For the the binary relation R based on the nonempty finite set A, r(R) is usually called the relation R抯 reflexive closure , s(R) is its symmetric closure, and t(R) is its transitive closure.
对于任意非空有限集合A上的二元关系R,r(R)称为二元关系R的自反闭包,s(R)称为二元关系R的对称闭包,t(R)称为二元关系R的传递闭包。
3.
We investigate that if A is a subalgebra of B(X) such that A has a separating vectorx0, then A is 2-reflexive and it is also hyporeflexive.
设A是B(X)的子代数,且A具有分离向量x0,本文讨论它的2-自反性和亚自反性,并就具有分离向量的交换算子代数。
5)  self converse
自反
1.
It is constructed in this paper that a self converse oriented 4 cycle minimum covering design of order v for all integer v≥4 .
主要构作了一个自反的定向 4-圈的最小覆盖设
6)  denitritification
反亚硝化
1.
Effects of MLSS、pH、NO_2~--N on denitritification;
污泥浓度、pH、NO_2~--N对反亚硝化脱氮的影响
补充资料:自反性


自反性
reflexivity

  自反性[reflex州ty:pe如e砍”BH0cT“」 二元关系的一个性质.集合A上的二元关系(场-nary relation)R是自反的(re份xive),如果对所有的a‘A有aRa.自反关系的例子有相等关系,等价关系,序关系.T.c.中呻aHoBa撰赵希顺译可驳公式[re加妞b.forlnl山;onponep狱”Ma,加pMy-,],形式可驳公式(formally refutahlefo功叫da),在给定公式系统中 其否定可以在给定系统中推导出的闭公式. B .H.fpH山班n撰【补注】给定逻辑系统中的闭公式A是形式可判定的(由c翻巨b比)(见可判定公式(de‘dable ror丽a3,’茹果A是可证的或可驳的.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条