查询词典 predicate logic

A major cause of this pervasiveness is the structural difference between application logic and security logic.

这种普遍性的主要因素是应用逻辑和安全逻辑之间的结构差。

Considering strict and complex phase requirement, phase locked loop was used for precise phase shifting. Through Embedded logic analyzer the timing was sampled and verified. The driving timing generator of CCD camera with adjustable integral time was implemented on the CCD circuit board.Frame transfer CCD; Integral time ; Phase locked loop ; Embedded logic analyzer

考虑到CCD驱动时序复杂、相位要求严格，提出运用锁相环技术进行高频信号的精确移相，用嵌入式逻辑分析仪对时序进行采样验证，在CCD电路板上实现了积分时间可调的CCD空间相机驱动时序。

There are positive logic and negative logic.

有正逻辑和负逻辑。

Have a look at these circuits: the pairs work in exactly the same way, except that one uses a positive logic and the other a negative logic!

有一个电路看看这些：对工作中的方式完全一样的逻辑，只是一个使用了积极的逻辑和其他负！

If the true ("1") level is the most positiv e voltage, this logic is referred to as positive true or positive logic.

如果真("1")电平是高的正电压，则此逻辑称为正逻辑。

With regards to the CE function, as well as the positive logic XC62GR series, a negative logic XC62GP series is also available.

就学校的CE功能，以及正逻辑XC62GR系列，负逻辑XC62GP系列也可用。

Though the logic positivism has already declined day by day as a genre of contemporary western philosophy of science,but the view about drawing a clear demarcation between science and humane studies and the basic science view of logic positive still has heavy influence very so far,it is even still deep-rooted in the heads of some people.

虽然逻辑实证主义作为当代西方科学哲学的一个流派已经日趋衰落，但是，逻辑实证主义对科学的根本看法和关于科学和人文两个世界的截然划分等观念至今仍有很大的影响，甚至在某些人的头脑中根深蒂固。

The constitutionalism is based on a public sphere with negative law as rule, so that it transforms the allocation of the modern political value logically, i.e. traditionally ,only the reasonable value is legitimate, whereas in the constitutionalism, only the legitimate value is reasonable. In other words, it has changed the standard of value from the former positive logic, based on the moralization of human nature, to the negative one, based on the legalization of human nature. Rawls and Hayek demonstrate this logic conversion from different ways separately.

由于宪政的法律制度预设的乃是一个否定性的以法律为尺规的公共领域，因此就把近现代有关政治价值的定位从逻辑上进行了一番改造，即传统政治价值形态那里所表述的是，只有合理的价值才是合法的，而宪政的法律制度则反过来表述为，只有合法的价值才是合理的，或者说，它把价值标准从过去那种以人的本性的道义化为基础的肯定性逻辑，转变为以人的本性的合法性为基础的否定性逻辑。

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

In methodology,to such problems as follows attention should be paid:compling with the rules of dialectical logic,laying stress on the integration history with logic,insisting on the principle of distilling abstraction from concrete.

在方法论上，遵循辩证逻辑的要求，强调历史和逻辑的统一、从抽象上升到具体的原则。

I was just taking her hand, to help her out of a car, and I knew it.

我只是握着她的手，扶她下车，但我知道这一切。

China and South Korea have excoriated Japan over its approval of new school books which they say whitewash the atrocities committed during Japanese occupation, and anti-Japanese protests have been held in Chinese cities. The lingering bitterness over Japan's past imperialism still threatens to mar relations between the big East Asian powers

中国和韩国强烈谴责日本通过新的中学历史教科书，他们认为这一教科书掩盖了日本在其占领期间所犯下的残酷暴行，反日抗议活动在中国数座城市发生，历史上日本帝国主义制造的痛楚无法被忘却，这有可能破坏东亚强国间的关系。