查询词典 algebraic algebra

We arrange it as follows:In chapter one, we give some explicit constructions of harmonic maps from Lorentz space R1,1 to classical semisimple Lie groups SL,SU Sp, SO by using Darboux transformation, i.e., we may obtain a new parallel transport from a known one via purely algebraic algorithm.

全文共分四章，具体内容如下：第一章利用Darboux变换的方法给出从R~(1，1)到经典实半单Lie群SL，SU，Sp，SO的调和映射的具体构造，即从已知的平行移动Φ_λ通过Darboux变换的方法得到新的平行移动？

We designed the algorithm which can perform the closed domain inclusion test in real time, realized quick search in the algebraic inclusion test algorithm by transforming polynomials with dichotomy.

设计了可实时计算的高斯图闭域包含测试算法，通过引入二分法改造多项式包含测试代数算法，实现快速查找。

It requires no prior knowledge of the concepts of algebraic topology or cohomology.

本书的目的是介绍同调代数中最基础性的也是最精彩的内容。

It shows the effectiveness and practicability of the approach to prove algebraic identies with combinatorial analysis .

说明了用组合分析方法证明代数恒等式的有效性和实用性。

Today, the main means of the study of the 3-manifold are the algebraic method, geometrical method,and combinatorial method.

目前，关于三维流形理论的研究主要有代数方法，几何方法和组合方法。

Algebraic semantics ; Barcan formula ; Kripke's relational semantics ; nested domains ; Kripke's special semantic ; completeness theorem

代数语义； Barcan－公式； Kripke的关系语义；嵌套论域；狭义Kripke语义；完全性定理

Liber Abaci emphasizes summed-up algorithm, but does not pay attention to the form of propositions derived, and it mainly reflects the tendency of practical algorithms, such as principal method from India and the algebraic knowledge from the Arab. In Liber Abaci it is found some problems similar to ancient Chinese mathematics like pursuit problems, drainage problems, business problems, hundred fowls problems, remainder problems, indeterminate problems, as well as some Algorithm—fraction addition and subtraction,the compound rule of three, the method Elchataym and the method of Excess and Deficit, and so on.

在系统梳理《计算之书》数学内容过程中，笔者发现《计算之书》中存有与中国古代数学中相似的实用算题，如：追及问题、排水问题、经商问题、百鸡问题、剩余问题、不定问题等，以及和中算一致的算法：分数算法、多率法和重今有术、第二类"Elchataym算法"和盈不足术等。

Keywords: ADT, Algebraic specifications, Conditional equation, Correctness

如果能获得简明的条件描述，那么就容易写出条件方程。

This article takes the teaching of conic sections as an example. By designing worksheets, teachers can introduce the historical material about conic sections to students. By way of using Apollonius' definition of parabola, ellipse and hyperbola, teachers can introduce the geometric aspect of "conic section" to students. By using the concept of " latus rectum " in Conics , we can connect "conic sections"-- representation of geometrical aspect, with "the equation of conic sections"-- representation of algebraic aspect to improving insufficiency of text books.

同时本文也试著从历史文本中寻找材料，简单举例说明数学教师可以如何应用这些史料在几何单元教学上，例如三角函数的正余弦定理，最后再以圆锥曲线的正焦弦为例，说明如何利用数学史料於此单元的教学，尤其是阿波罗尼斯的《锥线论》中对圆锥曲线的3个命题，将此3个命题的内容与意涵，尤其是正焦弦在圆锥曲线的几何意义上所扮演的角色，将其适当地融入教学中，将可使学生真正学习圆锥曲线的几何知识，而不再只是代数形式的几何知识。

Chapter 1 briefs the relation between invariance and computer vision and summarizes the research and application of invariance in computer vision. Chapter 2 first derives the transformations of three camera models, then makes the correpondences between the models and three typical geometrical transformation groups by analysing the transformations respectively. The correspondences supply the theoretical basis for applying geometrical invariants to resolve the problems of computer vision. In Chapter 3, we describe the geometrical invariant theory and prove some geometrical invariants of coplanar points, lines or conics by algebraic method. In order to use the invariants of conic pairs to describe general 2D shapes, we discuss the perspectively invariant representation of planar curves using conies in detail. A system consisted of two TMS320C25 and based on moment invariants is introduced in Chapter 5. The system can recognize more than 30 different shapes of object model or more than 10 plane models with similar shape in real time.

第一章简述了不变性与计算机视觉的关系，以及计算机视觉中的不变性研究和应用概况；第二章推导了计算机视觉中常用三种投影模型的变换关系，通过对这三种变换关系的分析，分别建立了这三种投影模型和几何学中的三种变换群之间的一一对应关系，为几何不变性在计算机视觉中的应用提供了理论基础；在第三章中，我们介绍了几何不变性的理论，并且用代数方法证明了共面点、直线、二次曲线的几何不变量和射影不变量；为了把二次曲线的不变量用于一般二维形状描述，在第四章中我们详细地讨论了用二次曲线实现一般平面曲线的透视不变性表示的方法；第五章介绍了用两片TMS320C25构成的、基于不变矩形特征的运动目标实时识别系统。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。