查询词典 equivalence problem

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.

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

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

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.

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

Once again we use a word to denote its equivalence class and write equality to express equivalence.

我们再一次用一个字来表示它所在的等价类，并用等号表示等价。

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.

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

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

BVA extends equivalence partitioning by focusing on data at the "edges" of an equivalence class.

BVA扩展了数据集中处理"边缘的一个等价类"对应分区。

An equivalence class or equivalence partition is a set of test cases that tests the same thing or reveals the same bug.

总之我觉得想等价类划分是一个不断细化的过程，并不是粗略地分为有效无效就万事大吉了。

Classic rough set theory based on equivalence relation takes complete system as object of study , and divides the region into some non-intersect equivalence class; But, in the real life, because of the errors in data measuring, understanding of data, or the restriction in data collection , it can make the decision-making system incomplete, that is, value of attribution of some objects is unknown, which restrains development of the theory to practical direction.

经典粗糙集理论以完备系统为研究对象，以等价关系为基础，通过等价关系将论域划分为互不相交的等价类；然而，在现实生活中，由于数据测量的误差，对数据理解或获取的限制等原因，使得在知识获取时往往面临的是不完备系统，即可能存在部分对象的一些属性值未知的情况，这就极大地限制了粗糙集理论向实用化方向发展。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。