查询词典 prove

We prove that there exists no expansive Z2 actions on graphs, but the free product Z * Z can act on the closed interval expansively.

证明了图上不存在Z~2膨胀作用；闭区间上存在自由积Z*Z的膨胀作用。

Using the equivalent condition under which the limit of a sequence of fuzzy numbers exists in the sense of level convergence, we analyze the structure of the level continuous fuzzy number valued function. On the basis of it, we prove the level continuous fuzzy number valued function on a closed interval exists supremum and infimum and give the precise representation.

利用模糊数序列水平收敛意义下极限存在的充要条件，在分析了水平连续函数结构特点的基础上，证明了闭区间上水平连续的模糊数值函数存在上、下确界，并给出了上、下确界的具体表达式。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Would you think it likely, now, that your squire would prove a liberal-minded one in case of help - him being in a clove hitch, as you remark?

呢，要是有人能救你们的乡绅摆脱圈套，你认为他在报答援助方面会不会慷慨——就像你对他评论的那样？

Blame my cloven hooves, If I sink what does it prove, I'll always be your prey.

责罚我的罪恶，如果我深陷其中，愿永远做你的猎物。

The results of simulation are compared to the real detecting data, which can perfectly prove that the conclusion expounded in this paper is effective and accurate in simulate the cloverleaf.

最后对天津市某立交桥的运行状况进行了仿真，通过试验结果与实测结果的比较，证实了该仿真系统的有效性。

This procedure has been confirmed feasible and accurate by examples, then analyses and calculates the homogeneous and unhomogeneous earth rock-fill dam, isotropic and anisotropic earth rock-fill dam, Yanji earth rock-fill dam with clunch core. The results by ANSYS is compared with the results by other seepage soft, which is quite similar and prove ANSYS practicability for calculating seepage field.

通过算例验证了该程序的可行性和正确性，接着对均质和非均质，各向同性和各向异性的土石坝以及烟集粘土心墙土石坝进行分析计算，并和其它渗流软件相互比较，结果较为相近，证明了ANSYS计算渗流场的实用性。

We study the definition of bialgebra and prove the sufficient conditions about a bialgebra is commutative and cocommutative.

从双代数的定义入手，给出了双代数成为交换和余交换双代数的两个充分条件。

In the first part, for competitive discrete-time dynamical systems on a strongly ordered topological vector space, we prove that any α-or ω-limit set is unordered and lies on some invariant hypersurface with codimension one, which generalizes M.

在第一部分中，对于强序拓扑向量空间上的竞争离散动力系统，我们研究了极限集的序结构和极限集的几何位置，证明了任何α-或ω-极限集是无序的且位于一个完全无序的，余维为1的不变Lipschitz流形上。

So the aim of this paper is to prove coefficient of h-polynomial of group H_3 and H_4 is nonnegative.

本文的目标就是要证明群H_3，H_4的h多项式的系数非负。

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.

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