查询词典 board checking

parity check：奇偶检验

parity bit 奇偶性校验位 | parity check 奇偶检验 | parity checking code 奇偶校验码

perforated pipe：穿孔管道

perforated pipe sprinkler 多孔管喷水灭火装置 | perforated pipe 穿孔管道 | performance checking 性能检查

periodic inventory system：定期盘存制

定期清查 Periodic checking method | 定期盘存制 periodic inventory system | 订本式账簿 bound book

Cylinder perpendicularity gauge：气缸孔垂直检验仪

前照灯检验仪Head light checking equipment | 气缸孔垂直检验仪Cylinder perpendicularity gauge | 主轴承座孔同轴度检验仪Main bearing aligning gauge

possessor raising：领有名词提升

[摘要]Haeberli语类特征核查(categorial feature checking)对汉语领有名词提升(Possessor Raising)提出了一种新的分析方案,文章论证用Haebelli提出的分类特征核查这个理论工具能够很好的解释汉语领有名词提升移位这一语法现象的同时还能对核查理论的发展提供一个新的视角.

proof press：印样机

proof checking 样图审校 | proof press 印样机 | proof printing 校样版

proof：校样

核改校样(checking and correcting proof)校样(proof)指论文在期刊上发表前供校对用的印刷样张. 国外许多英文生物医学期刊在论文发表前将校样送给作者核校;但有些期刊则在"投稿须知"中约定,除非作者要求否则不发作者校样.

theorem proving：定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

map publishing house：地图出版社

map proof checking 地图审校 | map publishing house 地图出版社 | map reading 读图

HDD cache RAM test：硬盘缓存测试

HDD Self Test=硬盘自我测试 | HDD cache RAM test=硬盘缓存测试 | HDD checking=硬盘检查

Camphorwood：香樟

camphor oil 樟脑油 | camphorwood 香樟 | camp process 水泥保护木柱法

platinum resistance thermometer sensor：铂热电阻

plateau,平台;坪 | platinum resistance thermometer sensor,铂热电阻 | playback apparatus,回放仪