Intelligent vortex street flowmeter is a new type of checking instrument on the basis of microprocessor.
智能型涡街流量计是以微处理器为基础的新型流量检测仪表。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
Validation is a process of checking whether the instance document satisfies structural, data type, and content constraints specified in the XML schema.
验证就是检查实例文档是否满足在XML模式中指定的结构、数据类型和内容限制的过程。
You now have the choice, at assembly time, to override the usual type checking and create a wire between a property and an action of different types.
在组装时就需要进行选择，是覆盖常用类型检查，还是在不同类型的属性和行为之间创建连接。
First of all, the bounds give us added static type checking.
首先，范围使我们增加了静态类型检查功能。
This type of handling basic checking to make sure the data fits certain criteria, is normally considered validation.
通常认为这类“处理基本检查以确保输入数据满足某种标准”就是验证。
Its primary purpose is to produce LINQ-compatible object models from XSD files, giving developers some measure of static type checking while accessing XML data.
它的主要目标是从xsd文件中生成兼容LINQ的对象模型，让开发人员在访问XML数据的时候可以进行一定的静态类型检查。
After all, the whole point of static type checking is to prevent exactly that sort of exception.
毕竟静态类型检查主要是严格防止那种异常。
Step 3: Checking type of production items.
步骤3：检查生产产品的类型。
In fact, we need to traverse all of the children, checking for nodes of type Text, and collating their values until we have the complete value.
事实上，需要遍历所有子节点，检查类型为Text的节点，并整理它们的值，直到得到完整的值为止。
Although largely superseded by the ability in Lotus Notes 8.0.2 to ignore strong type checking, it can be handy if you need to support earlier versions of Lotus Notes.
虽然该组件在很大程度上被LotusNotes8.0.2中忽略强类型检查的功能取代，但是如果需要支持较早版本的Lotus Notes，那么这个组件比较方便。
The instanceof function provides a good way of checking type, but you can also roll object type checking into the method signature itself by using type hints in the argument list.
虽然 instanceof功能提供了一种检查类型的好方法，但您还可以通过在参数列表中使用类型提示，来将对象类型检查滚动到方法签名自身中。
The compiler can then enforce type checking based on the declared type of the attribute named age.
然后，编译器可以根据age属性声明的类型实施类型检查。
Debasish Ghosh advocates for using this kind of solutions rather than trying to achieve dynamic type checking.
DebasishGhosh提倡使用这种解决方法，而不是试图实现动态类型检查。
The most visible difference between XML Schema and Schematron is the quality of error messages generated during the checking of constraints of type I, which are structural constraints.
XMLSchema与Schematron最明显的区别就是在对类型I的结构性约束的检查过程中产生的错误消息的质量。
Root is used when none is specified (repeat and root are the same, and so when a repeat tag is open, root is used for this type of error checking).
Root 在没有进行任何指定时使用（repeat和 root一样，所以当打开 repeat标记时，root用于此类错误检查）。
If you want a language with static type-checking, you really need to design it in from the start: it drastically affects the design of the language.
如果想要具有静态类型检查的语言，那么的确需要从一开始就把它设计到语言中：它极大地影响着语言的设计。
In other words, the compiler generates pretty much the same code you would have written by hand without generics, casts and all, after checking the type-safety of your program.
换句话说，编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。
In fact, you need to traverse all of the children, checking for nodes of type Node.TEXT_NODE, and collate their values until you have the complete value.
实际上，您需要遍历所有子节点，以核对NODE . TEXT _ node类型的节点，并且整理它们的值直到有完整的值为止。
The same model applies no matter what type of code you are checking in (or documents for that matter).
无论检入何种类型的代码(或文档之类)，同样的模型也是可用的。
This gives the expressiveness of duck-typing with the safety of static type-checking.
这既给予了动态类型的表达能力又保留了静态类型检查的安全。
Of course, you also give up the safety net of the compile-time type checking.
当然，还会失去编译时检查的安全保障。
Particularly if you have direct deposit, most banks offer some type of free checking.
特别是如果你办理的是直接存款业务的话，大多数银行都会提供好几种类型的免费储蓄。
While checking the speed using the exact type of computation at issue is more precise, hashcash still provides a relatively general CPU benchmark.
虽然使用具体类型的计算来检验速度更为精确，不过，hashcash还提供了一个相对通用的cpu基准。
You'll notice some of the Eclipse editor's features as you type, including syntax checking and code completion.
您会在键入时注意到Eclipse编辑器的一些特性，包括语法检查和代码自动完成。
A template can be thought of as a macro with type checking.
模板可以被看作是有类型检查功能的宏。
Echoing at a discussion on dynamic vs. static languages, Debasish Ghosh raises the issue of using dynamic type-checking while programming with static languages.
DebasishGhosh对一场动态VS .静态语言的讨论做出了回应，提出了用静态语言编程时动态类型检查的使用问题。
A detailed expression check can determine the precise type and location of an error. There are seven categories of error checking
详细的表达式检查能够确定错误确切的类型和位置。
The following example annotates the return value of a function. This is useful for checking the return type of a function.
如下的示例则注释了某函数的返回值。
This type of mutex provides error checking.
此类型的互斥锁可提供错误检查。
应用推荐