查询词典 spaces

The difference is, he loves interstitial living, finds comfort and more in all the spaces associated with airports and airplanes or in what Walter Kirn, in his novel that inspired the film, calls Airworld.

但Bingham与其他人的区别在于，他爱飞行间隙的生活，他从与机场和飞机相关的一切事物中寻求慰藉以及更多。这些事物，被Walter Kirn称作空中世界。

To cry Wide open ears(Feel something Feel nothing Listen closely Listen closely) Disarm the dream tickler In the constant moment(You will find me Where it's quiet Listen closely Listen closely) Let the blood flow Through all the spaces Of the universe kizuite I'm here waiting for you ima to ha chigau merai ga attemo I'm here waiting for you sakebi tsuzukete kitto kokoro ha tsunagu ito wo dakutteru ano koro no watashi me wo samasu youni no need?

哭了 侧耳倾听(感受着感觉到，靠近我聆听我)放下梦的纪录在这永恒的时刻(你会发觉我在这寂静的地方，靠近我聆听我)让血奔腾穿越时空充盈宇宙都是自己翻译的版本仅供参考另，OP的日文歌词中参杂中文汉字，手头没有日文输入，因为未予全部改正。

The PetrovGalerkin formulation is applied to solve the genera lized Stokes problem in each subdomain, and the Lagrange multiplier problem on the interfaces is solved using an algorithm of conjugated gradient. Velocity, density and Lagrange multiplier are approached in the spaces of continue piecewise linear functions.

应用PetrovGalerkin方法解每个子域上的广义Stokes问题，而交界面上的Lagrange乘子则通过共轭梯度法迭代求解，各变量均由线性函数离散。

Some of the parks and lakefront spaces created for that event would also host the Olympics.

为当时那项活动建立的一些公园和湖边空地今天也可用于主办奥运会。

In the last chapter, we have discussed how to judge the landform of the objective functions in higher dimensional spaces and how to choose the right searching strategies.

在最后一章，讨论了在高维空间中，如何有效的探测或判断目标函数在某一空间区域的地形，进而选择适宜的搜索策略。

Your landscape architect can help you use walls to create aesthetic themes and spaces.

您的景观设计师可以帮助您使用墙壁创建主题和审美空间。

The second phase, consisting of rationalising the use of landside spaces, is expected to be completed shortly.

第二阶段改革预计即将完成，主要是合理改变陆上空间的用途。

The tendency of rocky desertification in laterite districts is mainly related to the laterite leakage into underground karst spaces.

红土地区的石漠化趋势主要与红土向地下岩溶空间渗漏有关。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Val1.ljust(leftbit-2,'')- Take the variable val1 that we were passed , left justify it with spaces for ( leftbit -2) characters.

Rjust实现相同的功能，只不过是在左边填字符。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。