查询词典 equivalence relation

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.

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

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.

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

The method evaluates relative similarity relation to each object to form initial equivalence relation,and the equivalence class is developed.

引入等价关系隶属度因子γ，用于度量等价关系间隶属关系，作为聚类过程一个有效参数，控制聚类的规模。

To solve this problem,the equivalence relation of rough set theory is replaced by an asymmetrical similar relation,and from this relation,an asymmetrical similar matrix is defined,then a new heuristic algorithm with less space complexity that require core and knowledge reduction based on asymmetrical similar matrix is proposed,and an example is given to confirm the validity of the algorithm.

用非对称相似关系代替粗糙集理论中的等价关系，定义了非对称相似差别矩阵，提出了基于非对称相似差别矩阵的高效求核和知识约简算法。该算法无需改变初始不完备信息系统的结构，能直接处理缺省数据。实验结果表明，新算法所获得的决策规则简洁、高效，与缺省值无关。

Based on the method of similarity measure, it proves that the equivalence relation of rough set can be transformed into fuzzy equivalence matrix comp.

在这种相似性度量方法基础上，证明了粗集的等价关系可以被转化为模糊等价矩阵。

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

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

Rough set theory is developed based on the notion of equivalence relation,but the property of equivalence has limited its application fields,which may not provide a realistic description of real-world relationships between elements.

粗糙集理论是建立在等价关系的基础上发展起来的，但等价关系性质的应用领域是有限的，等价关系不能对现实世界中的元素关系给出客观的描述。

We find an equivalence relation which divides the infinite timed state space into a finite number of equivalence classes.

在此基础上，论文使用适当的等价关系将无限多个整数格局划分为有限多个等价类。

In light of the convergence theorem obtained in Chapter 2, a result on topology preservation of 2-dimensional SOM algorithm with continuous inputs is given. In Chapter 4, an equivalence relation on n dimensional Euclidean space, called equi-action relation, is introduced and a number of properties on this relation are studied.

指出了已有的有关SOM算法拓扑保序定义的缺陷，并在此基础上，给出了一个具有连续输入的二维SOM算法的拓扑保序新定义；利用第二章中的收敛性定理，我们进而获得了一个具有连续输入的二维SOM算法的拓扑保序性定理。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失