查询词典 part-song

The agreement has been kep t on our part but not on their part.

我们这方面遵守了协议，而他们那方面却没有遵守。

A time-of-flight ranging system, such as a keyless access control system, comprises a first part (10) and a second part (12), which may implemented as a portable device such as a key fob.

要約 一种诸如无钥匙进入控制系统的飞行时间测距系统，包括第一部(10)和可以作为诸如钥匙链的便携部实现的第二部(12)。

The second part, including three chapters, this part is the keystone of this paper.

第二部分为第二、三、四章，为本文的研究重点，主要研究步骤为：1。

Sometimes the kilt is also part of the school uniform or is part of the scout8 uniform.

方格裙还是学校制服或童子军制服的一种。

Portia is part of my heart. She's part of me. Life is rich and meaningful with her,' Ms. Koh says.

她说，宝莎是我心灵的一部分，她是我的一部分，有了她，生活变得丰富而有意义。

In t he conclusion part, the paper makes a further analysis of Umberto Eco's rational reflection about the spirit of the times, combining his point of view about the reason, order and Postmodernism to points out that he is able to discard the world significance while sticking to a new one, able to reconstruct the new order while breaking it, able to take part in the game but not Addict to its joyance— that's Umberto Eco, the hero Theseus in modern world, who explores the labyrinth just like a fish swimming in the sea.

在结论部分，本文结合艾柯对理性、秩序和后现代主义的观点，进一步分析了艾柯对时代精神的理性反思，指出他能够在消解世界意义的同时还在坚守新的意义，在破坏秩序的同时还在重建秩序，在参与游戏的同时而不沉溺于游戏的喜悦。

It is related that the large button with the high sculpture and the thick edge, but the thickness of button, sculpture, edge and other part of back are so different that the thickness of oxide layer on these different part are not equal.

因这些镜种的背面全部都是以钮为中心往下凹，而镜面的铸态毛坯却是平面；这就形成了镜体中心薄，越往外缘越厚的铸件；为使磨制出的镜面没有铸造缺陷，也为了尽量减少镜体重量，须将镜面中心少磨削、外围多磨削。

First grab your Polygonal Lasso Tool and delete that part that is on the top part of the balloon.

首先抓住你的多边形套索工具和删除该部分对气球顶部部分。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Firstly, this part summarizes the contribution and the dispute of the economics of law briefly. In addition, this part makes a comment on the deductive characteristic of the methodology of the economics of law and the disputes of the deduction and induction from the scientific- philosophical point of view, and points out that the economics of law, as a theory and method, could not provide a self-justified logic and philosophical basis.

在这部分，论文首先就法律经济学的贡献和争议作了一个简要概括，然后就法律经济学方法论的演绎特征、演绎与归纳之争等从科学哲学的角度进行了评析，并指出，作为一种理论和方法，法律经济学无法为其自身提供一个坚实的逻辑和哲学基础。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。