逻辑

assert

宣称

说一个人秉持某一个见解与立场,只表示这个人宣称(assert)某个命题. 逻辑上对於有效论证(valid argument)的定义是:一个论证是有效论证,若且唯若在逻辑上当这个论证的前提皆为真,这个论证的结论不会为假. 所以,

logic assignment statement

算术赋值叙述

"逻辑阵列","logic array" | "算术赋值叙述","logic assignment statement" | "逻辑自动化文件系统","logic automated documentation system,LADS"

astrology

占星学

占星学(Astrology)来源于古希腊,它讲的是星星之间的逻辑,而这些逻辑是多角度、多方面的. 占星学是科学还是迷信,从未对它有过研究的人或许没有回答这个问题的权力. 科学是人类去发现更多真相的工具,而占星术也有相同的出发点,

boolean logic

布林邏輯

模糊逻辑延伸布林逻辑(Boolean logic),而且采用一组隶属函数(membership function)将模糊集合中语意的元素对应到数字的值. 模糊隶属函数值代表一个元素属於一个模糊集合的程度,1这个值代表,所有元素都在这集合中,0这个值则代表这个元素不属於这个集合.

boolean operation table

布尔运算表, 真值表

Boolean logic | 布尔逻辑 | Boolean operation table | 布尔运算表, 真值表 | Boolean operator | 布尔算子, 逻辑算子

Ground Bounce

地弹反射

IC 芯片中电源和地管脚的合理分布不仅能够降低 EMI,而且可以极大地改善地弹反射(ground bounce)效果. 当驱动传输线的器件试图将传输线下拉到逻辑低时,地弹反射却仍然维持该传输线在逻辑低阈值电平之上,地弹反射可能导致电路的失效或者故障.

bubble up

冒泡

这些事件触发在节点并且冒泡(bubble up)到主TreePanel实例1所有事件触发在节点上,然后冒泡到Tree,使得你可以侦听某个单独节点上关联的事件. 逻辑层 - TreePanel/TreeNode/AsyncTreeNode 逻辑层让TreePanel运行起来.

bulk

大批

EJB客户端怎样才能在一个事务(transaction)和一个大批 (bulk)网络调用中执行一个用例的商业逻辑呢?为了执行一个典型的用例的商业逻辑,多个服务器端对象 (如session或entity bean)通常需要被存取和可能的修 改.

carry

进位

第0位 - C - 进位(Carry)标记: 这个是所有算术运算中最重要的一个标记.然而在减法操作中,如果需要借位,则这个标记被清除,即被置0.进位标记同时也常被用于移位和旋转逻辑操作.第1位 - Z - 零(Zero)标记: 当算术或逻辑运算的结果为0时,

complete

完备的

能否提出一个新的逻辑系统它不必在逻辑上是完备的(complete)的,但能有效地应用于海量语义数据的推理?

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