查询词典 algebraic algebra

In this paper, we discuss parameterization of implicit blending algebraic surfaces of three quadratic surfaces.

本文研究了三个二次曲面的隐式光滑拼接代数曲面的参数化。

This course covers the fundamental notions and results about algebraic varieties over an algebraically closed field.

本课程包括了代数闭域上代数簇的基本概念和结果，同时也讨论了复代数簇和复解析簇之间的关系。

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

An algorithmic language having statements that resemble algebraic expressions.

一种类似代数式的算法语言。

The basic idea is to set a continuous solution of the region with a finite number of discrete points instead of a grid consisting of, these discrete points called grid nodes the solution of a continuous area on a given function of continuous variables used in the definition of discrete grid variable function approximation the original equation and boundary conditions in the micro-business operators to approximate differential, integral with the points and to approximate, so the original differential equations and boundary conditions are replaced by algebraic equations near Side, that is, finite difference equations , solve this equation group can get the original problem in discrete points on the approximate solution.

基本思想是把连续的定解区域用有限个离散点构成的网格来代替，这些离散点称作网格的节点；把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似；把原方程和定解条件中的微商用差商来近似，积分用积分和来近似，于是原微分方程和定解条件就近似地代之以代数方程组，即有限差分方程组，解此方程组就可以得到原问题在离散点上的近似解。

This paper discussed the theorem of the average arithmetic geometric mean of algebraic polynomials systematically, then derived and analyzed the original geometric programming briefly.

系统地讨论了代数多项式的算术－几何均值定理，并对原型几何规划理论作出了简明的推导与分析。提出了具有缩并迭代特性的几何规划求解理论和编程步骤。

In order to obtain the variation law of temperature during casting solidification to improve casting quality,a finite element method combining with a finite difference method was used to discretize time and space variables in the governing equations of astable heat-conduction in the process of casting solidification so as to obtain the algebraic equations for casting and mold temperature.

为了掌握铸件凝固过程中温度场的变化规律以提高铸件质量，采用有限元和有限差分相结合的方法离散铸件凝固过程非稳态热传导方程的空间和时间变量，得到了关于金属铸件和铸型温度的代数方程。

We shall use algebraic methods to study graphs which are highly regular although this regularity is not expressed in terms of the automorphism group.

我们将用代数方法来研究高度正则的图，尽管这种正则性不是用自同构群来表达的。

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