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之类的协议，而不是以任何逻辑为基础的。
I've always believed in Numbers, in the equations and logics.
我一直相信数字，相信方程和逻辑。
Nixida believes that there is deeper logics in subjective world beside the objective world.
西田认为除客观世界的逻辑之外还应有更深刻的主观世界的逻辑。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
So called linear time logics are restricted to this type of reasoning.
所谓线性时间逻辑仅限于这种类型的推理。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
However, differentenvironment perspectives led to different strategic fit logics.
然而，由于环境视角不同，产生了不同的战略适应逻辑。
I've always believed in Numbers, in the equations and logics that lead to reason.
我一直以来都坚信数字，不管是方程还是逻辑都引导我们去思考。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
不同的时态逻辑能够适应不同的推理任务。
Based on this thought, we propose an IDS alert correlation model based on description logics.
在此思想基础上，进一步提出了基于描述逻辑的IDS告警关联模型。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Abstract: : This article focuses on the multiple theoretical logics in the youth Althusser's philosophical thoughts.
内容提要：本文主要讨论了青年阿尔都塞哲学中思想的多重理论逻辑。
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.
逻辑学要求使用的概念必须清楚、明确，但在现实语境中也存在模糊概念。
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.
基于语义的系统用描述逻辑、概念收缩法和概念试推法，计算语义匹配度大小。
For lack of explicit and definite semantics in BAN like logics, their correctness of syntax rules and reasoning is under suspicion.
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。
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.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
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.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
There exist many logics. Some of them may be only used to analyze security protocols, and the others may be only used to design security protocols.
现有的逻辑，有的只可用于分析安全协议，而有的则只可用于设计安全协议。
Some studies find that noninteractive literaturebased discovery has three theoretical principles, including retrieval theory, bibliometrics and logics.
研究发现，非相关文献知识发现有三个理论基础：检索理论、文献计量学理论和逻辑学理论。
In general, soft law and hard law have three types of relationships: complexity in legal logics, complementary in legal functions, and convertible in norms.
软法与硬法大致具有法律逻辑上的错综复杂、法律功能上的优势互补、法律规范上的相互转化三种基本关系。
If we consider the denotation of fictitious concept not to exists, it will result in a series of contradictions of many definitions and rules of formal logics.
如果将虚构概念的外延视作零，将使普通逻辑的许多定义、规则产生一系列的矛盾。
Analyzing from the Angle of logics and linguistics, it can be seen that certain corresponding relations exist between legal norm, legal fact and legal relation.
从逻辑学和语言学角度分析，法律规范和法律事实、法律关系之间存在着某种对应关系。
Analyzing from the Angle of logics and linguistics, it can be seen that certain corresponding relations exist between legal norm, legal fact and legal relation.
从逻辑学和语言学角度分析，法律规范和法律事实、法律关系之间存在着某种对应关系。
应用推荐