查询词典 sequential logic

First kind of logic is a logic that deals with conditionals with double conditions for aim and background knowledge.

第一类逻辑是处理以目的和背景知识为双条件的条件句的逻辑。

The complex situations brought about by the emendations of logic to history or the debate on the identity of logic and history will not affect it or change it.

逻辑对历史的&修正&的各种复杂情况，逻辑与历史是否一致的各种争论，都没有影响到或改变这一点。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not. And we pass the result to the tranction disposal layer which can deal with the right search.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

CPLD is a programmable logic device that includes a reprogrammable interconnect between the logic blocks.

&复杂可编程逻辑器件&是一种在逻辑模块之间具有可编程互联的可编程逻辑器件。

The real-time target track processing system is designed which is constructed by the high performance DSP chipset TMS320C6416 as the core digital processor, the huge reprogrammable logic chipset CPLD as the system logic control and the field reprogrammable array FPGA as the image preprocessing chipset to sampled video digital image.

为了解决算法复杂性及满足工程实时性，设计了以高性能的DSP芯片TMS320C6416为核心处理器，结合大规模可编程逻辑器件CPLD进行逻辑控制以及现场可编程门阵列FPGA对采集的视频数字图像做预处理的实时目标识别跟踪处理平台。

The real2time target t rack processing system is designed which is const ruc2 ted by t he high performance DSP chip set TMS320C6416 as the core digital p rocessor , t he huge rep rogrammable logic chip set CPLD as t he system logic cont rol and the field reprogrammable array FPGA as t he image p reprocessing chip set to sampled video digital image.

为了解决算法复杂性及满足工程实时性，设计了以高性能的DSP 芯片TMS320C6416 为核心处理器，结合大规模可编程逻辑器件 CPLD 进行逻辑控制以及现场可编程门阵列FPGA 对采集的视频数字图像做预处理的实时目标识别跟踪处理平台。

Traditionally,Aristotelian logic,which dominated the logic scene for over 2 00 years(up to the beginning od the twentieth century),dealt almost exclusively with argument made up of sentences like "All A are B" and "some A are B".

按照传统的观点，统治了逻辑学界2000年之久的亚里士多德逻辑(直至20世纪初)，几乎唯一地处理由诸如句子&所有的A是B&以及&一些A是B&所组成的论证。

In the book, Boole set forth the formal axioms of logic (much like the axioms of geometry) on which the field of symbolic logic is built.

在这本书里，向前 Boole 装置逻辑的正式公理在上建立了符号逻辑的领域

Probabilistic logic was proposed by Boole~[42] and rediscovered by Nilsson~[12]There exist some severe problems in Nilssons probabilistic logic, for example, high computational complexity and inferential vacuousness-inferences typically lead to large probability intervals.

Nilsson的概率逻辑存在着一些严峻的问题，例如高计算复杂度，推理的盲目性，比较典型的是，推理导致巨大的概率区间。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。