查询词典 logic

logic simulation：逻辑仿真

屡获多项业界和学界奖项的Aart不仅是逻辑仿真(logic simulation)及逻辑综合(logicsynthesis)等方面的专家,更是不断推出了一系列新的商业模式和企业经营策略,使该公司在横扫全球的经济危机中反而获得发展,推出的新的设计流程并成为第一大EDA厂商.

logic simulation：邏輯類比

20、 類比:simulation | 21、 邏輯類比:logic simulation | 22、 電路類比:circit simulation

subsumption logic：包含逻辑

"被包含子句","subsumed clause" | "包含逻辑","subsumption logic" | "子符号表示法","subsymbolic representation"

symbolic logic：符号逻辑

1881年英国数学家范恩(John Venn, 1834-1923)出版的>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

symbolic logic：符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

symbolic logic：数理逻辑

symbol 符号 | symbolic logic 数理逻辑 | symbolic 象征的

symbolic logic：符号逻萝辑

syllabric articulation 音节清晰度 | symbolic logic 符号逻萝辑 | symmetrical circulator 对称环行器

Symbolic logic semant：二值逻辑语义

建模方法:Modeling Method Symbolic Computation | 二值逻辑语义:Symbolic logic semant | 符号值传播:symbolic value propagation

model of symbolic logic：符号逻辑模型

model of structure 结构模型 | model of symbolic logic 符号逻辑模型 | model of the economy 经济模式,经济模式

the bulletin of symbolic logic：符号逻辑快报(英文)

业余数学杂志(英文) - amateur mathematics journal. ... | 符号逻辑快报(英文) - the bulletin of symbolic logic. ... | 亚太数学杂志(英文) - pacific journal of mathematics. ...

Hilt's law：希尔特煤品级定律

"hillside quarry","山坡石矿" | "Hilt's law","希尔特煤品级定律" | "hindered settling","阻流沈降"

Shaanxi Sunland Automatic Control Co.,Ltd：陕西神洲自动控制有限公司

SHAANXI QINCHUAN MACHINERY DEVELOPMENT CO.,LTD 陕西秦川机械发展股份有限公司 | Shaanxi Sunland Automatic Control Co.,Ltd 陕西神洲自动控制有限公司 | Shan Dong Shuang Yi Group Co.,Ltd 山东双一集团有限公...