查询词典 algebraic cone

The purpose of this publication is to study the localizations of the category of sheaves of It-algebras, where ~ is a finitary algebraic theory, and the extent to which it characterizes the topological base space.

本刊物的目的是研究它的捆类本地化-代数，其中是一个有穷的代数理论，它在何种程度上刻画了拓扑空间的基础。

In order to improve the efficiency of grid generation, a two-boundary algebraic method based on transfinite interpolation was developed to generate two-dimensional grid system within geometrically complex two-dimensional plane domain rapidly.

为提高网格生成效率，提出了一种基于超限插值的双边界代数网格生成方法，可快速生成边界正交的贴体网格，引入几何一致性条件保证物理区域不变形，同时发展一系列拉伸方程控制网格分布。

An effective algebraic method with point control is proposed and the corresponding transformation equation is derived.

并首次推导了三维空间代数法网格生成中点控制方法的变换表达式。

The study on the algebraic interpolation and the trigonometric interpolation is rapidly developed in view of both theoretical reasons and applications.

由于理论和实践的需要，代数多项式插值和三角多项式插值的研究在近几十年来发展很快。

One of the important classes is Pritchard-Salamon system with unbounded admissible input operator and output operator. Keulen[4]and Curtain[5] has finished excellent work, but they added smooth condition when they transform the solution of H∞-Control into solving two algebraic Riccati equations.

其中重要的一类是具容许无界输入和输出的Pritchard-Salamon系统，这方面已有Keulen[4]，Curtain[5]等人的工作，不过他们在将次最优H_∞-控制器存在问题转化为相应Riccati方程解的存在问题时附加了"光滑性条件"。

The first-order of the modal flexibility for a real symmetric undamped structure with distinct eigenvalues was derived based on an efficient algebraic method. The formulae are simple and compact, and it is easy to program. Moreover, it only requires one eigenvector to be known to calculate the sensitivity of modal flexibility.

代数方法解析推导出无阻尼线性系统模态柔度一阶灵敏度的解析表达式，该表达式简洁紧凑，便于编程，而且在计算阶模态柔度的灵敏度时，只需一阶模态信息，具有显著的优点。

For overcome nonlinear terms of any degree in the equation, we made a proper transformation according to the structure of the equation at first, make the equations into ordinary differential equation. Then solve the ordinary differential equation exactly, by auxiliary functions method and undetermined the coefficient method and algebraic computer system Mathematica.

为了克服方程中非线性项的任意次幂，我们采用的方法是首先根据方程的特点，做适当的变换，使原问题转化为常微分方程的问题，其次对该常微分方程再进行各类变换，如辅助函数法以及待定系数法……。

The polynomial function bases are used to form the approximately matching function. Moreover, the discrete values of grey image is transformed to polinomial function that are exact fit at the considered pixel locations. As a result, The mathematical operations performed such as derivation, integration, and gradient evaluation also give out the polynomial functions, therefore, the system of undetermined coefficient equations is derived to be a system of linear algebraic equations.

我们把立体匹配过程看作泛函的极小化过程，因此选用变分问题近似解法的Ritz法构造数值算法，以多项式函数为基构作匹配函数的近似解，进而又利用多项式过样值点的拟合将离散的灰度图象变换为多项式函数，因此计算中所需的求导，积分，及梯度运算的结果仍然是多项式函数，最终将待定系数方程组化为线性代数方程组。

The "compressed sparse row data format" is adopted to save storage and the "mode multiplication" is used to improve the computation efficiency, so that the finite integration equation is obtained with low storage and high efficiency. To solve the finite integration equation, which is a large-scale sparse algebraic eigenvalue problem under the condition specified, the Krylov subspace iteration method is introduced and the shift-invert Arnoldi method is proposed to exclude the unphysical static electro-magnetic solution and get the needed eigensolution around the specified eigenvalue.

采用"行索引稀疏格式"压缩存贮技术节约内存，采用大型稀疏矩阵的模式乘法，提高矩阵计算效率，高效获得了离散电场分量满足的有限积分方程；针对有限积分特征方程的求解，论文介绍了大型稀疏矩阵Krylov子空间迭代方法，并提出了位移求逆Arnoldi算法，以排除非物理的静态电磁场解，获得指定频率附近的特征值。

To extract vanishing point, we present an algebraic and heuristic search method, without demanding much computation and storage.

本文研究了计算机视觉中摄像机校准和目标运动参数估计两个问题。

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