逻辑的

Logic Bomb

逻辑炸弹

事情的起因是国内杀毒软件专家王江民在其开发的软件KV300中添加了被称为"逻辑炸弹"(Logic Bomb)的反盗版程序,凡是使用该盗版软件者,其计算机程序将被锁定不能正常使用,必须找王江民来承认错误并保证以后不使用盗版软件方能解开逻辑锁.

combinational logic

组合逻辑

两者除了闸数的差异,在结构上也有差异:CPLD采连续式布线结构,较适合用来实现各种运算和组合逻辑(combinational logic),也就是触发器(flip-flop)有限而乘积项(product term)较多的结构;FPGA采用分段式布线结构,适用於实现循序逻辑(sequential logic),

Dolby Pro-logic

杜比定向逻辑环绕声

杜比定向逻辑环绕声(Dolby Pro Logic)是美国杜比公司开发的环绕声系统. 它是把四声道立体声在录制时通过特定的编码手段合成为两...商业上也有六声道和七声道的杜比定向逻辑AV放大器. 所谓六声道是将中央声道用两个放大线路输出,分别接在左中置音箱和右中置音箱上...

logical empiricism

逻辑经验论

在美国,他们的见解,最初被称为:"逻辑实证论"(Logical positivism),後来和"实效主义"(Pragmatism)合流,又称为"逻辑经验论"(Logical empiricism). 不到几年,各先进国家的重要学派如柏林科学哲学家、华沙学派、剑桥学派、美国的实效主义论、新实在论、运作论等等,

logical positivism

逻辑实证论

在美国,他们的见解,最初被称为:"逻辑实证论"(Logical positivism),後来和"实效主义"(Pragmatism)合流,又称为"逻辑经验论"(Logical empiricism). 不到几年,各先进国家的重要学派如柏林科学哲学家、华沙学派、剑桥学派、美国的实效主义论、新实在论、运作论等等,

Long position logic

长期立场的逻辑

Discard the logic condition. 舍弃的逻辑条件. | Long position logic. 长期立场的逻辑. | Averaging, Trading size, Protection. 平均,交易规模,保护.

logic simulation

逻辑仿真

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

smarty

模板里的逻辑运算符号

smarty模板里的逻辑运算符号 | smarty模板里的逻辑运算符号 | eq equal : 相等

logic theorist

逻辑理论家

这个程序称为"逻辑理论家(Logic Theorist)"的程序,能用来证明形式逻辑中的各种定理. "逻辑理论家"采用了人类在问题解决活动中所使用的一些处理方法,但它只能解决一些特定类型的问题. 纽厄尔与西蒙在1972年又设计了一种更为精细的问题解决系统,

tautologies

重言式

特别低,所有逻辑的重言式(tautologies)都可以被证明. 即使在经典逻辑中,这与前述的完备性是不同的(即一个陈述和否定陈述对于这个逻辑而言不可能是重言式). 相反的概念被称为可靠性(soundness). 在计算复杂度理论(computational complexity theory)中,

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

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

glycol monoacetate：乙二醇一乙酸酯

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