查询词典 studied

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.

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

In chapter 4, the application of Rough Sets theory to algebra system-rings is studied.

第四章研究了粗糙集理论在代数系统——环上的应用。

In chapter 3, the application of Rough Sets theory to algebra system-groups is studied.

第三章研究了粗糙集理论在代数系统——群上的应用。

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differential equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differ tial equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

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.

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

The methods to depict elements of OUMM by LSL are studied, together with the methods to check the consistence between object type definition and instances, attribute definition and states by using the consistence of algebraic specification and algebra.

本文提出了用LSL描述OUMM的各种建模元素到的方法，和通过代数规约与代数的一致性来检验OUMM中对象类型定义和对象实例、属性与状态定义的一致性的方法。

In this paper, multivariate Lagrange interpolation problems are systemically discussed,and through amending Cramer Strange Proposition and proving interpolation theory, the geometry construction of the properly posed sets of nodes along the plane algebraic curve is studied, at the same time, a number of practical constructing methods are given.

本文系统阐述了多元Lagrange插值问题，通过修正Cramer奇论并用插值法加以证明，进一步对沿平面代数曲线插值唯一可解点组的几何结构进行深入的研究，同时得到了一些实用性较强的构造方法。

In this paper,some problems on bivariate Hermite interpolation by polynomial are studied.The concepts of strong H-basis and Hermite interpolation along a plane algebraic curve are proposed.

1引言如所知，光滑函数方法被广泛地应用于计算机辅助几何设计，有限元及散乱数据插值与拟合(Scattered data fitting and interpolation)等领域·在应用该方法过程中，有关光滑或Hermite插值格式及其显式表达式问题的研究是至关重要的一个方面。

Varma and Bojanov studied Landau's type inequality of algebraic polynomials based on Hermite function.

Varma和Bojanov研究了基于Hermite函数的代数多项式的Landau's型不等式。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。