这就引入了另一个术语：语义等价。
语义等价：基于XML规则的相等。
这更多的是文档的事实等价问题而非语义等价问题。
This is more an issue about actual equality between the documents, rather than semantic equality.
有效的往返保证输入和输出文档是相同的(语义等价)。
Effective round-tripping ensures that the input and output documents are identical (semantically equivalent).
论文首先提出了一种支持语义等价自动化订阅分解的数据模型。
Fist, we propose a data model that can implement automated subscription decomposition supporting semantic equivalence.
但是许多工具包不那么严格地执行这项任务，结果危害了往返的语义等价性。
However, many packages handle these tasks loosely, and semantic equivalence and round-tripping suffer as a result.
从技术上讲这并没有违反语义等价的规则，两个文档的内容在语义上是相同的。
This technically doesn't violate the rules of semantic equivalence — the content in both documents are semantically the same.
JAXB还以和预期稍有不同的方式处理cdata节，但确实保持了语义等价。
JAXB also handles CDATA sections a little differently than you might expect, but it does preserve semantic equivalence.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
同时，您也可以使用喜欢的API作一些简单的测试，看看它是否(理想地)保持了语义等价性。
In the meantime, you'd do well to perform some simple tests using your own favorite API, to see how it (ideally) preserves semantic equivalence.
编译器是一种将高级程序设计语言编写的源程序转化为语义等价的机器语言程序的系统软件。
Compiler is a system software that translates high level programming language into semantically equivalent machine code.
提出了一种反流水技术，它能够将软件流水后的优化汇编代码反向转换成语义等价的相应代码。
In this paper we propose a de-pipelining algorithm which converts the optimized assembly code of a software-pipelined loop back to a semantically equivalent sequential counterpart.
阅读实用数据绑定专栏的第一篇文章，Brett分析了数据绑定中的几个重要概念，包括往返和语义等价。
Read the first installment of the Practical data binding column in which Brett examines several important concepts in data binding, including round-tripping and semantic equivalence.
语义等价使得比较成为可能，它允许丢弃XML 中不重要的成分如可以忽略的空格，从而可以进行有效的比较。
Semantic equivalence makes that comparison possible -- it allows insignificant aspects of XML, like ignorable whitespace, to be discarded and a valid comparison to be made.
即使两个文档看起来不同，但在语义上可能是等价的，参见上一篇文章中的例子。
Two documents can be semantically equivalent even if they don't look the same — see the previous article for examples.
机器可使用URL的等价物来检查语义是否等价——WordNet允许您在此基础上更进一步，使用它的同义词设置更丰富的语义。
A machine can use equivalence of the URLs to check semantic equivalence — and WordNet allows you to go even further, using its thesaurus-like facilities for richer semantics.
另一个扩展情形是，您具有一个语义上等价于niem类型的复杂类型，但是需要在某些方面做修改或者添加内容。
Another extension situation is where you have a complex type that is semantically equivalent to a NIEM type but you need to alter or add to it in some way.
您可能已经看到，这两个清单包含着同样的数据，事实上它们在语义上是等价的。
You're probably already seeing that these two listings contain the same data -- in fact, they are semantically equivalent.
因此当您想发现两个文档是否“代表”同一个事物，即是否在语义上等价时，事情就显得有点错综复杂了。
So things get tricky when you want to find out if two documents "mean" the same thing — whether they are semantically equivalent.
正确的往返不要求输入和输出文档看起来一致，只要求它们在语义上是等价的。
Proper round-tripping doesn't require that the input and output documents look the same; it just requires that they be semantically equivalent.
当NIEM模型中有一个语义上等价的元素，但是却不太满足需求时，可以使用该方法。
You can use this method when there is a semantically equivalent element in the NIEM model, but it does not quite meet your needs.
三种括号在语义上等价，如下面的代码段所示。
All three kind of parentheses are semantically equivalent and are shown in the snippet below.
为了满足模型检验的需要，本文在研究LSC语法语义的基础上提出了一种生成与LSC等价的状态迁移模型的方法。
Model checking utilizes the state model of systems, thus, we present a method that generates the stale models from LSC models based on the LSC semantics.
该方法利用源语言岐义词不同语义下目标语译文的单义同义词集合，定义并构造等价伪译词。
EPT is constructed by using non-ambiguous words of target language, which is semantically equivalent to the source ambiguous words.
从两个方面讨论了模糊集合的语义，通过随机集合理论和等高线函数对模糊概念进行了说明，利用等价关系理论对模糊环境进行说明，同时结合一些具体实例加以详细讨论。
The vague concept is explained by the random set and the contour function, and vague environments are explained with equality relation. Moreover, several examples are presented in the paper.
简单句结构分析以谓语动词为中心，依据其EICG格约束和句子浅层分析结果填充格框架，从而得到整个句子的语法语义结构。句子结构转换依照句子分析结果和转换规则产生等价的目标语言的线性语法语义结构。
Analysis of predicate verb in a simple sentence is carried out based on the EICG constraints and shallow syntactic parsing results to get the syntactic and semantic structure of the whole sentence.
简单句结构分析以谓语动词为中心，依据其EICG格约束和句子浅层分析结果填充格框架，从而得到整个句子的语法语义结构。句子结构转换依照句子分析结果和转换规则产生等价的目标语言的线性语法语义结构。
Analysis of predicate verb in a simple sentence is carried out based on the EICG constraints and shallow syntactic parsing results to get the syntactic and semantic structure of the whole sentence.
应用推荐