查询词典 first-order theory

His experiments supported the germ theory of disease also reducing mortality from puerperal fever and he created the first vaccine for rabies. He was best known to the general public for inventing a method to stop milk and wine from causing sickness - this process came to be called pasteurization.

他提出了以微生物代谢活动为基础的发酵本质新理论，发明了沿用至今的巴氏消毒法，成功地拯救了法国处于困境中的酿酒业、养蚕业和畜牧业；他发现传染病的微菌在特别的培养之下可以减轻毒力，从而发明了鸡霍乱疫苗、狂犬病疫苗，建立起了细菌理论。

But as Pushtu was first written less than 500 years ago, the theory is hard to test.

但由于普什图人被首次记载的时间距今还不到500年，这种说法很难去验证。

At first the index system was built on the basis of survey; then 500 data was gained from the more than 800 examples of 72 tunnels; thus the quantitative evaluation was achieved. Finally, through case studies, the judge method based on quantification theory was tested and a high precision and reliability is achieved.

通过对国内外情况的调查统计，得到了公路隧道围岩亚级分级的指标体系；并依托工程实际情况，在72条隧道中采集了800余条样本，从中选出了500条数据进行分析，完成了以数量化理论为基础的施工阶段围岩亚级的定量判定方法研究，并通过工程实例对判定方法进行了检验。

Finally, based on the above analysis research results, taking the shopping website as the object of study, has carried on the inquisition to the website surface design style localization. Using semantic difference analytic method, the first theory of quantification, factor analysis and cluster analysis, it analyzes the shopping website style types as well as its best market orientation of the visual design elements.

最后基于以上的分析研究成果，以购物网站作为研究对象，对网站界面设计风格定位进行了探究，运用语义差异分析法、数量化I类、因素分析以及集群分析等统计学方法，初步探讨分析出了购物网站的风格类型以及其最佳市场定位的视觉设计要素。

The paper has solved these qu- estions for the first time with the theory of quantificationⅢ-Ⅳ, and has given a complete algorithem with edited softwares in IBM-PC computer.

本文指出这三个同题其实可用数量化理论Ⅲ或Ⅳ统一解决。给出了相应的完整算法，编制了在 IBM-PC 机上适用的软件。

Furthermore, this article redefinites the Chinese narrative definition, which lays the foundation for the narrative research of quatrain; Second, the author unfolds this theory from three aspects: first, based on the integrity of the plot, it divides quatrains into two parts: narration for integrated plot and incomplete plot.

第二，笔者又从三个方面展开论述：一是基于故事情节完整性，给绝句划分为叙述完整的故事情节和叙述故事片段两大的类别；二是基于绝句的叙事结构模式，给绝句划分为叙事与议论结合、叙事与描写结合、叙事与说明结合和通篇叙事四类；三是从标题、借梦、意境、意象、用典、咏物、人物语言、人物动作、人物心理九方面对绝句的叙事途径进行了细致的阐述。

At first, a relational querier including relational sorter based on disk array is discussed, and a merger/aggregater is structured. The queuing theory is applied to analyse the queue model of the relational query disk array, and some important results are obtained.

文中首先论述了一种基于磁盘阵列的关系查询器，其中包括关系排序器，并构造了一个归并／聚合器，运用排队论对关系查询磁盘阵列的排队模型进行了详细分析，得到了各项有意义的结论，分析了影响模型性能的一些因素。

In the first chapter of this paper, the theory of laser range finder is introduced; the technological disadvantages are discussed.

本文首先介绍了利用激光测距的原理，然后针对现有激光测距方法的局限性，提出了相位激光测距方法。

At first, this dissertation takes the natural gamma log as an example to put forward the regularized least-squared deconvolution theory, with which not only the effect of the surrounding formation is removed, but al so the effects of the well logging velocity, sampling interval, the ratemeter time constant, the detectorlength and the formation dip-angle are re moved.

首先，本文以自然伽马测井曲线为例，研究了正则化最小乘方反褶积方法。应用该方法，不仅消除围岩对自然伽马曲线读数的影响，而且消除测井速度、测井采样间隔和率表电路时间常数的影响。

Referring to the construct of the common experts system, the frame and function of our system was determined to extend the OPS83 ratiocinative method with converse ratiocinative method, and the ratiocinative mechanism based on target-driver controlling was realized. In accordance with the complexity, uncertainty and confusion of chip forming and chip-breaking process, We suppose imprecise ratiocinative mechanism on the basis of confusion mathematics theory, and found prediction system of the chip forming and chipbreaking for the first time.

研究确定了切屑形成与折断过程预报系统的结构框架，参照一般的专家系统构成原理，确定了本系统结构与功能；扩充了OPS83的推理方式，增加了逆向推理功能，实现了基于目标驱动控制的推理机制；针对切削过程中切屑形成与折断过程的复杂性、不确定性和模糊性，运用模糊数学理论，设计了不精确推理机制；首次建立了切屑形成与折断过程预报系统。

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.

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