The first type of dynamic data to look at is the substitution.
我们需要了解的第一个动态数据类型是置换。
Now that I've worked through the easy parts of the processing, the only part remaining is the actual type substitution handling.
现在我们已经完成了最简单的处理部分，剩下的惟一部分是实际的类型替换处理。
You can see the type substitution code in action in the output at the bottom of Listing 6 (restructured slightly for formatting).
在清单6底部的输出中(为了格式化稍微重新调整了结构)，可以看到类型替换代码的作用。
They then traverse a substitution chain of element declarations or a type hierarchy to determine whether the element declaration satisfies the substitution or type derivation requirements.
然后遍历元素声明的代替链或类型层次结构，以决定元素声明是否满足代替或类型衍生要求。
Both functions require that the provided schema documents declare or define the instance element to be tested and the substitution group head element or the referenced type.
两个函数都要求提供的模式文档声明或定义要测试的实例元素，以及代替组head元素或引用类型。
By declaring an element or type to be abstract, XML Schema provides a mechanism to force substitution for it.
通过声明抽象的元素或者类型，XMLSchema提供了一种强制替换机制。
The first instance of type substitution is in the fourth and fifth lines of the output, where the types of values in the ArrayList instances are specified.
类型替换的第一个实例在输出的第4和第5行，里面指定了ArrayList实例中值的类型。
This mechanism works well if you design an XML vocabulary specifically for use with XML Schema and you require that instances of your vocabulary use xsi: type for type substitution.
如果特别针对XMLSchema使用设计xml词汇表，那么这种机制非常有用，并且词汇表实例需要使用xsi：type实现类型替换。
If, however, you write an XML schema for a vocabulary which already has its own notion of type substitution, then xsi: type will not work.
然而，如果针对已经具有自己的类型替换的词汇表编写XML模式，那么xsi：type不会起作用。
If the XPath expression on the test attribute has evaluated to true, then the specified type is selected as a substitution for the one declared on the element.
如果test属性上的XPath表达式最终值为true，那么将选择指定的type替换元素中声明的类型。
In XML Schema 1.0, xsi: type was introduced as a mechanism for type substitution.
在XMLSchema 1.0中，xsi：type被作为一种类型替换机制引入。
This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
With complex type hierarchies in place, it's also possible to leverage substitution techniques in instance documents.
在构建好复杂类型层次结构之后，还可以在实例文档中使用替换技术。
Vicarious nucleophilic substitution (VNS) of hydrogen is a new type of reaction which is different from the usual electrophilic and nucleophilic reactions of the nitro arenes.
氢的替代亲核取代反应(VNS)是与硝基芳环的亲电反应、亲核反应不同的一种新反应。
This paper is to discuss the higher-order derivative of many-variables abstract composite function, and to put forward the easy method to this type of questions through substitution.
对多元抽象复合函数的高阶求导进行了讨论，利用代换的思想，得到了对其进行高阶求导的简便易行的方法。
Coal-water slurry is a type of low pollution, high efficiency, perfect liquidity fuel as a substitution for oil.
水煤浆是一种低污染、高效率、流动性能强的代油清洁燃料。
Coal-water slurry is a type of low pollution, high efficiency, perfect liquidity fuel as a substitution for oil.
水煤浆是一种低污染、高效率、流动性能强的代油清洁燃料。
应用推荐