英语人>网络例句>equivalences 相关的网络例句
equivalences相关的网络例句

查询词典 equivalences

与 equivalences 相关的网络例句 [注:此内容来源于网络,仅供参考]

In recent years, derived categories and derived equivalences have been adapted extensively to a number of subjects beyond algebraic geometry, and have become one of the dominant subjects.

由Grothendieck-Verdier在上个世纪60年代提出的导出范畴的概念和建立的理论体系,标志着代数学发展的一个新的里程碑,它架设了代数与几何联系的一座桥梁。

And some results on the isometries and equivalences of quantum codes are presented, one of which generalizes one of results of Bogart et al..

研究了量子纠错码的等价性和保距同构,推广了Bogart等人的一些概念,并给出若干基本引理和定理,这些结论对进一步研究量子码的等价性和保距同构是非常有用的。

In the fourth chapter, using algebraic method, we prove that tubular mutations are auto equivalences of the derived category of a derived tubular algebra, and apply this method to the case of tame concealed algebras, which generalizes a result of Meltzer .

第四章我们用纯代数的方法证明:tubular mutation是tubular型标准代数的导出范畴的自等价,并把该方法应用到tame concealed代数,从而推广Meltzer的结果。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题:程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数:关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Secondly,the deterministic equivalence problem of theprobabilistic inequality is discussed,and the expression formula of thedeterministic equivalences for several commonly used probabilitydistributions,such as normal,exponent,uniform,β and Γ distributions etc.,are given for the linear function with respect to random variables,which solvesthe problem of the deterministic equivalence for the linear-function-class.

其次,本章讨论了概率不等式的确定性等价问题,就随机变量的线性函数类,给出了与几种常用的概率分布,如正态分布、指数分布、均匀分布、β分布、Γ分布等等,相关的确定性等价问题。

And some results on the isometries and equivalences of quantum codes are presented, one of which generalizes one of results of Bogart et al. By these results, we construct an isometry of quantum codes which is not an equivalent mapping but preserves the symplectic inner product, i.e.

研究了量子纠错码的等价性和保距同构,推广了Bogart等人的一些概念,并给出若干基本引理和定理,这些结论对进一步研究量子码的等价性和保距同构是非常有用的。

Translation literality , phrase alignment probability, and length difference from target language phrase to source language phrase are employed to score for extracted equivalences.

使用译文直译率、短语对齐概率和目标语-源语言短语长度差异等特征对自动获取的等价对进行评价。

Translation literality,phrase alignment probability,and length difference from target language phrase to source language phrase are employed to score for ex.tracted equivalences.

使用译文直译率、短语对齐概率和目标语-源语言短语长度差异等特征对自动获取的等价对进行评价。

And the quantum quadratic residue codes. Isometries and equivalences of quantum codes also are researched.

详细研究了量子二次剩余码与经典二次剩余码的关系,并对量子二次剩余码做了好的扩展。

A theorem on natural equivalences between a right exact additive functor F which preserves sums and some tensor functor ?

给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理。

第1/4页 1 2 3 4 > 尾页
推荐网络例句

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面,更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值,分为几个相等的区间作为横轴,并将各区间内所测定值依所出现的次数累积而成的面积,用柱子排起来的图形,也叫做柱状图。

You rap, you know we are not so good at rapping, huh?

你唱吧,你也知道我们并不那么擅长说唱,对吧?