逻辑的例句大全

Artificial intelligence systems have been reviewed, which include problem-solvers, expanded predicate logic, expert systems and intelligent CAD systems in FGCS. This paper shows that introduction of artificial intelligence in CAD is an important development tendency.

本文概述了CAD中的人工智能系统，包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能CAD系统，表明在CAD中引进人工智能技术是其重要发展趋势。

In Distributed functional plane, there is one set of distributed service logic ( DSL) per SIB and it uses Function Entity Actions ( FEAs) and information flows.

在分布功能平面中，分布业务逻辑（DSL）是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流；

The FDEA algorithm introduces the fuzzy logic into classical DEA methods, and the algorithm take the weight of the input and output as variables to evaluate the web source quality, so that it can avoid the effect of subjectivity to the result.

FDEA方法将模糊逻辑引入经典的DEA方法，该算法是以输入输出指标的权重为变量进行评测，从而有效避免了人为确定指标权重的主观因素对评测结果的影响。

Else code block is a simple logical crossroad that helps show why the test would fail or pass if one path and not another is taken, according to test expectations.

else代码块是一个简单的逻辑分支，根据测试期望说明选取一条路经而不是另一条路经之后测试将失败（或通过）的原因。

The purpose of metaphysics is the metaphysical knowledge with clear proof, which depends on the expression and argument of logic.

形而上学所要成就的是具有明证性的形上之知，而形上之知的成立只有依靠逻辑的表达和论证。

This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

Logical Analysis on Addition of Dual Odd Numbers ( 10)

双奇数相加的逻辑分析（十）

The WDG hides logic for communicating with a variety of handheld devices on behalf of the caller.

WDG隐藏了与各类代表调用者的手持设备的通信逻辑。

The simplified WPG are Logic Path Graphs ( LPG).

它简化后成为逻辑通路图。

Due to complicacy of DTD, it is difficult to study the logical implication of XFD.

由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。

Minesweeper, the logic-based game, originally made its first appearance in the late 1960s but was introduced on the Windows 3.1 version in 1992.

《扫雷》则是一款逻辑游戏，于20世纪60年代后期面世，但直到1992年才在Windows3.1版本中出现。

In nonmonotonic logic, injective preferential models play an important role.

单射占优模型在非单调逻辑中具有重要的地位。

Cannot delete extended DOS partition while logical drive exist.

当逻辑驱动器存在时，不能删除扩展DOS分区。

This dissertation analysed the basic requirements of distributed heterogeneous component repository, made the conceptual analysis and design of the architecture with the method of Abstract State Machine, and proposed the high level logical structure of the ABDC ( Agent Based Distributed Component-repository) architecture.

本文分析了分布式构件库的基本需求，采用抽象状态机的方法进行了架构分析和体系结构的概念设计，提出了系统的高层逻辑结构，并导出了细化的实现方案。

The present paper discusses the logic diagram of addition of dual odd numbers and then statically verified the micro-structure of Goldbach's first conjecture.

先讨论双奇数相加逻辑图，然后对Goldbach第一猜想进行微观结构静态验证。

Logic analysis on addition of dual odd numbers

双奇数相加的逻辑分析

Are my arguments presented in a logical sequence?

我当前的论点是合乎逻辑顺序的 吗 ?

On the Method of Logical Sequence in English Writing

谈英语写作中的逻辑顺序法

In Willie's mind marriage remained the natural and logical sequence to love ( Duff Cooper )

在威廉的心中,婚姻是爱情自然的和逻辑的延续 ( 达夫库珀 )

This thesis is organized on logical sequence not historic sequence.

本文的分析是基于逻辑顺序而非历史顺序。