查询词典 formal logic

As a kind of method based on symbolic logic, Formal method has gained more and more attention because of its preciseness. It has been applied broadly in systems in which the security and reliability are the key issues. For example, protocol security analysis, operating system security model, software development.

作为一种以数学逻辑为基础的方法，形式化方法以其严密性越来越受到众多领域的重视，尤其是在安全性和可靠性作为关键问题的系统，如协议安全性分析、操作系统安全模型、软件开发等方面得到了较为广泛的应用。

For those of you who are familiar with formal and material logic, I apologize in adance for simplifying.

攻击受害者是自己认为。。。，说实际是受害者自身有问题的，表面看来是说受害者唯心，但仔细想想，这些攻击的人有没确切证据证明受害者说的一定不存在呢，还是仅仅凭借自己的主观想象呢？所以是这些人唯心。

The main results of this dissertation are covered in the follows aspects:(1) A type of structural formal decomposing method based on the classic links was proposed to analyze the main and important logic behavior properties, such as boundness, liveness and recyclity.

本文针对以PETRI网模型描述系统中出现的计算复杂性问题，提出一些方法以达到降低离散事件系统在建模、分析和控制中出现的计算复杂性的目的。

With no formal design experience, it was hardly a surprise, but there is a logic behind fashion's new Faustian pact.

坦白讲，我很惊讶罗韩还能有精力露出一丝微笑，这一周对她来说并不那么好过。

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

中文参考译名：正式模型交流系统：语言，自动机，和一元二阶逻辑

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

An Eatcs Series 正式模型交流系统：语言，自动机，和一元二阶逻辑

The most plausible instarces of a priori concepts are the formal concepts of logic.

光验概念的一个最似乎有道理的例子是逻辑的形式概念。

12 The fact that the propositions of logic are tautologies shows the formal--logical--properties of language and the world.

6.12 逻辑命题是重言式，这显示语言和世界的形式的——逻辑的——属性。

An improved shceme for the old double-way authentication access control scheme based on Harns digital signature is proposed. The new double-way authentication protocol of the improved access control scheme can prevent man-in-the-middle attack and replay attack. After strict formal analysis with BAN logic, the result have proved that the authentication protocol is secure. The improved access control scheme is realized by the mode of single-key-lock-pair. Under new access control scheme, user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees, and the possibility of overflow problem is significantly reduced by our new method

作为对原双向认证访问控制方案的改进，改进后的双向身份认证协议可以很好的抵抗中间人攻击和重放攻击，经过严密的BAN逻辑形式分析和论证，结果表明该协议是安全的；改进后的访问控制方案用单钥-锁对方案实现，除保持了一般单钥-锁对方案的良好动态特性外，在不需要访问权限递增假设下，实现了用户对文件的多种访问控制权限，并大大减小了溢出问题的发生可能

Non-formal logicians are trying to distinguish the functional ranges of demonstrative appraisal of logic and rhetoric.

如何划清逻辑与修辞在论证评价中的作用范围呢？非形式逻辑学家们似乎正在做这项工作。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。