查询词典 negations

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

All the vital rights of minorities and of individuals are so plainly assured to them by affirmations and negations, guaranties and prohibitions, in the Constitution that controversies never arise concerning them.

少数派和个人的所有重要权利在宪法中通过保证和拒绝、担保和禁令这样的方式得到明确的保证，有关宪法的争议从未涉及到这一方面。

The whole method is unsupervised and does not re- quire any annotated training data; it only requires information about commonly oc- curring negations and adverbials.

整个方法是非监督的和不要求任何带标注的训练数据，仅需要了解常见的否定词和状语信息。

The invisibility of computer operation and paperless of stocking materials,lack of professional talents and related software's.All of these impose new requirement for the inside controlling system.We should improve and loost it by doing the following things:Reflecting the negations of diagraphs and charts,establishing complete inside controlling mechanism ...

因此，针对会计电算化信息系统存在的问题，提出了会计电算化信息系统实施内部控制的方法与措施，以适应管理型会计软件的发展对内控制度提出的新要求，开创会计电算化的新局面。

This paper studies some theory forfuzzy conjunctions and fuzzy disjunctions, which are more general than t- normsand t- conorms, respectively, and investigates the roles of negations in fuzzy logic.

本文首先研究了比t-范数及其共轭范数更一般的模糊合取、模糊析取算子，讨论了&负&在模糊逻辑运算中的作用。

Herbert Marcuse sketches out the repressions in the modern society in his major works Eros and Civilization, Negations, One-Dimensional Man, and The Aesthetic Dimension, and sees art as the last means of liberation in a society in which freedom has become repressed.

许多思想家都对现代社会导致的压抑作出过分析和论述，其中极为突出的一位是在二十世纪六十年代在美国最具影响力的新左派代表，赫尔伯特·马尔库塞。

Herbert Marcuse sketches out the repressions in the modern society in his major works Eros and Civilization, Negations, One-Dimensional Man, and The Aesthetic Dimension, and sees art as the last means of liberation in a society in which freedom has become repressed.

他在《爱欲与文明》、《论解放》、《论否定》、《单向度的人》、《审美之维》等重要著作中剖析了现代社会中人性受到的种种压抑，设计了非压抑性社会的蓝图，并提出以恢复感性、诉诸艺术审美为解放人性的途径。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。