查询词典 algebra over k

Some properties, such as primeness, semiprimeness and nondegeneracy are introduced. The primeness and semiprimeness are lifted from a Lie color algebra to its algebras of quotients.

在此基础上，本文提出了Lie color代数的商代数和弱商代数的概念，定义了Lie color代数的一些性质如素性、半素性和非退化性等，并将素性和半素性推广到Lie color代数的商代数中。

It is shown that sequences operations to implication distance in a normed lattice H implication algebra are bounded.

最后得到了在赋范格H蕴涵代数中的数列对于蕴涵距离是有界的结论。

Motivated by Baker\'s result, we introduce a functional index‖E‖_∞to prove that if a mapping f which is from a normed space to a normed algebra satisfying‖ab‖=‖a‖‖b‖satisfies that‖E‖_∞is bounded,then either f is bounded or f is exponential.

受到Baker的结论启发，通过引入一个泛函指标‖E‖∞，证明了从赋范空间到满足范数可乘性的赋范代数的映射f，只要满足‖E‖∞是有界的，则f要么是有界的，要么是指数的。

This course provides a basic introduction of topics such as: interpolation, solution of nonlinear equations, curve fitting to measured data, numerical linear algebra, numerical integration, numerical differentiation, etc..

本课程介绍内容包括：内插法，非线性方程式求解，曲线近似法，线性代数数值运算，数值积分，数值微分等课题。

Due to its wide application in science technology, solving nonlinear multiple variants equation by numerical methods is one of the basic problems in numerical algebra.

由于在科学技术中的广泛应用，多元非线性方程组的数值求解一直是数值代数的基本问题之一。

Using Matlab and its Add-ons Simulink, through establishing simulation maths model, the paper integrates open chain vector equation, numerical value simulation (computing velocity and displacement while given acceleration) and matrix algebra, etc.

利用MATLAB及其附加软件Simulink，通过建立仿真数学模型，综合开环矢量方程、数值仿真(在加速度已知时计算速度和位移)、以及矩阵代数等来完成机器人动态仿真，对所研究的机器人运动学分析结果进行验证，结果基本一致，为机器人的后续研究，如动力学，控制等奠定基础。

The one to one correspondence between values system and action selections informs a mapping between two spaces. The mapping link is the foundation for algebra analysis.

人们依据特定价值观集合的回报与成本做出选择，价值观体系和行为选择存在一个对应的关系，形成了两个空间的映射。

Voiculescu independently in 1980s, is one of the important research subjects in operator algebra theory.

Voiculescu在上世纪八十年代几乎同时独立定义的，目前已成为算子代数理论中的重要研究对象之一。

In this thesis the research comes from the spatial operator algebra, the theories are investigated in a high level.

在实际工程领域和具体算例中运用这一理论，以证明该种方法的高效率和高精度。

The study of operator algebra theory began in 30times years of 20 century.

算子代数理论产生于20世纪30年代，是一门比较年轻的学科。

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