逻辑系统

The cores of intelligent principle and system are search algorithms based on symbolic logic, knowledge representation, reasoning and planning, the structure and model, the techniques and methods of intelligent agent.

核心是基于符号逻辑的搜索算法，知识表示，推理及其规划，智能体的结构、模型及系统设计。

This is fine for anyone who has only a single drive or a single partition on their computers, such as the C drive, but if you have more than one physical or logical drive on your computer, it's best to move your My Documents folder off the system drive.

这是罚款，任何人，只是一个单一的驱动器或一个单独在自己的电脑上，例如为C驱动器，但如果你有一个以上的物理或逻辑驱动器在您的电脑时，最好先提出你的我的文件夹关闭系统驱动器。

The accounting theory system is a logic strict system info, it is an artificial system.

会计理论体系是一个逻辑严密的理论体系，它是一个人造系统。

Tautology is, in fact, an essential ingredient of stable systems.

真的是这样，实际上套套逻辑的内在规定性是稳定系统的一个基本要素。

A multifunction taximeter based on large scale programmable device EPF10K10 of Altera is introduced.

介绍了一种基于Altera公司大规模可编程逻辑器件EPF10K10的多功能出租车计费器系统。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

Three valued logic ; model checking ; modal transition system ; partial Kripke structure

三值逻辑；模型检验；模态转移系统；不完全Kripke结构

The detection methodology is based on a robust post-filter and an adaptive threshold logic, which are used to enhance the robustness and sensitivity of the detection system.

该方法是基于观测器产生检测残差，通过鲁棒后置滤波器和自适应阈值逻辑来提高故障检测系统的鲁棒性和敏感性的。

Study control strategies for parallel and series hybrid powertrain, and establish a simple and practical control method, which is using logic threshold value and targeting the best fuel economy and emission performance of vehicle.

系统地研究了并联和串联混合动力总成的控制策略，确定以整车燃油经济性能和排放性能最佳为控制目标，采用简单实用的逻辑门限值控制方式。

Based on the ABS controller strategy with logic threshold,and ABS dynamic simulation model is created.Using genetic algorithm-based optimization method,combining with numerical simulation,optimized parameters are obtained.

在基于逻辑门限的ABS控制策略的基础上，建立了汽车ABS系统的仿真模型；提出了使用遗传算法优化设计ABS控制器的参数，并利用遗传算法和数字仿真相结合的手段，获得了参数设计结果。

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.

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