查询词典 given

It is found that there are similarities in terms of spectral integral among the wind input source terms given by Jeffreys, Sverdrup and Munk, and Plant and among the wave breaking dissipation source terms given by Tsikunov,Hasselmann and Philips,although the original forms and the physical considerations of these source terms are significantly different.

发现Jeffreys，Sverdrup和Munk以及Plant的风能输入源函数在谱积分意义下具有相似性，而Tsikunov，Hasselmann和Phillips的破波耗散源函数在谱积分意义下也具有相似性，尽管这些源函数的原始形式和物理背景显著地不同。

D:I think I was just given too much privilege ,I was given too much latitude and probably

我想我得到了太多的特权和自由

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

The alumni can help the university in various ways: first, financial donations. Of course, the large sum of money given to the university is highly valued. In the past two years, Bruce Cheng of Delta Electronics has given to the university more than 15 million U.S. dollars, which were used for research lectureship and construction of a research building and a green energy demonstration building.

校友能以几种方式帮助母校：首先是捐款，大额捐款自然能发挥重要作用，过去两年来，台达电子的郑崇华校友捐款母校超过1，500万美元，这些款项用来支付研究讲座经费，并且兴建台达电子研究大楼，以及一座展示绿能的建筑。

Given this, the achieved lightship displacement of less than 100 tonnes represents a huge success and the general approach has been spectacularly vindicated in recent trials, with initial speeds in the 55+ knot range being achieved and promise of further increase given more optimisation time.

在这种情况下，取得了lightship排水量不到100吨，是一个巨大的成功，和一般的做法已被壮观平反，在最近的测试阶段，初步速度在55 +结范围正在实现，并承诺进一步提高给予更多最佳时间。

Locus of points at a given distance from a given line segment..

到一条已知线段的距离等于定长的点的轨迹。

In chapter 3, the problems of constructing finite-dimensional functional linear invari-ant spaces under a given differential operator as well as an inverse problem concerning thedescription of all operators possessing a given invariant space are investigated.

第三章中讨论了基于算法产生的两个互逆问题，即(1)构造在已知的微分算子下不变的有限维线性函数空间；(2)讨论拥有相同线性不变空间的微分算子的一般表达式。

In this paper, an iterative approach to potential field continuation from curved surface to plane is proposed. The continuation of potential field data from a curved surface to a plane can be viewed as an inverse problem of upward continuation of plane potential field data, getting a linear integral equation. Through viewing the potential field data on the curved surface as the data on the average elevation plane of the curved surface, then using the wavenumber domain generalized inverse algorithm to downward continue the data from the average elevation plane to a given plane, and a topography correction based on the change of curved surface relative to its average elevation is implemented to the downward continued data on the given plane, finally the downward continued data plane is upward continued to the curved surface.

本文提出一种位场数据曲化平的迭代方法，即通过把位场数据曲化平视为平面位场数据向上延拓的反问题，得到曲化平的线性积分方程，再把曲面上位场数据视为曲面平均高程面上的位场数据，利用向下延拓的波数域广义逆算法把平均高程面上的位场数据向下延拓到设定平面上，再根据曲面和其平均高程面的相对起伏对设定平面上的向下延拓数据进行起伏校正，最后再把所得平面上的位场数据向上延拓得到曲面上的位场数据，并进行迭代。

By employing the local Lipschitz condition and Picard sequence, the local existence-uniqueness of solutions of stochastic functional differential equations of Ito-type is firstly obtained. Furthermore, a continuation theorem for stochastic functional differential equations of Ito-type is given by using stochastic analysis technique and the quasi-boundedness condition. Finally, by establishing some delay differential inequalities and using properties of H_m-functions, a stochastic version of Wintner theorem and the global existence-uniqueness of solutions of stochastic functional differential equations of Ito-type are given. The results generalize the earlier publications.

首先，利用局部Lipschitz条件和Picard序列，获得了伊藤随机泛函微分方程解的局部存在唯一性；其次，利用随机分析技巧和拟有界条件，建立了伊藤随机泛函微分方程解的延拓定理；最后，通过建立一些时滞微分不等式和利用H_m-函数的特性，得到了Wintner定理的随机版本和伊藤随机泛函微分方程解的全局存在唯一性，推广了已有的一些结果。

Eight patients were given 200 micrograms of LSD and four patients were given 20 micrograms.

8例患者给予200微克的迷幻剂和四名病人分别给予20微克。

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。