他本来想要更强的模板参数的静态类型检验。
He would have liked stronger static type checking of template arguments.
所建立的完整性信息流控制机制可通过静态类型检验高效实现。
The proposed integrity information flow mechanism can be efficiently implemented by static type checking.
基于目前XML类型处理问题的研究现状，对XML数据库类型系统的形式化建模、类型验证和类型检验等问题进行了研究探讨。
According to the current research status of XML type processing problems, we will investigate the type validation and type checking problems for the type systems of the XML Database deeply.
默认情况下，主复制检验列名和它们的数据类型。
By default, the mastered replicate verifies column names and their data types.
一部分人认为泛型简化了编程，扩展了类型系统从而使编译器能够检验类型安全；另外一些人认为泛型添加了很多不必要的复杂性。
Some say they simplify programming by extending the reach of the type system and therefore the compiler's ability to verify type safety; others say that they add more complexity than they're worth.
我鼓励你用大量时间记录不同类型的检验点并运行它们和观察不同之处。
I would encourage you to spend a lot of time recording different types of verification points and running them to see the differences.
一张交互式图表让你能够比较14个国家之间债务负担的不同，以及检验不同的借款类型。
An interactive chart allows you to compare how the debt burden varies across 14 countries and to examine different types of borrowing.
它惟一不能做的事是调用put方法，这是因为在不知道该Box实例的类型参数t的情况下它不能检验这个操作的安全性。
The only thing it cannot do is call the put method, and this is because it cannot verify the safety of such an operation without knowing the type parameter t for this Box instance.
visual选项卡还提供了一些验证，比如检验分配给一个简单类型的值是否有效。
The visual tab also provides some validation, such as verifying whether the value assigned to a simple type is valid.
如果检验标准LotusNotes组件声明的属性和操作，将会发现如下类型。
If we examine the properties and actions declared by the standard Lotus Notes components, we find the following types.
虽然使用具体类型的计算来检验速度更为精确，不过，hashcash还提供了一个相对通用的cpu基准。
While checking the speed using the exact type of computation at issue is more precise, hashcash still provides a relatively general CPU benchmark.
这篇文章将涵盖通常的人工智能研究中的各种学习类型，为每种学习方式提供Example，并且我将尝试为不同的学习算法提供适当的检验。
This essay will cover the types of learning that are often studied in AI, some examples of each type of learning, and I'll try to provide a sense for where different learning algorithms fit.
verify选项检验主节点和当前在被实现的节点之间的表、列、数据类型，等等。
The --verify option verifies the tables, columns, data types, and so forth between the master node and the node on which the template is being realized.
所有其他非字符实体类型都被忽略，而且不进行检验，即使对于内部子集中的声明。
All other non-character entity types are ignored, and no validation is performed, even for declarations within the internal subset.
在检验了会话之后，连接器应该判断要请求的条目的类型。
After the session is validated, your connector should determine the type of the item that is being requested.
单元测试检验代码是否做了开发人员希望它做的事儿，而不只是对类型进行拼写检查。
Unit testing provides verification that the code does what is expected, not just spell-checking your typing.
在这一章里面，我们将检验博客到底是什么、它又涉及了什么、不同类型的blogger，以及关于通过博客挣钱的真相。
In this chapter we examine what blogging actually is and what it involves, the different types of blogger, and the truth about making money blogging.
下面的例子检验模板中包括的表是否在三个服务器上，是否存在主键，是否存在数据类型的不匹配，等等。
The following example verifies that the tables included in the template exist on three servers, whether the primary key exists, if there is a data type mismatch, and so forth.
跟踪：检验缺陷已被处理，收集度量和检查退出标准(对于更正式的评审类型)。
Follow-up: checking that defects have been addressed, gathering metrics and checking on exit criteria (for more formal review types).
如果采购订单或订单没有指定科目，其库存类型(非限制使用库存、质量检验库存、冻结库存)可以在收货的时候输入。
If the purchase order or order has not been assigned to an account, a stock type unrestricted-use stock, stock in quality inspection, blocked stock can be entered during goods receipt.
踏面斜裂纹及断口的宏观形貌和理化检验与分析表明，踏面斜裂纹伤损属于滚动接触疲劳裂纹伤损类型。
The macro profile and physicochemical examination of the tread oblique crack shows that the crack falls into the category of rolling contact fatigue type.
如果采购订单或订单没有指定科目，其库存类型(非限制使用库存、质量检验库存、冻结库存)可以在收货的时候输入。
If the purchase order or order has not been assigned to an account, a stock type (unrestricted-use stock, stock in quality inspection, blocked stock) can be entered during goods receipt.
通过对液氯钢瓶瓶阀故障类型、原因的分析，提出了在钢瓶使用、充装、检验过程中适当的操作方法和对策。
By analysis of valve fault type and causes of liquid chlorine cylinder, this paper offers proper operation methods and counter-measures in use, filling and inspection processes.
有害物质应在检验数据中按类型识别。
The hazardous substance shall be identified by the type in the inspection data.
模型类型选择和模型适用性检验是时序建模的两个基本问题。
Two basic problems in time series modelling are the selection of the type of model and the test of suitability of the model.
如果删除该设置，系统文件检查器将不再检验该类型的文件。
If you remove this setting, System file Checker will no longer verify files with this file type.
针对恒虚警(CFAR)处理器在多分布类型杂波中的应用背景，分析了杂波分布检验恒虚警(CT -CFAR)处理器的检测性能。
In view of the applied background of CFAR processor in multi-distribution clutter, the detection performances of the clutter distribution test CFAR (CT-CFAR) are investigated.
本研究通过特征列举实验和建构路径模型，检验概念的特征类型在组合概念范畴效应中的作用。
The present study justified the role of feature types of sub-concepts in category effect of combined concept by using feature listing experiment and path model.
数理统计学原理主要包括：参数估计、统计分布类型、分布拟合检验； 工程结构可靠度理论主要介绍了一次二阶矩方法。
Such as parameter estimation types of statistics distribution tests of distribution hypothesis methods of linear-second order moment, ect.
错误：当把检验时间格式化为一个字符类型时。
应用推荐