查询词典 ramified algebraic function element

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的第十问题。

In the first part of the paper, we construct a family of 1 parameter cubic algebraic curves interpolating four given points and two tangent lines at the endpoints, and one can manipulate the shape of cubic algebraic curves by controlling the points or the tangent line directly.

该文提出的代数曲线的结构有两种，一种是插值平面上四点及两端点切线的三次代数曲线；另一种是插值两端点、两切线及两曲率的三次代数曲线。

In DP-CELP, the excitation was generated by means of convoluting the algebraic code vector with a fixed dispersion pulse. The constructed speech quality was efficiently improved with this excitation, but the search complexity for algebraic codebook was not increased.

该算法为低速率编码算法，激励矢量由特殊结构的代数码书与固定形式的散布脉冲的卷积获得，这种激励源既有效地改善了重建语音质量，又未增加代数码书搜索的复杂度。

The main content includes that the accuracy of interpolation operators is creased since defect equations introduce less error: Gauss-Seidel solution can save effectively the computational time, in particular, the CPU-time for the setup phase; Jacobi-relaxation interpolation contributes to efficient and robust algebraic multigrid methods by a simple and purely algebraic mean.

最主要的内容是基于亏量方程引入的误差较小，从而进一步提高插值算子的精度；采用Gauss-Seidel解法有利于节省计算时间，特别是预备阶段的CPU时间；插值的松驰以一种简单的纯代数的方式获得高效且稳健的代数多重网格算法。

This paper proved that this algebraic feature has some important properties of algebraic and geometric invariance.

该文证明了这样抽取的代数特征具有一些重要的代数和几何不变性。

There are not algebraic formula for solution of the5- n algebraic equation, Thispaper presents a soluted method of nomography. With this method all real roots can beobtained quickly.

五次代数方程不存在求解的代数公式，文中提出了利用诺模图求解方法，可以快速地求出方程的全部实根。

Using the numerical differentiation, the differential equations can be transformed into algebraic equations. Then we can get the numerical solution from the algebraic equations.

但是数值微分对误差非常敏感，因此我们想到用对误差不敏感的数值积分代替数值微分。

In Chapter 3,we classify a binary-coded individual space equivalently withthe help of the ideals of Boolean algebra and analyze the search capabilitiesof a new kind of algebraic crossover operator in these equivalence classes,thenprovide the algebraic representation of a type of genetic algorithms by usingthe permutation group,therefore we can derive a lot of new forms of geneticalgorithms.

第三章运用Boole代数的理想将二进制编码的个体空间进行等价分类，分析了一类代数杂交算子在这些等价类上的搜索能力；然后利用置换群给出一类遗传算法的代数表示，由此导出多种新形式的遗传算法，并给出其中两类算法形式的收敛性结果。

In [2], Kirkland characterizes the limit points for algebraic connectivity of trees in terms of Perron values of certain positive matrices, and finds the four largest elements of limit points for algebraic connectivity of trees together with the corresponding branches.

Kirkland在文献[2]中用正矩阵Perron值的方法刻划了树的代数连通度的极限点，并给出了树的代数连通度的前四大值和达到这些数值相应的分支。

The major technique to get the information of structure of those free groups is to sudy the action of automorphisms on them. In this paper we show that every normal automorphism of a nontrivial free product of groups is inner as well. Traub[16] made a purely algebraic conjecture and showed that it implied Poincare"s Conjecture. He also showed that Poincare"s Conjecture implied this algebraic conjecture modulo another topological hypothesis.

在本文中我们给出任意两个非平凡群的自由积的每个正规自同构也是内自同构的；在文献[16]中，Traub给出了一个纯代数的猜想并证明了这个猜想蕴含着着庞加莱猜想的成立，并且作者也证明了在一个拓扑假设的前提下庞加莱猜想也同时蕴涵着猜想1是成立的，后来这个拓扑假设被Waldhausen([7])证明是成立的。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。