查询词典 first-order theory

This thesis concludes three parts:The first part: clarifying Helene Cixous's feminine writing theory.

本论文共分三个部分：第一部分，论述西苏的"身体书写"理论。

He formulates the first modern heliocentric theory of the solar system.

他的划时代著作《天体运行论》常被认为是现代天文学的始点。

An ancient Greek astronomer who was one of the first to propose a heliocentric theory of the universe (ca. 270 BC).

最早提出太阳中心说的古希腊天文学家之一。

The first section is stressing on expounding the connotation of this spirit. Try to research the theory of humanism in both oriental and Hesperian, and point out that it should be attach importance to cultivate those diatheses under the immense background, to impulse the reform for the new style education.

第一部分着重探讨了人文精神的内涵和意义，指明中西方关于人文精神不同的理论，分析了在大力推行素质教育和教学改革的背景下，对学生进行人文精神的培养，应当引起教育者充分的重视。

A Marcus electron transfer theory coupled with an incoherent polaron hopping and charge diffusion model in combining with first-principle quantum chemistry calculation was applied to investigating the effects of heteroatom on the intermolecular charge transfer rate for a series of heteroacene molecules.

结合第一性原理的量子化学计算，在极化子跳跃和电荷扩散模型框架内应用Marcus电子转移理论研究了杂原子取代对一系列杂原子化的多并苯分子的分子间电荷转移速率的影响。

In this paper,we first introduce the research background and theory foundation of the project.Then we present a new technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic,and we have implemented this technique in a tool called APL.As an extension of Hoare logic, Pointer Logic can be used for accurate pointer analysis of pointer programs.

在本文中，我们首先介绍了项目的研究背景和理论基础，然后提出了一种为指针逻辑来设计自动定理证明器的新技术，这项技术主要是基于变换和替代，我们已经在一个被称为APL的工具中实现了该技术。

By Llibre's algebraic invariant theory, at first on the basis of classification for quadric and quadric homogeneous binary polynomial, the plane linear and cubic homogeneous polynomial differential systems are classified.

利用Llibre的代数不变式理论，首先由二元二次和二元四次多项式的分类结果，对一次和三次齐次多项式微分系统进行代数分类，同时补充了已有结果中出现的漏洞；其次，由称共变张量空间的性质，对缺二次项的三次微分系统在保证轨线走向不变的前提下进行代数分类，使分类后同类系统的示性多项式有相同零点；最后通过讨论一类简单系统的有界性说明了分类的方便方处。

The first chapter, the review on the theory and practice of human capital.

第一章人力资本理论与实践的回顾。

The first part discusses about the prerequisite and the historical background of Hume's theory.

第一部分论述休谟因果关系理论提出的前提及其历史背景。

First, attribute value matrices are transformed into fuzzy relationship matrices according to the theory of fuzzy mathematics,and then by combining the fuzzy relationship matrix with hungarian method an assignment problem with multiobject is proposed in this paper.

运用模糊数学的思想，首先将各目标下的属性值矩阵转化为模糊关系矩阵，再将模糊关系合成矩阵与解决传统指派问题的匈牙利法相结合，提出一种求解多目标指派问题的综合方法：模糊匈牙利法，并结合优化潜艇兵力配置问题进行了应用分析。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。