关系逻辑

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-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of proposition

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I 命题的换位一样，O 命题的换位也是有其一般意义的

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of pr...

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样，O命题的换位也是有其一般意义的

From the viewpoint of logic of relation, syllogism is not the inference based on Relation A, E, I, O between general term and general term as Jan Lukasiewicz thought. In stead, it is the inference based on the identical relation or non-identical relation between member of class and member of class.

从关系逻辑的观点看，三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理，而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。

It can be hoped that studying this topic will open a window to explore the logic of political relations, or at least become a perspective or method to understand political phenomena.

希望能够成为揭示政治关系逻辑的窗口，或者至少是认识政府行为的一个视角或工具

Based on the logic dependent relation and first-order logic, AND/OR graphs of single target with unit agent, and single target with multi-agent, joint targets with multi-agent were gotten respectively. As an example, single target with multi-agent was used to illustrate AO(superscript *) searching algorithm of logic dependent relations.

在分析逻辑依赖关系与一阶谓词表示法基础上，分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与／或图表达方法，并应用与／或图的AO搜索算法，以多agent单目标情形为例，演示多agent系统中逻辑依赖关系的计算过程。

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.

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

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

This system is a kind of Computer Integrated Manufacturing Systems which based on work flow technique, and it uses standard WPDL language to agilely define the check flow in designing process.

本系统是一种基于工作流技术的计算机集成制造系统CIMS（Computer Integrated Manufacturing Systems），它使用标准的WPDL语言灵活地定义图纸设计过程中的校审流程，逻辑关系包含了基本的顺序关系、分支关系和循环关系，进而能表达各种更为复杂的逻辑关系，即实现了逻辑的完备性。

Hyponymy上下义关系------refers to the sense relation between a more general, more inclusive word and a more specific word.

上下义关系实际是指两词意义之间的关系分别表示的是逻辑上的属的概念与种的概念。

Next time I see you,I shall give you a black eye.

下次我看见你，我会打你一顿。

In this paper,design scheme of classification system of wood surface color is established.

提出了木质板材颜色分类的系统设计方案。