自动验证

Associative

关联的

(2)关联的(Associative)通过创建零件、装配、绘图等方式,可利用Proe/ENGINEER验证模型. 由于各功能模块之间是相互关联的,如果改变装配中的某一零件,系统将会自动地在该装配中的其他零件与绘图上反映该变化. (3)参数化(Parametric) Pro/ENGINEER为一参数化系统,

AVS AudioVisualSystem

视听系统

33 AVS AutomatedVerificationSystem 自动化验证系统 | 34 AVS AudioVisualSystem 视听系统 | 35 AVS AutomaticVolumeSensing 容量自动测知

correctness proof

正确性证明

Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,

emulation

硬件仿真

SpringSoft提供的Novas设计验证增强方案包括了Siloti能见度自动增强系统,以解决在全芯片仿真(full-chip simulation)、硬件仿真(emulation)、硅芯片原型(first-silicon prototyping),以及系统确认(system validation)时所费不孜的信号能见度不足问题.

moisture meter

湿度计

湿度计(moisture meter)用以验证红外线摄影机查出的白蚁发生可能部位. 使用时湿度计探头必须接触检查部位的表面,此时被测部位的相对或绝对湿度会自动在液屏上显示. 若可疑部位的度数高于其他部位20%以上,则此部位很可能有白蚁发生或渗水存在.

SMTP

简单邮件传送协议

Internet 信息服务包括"网络新闻传输协议"(NNTP)、"文件传输协议"(FTP) 和"简单邮件传送协议"(SMTP). 它将定期自动同步该副本与主域控制器 (PDC) 上的主副本. BDC 也将验证用户的登录信息并按 PDC 的需要提高其功能.

nonautomatic self-verification

abbr. nsv; 非自动控制的自我验证

-1

NIPS NonclassifiedInternetProtocolRouterNETwork

非机密因特网协议路由器网络

NT NonautomaticSelfVerification 非自动控制的自我验证 | NIPS NonclassifiedInternetProtocolRouterNETwork 非机密因特网协议路由器网络 | NI NonforbidInterrupt 非禁止中断

enamelling iron：搪瓷[用)钢板

enamelled strip || 涂珐琅钢带,搪瓷钢带 | enamelling iron || 搪瓷[用)钢板 | enantiomer || 对映体,对映异构物

leeringly：以斜眼看 (副)

leeriness 猜疑; 留神; 狡猾; 机警 (名) | leeringly 以斜眼看 (副) | leery 机敏的, 细心的; 猜疑的, 迟疑的 (形)