等价的

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的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

According to the equivalence relation on the set of security protocol,equivalence class of security protocol is divided,so amount of researching security protocol is decreased.

利用安全协议集合上的等价关系，可以划分出安全协议等价类，从而减少了需研究的安全协议的数量。

An algorithm of eliminating the correlation of synthetic indexes based on index equivalence class is proposed in terms of Dijkstra algorithm. The reduction ranges of evaluation indexes can be reduced, and the anterior reduction results are used to increase the efficiency.

借鉴Dijkstra算法，提出了基于指标等价类的合成指标动态约简算法，即通过等价类划分来缩小参与约简的指标范围，并充分利用前一次约简以求得最终指标约简的结果。

This equivalence relation, however, seems to be a very stringent condition that may limit the application domain of the rough set model.

此外，等价关系是经典粗糙集理论中最为关键和重要的概念，然而等价关系看起来是一个过强的条件，可能会限制了粗糙集模型的应用领域。

To do so, we define an equivalence relation with finite equivalence classes over state spaces of DTITL models.

通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系，把DTITL的连续状态模型离散化为一阶区间时序逻辑模型。

The graph isomorphism is an equivalence relation on graphs and as such it partitions the set of all graphs into equivalence classes.

该图同构的等价关系的图形，因此，它的一套分区所有图表到等价类。

This paper gives a general equivalent infinitesimal of trigonometric functions,and utilizes the equivalentinfinitesimal to make questions become easy.

给出了三角函数的一般形式的等价无穷小，并利用等价无穷小，来简化求极限时繁琐的步骤

On the ground of this search algorithm , the equivalent proposition of the Goldbach Conjecture for the even number as well as the equivalent proposition of the twin prime conjecture are deduced.

在这种搜索算法的基础上，既得到了孪生素数猜想的一个等价命题，也得到了偶数哥德巴赫猜想的一个等价命

Firstly, we focus on the influence of the inclusion of equivalent relation on the information entropy, which is explained through 8 propositions. Secondly, we also investigate the relation between the Shafer's evidence theory and equivalent relation.

又章主要从两方面进行论证：①等价关系的粗细对信息熵的影响，这点通过8个命题来说明；②等价关系与证据理论之间的联系。

In the first chapter, we give a detailed introduction of recent developments in derived categories, Moritas equivalence theory, derived equivalence theory, recollements and mutations, automorphisms of Lie algebras, and so on.

第一章我们对与论文有关的研究方向，包括导出范畴，Morita等价理论，导出等价理论和李代数自同构等发展动态做尽可能详细的介绍。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。