MANIFEST is also used beyond mere consistency checking.
MANIFEST也不仅仅用于一致性检查。
Validation as well as constraint and consistency checking.
确认和限制以及一致性校验。
That's one of the things done by FSCK, the filesystem consistency checking program.
这是文件系统一致性检查程序fsck所做的事情之一。
Consistency checking is based on the relationship between constraints and semantics.
约束和语义的关系是一致性检测的基础。
To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
Consistency checking of cardinal direction constraints is one of the essential issues in qualitative spatial reasoning.
基本方向约束的一致性判定是定性空间推理中的基本问题之一。
Conflicts are detected and resolved via a special type of negotiation among agents, consistency checking for constraints.
主体之间的冲突检测与协调通过一种特殊的多主体协商来解决。
Then, the issue on consistency checking for the metadata model is reduced to terminology checking and instantiation checking.
将元数据模型的检验抽象为术语检验和实例检验两大问题，并对术语检验和实例检验及其转换问题进行研究。
While, in respect of spatial reasoning, the problems such as consistency checking and implicit information obtaining are addressed.
在空间推理方面，主要解决了空间拓扑关系一致性判定和隐性空间信息获取等问题。
Finally the control points are located according to matched contours and consistency checking is employed to remove mismatch control points.
最后，从匹配成功的边缘中抽取匹配控制点并采用一致性检验方法来去除错误匹配点。
Based on the data flow chart of business process, when analyzing the data characteristics, an approach for data auditing and consistency checking is proposed.
针对电信收入保障的主要任务数据稽核，结合电信运营流程的特点，提出了一种新的数据稽核方法。
Aimed at the fact that the original data of the remote backup system changes continuously, a data consistency checking method based on summation digest is proposed.
针对异地备份系统中数据持续变化的情况，设计并实现了一种基于累积摘要值的一致性检测方法。
Description logics systems offer a set of typical inference services, such as concept's classification, satisfiability and realization, knowledge base consistency checking.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类，概念的可满足性及概念的实现，知识的一致性检测等一系列的推理服务。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Based on the research of multi-viewpoint in the area of requirement engineering, we illustrate what the viewpoint delegate is, and discuss some problems about model transform and consistency checking.
在当前需求工程中有关多视点的研究基础上，本文提出了视点代理的概念，给出了代理模板的基本结构，并在此基础上简要介绍了关于模型转换及一致性检查等问题。
Checking consistency is based on the relationship between constraints and semantics.
约束和语义的关系是一致性检测的基础。
Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.
由于DEM能将控制流、数据流和时间有效地集成为一体，故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性。
This paper proposes a logarithmic fitting method for priorities of interval judgement matrices in group AHP and gives two criteria for checking consistency.
提出了群组AHP中区间判断短阵排序的一种新方法，给出了两个检验一致性的标准。
This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
The feasibility of the classification can be proved by the consistency between the crack appearance and the cracking energy checking, which offers a basis for crack analysis in the future.
结果表明，这一方法进行裂缝分类是可行的，裂缝外观及其断裂能的考察结果是一致的。
Two algorithms for checking relationships between categories are presented and their properties are analyzed. Knowledge consistency analysis based on musicology-specific axioms is also discussed.
我们给出两个判断类间关系一致性的算法并分析其性质，还探讨了基于公理的知识的一致性。
The data packet increased checking parity can ensure data consistency in transmission, to remove and recover a reserved keyword of data though the positive replacement and reverse replacement.
增加数据包校验位，保证数据传输的一致性；通过正向替换和逆向替换消除并恢复数据中存在的保留关键字；
The feasibility of the classification can be proved by the consistency between the crack appearance and the cracking energy checking,...
结果表明，这一方法进行裂缝分类是可行的，裂缝外观及其断裂能的考察结果是一致的。
The feasibility of the classification can be proved by the consistency between the crack appearance and the cracking energy checking,...
结果表明，这一方法进行裂缝分类是可行的，裂缝外观及其断裂能的考察结果是一致的。
应用推荐