查询词典 proving

With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.

提出了功能矩阵的概念，在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上，对功能矩阵进行扩展，并证明了扩展功能矩阵的展开定理；利用扩展功能矩阵逐步展开与约简，实现了功能的求解算法。

He, his collaborators and his students were able to prove special cases of this fundamental theorem. But proving the general case proved more difficult than Langlands anticipated — so difficult, in fact, that it took 30 years to finally achieve.

他和同事以及学生虽然能够证明这一基本定理的特殊情况，但证明普通情况所面临的挑战却大大超出朗兰兹的预计——这项工作难度极高，整整历时30年才得以完成。

It's going to be hard to get an idea funded in these conditions without first proving its impact.

这将是很难找到一个想法资金在这样的条件下不首先证明其影响。

But storing detailed genealogical, medical and genetic material in a database is proving controversial.

但是在信息库中存储详细的血缘、医疗和基因资料的做法引来了争议。

R David Dosa, a geriatrician and assistant professor at Brown University, said that five years of records showed Oscar rarely erring, sometimes proving medical staff at the New England nursing home wrong in their predictions over which patients were close to death.

avid Dosa 医生是位老年医学专家，也是布朗大学的助理教授，他说根据五年的记录，在新英格兰看护之家的猫猫奥斯卡很少犯错，有时候还能证明是医护人员在判定病人是否濒临死亡时犯了错。

Dr. David Dosa, a geriatrician and assistant professor at Brown University, said that five years of records showed Oscar rarely erring, sometimes proving medical staff at the New England nursing home wrong in their predictions over which patients were close to death.

多萨博士，一个老年医学专家兼布朗大学助理教授说，5年来的纪录显示，奥斯卡很少犯错，有时反倒以行动证明，这家新英格兰养老院医务人员在预测哪些患者濒临死亡上有误。

In a scene from Goldeneye, Bond, played this time by Pierce Brosnan, and his Russian lady-friend Natalya Simonova, played by Izabella Scorupco, leap from an exploding train, proving once again that there is no vehicle, large or small with which 007 can't totally wreak major havoc.

在现场从"黄金眼"， 007 ，这个时候扮演皮尔斯布鲁斯南和他的俄罗斯小姐娜塔莉娅亚娜西蒙，演出伊莎贝拉斯科卢普，飞跃从一列火车爆炸，再次证明，没有任何车辆，或大或小的与007不能完全造成重大破坏。

Like Hammond, he comes from a remote village and defends Greenlanders' ancient right to hunt "mammals of the sea"; unlike her, he insists on speaking Greenlandic, and has won great support for this, proving you don't need Danish to lead Greenland.

和Hammond一样，他来自于一个遥远的格陵兰岛村庄，同时依然保持着格陵兰岛古老的狩猎习惯。与Hammond不同的是，他依然使用格陵兰岛本土的语言与人交流，正因为此也赢得了很多本土居民的支持，Hans试图告诉格陵兰岛人民并不需要使用丹麦语就可以使政府运转很好。

In proving the authenticity and trustworthiness of the Sacred Scriptures, Grotius appeals largely to internal evidence.

在证明的真实性和可信赖的神圣经文，格劳秀斯的上诉主要是内部证据。

Thus, the Tibet issue is a litmus test and proving ground for the nation state of China.

因此，西藏问题是中国民族状况的试纸和检验场。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。