查询词典 symbolic

This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。

The Logic-information method is one kind of theories of quantification, and it is a comprehensive mathematical analysis method based on symbolic logic, Comprehensive analysis, and mathematical statistics.

逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

虽然符号逻辑已经长大了，在随后的几十年相当大，这本书仍然是经典之作。

A system of symbolic logic devised by George Boole; used in computers.

乔治·布尔发明的符号逻辑；用在电脑上。

An operation that follows the rules of symbolic logic.

依据数理逻辑法则进行的操作或运算。

It includes symbolic logic, set theory, graph theory and algebra system.

本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

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.

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

A person skilled at symbolic logic.

熟练于逻辑符号的人。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。