演绎

Along with the development of artificial intelligence, a large number of analogical reasoning models were proposed in turn.

在人类的思维中，类比推理是一种高级的、非演绎的思维模式，研究人类的高级智能行为必然要涉及这些非演绎推理模式。

The new battle path "is higher, is quicker, is stronger" the Olympics spirit and Guangzhou person spirit unifies perfectly, leans "auspiciously the sentiment deduction, the green, the civilization""Asian Olympic Games" the new subject; Leans new path which under the sentiment deduction scientific development concept instruction Guangzhou develops!

新的征途把"更高、更快、更强"的奥林匹克精神与广州人精神完美结合，倾情演绎"祥和、绿色、文明"的"亚运"新主题；倾情演绎科学发展观指导下广州发展的新轨迹！

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Being based on the acknowledgement of continuum medium hypothesis, it has made an analysis of some general movements of macro material, which points out that there are a series non-consistence problems in logic in the Cauchy's stress theory and Stokes's stress hypothesis, etc.

除了指出 Cauchy 的两个应力定理， Stokes 应力假设等存在的逻辑不自洽问题，并产生的原因进行了系统分析以外，演绎地构造了连续介质物质模型严格假设下的完整形式表述体系，并且演绎地导得这个演绎体系必然导致三维物质流形，在三维 Euclid 空间中恒为超定。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

Explanation, according to this view, is simply accounting for facts on the basis of a deduction from a known law or laws, or accounting for some subordinate law on the basis of a deduction from some more general law or laws.

根据这种观点，解释仅仅是在演绎的基础上说明事实，而这种演绎来自于著名的定律，或者是在演绎的基础上说明某种从属定律，这种演绎来自于更普遍的定律。

Derivative works right means copyright holder has the right to permit others to process, adapt, translate, and cinematography his works, etc.

演绎权是指版权人有许可他人对其作品进行加工、改编、翻译、摄制电影等演绎行为的权利，如果他人未经许可对其作品进行演绎，则构成了对版权人权利的侵害。

He think deducted works which has not gain original author's authorization should be obviated protect of copyright law.

认为应将未获原作者同意或授权的原作品的演绎作品排除在版权保护之外，使演绎作品的作者无论是主动行使还是被动行使都无利益可得，消除其进行非法演绎的原动机。

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.

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