查询词典 prove

And we prove that the all n-th completely bounded cohomology group H_~n of S with cofficients in B are trivial.

第三章我们引入了局部G-导子的概念，并给出了一个主要结果。

In particular, we compute Hochschild homology and cohomology groups of infinitedimensional path algebras and some of their quotient algebras, and we prove that for a general monomial algebra (not necessary finite-dimensional), all Hochschild cohomology groups of positive degrees vanish if and only if its Gabriel quiver is a finite tree.

特别地，我们计算了无限维路代数以及某些商代数的Hochschild同调群和上同调群，而且给出了一般单项代数的各正次Hochschild上同调群为零的充分必要条件，即它的Gabriel箭图是有限树。

Further more,we prove that the cohomotopy groups is isomorphic to K1 -group of the continuous algebra on topological boundary of bounded domains in C.

进一步证明了：在复平面C中，任意有界域的拓扑边界上连续函数代数的K_1-群与其边界上的上同伦群同构。

And then, we prove the coincidence relation between one skyline point of high dimensional space and the most mild points of one subset, thus enabling it to transform skyline computing in high dimensional space to figuring out the most mild points in all subsets.

为此，本文首先提出了高维数据集上"平和点集"的概念，它由各属性值中的最小值比数据集中其他点对应最小值"好"的那些点组成；然后，论证了"平和点集"中最大平和点和skyline点的对应关系，从而转化高维数据集上skyline计算为其任意子空间上的最大平和点计算。

Tell her you have information that might prove to be valuable, suggests Lee Colby.

告诉她你这里有些可能颇有价值的资讯，李·科尔比建议。

"Tell her you have information that might prove to be valuable," suggests Lee Colby.

"告诉她你得到些有价值的信息，" Lee Colby 建议到。

A group of researchers in Princeton University have managed to prove and demonstrate that disk encryption mechanism used by BitLocker of Windows Vista; FileVault of MacOS X; dm-crypt of Linux, TrueCrypt and possibly other secure encryption software, can be cracked, hacked and defeated by imaging state of physical memory which still carry and retain traces of code bits, in what hackers called cold boot attack by dumping all data in memory to disk.

一组研究人员在美国普林斯顿大学已成功地证明，表明磁盘加密机制，利用BitLocker的Windows Vista的； FileVault的MacOS下；德国马克，隐窝的Linux ， TrueCrypt ，可能还有其他安全的加密软件，可以被破解，黑客入侵并打败由成像状态的物理内存，其中仍保留痕迹的代码位，在什么所谓的黑客攻击冷启动倾倒所有的数据在内存到磁盘。

More than 40 stages, collectible items to prove your skills

超过40级，珍藏品，以证明自己的技能

Methods: Enrich enterobacterium with EC Broth, adopt O157 immunomagnetic microspheres isolation technique, Inoculate Qiangdao Haibo O157 colorable culture medium, prove through serology and bio-chemical experiments. Results: We detected 2 strains of E.

用改良EC肉汤增菌，采用O157免疫磁珠分离技术，接种柯玛嘉和青岛海博O157显色平板，血清和生化系列证实。

Impressed by the accusations made against him, Paul took advantage of the departure of Tychicus for Coloss Colossae,aelig;, to enter into communication with those Christians who had heard of him (Ephesians 3:2) and to address them a letter in which he had to limit himself to general considerations on Christianity, but he wished to prove his Apostolic solicitude for them by making them realize not only the dignity of their Christian vocation, but the oneness of the Church of God and the intimate union by which all the faithful, no matter what their history, are constituted a single body of which Christ is the head.

下了深刻的印象，对他的指控，保罗趁机离开Tychicus的Coloss Colossae ， aelig ；，进入通信与基督徒谁听说过他（以弗所书3：2 ），并解决他们的信中，他必须限制自己的一般考虑对基督教，但他想证明他的使徒关怀他们，使它们不仅实现的尊严，他们的基督教使命，但一体的天主的教会和亲密的联盟，所有的信徒，不管其历史，是构成一个单一的机构，其中基督的头部。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐