查询词典 combinational logic

To deal with the problems and present situation of field data capture by computer in geological mapping in 20 years, this paper has created PRB digital mapping techniques to standardize the digital mapping process and discussed PRB mapping technique-method system, including PRB digital mapping techniques, the model of PRB data and the related process, combinational regulations of PRB process, common mechanism and basic procedure of PRB process, data processing and dictionary of PRB, three-class PRB system,...

从近 2 0年地质填图中计算机野外数据采集技术研究的现状和存在的问题入手，在确定地质填图空间数据表达的基础上，遵循传统地质填图的规律，在不约束地质学家地质思维的前提下，既能满足计算机处理的需要，又能保证地质工作者取全、取准各项地质观测数据，在描述各类地质信息空间关系的基础上，创建了数字地质填图过程标准化和规范化的PRB数字填图技术，并对构成PRB数字填图技术、PRB数据模型、PRB基本过程、PRB基本过程组合的规则、PRB过程的公共机制、PRB过程基本程式、PRB数据操作、PRB字典、三级PRB体系、PRB数据流&栈&、PRB数据质量定量评价体系的PRB数字填图技术与方法体系进行了讨论。

In the same time,from the view point of abstract algebra,the homomorphism between disturbing fuzzy logic operator group and class fuzzy logic operator group is studied.

从而使经典模糊逻辑的概念及性质得到进一步的推广，同时也揭示了在这种由一维到二维的推广中存在的问题。

The thesis will begin with the introduction of counterpart of English judicial review. According to the unscramble of counterpart prejudication in the history of Britain, I will abstract the logic category of "administrative discretion------the principle of reasonableness", and based on the logic category, I will point out that if want to justify the review of court on the administrative discretion such as "misuse of authority"and "apparently inequitable administrative punishment", we must induct the principle of reasonableness. And based on the material of concrete cases, I will analyze that there still are states of unreasonable execution of administrative discretion in the rest representations of unlawfulness in the 54th provision of our statute law of administrative litigation.

本文首先考察英国合理性审查原则的相关制度，通过解读英国历史上重要相关判例，提炼出"行政裁量权——合理性审查原则"这一逻辑规范范畴，并以此范畴为切入视角，指出，要在理论上正当化法院对"滥用职权"和"显失公正行政处罚"等行政裁量权的司法审查，必须引入合理性审查原则，并以具体案例为材料，通过分析得出，在《行政诉讼法》第54 条的其他违法表现形式中，都有行政裁量权不合理行使的情形存在，并指出，产生这种现象的原因是，《行政诉讼法》第54 条规定的七种违法表现形式采取的是不同的分类标准。

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

But for China's diplomacy, the tragic ending is probably losing own behavioral logic into American great-power logic to adopt America-like diplomatic policy, which is not alarmism.

但就中国外交而言，最悲惨的结局可能就是失去了自己的行为逻辑而陷入美国的大国逻辑，采用美国相仿的外交政策。

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

Many years of training in logic and scientific method can make us feel that logic and science are all-powerful.

多年的逻辑训练、科学教育，使我们以为逻辑与科学是无所不能的。

The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; logic almightiness; knowability paradox

第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；逻辑全能问题；可知性悖论

For Smith, Google's logic is the logic of appeasement.

对于SMITH来说，Google的逻辑就是妥协的逻辑。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。