逻辑

sequential logic circuits

时序逻辑电路

flip-flop 触发器 | sequential logic circuits 时序逻辑电路 | register 寄存器

Logic service information tree

逻辑服务信息树

信息检索技术:service strategy of information system | 逻辑服务信息树:Logic service information tree | 图像与空间信息服务:Image and spatial information service

simple programmable logic device

简单可程式逻辑装置

"简单在先文法","simple precedence grammar" | "简单可程式逻辑装置","simple programmable logic device" | "简单规则","simple rule"

logic simulation

逻辑模拟

包括逻辑模拟(logic simulation)、编码理论(coding theory)和编译器优化(compiler optimization),他都可以把这些技术当成艺术来研究. "

optimization, statistical design

与SINDA/FLUINT 动态链接 ,能重新计算、完成逻辑判断、参

User defined light sources 用户自定义光源. | optimization, statistical design 与SINDA/FLUINT 动态链接 ,能重新计算、完成逻辑判断、参 | K-factor resistance utility for common fittings 常见接头K 因子;

subsumption logic

包含逻辑

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

symbolic logic

符号逻辑

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

symbolic logic

数理逻辑

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

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 经济模式,经济模式

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI