查询词典 compatible system of algebraic equations

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 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).

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

Because it emphasizes on algebraic method, geometric intuition are lose. Especially in the unit of conic section, although "the unity of geometrical material and algebraic symbol "is the teaching objective of text books, but according to the material of text books, it is difficult for students to arrive.

本文首先试著分析目前高中数学教科书中，对於几何部份的教材编写上，由於编写者的意识型态不同，理念不同，数学教师对教科书的诠释就会因此而有不同，因而造成目前高中几何教学著重在代数方程式上的一些问题。

The algebraic method is used for the first time to study the vibrational spectroscopic constants and the vibrational spectra of three electronic states of alkali heteronuclear diatomic molecule: NaLi -、、 state. The dissociation energies of these states are studied using the algebraic energy method.

文章使用作者建立的基于微扰理论的代数方法，首次研究了碱金属异核双原子分子NaLi的、、三个电子态的振动光谱常数和振动能谱；使用基于AM的代数能量方法研究了这些电子态的离解能。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

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.

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

But , when we changeour trainofthought , we can find that sometimes using mathematical Analysis is a better solution to the linear algebraic problems.In thispaper, use the propertyofcontinuous function andimproper integralof infinite interval and to solve some matrix and quadratic form problems.Algebraic ideas andmethodstosolvemathematical analysisproblems are indicated by several specific examples. Close contactof differentmathematical analysis fields is shown.

该文探讨运用数学分析的有关知识（如：函数连续性、无穷区间的广义积分）和方法解决高等代数中的某些复杂、繁琐的问题；通过具体的实例，阐述高等代数的思想和方法在解决数学分析问题中的作用，揭示不同的数学领域之间的密切联系，例如：二次型与正交变换是代数学的基本内容，其用途十分广泛，而重积分的计算往往存在技术性的困难，若利用"二次型"与"正交变换"的有关理论去解决某些重积分的计算问题是颇有功效的。

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。