等价的

An equivalent condition for the singular discrete linear systems to be regular, causal, stable as well as the transfer function satisfying a prescribed H-infinity norm bound is obtained by means of linear matrix inequation method.

利用线性矩阵不等式方法，导出广义离散线性系统正则、因果、稳定且传递函数满足给定的范数界的等价条件。

On the infinite matrix transformations and convergence,first,it presents an equiva-lent form of the famous Antosik-Mikusinski basic matrix theorem.

在无穷矩阵变换与收敛方面，首先指出著名的Antosik-Mikusinski基本矩阵定理的一个等价形式。

For the subclasses MAX and MARG of minimal unsatisfiable formula s, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.

对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。

Lebesgue measure is introduced in knowledge base, knowledge measure and knowledge measurable sets are defined.

在知识库中引入勒贝格测度，定义了知识测度和知识可测，对比勒贝格测度研究了知识测度的性质，并得出了波雷耳集与知识可测集等价等强于勒贝格测度的性质。

An equivalent theorem for the Loéve theorem is obtained and the limit theorem for estimation of sum of associated random sequences is also studied.

特别是，获得了Loéve定理的一个等价形式，并讨论了相依随机变量列部分和上升的阶。

In this paper , we have turned the fourth - dimension linear system with contant coefficient into the different equivalence systems and figured out the Liapunov\'s functions .

本文将四阶常系数线性系统化成不同的等价系统，计算出它们的李雅普诺夫函数。

Such as seeking the solution of inverse matrix and maximum unconcerned system of linear equations,and solution of matrix equation,proving equation of system of vectors,and judging the linear independence of system of vectors,etc.

可以用来求逆矩阵，求向量组的极大无关组，证明向量组等价，解线性方程组，解矩阵方程和判断向量组的线性相关性，等等。

In section four, we point out that the mapping cylinder is not equivalent with the octahedral axiom.

在第四节，我们研究预三角范畴中一般意义下的映射柱，证明了一般意义下的映射柱与八面体公理不等价。

This certain equivalence cash flow can be defined in a new equivalent martingale measure.

其中，最优的消费流的确定性等价可以通过定义新的测度得到。

Can be used to inverse matrix, and Vector Group's nothing to do great group that Vector Group equivalent, of linear equations, and the judgement of the matrix equation Vector Group's linear, and so on.

可以用来求逆矩阵，求向量组的极大无关组，证明向量组等价，解线性方程组，解矩阵方程和判断向量组的线性相关性，等等。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。