定理的

This leads to Rees matrix representation theorems of some generalized completely simple semigroups.

本文首先建立了某类U-半超富足半群的Rees矩阵表示定理，并由此得到了若干广义完全单半群的Rees矩阵表示定理。

Finally, we give the relations among the Von Neumann regular radicals of generalized matrix ring A, Aji-ring Ajjand ring A.

我们首先讨论了广义矩阵环的根，得到了广义矩阵环的稠密性定理和Wedderburn-Artin定理。

Based on the existence of the " mean point s"in Differential mean value Theorem,This paper futher studies the problem of the number of the " mean point s" in Differential mean value Theorem.

在微分中值定理"中值点"存在的基础上，进一步研究微分中值定理"中值点"的个数问题。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

According to the law of mass moment of inertia and of momentum moment, the conditions for the complete dynamic balance of rotor inertial forces and moment of inertia in the rotary piston vacuum pump are put forward, with the rotor movement in single cylinder analyzed as basis.

根据质量矩定理和动量矩定理对单缸滑阀真空泵的转子运动状况进行了分析，分别提出了转子惯性力和惯性力矩完全动平衡的条件。

The monotonicity and the convergence of deterministic nature are proved.

文中给出了误差函数的单调性定理以及该算法的弱收敛和强收敛性定理。

We establish a one to one correspondence between the set of risks and the set of stop loss transformations.

应用停止损失限额变换的性质证明了停止损失限额分离定理，并修正了AlfredMuller在此定理证明中的一个错误。

The robust CNN template was designed, which provided a group of parameter inequality to satisfy its parametric change interval.

设计细胞神经网络模板参数的鲁棒性定理，该定理提供了一组参数不等式以确定满足该功能的参数变化区间。

Therefore the problems of stable margin and parameter working space of 2-D discrete systems can be solved.

我们在第二章提出的定理15-1至定理16-3，可直接确定二维离散系统参数稳定工作空间的边界。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。