查询词典 spell-checking

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=硬盘检查

Horizontal Refresh Rate：水平再新率

水平冗余检查 horizontal redundancy checking,HRC | 水平再新率 horizontal refresh rate | 水平分辨率 horizontal resolution

remediation：補救方法

齐力承包括设定阅读目标(gold setting)、选择阅读策略(strategy selection)、检查目标(gold checking)是否达成及采取补救方法(remediation),此部分和一般认知工作的目标设定和执行相似,又称为后设认知(metacognition),

Welding line checking ruler：焊缝检查尺

手电筒 Flashlight | 焊缝检查尺 Welding line checking ruler | 支撑杆 Supporting pole

Ruminant nutrition：反刍动物营养学

单胃动物营养学 Nutrition of unistomach animals | 反刍动物营养学 Ruminant nutrition | 饲料检测技术 The technique of feed checking and analysis

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件