查询词典 proving

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

This was the band's highest chart debut in their 20 years career, proving that their winning song writing formula was unbeatable.

在他们20年的职业生涯中，这是乐队专辑首发的最佳成绩，证明了Bon Jovi歌曲创作模式的成功。

Again, these were baseless accusations that he has no way of proving.

再次，这些虚假的控告是无法被证明的。

I am very excited to be here and I look forward to proving what I can do.

我很高兴到这里来，我期待着证明我可以做些什么。

Gradually, however, research is isolating all other possible factors and proving them to be statistically irrelevant.

但是研究工作逐渐排除了其它因素的可能性，并且用统计数字证明这些因素是无关的。

Gradually, however, research is isolating all other possible factors proving them to be statistically irrelevant.

但是 dddTt 研究工作逐渐8ttt8排除了其它8ttt8因素的可能 www.ssBBww.cOm 性，并且用统计数字证明这些因素是无关的。

Sadly, the present Greek crisis is proving to be no exception.

可悲的是，决策者们对当前希腊危机的反应正是如此。

Proving to be no match for Goku's skills on his own, Murasaki makes a desperate call for reinforcements.

发现自己根本不是小悟空的对手，紫曹长在绝望中搬起了救兵。

President Barack Obama's speeches are proving a best-seller in Japan -- as an aid to learning English.

美国总统奥巴马的演讲作为英语学习的素材，成为了日本最畅销的书。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了