查询词典 logical

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Logical atomism that has some significance more or less which requires us to think about seriously, like any significant philosophical ideology includes three points:(1) logical atomism developed Ernst March's comtism;(2) It directly affected Vienna Circle on behalf of logical comtism and the philosophy of language analysis;(3) It suggested the scientific realistic approach and rational approach.fourth, the difficult and reason of searching certain knowledge of logical atomism.

逻辑原子主义同历史上任何有影响的哲学思想一样，或多或少有一些价值值得我们认真对待和参考，主要包括三点：(1)逻辑原子主义发展了马赫的实证主义；(2)它直接影响了以维也纳学派为代表的逻辑实证主义和后来的语言分析哲学；(3)它体现了科学的求实精神和理性精神。四、逻辑原子主义寻求确定性知识的困难及其原因考察。

Layout segmentationand block recognition is combined in this algorithm which improves the processingefficiency.4 determination of logical order in layout based on directed graph.Space structure directed graph is set up from analysis the space structure of layoutobjects. This transfers the determination of logical order of layout objects into traversingsearch in directed graphs, from which the logical order of layout object is determined.

可以看出，该算法将版面分割与区域识别相结合，提高了算法的效率。4、基于有向图的版面对象顺序确定该算法利用版面对象的空间结构建立空间结构有向图，将版面对象之间的顺序确定，转换为在有向图空间进行遍历搜索的过程，通过图的遍历生成遍历树来确定版面对象顺序。

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

When Const is used in got-up member function, we should make sure he is Logical Constness as far as possible.

const用在修饰成员函数时，我们要尽可能保证他是logical constness。

Administrative jurisprudence analyse logic fundamentally moves forward from subject and object logical relation,state will expression and state will ution logical relation,individual and public interest logical relation,behavior regulation and standard system logical relation,involved element and designed element logical relation.

行政法学分析逻辑的基本进路包括从主体与客体的逻辑关系进行分析、从表达国家意志与执行国家意志的逻辑关系进行分析、从个体利益与公共利益的逻辑关系进行分析、从行为规则与规范体系的逻辑关系进行分析、从介入元素与设计元素的逻辑关系进行分析。

The key of this method is the multi-functional logical operation technology of language information processing.

这种研究方法的核心内容是语言信息处理的多功能逻辑运算(Multi-Functional Logical Operation，MFLO)分析技术。

Special logical paradox is a kind of rigid logical paradox which can be depicted by modern logical syntax, modern logical semantics and modern logical pragmatics from its form, and it is possible to infer the paradox from acknowledged correct background knowledge or presupposition of rational thinking subjects.

狭义逻辑悖论是指其由以导出的背景知识都是日常进行合理思维的理性主体普遍承认的公共知识或预设，均可通过现代逻辑语形学、逻辑语义学和逻辑语用学的研究使之得到严格的形式塑述和刻画，其推导过程可达到无懈可击的逻辑严格性的悖论。

The method of "Logical Effort Delay Model" allows designers to quickly estimate delay time and optimize logic paths, but the previous variances of logical effort models do not mention how to handle process, voltage, and temperature variations appropriately, which may induce a serious misestimate.

Logical Effort Delay Model是一个可让电路设计者以简便的手算方式快速估计电路延迟并完成初步电路最佳化的方法。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了