查询词典 corresponding

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

In this paper, we use some algebraic geometry methods to study the construction of χ-invariant algebras of some linear corresponding moduli space of these systems. Moreover, we completely determine the stable and semistable locus of these systems.

本文，我们以代数几何中的一些方法来研究某些线性动力系统的χ-不变代数的构造，并给出这类系统的相应的参量空间的刻划，进一步，完全决定了这类系统的稳定点、半稳定点的轨迹。

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

We will obtain that 0 is an eigenvalue of the operator corresponding to the model with geometric and algebraic multiplicity one.

第三节中研究对应于该排队模型主算子的谱特征，得到0是该主算子及其共轭算子几何重数与代数重数为1的特征值。

With the Ben Tal generalized algebraic operation of 2 , we obtained some necessary and sufficient conditions for the class of generalized convex programming, and the results generalize the corresponding ones for the convex Programming.

利用文〔2〕中定义的Ben－Tal广义代数运算，本文得到了这类广义凸规划的Kuhn－Tucker充分条件和必要条件，所得结果推广了通常凸规划相应的结

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两个多项式表示模型，并给出了相应的等价性验证算法。

As advantage of this method, at the same time of diagonalization, one can know the algebraic structure in the Hamiltonian and get the eigenstates that are revealed to be an algebraic coherent state as well as some other possible information of the corresponding physical system.

这种方法的优点是，在用代数法将哈密顿量对角化的同时，不但得出了该系统哈密顿量的代数形式，并且可以得知对应的本征态与代数相干态的关系及对应的物理系统的其他物理信息。

What s more, we wonder whether there are some qualities about algebroid function corresponding to meromorphic func-tion,specially, concerning deficiency, characteristic function,differential polynomial and so on.

而且一些亚纯函数中存在的性质在代数体函数中是否相应存在仍有待研究，特别是涉及亏量、特征函数及微分多项式等方面。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐