查询词典 algebraic correspondence

OR-coincidence algebraic system has close relationship with modular algebraicsystem, so it is necessary to study this algebraic system.

或-符合代数系统与模代数系统有着密切的关系，对它的研究也成为热点。

In this paper, we present a method to solve system of algebraic equations or system of parametric algebraic equations by computing the normal zero decomposition of polynomial systems.

本文提出一种利用多项式系统的正规零点分解的算法来求解代数方程组以及带有参数的代数方程组的方法。

As thezeros of multivariate splines, the piecewise algebraic variety is a generalization of theclassical algebraic variety.

分片代数簇作为多元样条的公共零点集合，是经典代数簇的推广，它不仅和许多实际问题如多元样条插值，CAD和CAGD等有关，而且还为研究经典代数几何提供理论依据。

Applying the techniques of real radical ideal, P-radical ideal , decomposition of semi-algebraic set in ( [72] ), affine Hilbert polynomial and B-net form of polynomials on simplex, this paper obtains two theorems of real C〓 piecewise algebraic variety dimensions and the real Nullstellensatz in C〓 spline ring.

4：应用多项式在单纯形上的B-网形式以及文献（[72]）中的实根理想，锥根理想，半代数簇分解定理，本文得出了实C〓分片代数簇的二个维数定理和C〓样条空间的实零点定理。

Chapter 9: We report a large quantity of numerical experiments of 13 different algebraic multigrid algorithms for solving the Poisson equation, anisotropic equation, equation with cross-derivative terms, general matrix problems with large off-diagonal positive entries, biharmonic equation, Toeplity matrix, elasticity systems, finite element discretization of the Laplacian and even 3D problems. Particular attention is focused on asymptotic convergence factors and CPU-time consumed. Numerical results for many different types of practical problems demonstrate the efficiency and robustness of the proposed algebraic multigrid methods.

第九章：在各种代数多重网格算法的基础上，进行了大量的数值试验，具体给出了十三种不同的代数多重网格方法求解泊松方程，各向异性方程，带混合导数项的方程，带有大的非对角正元素的一般矩阵问题，重调和方程，托普利兹矩阵，弹性力学方程组，拉普拉斯算子的有限元离散，甚至三维问题的较为丰富的数值结果，重点关注它们的渐近收敛因子和所需的CPU时间，来源于不同类型问题的计算结果既为代数多重网格理论分析和算法的改进提供了很实用的资料，同时也证实了本文给出的代数多重网格算法的效绩和稳健性。

By using the solutions of a new auxiliary elliptic equation,a direct algebraic method is proposed to construct the exact solutions of some nonlinear evolution equations.The main difference between this method and previous auxiliary elliptic equation methods is that the balance order becomes smaller after using the new auxiliary elliptic equation.Therefore,the derived algebraic equations are greatly simplified.

利用一个新的辅助椭圆方程将求解非线性发展方程精确解的问题转化为一个代数方程组进行求解，与已有的辅助椭圆方程法的主要不同是，应用这一新的辅助椭圆方程后降低了平衡次数，减少了所得的代数方程组的个数和方程的项数，从而大大地简化了代数方程组的求解。

By analyzing the relationship between the algebraic degree and characteristic matrix of a Boolean function,the relationship between the algebraic immunity and characteristic matrix of a Boolean function is obtained.

通过分析布尔函数的代数次数与特征矩阵的关系，得到了布尔函数的代数免疫度与特征矩阵的关系。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。