逻辑的

A minutiae matching method combining genetic algorithm and fuzzy logic is proposed.

3提出了综合利用遗传算法和模糊逻辑的细节点匹配方法。

Again, I look forward to a logical explanation from some Mormon who is knowledgeable about this issue.

同样，我期待着一个合乎逻辑的解释一些摩门教谁是了解这个问题。

Methods Based on the semantic theory of nonclassical logic.

非经典数理逻辑的语义理论。

There is one volume of Aristotle's concerning logic not found in the Organon, namely the fourth book of Metaphysics.

有一卷有关逻辑的即《形而上学》第四卷，在《工具论》中找不到。

The traditional means for pictorially describing a program's logic.

流程图》——用绘画手段描述程序逻辑的一种传统方法。

This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。

New according to predicate logic of the financial investement assistance decision system we do analysis and research.

现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。

Research Contents The dissertation consists of three parts besides prolegomenon.

三 主要内容本论文除绪论外，研究内容分为三个部分共七章：第一部分是博弈逻辑的研究基础，包括第一章至第二章。

This paper presents a method for model checking Propositional Projection Temporal Logic formulas based on SPIN.

本文提出了一种基于命题投影时序逻辑的模型检查方法。

It implements an automated theorem prover for Pointer Logic.

实现了一个用于指针逻辑的自动定理证明器。

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.

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