查询词典 algebra system

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

Basic Mathematics has undergone an amazing evolution and born fruit on fields such as algebra, functional analysis, dynamic system, algebraic number theory and differential geometry.

基础数学的研究经过多年工作积累，在代数学、泛函分析、动力系统，代数数论，微分几何等领域在国内外有一定影响。

This method is developed based on Algebra of Systems, an algebraic system modeling language.

并对系统代数提出"Merge"算子，使其更适合建立较复杂系统的仿真模型。

The algebraic system uses the method of algebra to study the properties and characteristics of various things in the world.

代数结构主要从系统宏观的代数方法去研究客观事物的各种性质与特征。

A new algebraic system X is constructed by using the known loop algebra 1 and difference operators.

首先利用环代数1和微分算子构建一种新的代数系统X。

The linear system optimum control theory distributes one of parameter systembasic topics,in domains and so on aerospace,national defense,finance,communicationhas the widespread application prospect.simultaneously, because the research tech-nique involves to foundation mathematics theories and so on the functional analysis,analysis situs,geometry, algebra.

线性系统的最优控制理论是分布参数系统的基本课题之一，在航空航天、国防、金融、通讯等领域有着广泛的应用前景。同时，由于研究手法涉及到泛函分析、拓扑学、几何学、代数学等基础数学理论。

However, despite such categorical pronouncements as "…the above shows that the ring is not the fundamental system for associative algebra of double composition "found in [Vandiver,1939], semirings never became popular and the interest in them among algebraists gradually petered out, although it never died completely.

这些年来，半环被各类研究者所探究或者是在他们的本身及尝试从半群理论和环论中拓展研究方法，或者联系于各种应用。然而，尽管这种范畴的看法"…上面表明环不是最基本的系统对于双复合结合代数"（这句话出自[Vandiver ，1939]）。半环没有受到他们的欢迎和引起他们的兴趣进而逐渐淡化，尽管没有彻底的消亡。

For a given strictly proper rational function matrix over a commutative Banach algebra, the controllable, observable realizations have been constructed, the uniqueness of minimal realizations under the system equivalence has been proved, also, the necessary and sufficient conditions for decoupling have been given.

对给定的定义在交换Banach代数上的严格真有理函数矩阵，构造了可控型、可观型的实现，证明了其极小实现在系统等价意义下的唯一性；给出了交换B.fi。

Fisrt of all , It introduces the matheds and steps of using MATLAB to solve algebra Riccati equation ; Secondly , It is the design of autopilot schemes of three channels ; And in the end , the most important is the simulation of control system making use of software Simulink of MATLAB , and according to the curves , this thesis compares the two working estates and judge the stabliziation of control system .

文章首先介绍了利用MATLAB软件求解代数Riccati方程的方法及步骤；然后分别设计了三个通道的自动驾驶仪；最后，利用MATLAB的Simulink对所设计的控制系统进行仿真，并根据所得到的曲线，对比有无自动驾驶仪两种工作状态下的系统稳定情况。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷