逻辑的

Great emphasis is put on the logic imagery movement in the process of visual thinking through relating the visual thinking theory of Arnheim's.They are as follows:the logic of choosing images,the logic of organizing images and the logic of distilling images.

通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑："自上而下"的意象选择逻辑、"补足"与"重构"的意象组织逻辑、"抽象"和"概括"的意象升华逻辑。

Chapter 2 is the general introduction to behavioral finance.

这种逻辑是一种现实的逻辑、发现的逻辑。

Logical atomism that has some significance more or less which requires us to think about seriously, like any significant philosophical ideology includes three points:(1) logical atomism developed Ernst March's comtism;(2) It directly affected Vienna Circle on behalf of logical comtism and the philosophy of language analysis;(3) It suggested the scientific realistic approach and rational approach.fourth, the difficult and reason of searching certain knowledge of logical atomism.

逻辑原子主义同历史上任何有影响的哲学思想一样，或多或少有一些价值值得我们认真对待和参考，主要包括三点：(1)逻辑原子主义发展了马赫的实证主义；(2)它直接影响了以维也纳学派为代表的逻辑实证主义和后来的语言分析哲学；(3)它体现了科学的求实精神和理性精神。四、逻辑原子主义寻求确定性知识的困难及其原因考察。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

It also pointed out that thesolution set of the equation is inconsistent.

3首次提出了逻辑方程的概念，给出了逻辑方程的解的存在性定理，并详细分析了逻辑方程解的性质，指出对于一般的逻辑方程而言，其解集合是不相容的。

It is also used to generate SPICE stimulus waveforms for these special sequential logic circuits quickly according to user's logic parameter specifications, as can speed up the logic parameter extraction process and guarantee a proper SPICE simulation waveform for the logic extraction.

提出了对具有反馈信息的时序逻辑电路进行逻辑参数提取时用于SPICE模拟的激励波形自动生成方法，该方法能根据用户指定的要提取的时延参数要求，很快产生这种时序逻辑电路的模拟激励波形，从而可以加快逻辑参数的提取过程，保证参数提取激励波形的正确性。

His research method affected many contemporary and following Chinese scholars who studied the doctrine of Moism. After him, the research of the doctrine of Moism (including the research of logic of Moism) followed the way that Liang Qichao had established.

对墨家逻辑学的研究：梁启超提出校注《墨经》文本的&牒经标题&体例，而且开创了三种逻辑比较研究的新方法，运用西方逻辑和印度因明的逻辑原理对《墨经》中的有关条文进行参照解释，较为充分地揭示出《墨经》中许多基本概念和命题的逻辑意义。

Based on representative opinions about these questions which are raised by philosophers and logicians,the author thinks:1Truth and

作者分析了以往哲学家、逻辑学家对这些问题的一些代表性看法，认为：(1)&逻辑真&不是真的一个子类；(2)逻辑真只能测量观念形式上的关系；(3)逻辑真是认识论意义上的概念，它的本体论说明是一个&自足观念模式&的良性内循环结构。

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

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

The pulse sequences for achieving some logic operations of cycles and transpositions of quantum states have been devised.

本文的主要工作包括以下内容：●通过分析在核磁共振实验中实现基本通用量子逻辑门的脉冲系列，设计了实现对量子态进行各种轮换操作、对换操作的逻辑部件的脉冲系列，在实验中用这些脉冲系列实现了预先设计逻辑部件的逻辑功能。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。