逻辑系统

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控制器的参数，并利用遗传算法和数字仿真相结合的手段，获得了参数设计结果。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。