查询词典 predicate logic

The development of mathematical logic makes logic lose its significance and depart from the ontological discussion.

海德格尔从哲学探究的角度出发，对哲学和逻辑进行了深入的思考。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

If be model name, then all modificatory records need to come true in business logic, the advantage is to be able to transplant the gender is tall, defect is to invade business logic.

如果是模型名称，那所有的变更记录都需要在业务逻辑中实现，优点是可移植性高，缺点是侵入业务逻辑。

The controversy between the monist and pluralist conception of logic also happens in the field of logic teaching.

传统逻辑与现代逻辑的争论，主要表现在如何改革大学文科逻辑教材上，也表现在以哪种逻辑作为研究中国古代关于逻辑的理论发展史的工具更合适的问题上。

On the other hand, they usually use faulty analogy to study the logical thoughts in ancient China, and overlook the similarities and differences between the logical thoughts in ancient China and western logic. This means that the Chinese scholars, at the same time, have a monist conception of logic.

比附法在中国古代逻辑史领域曾有过巨大的历史贡献，但一味地坚持这种研究方法，或只注意到它的优点而忽视它的缺点，则无疑是把西方的逻辑学视为唯一的逻辑学，这是一元逻辑观；即以西方的逻辑学为参照物，又把西方的逻辑学视为一个平等的他者，也就是在研究中即注意中西逻辑学之相同的一面，又注意中西逻辑学之不同的一面，这是一种多元逻辑观。

NAND gate 403 is a logic gate that performs a NAND Boolean logic function on the UP and DN signals to generate a voltage signal VIN.

NAND门403是对UP和DN信号执行NAND布尔逻辑功能以生成电压信号VIN的逻辑门。

Multiple value logic ; Discrete logic ; 4 value NOR gate ; 4 value NAND gate ; 4 value NAD OR NOT gate ; Five state gate ; DYL circuit

多值逻辑；离散逻辑；四值"或非"门；四值"与非"门；四值"与或非"门；五态门； DYL电路

On the basis of the study on the mathematical model of the closed-loop location control, the analysis of contour error in the process motion control and error calculation model, according to the lack of using normal contour error model not to calculate contour error of curve in real-time, combining real-time contour error compensation control strategy and fuzzy logic theory, the fuzzy logic and real-time contour error calculation based self-discipline control strategy is proposed.

2在研究闭环位置控制数学模型、加工轮廓运动控制中的误差分析和轮廓误差计算模型的基础上，针对利用一般运动轮廓误差计算模型不能实时计算出曲线轮廓误差的不足，结合实时轮廓误差补偿控制策略和模糊逻辑理论，研究了基于模糊逻辑理论和实时误差计算的轮廓自律控制策略。

This portion is the game logic update sequence that forces the game logic physics updates, object motion, animation cycling, etc...

游戏的逻辑处理包括物理更新、对象行为、动画循环等等。

A fuzzy logic controller based on Genetic Algorithm has been devised aimed at this point. GA is employed to optimize the membership functions of the Fuzzy Logic Controller and the initial values of the quantifying factors and the scaling factor. And the quantifying factors and the scaling factor are adjusted on-line according to the output of the fuzzy control query table.

针对这一特点，本文设计了一种基于遗传算法的模糊控制器，利用遗传算法来优化模糊控制器的隶属函数及量化因子和比例因子的初值，并且根据模糊控制查询表的输出来在线调整量化因子和比例因子。

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。