查询词典 given
- 与 given 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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微克。
-
New challenges are given at the dame time. The rear service socialization has reduced the opportunities to make the college students have labor lusciousness and labor spirits and has given few chances to teach them the importance of teamwork and collective honor.
面临的新挑战是:高校后勤社会化后对大学生进行劳动意识和劳动精神教育的空间缩小;对大学生进行团体精神和集体荣誉感教育的阵地减少。
- 相关中文对照歌词
- Given The Dog A Bone
- Given A Chance
- All That I've Given Away
- Nothing, Save The Power They're Given
- Given Half The Chance
- Given It All
- On Any Given Night
- On Any Given Day
- All You've Given
- Blessed, Broken & Given
- 推荐网络例句
-
It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.
从鲍尔点的形成原理出发,分析对称连杆曲线上鲍尔点的产生条件,提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。
-
The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.
集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品,年生产总值3000万美元,产品价廉物美、选料上乘、质量保证,深受国内外客户的青睐
-
The eˉtiology of hemospermia is complicate,but almost of hemospermia are benign.
血精的原因很,以良性病变为主。