等价

The random system is reduced to its equivalent deterministic one by Chebyshev polynomial approximation, and the response of the stochastic system can be obtained by the deterministic methods.

首先用Chebyshev多项式逼近法将随机系统化成与其等价的确定性系统，然后通过等价确定性系统来探索随机Duffing-Van der pol系统的对称破裂分岔现象。

The algorithm of combinational equivalence checking has become mature. But it is the basic of sequential equivalence checking.

组合电路的等价验证算法目前已发展比较成熟，但它是时序电路等价验证的基础。

In the last section of this chapter, we discuss the relation between flow equivalence and continuous flow equivalence for flows on a compact metric space.

在本章的最后，我们讨论了一般紧致度量空间上的流的流等价与连续流等价的关系。

Periodic punctured binary complementary sequence pair set is proposed.

研究了其等价变换性质，及其与非周期屏蔽二元互补序列偶集的等价关系。

Note that when p is true and q is flase, the original conditional statement is false.,but the converse and the inverse are both true.

在一个条件语言里我们了解到了两个等价的命题，等价命题就是在命题变元任何指派下具有相同的真值。

Further some equivalent conditions for a trivial algebra are given, and that the mapping which maps the subset of the universal to the maximal congruence that saturates the subset being a -homomorphism, being order preserving, being constant mapping, the algebra being trivial are equivalent is proved.

最后利用该同余给出了关于平凡代数的几个等价条件，证明了泛代数的子集到渗透该集的最大同余的映射为保序映射、该映射为-同态、该泛代数平凡等是等价的。

Then a new way was defined to prove that the unique set of sequences equivalent to context-free languages can be obtained by mixed self-assembly of mole-cules with 1-,2-,3- sticky ends,which is a supplement for Winfree's theory that the self-assem-bly of dendrimer nanostructures is equivalent to context-free language.

另一方面，文中定义了一种新的通过上下文无关语言通过自装配产生线性语言的方法，即证明了等价于上下文无关语言的特定序列集能通过1-，2-，3-粘头分子的混合自装配产生线性语言，同时，这是对Winfree关于树状纳米结构自装配等价于上下文无关语言理论的一个较好的补充。

With regard to the section of coset in algebraic structure, a series of well-mastered concepts including equivalent relationship and division are applied, and typical examples are cited to introduce the conception of equivalent relationship-coset relationship defined through subgroup.

对于其中代数结构部分的陪集一节，应用已经熟知的等价关系和划分的概念，通过引例导出由子群定义的等价关系―陪集关系，进而得到群的划分―陪集，再研究陪集的性质。

In the text, first introduce the constitute, principle and characteristics of the cchp system which is a comprehensive energy system; in the following, overview the domestic development and the research situations of outside in this realm; immediately after, introduce in brief the research object"s engineering general situation and the design projects that be brought up aimed at this engineering in this text; then detailed discuss a kind of lately thermal economics cost absorption method- the method of share the cost of the product"s Exergy according to the ability class, and make use of this method and the product Exergy equivalence method and steam equivalence method to carry economics analysis to the design project respectively,and carry on the economy compared for the calculation of the several kind different cost absorption method from the point of view that the price of the energy Exergy.

文中，首先介绍了热电冷联产这一综合能源系统的组成、原理及特点；综述了国内外在这一领域的发展和研究概况；接着，简单的介绍了本文所研究对象的工程概况及针对本工程所提出的设计方案；然后详细讨论了一种新的热经济学成本分摊方法-按能级分摊产品火用成本法，并分别运用此方法和产品火用等价法、蒸汽等价法对设计方案进行经济性分析，从能量火用价格的角度对几种不同分摊方法的计算结果进行经济性比较。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。