查询词典 algebraic structure

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语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

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的代数能量方法研究了这些电子态的离解能。

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.

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

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.

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

Salt is good, but if the salt becomes flat and tasteless, with what do you season it?

14：33 盐本是好的，盐若失了味，可用什么叫它再咸呢？

He reiterated that the PLA is an army of the people under the leadership of the Communist Party of China.

他重申，人民解放军是在中国共产党领导下的人民军队。