查询词典 classical 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年代之后，后现代主义对现代性的批判与美国的&反文化&潮流两方面追寻反阐释理论产生与发展的内在逻辑；然后又概括介绍了阿兰·罗伯—格里耶、罗兰·巴尔特、苏珊·桑塔格、米歇尔·福科、雅克·德里达、吉尔·德勒兹、让·博德里亚等几位对反阐释理论发生过重要影响的后现代大家，指出&反对阐释&不只是一种文学批评主张，还是一种文化批判理论，它对传统的颠覆与反叛姿态使它不可避免地走向了&解构主义&的逻辑。

Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.

与VDM++中的同步机制相比，不仅吸收了VDM++中两种同步机制的优点，同时也将其两种同步机制化归在统一的框架之下，减轻了用户的负担。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

His manner is classical; he reasons on system; he has little humour; instead of striking with a cudgel he uses the weapons of a deadly logic and persuades by a teacher's authority, not by a demagogue's calling of names.

方式是他的经典，他的理由制度；他已很少幽默；不是惊人一个棒子，他使用的武器致命的逻辑和说服了教师的权威，而不是蛊惑的要求的名字。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。