查询词典 algebra over k

Moreover, by discussing the role of geometrical proof in Ars Magna and Cardano's attitude on irrational number, negative number and imaginary number, the paper points out that the role of geometry in Renaissance algebra had been tending weaker.

同时，通过考察几何证明在《大术》中所起的作用以及卡尔达诺对无理数、负数和虚数的处理，指出在文艺复兴时几何在代数学中的作用己逐渐减弱。

In chapter three, I study the isometric maps on non-self-adjoit AF C* algebra..

第三章中，主要是对非自伴的AF C~*-代数，讨论了它上面的等距映射。

Similar to the second conclution of chapter two, I also study the linear characterization of 2-local isometry on TUHF algebra. The way of proof is same.

第二方面类似于第一章中的第二个结果，讨论了三角UHF代数上的2-局部等距的线性性质，证明方法也是类似的。

At first, the governing differential equations are solved by Fourier transform, then, under consideration of the mixed boundary value condition, a pair of dual integral equations about the vertical vibration are listed which are converted to linear algebra equations by the Jacobi orthogonal polynomial and solved by numerical procedures. Consequently, the dynamic compliance coefficient Cv versus the dimensionless frequency is derived, and the program is compiled.

首先，采用Fourier积分变换解析求解了Biot方程，得到了该动力控制方程在Fourier变换域上的一组通解，然后由混合边值条件建立了地基上基础竖向振动的对偶积分方程，并应用Jacobi正交多项式将其转化为一组线性代数方程组，通过求解得到了不同无量纲频率下基础振动的动力柔度系数Cv，编制了相应的计算程序。

The Jacobin matrix of the multi-body system dynamics was studied based on the spatial operator algebra theory,and the realization of the Jacobin matrix procedure was built in the environment of Matahematic5.2 software.The high effective stepping method can be used to compute velocity and static force,and has a simple math expression.

应用空间算子代数理论，在通用计算机符号演算软件Mathematic5.2的环境下，对多体系统动力学雅可比矩阵进行设计与实现，主要用于速度和静力的高效递推算法，用空间算子代数理论求出雅可比矩阵简洁形式，具有编程效率高、直观等特征。

Recalling some basic concepts and results on Euclidean Jordan algebra and vector optimization, we outline the contents studied in this thesis.

介绍了本文研究所需的基本概念和相关理论，继而提出了本文所要研究的主要内容。

In this thesis, we mainly study the theory of vector optimization in three aspects: the spectral scalarization of Euclidean Jordan algebra vector optimization, the robust methods for solving uncertain multiobjective linear optimization problem and the application in game theory.

本文共分四章，主要致力于向量优化三个方面的研究：欧几里德若当代数向量优化的谱标量化、不确定多目标线性优化问题的鲁棒方法和向量优化在对策论中的应用。

Symmetric cone complementarity problem; Euclidean Jordan algebra; C-function; Merit function; Hybrid Newton method; Regularized-smoothing method

对称锥互补问题；欧几里得若当代数；互补函数；价值函数；混合牛顿算法；正则光滑化牛顿算法

Meanwhile, the relationship between the trace scalar solution set and the Bo properly K—efficient solution set of the Euclidean Jordan algebra vector optimization problem is es- tablished.

同时，还建立了特殊谱标量解集——迹谱标量解集与Bo恰当K-有效解集的包含关系。

This course mainly consists of 4 parts:1.Logical algebra and logical simplification, Karnaugh Map and Q-M approach.

本课程由4部分组成，分别是：逻辑代数与逻辑函数化简、组合逻辑分析与设计、同步时序逻辑分析与设计、可编程逻辑设计。

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