proving的例句大全

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

The scene's vulgarity recalls Indiana Jones's jokily shooting a sword-wielding Arab in "Raiders of the Lost Ark," proving yet again that what looks new in Mr. Besson's work is invariably old.

这一幕的粗俗令人想起印第安纳·琼斯（Indiana Jones）在《夺宝奇兵》（Raiders of the Lost Ark）里开玩笑地射杀一个挥剑的阿拉伯人，再次证明贝松电影里看上去很新的东西其实不可避免很陈旧。

That may be useful rhetoric for proving that men are pigs or women should be chaste or whatever, but the data says more about the limitations of our survey technologies than the nature of human sexuality.

也许从修辞手法来说，以上结论可以证明男人是猪或女人应该保持纯洁，不过这些研究数据更多地体现了我们的调查技术的局限性，而非人类性活动的本质。

The archaeologists'efforts are not directed at proving the correctness of the Bible any more than belief in God can be scientifically demonstrated.

考古学家的努力并不是要“验证”圣经的正确性，正如信仰上帝不能从科学上证明一样。

The skill of arranging flowers comes easily to Morgan, but arranging his company's finances is proving a nightmare.

对摩根来说，打理鲜花很容易，但打理公司的财务却宛如噩梦。

Through contrast, analysis, expounding and proving several machining methods for both space plane of front car housing from technical and economic angle gains the optimum processing plan.

针对前桥壳体的两个空间平面的加工问题，从技术和经济的角度，时比、分析、论证多个加工方法，获得较佳工艺方案。

Virtual LAN Application of VPG Technology in Proving Ground Plan Confirmation

虚拟试验场技术在靶场试验计划验证中的应用

In order to estimate the terrain trafficability of off-road vehicle, an estimating system was constructed based on VPG ( virtual proving ground) technology.

为了评价越野车辆的地形通过性，建立了基于虚拟试验场技术的评价系统。

A new method for theorem proving of PTL

命题时态逻辑定理证明新方法

Finally, this method is applied to proving the LDU factorization of matrices with all main subdeterminants being non-zero and some relative results.

最后应用这一方法证明了各阶主子式不为零矩阵的LDU分解及一些相关的结果。

While continuously proving a shelter to human Longevity Dwelling House can prolong human's life span.

房屋的建设,在为人类提供居住的处所的同时,更将引入使人类增进寿命的增值功能.

One New Study for First Proving of the "Pythagorean Theorem"

勾股定理最早证明新考

Complementary Proving of the Continuity of Inverse Function

反函数连续性定理的补充证明

Emerging markets have proved largely "decoupled" from the Western credit crunch but inflation is proving a global problem.

新兴市场已经被证明相当程度上避开了西方信贷危机的株连，但通胀被证明是一项全球难题。

Instagram has also seen over 14000 posts using the hashtag\# maskmakeup over the past month, proving that eyes have become the focal point of our faces.

过去一个月，人们在Instagram平台上使用#口罩妆标签发的帖子超1.4万条，证明眼睛已经成为我们面部的焦点。

It is in this regard that the China-ASEAN sub-regional grouping is proving to be a trailblazer.

正是在这一点上,中国 - 东盟次区域集团是先驱者.

In addition, routing algorithm is given based on GPN network, proving that it has better communication efficiency. 3.

另外，还基于GPN网络给出了路由算法，证明其具有较好的通信效率。

Stress changes were in the range of die material allowed, proving that die structure was available.

应力变化在模具材料允许范围内, 验证了模具结构的合理性.

It is the more established fashion brands that are proving popular in the current climate.

在目前的状况下,较为老牌的时装品牌很受欢迎.