逻辑系统

multipoint

多点式

H.323协定包括了提供点对点 (point-to-point) 及 多点式 (multipoint)的会议通讯协定标准. 在 H323 的协定中定义了有四个逻辑构成部分,它们分别为终端机 (terminals),闸道器 (gateways,一种可把两种不同网路系统连结在一起的装置),

opulence

富裕

OPU 光记录系统电源 | opulence 富裕 | OR else logic 或逻辑

Paradoxical

矛盾的

再考虑由具有相同逻辑类型的两项组成的自相矛盾的 (paradoxical)系统,举例如下: 1.以下陈述是正确的; 2.以上陈述是错误的. 如果第一项陈述是正确的, 则第二项陈述指示第一项陈述是错 误的,

PCL ProcessControlLanguage

过程控制语言

PCL PrinterControlLanguage 打印机控制语言 | PCL ProcessControlLanguage 过程控制语言 | PCL PrintedCircuitLamp 印刷电路逻辑模拟分析系统

Plato

abbr. programmed logic for automatic teaching operation; 自动教学编程逻辑，Plato 计算机辅助教学系统

-1

PMS ProgrammedModeSwitch

程控模式开关

PLB ProgrammedLogicforAutomaticTeachingOperation 自动教学编程逻辑,Plato计算机辅助教学系统 | PMS ProgrammedModeSwitch 程控模式开关 | PPC ProgrammedPatchBoard 程控接线板

theorem proving

定理证明

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

Racecourse

跑道

"英语"课程"一词(curriculum)来源于拉丁语,原是"跑道"(racecourse)的意思. 现代教育中的课程是以分科设置为主的,而且"跑道"越来越多. 这适应了社会分工的需要,有利于各科知识的系统学习,强化了学科内部的逻辑组织,

refer to

涉及

所有这些都涉及(refer to)制度;如果这一点成立,那么马克思主义的变体和帕森斯式的变体中的系统矛盾反映的就是制度之间的不相容,也就是不同制度化的规范/角色的复合体的不同逻辑的不相容.

reproducibility

可复制性

中文摘要 本文采用验证、改进、扩展、应用的逻辑,紧密围绕"可复制性"(reproducibility)的思想,通过四个完整的研究系统地论述和改进了独立成分分析(ICA)方法在功能磁共振(fMRI)数据分析中的应用.

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚