查询词典 statement logic

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

The paper firstly examines the philosophical background. It holds that philosophical currents such as phenomenology and existentialism have an effect on this theory to some degree, and then traces the inner logic of origin and development of the theory from post-modernism and "anti-cultural" trend. Afterwards, it generalizes several important post-modern theorists such as Alain Robbe-Grillet, Roland Barthes, Susan Sontag, Michel Foucault, Jacques Derrida, Gilles Deleuze, Jean Baudrillard and so on. The paper proposes that "against-interpretation" is not only a literary critical claim, but also a cultural theory. Its attitude that overthrows and rebells tradition makes it inevitably tend towards the logic of deconstruction.Chapter two, chapter three and chapter four analyze in detail of Robbe-Grillet, sontag and Baudrillard respectively, and systematicly discuss the aesthetics pursuit and the cultural significance of the theory against interpretation through comparing the thoughts of them.

论文首先对反阐释理论产生的哲学背景作了辨析，认为现象学和存在主义哲学思潮在某种程度上对反阐释理论产生了一定的影响；再从60年代之后，后现代主义对现代性的批判与美国的&反文化&潮流两方面追寻反阐释理论产生与发展的内在逻辑；然后又概括介绍了阿兰·罗伯—格里耶、罗兰·巴尔特、苏珊·桑塔格、米歇尔·福科、雅克·德里达、吉尔·德勒兹、让·博德里亚等几位对反阐释理论发生过重要影响的后现代大家，指出&反对阐释&不只是一种文学批评主张，还是一种文化批判理论，它对传统的颠覆与反叛姿态使它不可避免地走向了&解构主义&的逻辑。

Well, you know, it's hard to make a blanket statement of all of them.

嗯，你知道，很难一概而论。

This statement has given rise to a burst of laughter suppressed.

这句话又引来一阵压抑的笑声。

Since there is no statement condition for deception, a fortiori there is no untruthfulness condition for deception.

因为对于欺骗来说没有陈述条件，从而，对于欺骗来说，没有非诚实性条件。

There isn't a grain of truth in his statement.

他的声明里没有一点是真实的。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我