查询词典 algebraic closure operator
- 与 algebraic closure operator 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Comparing to the algebraic polynomial,the trigonometric polynomial interpolation studying is more difficult ,and the methods are more different.
与代数多项式相比,三角多项式插值的研究要困难一些,研究方法也有众多不同。
-
The algebraic polynomial with double sine series solutions can also satisfy the problem of boundary conditions at four comers.
还有代数多项式和双正弦级数解,它能满足4个角的边界条件问题。
-
This procedure using C language, completing a polynomial algebraic computation, addition and subtraction by.
详细说明:本程序用C语言编写,完成一元多项式的代数运算,加减乘。
-
Based on an introduction to the robust control of uncertain linear systems and a survey on the past and recent contributions to the related polynomial algebraic method, state space method and frequency domain method, this dissertation focuses on the robust control problem of uncertain linear systems in frequency and time domain.
本文首先就不确定线性系统的鲁棒控制问题作一扼要的介绍和概括,并分多项式代数方法、状态空间方法和频率域方法对其历史发展及其研究现状进行了比较全面的综述。
-
By complete discrimination system of polynomial algebraic equation and resultant theory, a symmetry class of quartic systems with stellar node is studied.
利用多项式代数方程的判别系统理论和结式理论,讨论了具有星形结点的一类对称四次系统的代数分类,并对系统进行全局分析。
-
This paper reviews the historical development of the algebraic solutions of polynomial equations, introduces the life and scientific achievements of Cardano together with the historical background of Ars Magna. Based on this, the paper makes an elaborate study on Ars Magna.
本文首先回顾了多项式方程代数解法的发展过程,介绍了卡尔达诺的生平、科学与数学成就以及《大术》的历史背景,然后在此基础上详细研究了《大术》各章的内容。
-
Cardano's Ars Magna is a landmark in the history of mathematics. It started the theoretical research on algebraic equations, solved the polynomial equations of third-degree and forth-degree in a general and systematical way, and studied the imaginary number as well as its operations for the first time.
卡尔达诺的《大术》在数学史上具有重要的地位,它开创了代数方程的理论研究,首次系统地给出了三、四次多项式方程的一般解法,并且最早讨论了虚数及其运算。
-
In the linear algebraic the coefficient of polynomial and the corresponding relation of the farmnla of multi-line matrix could be built,thus seck the maximum common factor of the polynomial through making use of primary transformation of line.
在线性代数中,可以建立多项式的系数与多行矩阵表示式之间的对应关系,从而利用初等行变换求多项式的最大公因式。
-
The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .
关于多项式符号代数理论在形式化验证方面的研究,人们给出了WGLs和TEDs两个多项式表示模型,并给出了相应的等价性验证算法。
-
Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs
形式化验证;多项式符号代数; WGLs; TEDs
- 相关中文对照歌词
- Operator
- Microphone Fiend
- Smooth Operator
- Operator
- Closure
- Closure
- Hoodoo Operator
- Operator
- Operator (A Girl Like Me)
- Satellite
- 推荐网络例句
-
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数据流的质量检测。
-
This is a very big challenge to developers especially that Ajax is constantly changing.
这对开发者来说是一个非常大的挑战,尤其是需要不断变化的Ajax。