类型校验<检查>,type checking,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 类型校验<检查>

1) type checking 点击朗读

类型校验<检查>

2) type checking 点击朗读

类型检查

This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.

本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。

Using Xerces-J2 the XML partial validating interfaces based on XML Schema are designed and implemented, including type checking, identity constraints checking and so on.

利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等。

The type checking algorit. 点击朗读

引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统。

更多例句>>

3) type check 点击朗读

类型检查

OOZS type check tool is a program which can check the syntax and type of OOZS specifications.

ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误。

更多例句>>

4) check [英][tʃek] [美][tʃɛk] 点击朗读

①校对，检查 ②校验器

5) check up / (up)on 点击朗读

校对,检查,检验

6) Type-Checking 点击朗读

类型检验

例句>>

补充资料：精液内细胞个别不同类型细胞检查

精液内细胞个别不同类型细胞检查

诊法。射精液的个别细胞形态的分类测定，是精液分析要取得的参数之一。取已用瑞氏染色法或吉姆染色法染好的精液涂片，在光镜下计数100个头部卵圆，中段形子、尾子蜷曲的正常精子，同时在一个视野内，计数欲测的不成熟精子或其他形态的细胞。按下列公式计算：C=〓〓N×S〓〓100〓〓(式中：C——欲测得的细胞；N—— 在计数 100个精子时同一视野下的细胞数；S——1ml精液中的精子数)。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

试验，检查，调查，查看，研究，审查，检验，校验强类型检查数值检查(校验) 自检查，自校验检查区;校验区检查和，检验和，校验和平面检验[校正]，液面检查静态类型检查试验，检查，检验，测试，校验，测验验血，血型检查检查程序，校验程序

检查;试验;检验，校验

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 类型校验<检查> 1) type checking 类型校验<检查> 2) type checking 类型检查 1. This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail. 本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。 2. Using Xerces-J2 the XML partial validating interfaces based on XML Schema are designed and implemented, including type checking, identity constraints checking and so on. 利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等。 3. The type checking algorit. 引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统。更多例句>> 3) type check 类型检查 1. OOZS type check tool is a program which can check the syntax and type of OOZS specifications. ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误。更多例句>> 4) check [英][tʃek] [美][tʃɛk] ①校对，检查 ②校验器 5) check up / (up)on 校对,检查,检验 6) Type-Checking 类型检验例句>> 补充资料：精液内细胞个别不同类型细胞检查精液内细胞个别不同类型细胞检查诊法。射精液的个别细胞形态的分类测定，是精液分析要取得的参数之一。取已用瑞氏染色法或吉姆染色法染好的精液涂片，在光镜下计数100个头部卵圆，中段形子、尾子蜷曲的正常精子，同时在一个视野内，计数欲测的不成熟精子或其他形态的细胞。按下列公式计算：C=〓〓N×S〓〓100〓〓(式中：C——欲测得的细胞；N—— 在计数 100个精子时同一视野下的细胞数；S——1ml精液中的精子数)。 说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条试验，检查，调查，查看，研究，审查，检验，校验强类型检查数值检查(校验) 自检查，自校验检查区;校验区检查和，检验和，校验和平面检验[校正]，液面检查静态类型检查试验，检查，检验，测试，校验，测验验血，血型检查检查程序，校验程序

©2011 dictall.com