查询词典 theorem

Therefore, this paper develops a curriculum evaluation model by embedding Fuzzy theorem into Context, Input, Process and Product, a widely used model in Taiwan.

有鉴於课程评鉴实施的方式不易，导致很少有技职学校会主动进行课程评鉴。

The model in this paper takes the form as belowThe main contents and results in this paper are as follows:In section 1, we state our main analytical results on equilibria of the above system. First, several sufficient conditions for coexistence of the steady-state are given by the standard fixed-point index theory in cone. Second, the global structure of the coexistence solutions and their local stability are established by using bifurcation theory. Third, the multiplicity, uniqueness and stability of positive steady-state solutions to this system are derived by means of perturbation theory of eigenvalues, standard regularity theory, Sobolev embedding theorem and fixed-point index theory.

本文主要有两章内容：第一章研究了该模型正平衡解的性质，可分为三部分：第一部分运用极值原理、上下解方法和锥映射不动点指标理论得到正平衡解存在的充分条件；第二部分利用分歧理论给出了平衡态系统正分歧解的结构，并讨论了局部分歧解的稳定性；第三部分利用特征值扰动理论、标准椭圆正则化理论、Sobolev嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

Technical analysis; AR-ARCH model; covariance inequality; Strong law of large numbers; Glivenko-Cantelli Lemma ; empirical distribution function; central limit theorem; dependence coefficients

基础科学，数学，概率论、数理统计技术分析； AR-ARCH模型；协方差不等式；强大数定律； Glivenko-Cantelli引理；经验分布函数；中心极限定理；相依系数

Based: on the analysis of the theorem and constitute of emulsin deaerator, this article illustrate that emulsion deaerator in papermaking could deaerat entrained foam in papermaking and improve the result of retention and sizing, and improve paper machine runnability.

本文通过对乳液型脱泡剂的工作机理和组成特点的分析，说明了乳液型脱泡剂应用在造纸生产中可以脱除浆料中的携带泡沫，提高助留效果和纸张的施胶度，并且可以改善纸机的运行性等。

The results of the research on encroaching effect in this dissertation prove the essential view of Coase theorem.

本文关于侵占效应的研究结果，印证了科斯定理的基本观点。

We give a theorem for the stable range of endomorphism rings of finitely generated projective modules over a formal triangular matrix ring T when T is an exchange ring.

2.6节对有有限exchange性质的形式三角矩阵环T给出了有限生成投射T-模的自同态环有稳定度n的一个具体关系。

Byapplying a general large deviation theorem of Kifer and Ruelle's Smale space tech-nique together with his unique equilibrium state result for non-Holder continuousfunctions,we obtain a level-2 LDT for the Axiom A endomorphism with respectto its equilibrium states,and for Axiom A attractors of the endomorphism withrespect to the Lebesgue measure.

利用Kifer的一个一般性的LDT，Ruelle的Smale空间方法及其关于非〓连续函数平衡态的存在唯一性结果，我们证明了公理A自映射相对平衡态的level-2 LDT，以及自映射的公理A吸引子相对Lebesgue测度的level-2LDT。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

Besides,the virial theorem is also used to obtain thermal EOS in actual work.

此外，利用维里定理也是实际中获得压强方程的一种常见做法。

Thus the author established a unified theorem of the shaping of tooth flank, which can be applied to both Free-form and traditional cradle machine tools, unified the theories of both circular-arc and extended epicycloid bevel gears.

为此，作者建立了齿面成形的统一理论，它适合于Free-form型和传统摇台类两种机床类型，并将弧齿锥齿轮和延伸外摆线锥齿轮统一在了一起。

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.

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