说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 证明策略
1.
Design and Implementation of Automation Proving Tactics in Isabelle;
Isabelle中自动化证明策略的设计与实现
2.
Conclusions: The experiments demonstrated that very potent effects could be achieved through the pro-transition-state hapten strategy.
结论:实验证明了该半抗原设计策略的有效性。
3.
Strategies of Thinking Reflected in Proving out "Harmonic Series Divergence;
“调和级数发散性”证明中体现出的思维策略
4.
Distributed Proving Oriented Language and Method for Trust Negotiation
面向分布式证明的信任协商策略语言和方法
5.
Framework of Dynamic Remote Attestation Based on Policy and Virtual Machine Technology
基于策略和虚拟机技术的动态远程证明框架
6.
This paper will combine examples to expound the seven everyday" structure" strategy in inequality.
本文将结合实例论述在不等式证明中常用的七种“构造”策略。
7.
Both the experimental results and comparison with other methods prove the effectiveness of grouping.
实验结果及其在各种算法中的运用证明了群组策略的有效性。
8.
The coarse granularity behavior based control structure is designed and realized in a strategy system.
实现了基于这种结构的策略程序,实战证明了该方法的正确性。
9.
shortened form of birth certificate
简略格式的出生证明书
10.
Strategy for and Implementation of Certificate Authority′s Management of Certificates
证书认证中心管理证书的策略及实现
11.
quality assurance strategy
学校教育保证质素策略
12.
Strategic Principles of the Construction of Political Civilization;
论我国政治文明建设的战略策略原则
13.
On Policy of China s Stock Market after Joining WTO;
略谈加入WTO后中国证券业的应对策略
14.
Research of Certificates Revocation Policies and Certificates Roam for WPKI;
WPKI证书撤销策略及证书漫游研究
15.
An evidence classification strategy based on similarity of evidence
一种基于证据相似性的证据分类策略
16.
I think it was clear as the race progressed that we had qualified on quite a heavy fuel load, but we were really able to take advantage of our strategy during the race.
比赛证明我们在排位赛中汽油负载过重,但我们在正赛中却能发挥该策略的优势。
17.
The test results show that the strategy can adapt the ballast to different start/restart situations and different aging conditions of xenon headlamp.
试验结果证明,该控制策略在点灯过程中能够兼容复杂的点灯情况和老化程度。
18.
The Empirical Research of Momentum Strategy, Contrarian Strategy in China Stock Market;
动量策略、逆向策略在中国股市的实证研究