查询词典 checking account

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

self adjointness：自伴性

self adjoint linear mapping 自伴线性映射 | self adjointness 自伴性 | self checking code 自校验代吗

self checking code：自校验码

self charge 自电荷 | self checking code 自校验码 | self compensated motor 自补偿电动机

self checking code：自校验代吗

self adjointness 自伴性 | self checking code 自校验代吗 | self complementary graph 自补图

Matrix Communications Group IT：和通信综合供应商(英国/爱尔兰)

MTS 产品设计与开发改善解决方案供应商(美国) | Matrix Communications Group IT和通信综合供应商(英国/爱尔兰) | NCE 数据存储解决方案供应商(英国)

res perit custodibus：保管人承担损失

res nullius;无主财产;; | res perit custodibus;保管人承担损失;; | res perit domino;货主承担损失;;