英语人>网络例句>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 > 尾页
推荐网络例句

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸,那乌黑、忧郁的眼睛,她便会相信,他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失

But because of its youthful corporate culture—most people are hustled out of the door in their mid-40s—it had no one to send.

但是因为该公司年轻的企业文化——大多数员工在40来岁的时候都被请出公司——一时间没有好的人选。