等价类

准确的类不变式和方法后置条件可以作为测试神谕，而类不变式和方法前置条件可以作为划分等价类和分析边界值的输入。

Accurate class invariant and method post-condition can act as a test oracle . At the same time , and class invariant and method precondition can act as the inputs of partitioning equivalence class and analyzing boundary values .

在有界闭Fuzzy数中引进了等价类、心以及主半径的概念。

In this paper , the equivalence class center principal radius for the closed Fuzzy numbers bounded are introduced .

有限循环群的Fuzzy子群的等价类数

On the Number of Equivalent Classes of Fuzzy Subgroups of a Finite Cycle Group

有限可解群的Fuzzy子群的阶数及其等价类数

On the Number of Equivalent Classes of Fuzzy Subgroups of a Finite Solvable Group

n元布尔函数的等价类计数方法

Counting Process for the Equivalence Classes of n - Variable Boolean Functions

基于等价类的Rough集模糊化子系统

Subsystem of Fuzzed Rough Sets Based on the Equivalence Classes

人们通常遇到的管理决策都是以单个元素x作为管理对象。以α-等价类[x]（一般card（[x]）＞1）作为管理决策对象是粗的直观含义，也是与普通决策的区别。

In fact the management decision people usually faced regards singular element x as the management object .

文中运用粗糙集在知识分类上的优势，从Agent的静态和动态属性入手，划分基本等价类。

The advantages of rough set were used in classification and the agent was partitioned by its static and dynamic attributes .

基于状态空间等价类的有色Petri网特性验证

Verification of Coloured Petri Nets Based on Equivalence Classes of State Spaces

在此理论基础上设计一种新的无冲突的多维快速IP报文分类算法，该算法通过删除冗余、压缩操作、建立等价类降维、解决规则冲突。

Designing a new IP packet classification algorithm which is multi-dimensional and conflict-free based on the above theory .

等价类元素可通过某种变换相互转化，因此，将n相Barker序列设计简化为等价类的设计。

All n-phase Barker design is reduced to class representative design .

算法将XML标签数据按照共同前缀序列分成不相交等价类：通过在每个等价类中分别实施挖掘过程获取频繁标签序列。

We partition the database into equivalence classes based on common prefix sequences and mine frequent patterns within each equivalence class .

您还可以在Overview标签上完成这个操作，这和您重命名等价类一样。

You can also do this on the Overview tab , just as you renamed the equivalence classes .

这一结果将有助于设计算法搜索G中的等价类，在用得分等价原则学习贝叶斯网络结构时，可以进行局部得分，从而减少所需的数据量，提高效率。

This result can help to search the equivalent classes of a dag and be used in the learning of Bayesian Network .

应用等价类模型建立了概率排挤小生态遗传算法（PC）种群中类分布的期望比例方程。

Expected proportion equations of equivalence classes in the population of niching genetic algorithms using probabilistic crowding ( PC ) is formulated .

测试用例生成策略采用的是黑盒测试的等价类法和边界值法，测试用例和预期结果采用XML文档存储。

Test cases generated by the strategy was black box testing of the equivalent method and boundary value method and they were stored in the XML document .

在此测试平台下，根据边界值、等价类等测试方法规划测试用例，对该Web组件进行功能、性能上进行测试，以及进行回归测试。

Under the testing platform , marking out the testing case according to boundary value and equivalence and testing the Web component with function testing , load testing and functional regression testing .

其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法；

This paper presents an efficient analysis way to determine the necessity of reachability steady state for Interval Speed Continuous Petri Nets .

有限Abel群上子集等价类的计数

Enumeration of equivalence classes of subsets of finite Abel group

在仔细考察C代码变量符号间等值关系的基础上，给出基于值等价类空间的等值分析方法。

Therefore , the paper first investigates value equality relations between variable symbols in C program , and then designs an ECS ( equality class space ) based value equality analysis method .

用计算机搜索的方法，得出具有某种长度的所有n相Barker序列等价类。

All n-phase Barker sequence classes with individual length and n are exhausted by computer searching , the results are given .

关于Liapunov变换意义下的等价类

On the Equivalence Class in the Sense of Liapunov Transformation

事实上，如果把α-等价类[x]看成元素x，则粗管理决策退化成普通管理决策。

In fact , if we consider α - element equivalent class [ x ] as element x , then the rough management decision changes into common management decision .

首先介绍了MPLS网络的基本原理和转发等价类FEC的概念；

First , this paper introduces the basic principle of the MPLS and the concept of the FEC .

如果您点击Overview标签，您会看到EquivalenceClasses章节，在这里您可以为您的测试定义需要的等价类。

If you click the Overview tab , you will see the Equivalence Classes section , where you can define the equivalence classes that you need for your testing .

而将用户业务流分类、映射为转发等价类FEC则是MPLS能提供QoS保证的前提。

And mapping the incoming traffic into Forwarding Equivalence Class ( FEC ) is of great significance for MPLS to provide the QoS guarantee .

另一方面注意到传统可扩展Hash有可改进达到快速地对同一等价类中的元素进行再散列的潜力。

On the other hand , we also notice that the traditional extendible hash can be potentially improved to quickly rehash the elements in the same equivalence class .

提出了使用数据类型匹配的方式进行Portlet之间的数据协作，并给出了精确匹配与等价类匹配两种不同的匹配方式以实现类型转换，从而使Portlets协作支持多步骤交互与复杂的数据类型。

In addition , two data type matching methods , i. e. precise matching and equivalence matching , are introduced to implement type conversion .

具体研究工作如下：一.在Rough集的基本算法方面，提出了计算等价类的快速算法和增量算法以及计算正区域的改进算法，分析了算法的时间复杂度；

First several basic algorithms of Rough set methods are introduced with an analysis of the time complexity such as some efficient and incremental computing of indiscernibly relation and an improved algorithm of positive region .

利用反例指出目前基于区别矩阵计算决策表核属性方法的局限性，并指出根本原因是：U/ind（C）中的等价类的AC不相容性。

With counterexamples the paper points out errors in present methods based on discernibility matrix for calculating the core of a decision table and points out that the key reason of errors is inconsistency of equivalent classes in .