逻辑化

Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

并对命题公式的蕴涵问题进行等价描述；对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。

The code logic that their practice is will fine granuality is enclosed for operation component, next the visible editor of repass flow rises these operation component agglutinate.

他们的做法是将细粒度的代码逻辑封装为运算构件，然后再通过流程的可视化编辑器将这些运算构件粘合起来。

From that point of view, the existence of everything is inevitable ,spontaneous and self-born, which is the "Self-transformation" of Guo Xiang in the period of Yuan Kang in Western Jin.

因此，郭象的"独化"论逻辑地扬弃了王弼的"无"本论和裴頠的"有"本论，成为魏晋玄学本体思想发展的终结者。

In order to improve the expression capability and the performance ofthe graph transformation in applying to software evolution, a softwareevolution operation description language SEOL (Software EvolutionOperation Language) is proposed, and the structured operational semantics on SEOL is studied, and then the semantic equivalence analysismethod about software evolution operation is described. To the SEOLexpression, the dissertation builds the corresponding processingmechanisms, which include the basic principles and the processing flow,and discusses the graph transformation description in SEOL.

为提高图变换在软件演化应用中的表达能力和处理性能，结合谓词逻辑，论文提出了软件演化操作描述语言SEOL(SoftwareEvolution Operation Language)，研究了SEOL语言的结构化操作语义，指出了软件演化操作语义等价的分析方法，针对SEOL语言表达式，构建了相应的处理机制，包括处理的基本原理和处理流程，讨论了图变换操作的SEOL描述。

This structure contributes to the two differing development trend: development of language form-oriented stylization and development of meaning-oriented socialization.

因为这种结构的存在，艺术史往往会呈现两种偏向性的演进逻辑：以语言形式为主的风格化演进和以语义指向为主的社会化演进。

We also make a detailed research of the applications of Haar transform spectral technique in the fields of logical function classification、symmetric function detection, etc.

对归一化Haar变换谱技术在逻辑函数分类、函数对称性检测等领域内的应用作了较为详细的讨论。

The integrated "Master Plant Logical Fault Tree"method adopted in this estimation reflects the advanced tendency of modern and powerful evaluation of PSA. The VIRA system and the"Master Plant Logical Fault Tree of GNPS"have an advantages of not only easily and simple in operation, suitable for different levels of people, but also of practical value, especially in making sensitivity study and optimization analysis.

结合文章所需而发展的可视化的可靠性分析软件—VIRA系统及基于VIRA而构造的GNPS主逻辑故障树模型，不仅操作起来简单方便，适用于不同层次的人员，而且实用，便于进行敏感性分析及方案比较计算。

Transcendental phenomenology, through epoche, reaches pure consciousness which is independent of natrural world and yet constitutes it. But there is such a question in this thinking that it is still hiddenly influenced by natrural attitude which Husserl strongly wants to overcome.

先验现象学的特点是，通过&悬搁&的彻底化，剥离出完全独立于自然世界、又构成着后者的纯粹意识，实现哲学的绝对的自身奠基，并释放出《逻辑研究》未达到的自身构成的现象世界。

The fuzzy reasoning method and the defuzzification method are two mian parts in designing a fuzzy control system.

模糊推理方法和非模糊化策略是模糊逻辑系统的两个最重要的组成部分，在很大程度上影响模糊系统的性能和效果。

This paper bases its analysis of relationships between technologies and self presentation on describing related technologies, self presentation in cyberspace.And the paper puts forward that technologies on one hand, have brought multiple choices to self presentation, and on the other hand, made self get rid of a lot of social constraints which may cause misrecognition of self and irrational reactions from individuals.

在讨论赛博空间技术与&自我&展示关系的基础上，阐述了赛博空间的技术特点、自我在赛博空间中的延伸——视觉化逻辑、赛博空间给&自我&展示带来的新图景，以及赛博空间技术对网络&自我&展示这一文化现象的影响；提出了技术给&自我&展示提供了多样的选择，但同时也让&自我&脱离具体社会场景，由于不受社会约束，容易造成误认和非理性行为。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。