I've always believed in Numbers, in the equations and logics.
我一直相信数字，相信方程和逻辑。
So called linear time logics are restricted to this type of reasoning.
所谓线性时间逻辑仅限于这种类型的推理。
You know, Deutsch is so rational, it emphases whole structure and logics.
正如你所知，德语是十分理性的，它强调整体框架和逻辑。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
I've always believed in Numbers, in the equations and logics that lead to reason.
我一直相信数字，不管是方程序还是逻辑学，都引导我们去思考。
Based on this thought, we propose an IDS alert correlation model based on description logics.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
The logics with probabilistic characterized is suitable for expressing the states of nano-device.
具有概率特性的逻辑学适合表示纳米器件的状态。
Nash: Thank you. I've always believed in Numbers and the equations and logics that lead to reason.
纳什：感谢，我一直相信数字和方程和逻辑能推导出原因。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
This article focuses on the multiple theoretical logics in the youth Althusser s philosophical thoughts.
本文主要讨论了青年阿尔都塞哲学中思想的多重理论逻辑。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
This paper describes the logics and the using in computing the probability distribution of the nano-gate states.
本文介绍了该逻辑学和其在计算纳米级门电路的概率分布方面的应用。
However, green marketing in present Chinese enterprises is actually in conflict with the logics of enterprise behavior.
目前，我国企业绿色营销面临着与企业行为逻辑的现实冲突。
The concepts in the logics must be clear, explicit, but there also exist some misty concepts in realistic language context.
逻辑学要求使用的概念必须清楚、明确，但在现实语境中也存在模糊概念。
The famous paradox named as "barber paradox" proposed by Bertnard Rullsell questions to the entire foundation of math logics.
伯特纳德·罗素用它提出了著名的“理发师悖论”，对整个数学的逻辑基础提出了质疑；
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
The operating logics and processes of the automatic transfer of the incoming line breaker and the bus-tie switch are presented.
给出了进线断路器备自投和母联开关备自投的工作逻辑和投切过程。
These semantic - based systems use description logics, concept contraction and concept abduction to compute the matchmaking degree.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
The motive of Logicians who study meaning problem is to guarantee validity of reasoning through finding the back theories of Logics.
逻辑学家研究意义，目的是为了寻求逻辑理论背后的基础假定，以保证推理形式的有效性。
Control principle, control tactics, control logics and algorithm of motor vehicle dynamics stability control are theoretically analyzed.
对车辆动力学稳定性控制的控制原理、控制策略、控制逻辑和算法进行了理论分析。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
It is well-known that quantum mechanics is a set of rules to construct physical theories, and quantum logics is its mathematical foundation.
量子力学是一套构造物理学理论的规则，而量子逻辑是量子力学存在的数学基础。
According to the hierarchy of the intelligent agent, a series of behavior protocols were constructed and strictly defined by predicate logics.
重点研究了设计主体的层次结构，建立了完整的设计主体行为协议，并用谓词逻辑进行了严格的语义定义。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
But impressionism is too naturalistic, which neglect the usage of logos and logics in art representation. The crisis also causes us to introspect.
但印象派的自然主义、忽视理性和逻辑在艺术表现中的作用等危机也应让我们反思。
Today, all successful interoperable applications and developments are based on such standards or protocols like HTTP, HTML, WSDL, etc. rather than any logics.
目前，所有成功的可互操作应用程序和开发都是基于此类标准或HTTP、HTML、WSDL之类的协议，而不是以任何逻辑为基础的。
Today, all successful interoperable applications and developments are based on such standards or protocols like HTTP, HTML, WSDL, etc. rather than any logics.
目前，所有成功的可互操作应用程序和开发都是基于此类标准或HTTP、HTML、WSDL之类的协议，而不是以任何逻辑为基础的。
应用推荐