查询词典 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.

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

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。