查询词典 algebraic fraction

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语义；完全性定理

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

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构成的、基于不变矩形特征的运动目标实时识别系统。

We give a purely algebraic method to add uniton numbers for harmonic maps from a simply connected domain into the unitary group.

对于从单连通区域到酉群的调和映射，我们给出了一个增加酉子数的纯代数方法。

It is proved that the algorithm is convergenced for arbitrary consistent systems of linear algebraic equations.

本文利用行处理法[2～4]和分治策略[5]探讨这一问题。将任意的n×m阶线性代数方程组=bi，∥αi∈R1×m∥i=1，2，…，n。

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数据流的质量检测。