查询词典 theorem

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)。

Among his contributions the most significant is to justify the theorem of the impossibility of the Paretian liberal that there is no a social decision function that meets unrestricted domain, Paretian principle and minimal liberty simultaneously, which helped him win the Nobel Prize on economics.

而他影响最大的贡献是证明了帕累托自由的不可能，后者为他赢得诺贝尔经济学奖奠定了基础，其基本含义指不存在一种可以同时满足无限制域、帕累托原则和最低限度的自由这三个条件的社会决策函数。

This paper presents another direction of generalization that if S is a minimal vertex cut of G and G-S has at least |S| components, then G is decomposable by S. Some applications of this theorem are also discussed.

本文首先给出基本分解定理的另外一个推广：如果S是G的一个极小点割集且G-S含有至少|S|个分支，则G经由S是可分解的；其次，给出了这个新推广定理的一些应用。

Chapter 4 is the hedging strategies of optimization in insurance:In virtue of Galtchouk-Kunita-Watanabe Decomposition Theorem to decomposite the natural value prcess V_t~* toupdate the risk expression, then we can get the hedging strategies of optimization with minimal risk.

第四章最优保险对冲策略：利用Galtchouk-Kunita-Watanabe分解定理将本性价值过程V_t进行分解。采用一定的替换技巧可将风险表达式重新表示，从而找到保险公司所能采取的最优对冲策略。

The vehicle loads are considered as rectangular harmonic moving loads,and the analytical solution of the pavement and layered ground interaction is deduced with Lame decomposition theorem of displacement field and Fourier transform method.

首先，考虑车辆荷载的多轮性质，利用三角级数、Fourier变换及叠加原理等方法推导获得了粘弹性地基上连续配筋混凝土路面在多轮荷载作用下的稳态响应解；另外考虑基底剪切阻尼作用，详细分析了荷载参数、路面参数和地基参数对路面动力响应的影响。

Three methods for the computation of the isotropic tensor function,spectral decomposition method,eigenprojection operator method and representation theorem method,are compared.Different approaches to calculate the eigenvalues and their corresponding eigenvectors are also discussed.As an example,the exponent tensor function is calculated.

对计算各向同性对称张量函数的3种方法(谱分解法、特征投影算子法和表示定理法)进行了分析比较，同时也对如何计算特征根与特征向量的技巧进行了探讨，并利用3种方法对指数张量函数进行了实例计算。

This paper investigates the decomposition of diagnosis problem and gives a theorem for decomposition and combination of the diagnosis.

对诊断问题的分解进行研究，给出了候选诊断的分解与组合定理。

On basis of the decomposition theorem, multi-objective linear programming and multi-objective fuzzy linear programming are discussed.

以分解定理为工具，讨论了多目标线性规划与多目标模糊线性规划的求解问题。

At last,in Chapter 6,we presented animprovement to the prove of the Lawler decomposition theorem andthe decomposition algorithm.

最后，在第6章中，我们对经典的单机总延误问题的Lawler分解定理的证明过程和分解算法都给出了一定的改进。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。