此外，由于采用了新的方式对字节码进行校验，我们还能确保编译的代码在运行时的类型安全。
Furthermore, due to a novel approach to bytecode verification, we're also able to ensure runtime type safety of the compiled code.
属性的连接是可配置的：在更新属性之前，可以进行类型转换和值校验操作。
The connection will be configurable: type conversion and validation operations may be applied before updating a property.
依靠文档类型定义来校验XHTML文档。
An XHTML document is validated against a document Type Definition.
计算机辅助试验(CAT)系统中需要使用各种类型且数量巨多的传感器，传感器校验工作是保证系统整体精度的一项重要环节。
A quantity of sensors of various kinds need to be used in Computer Aided-Testing (CAT) system, thereby the calibration of sensors for the system is quite important.
5台发电机进行保护保护类型的配置，保护的整定计算及校验，继电器的选型。
Generator relay protection contains choosing the protection style of the 5 generator, setting calculation as well as the verification and confirm relay style.
本文所研究的多重级联奇偶校验码就是这种类型的具有很强纠错能力的差错控制编码。
The Multiple Concatenated Parity Check-Code studied in this paper is this type of code, which has strong error-correcting ability.
然后是用F—统计量法对物流节点类型确定的聚类结果进行校验，分析其聚类效果是否满意，合并是否合理。
Thirdly, use F-test to analyze whether the results got by the method forward used are satisfactory and reasonable or not.
校验样品：针对暴露的每种所需类型的门用五金，每个指定的产品按照如下样品的尺寸来准备。
D. Samples for Verification: for exposed door hardware of each type required, in each finish specified, prepared on Samples of size indicated below.
未校验分类法类型适用于那些不需要由uddi来实施对某一个校验服务特别调用的那些类别和标识符。
Unchecked taxonomies are used for categorization and identification without the need for UDDI to perform a specific call-out to a validation service.
未校验分类法类型适用于那些不需要由uddi来实施对某一个校验服务特别调用的那些类别和标识符。
Unchecked taxonomies are used for categorization and identification without the need for UDDI to perform a specific call-out to a validation service.
应用推荐