您要查找的是不是:
- Keywords Formal Verification;Model Checking;Eletronic Design Automation;Counterexample Explanation;Bug Localization;Counterexample Minimization; 形式化验证;模型检验;电子设计自动化;反例解释;错误定位;反例压缩;
- counterexample minimization 反例压缩
- You mention China as a counterexample. 你提到中国作为一个反例。
- Of course a few counterexample also is some. 当然少数反例也是有的。
- Now Alloy would find no counterexample. 现在,Alloy就找不到反例了。
- "Devotional effectiveness " be one of this kind of counterexample. 本文只找到了这条边界上的一个“点”,一个“反例”。“信仰的效用”正是这类反例之一。
- Studies on packaging waste minimization and its collection system. 包装废物减量及回收体系构建研究。
- Customize the closing, hiding and minimization of applications. 定制程序关闭,隐藏及最小化操作。
- Method: Pharmacoeconomics cost minimization analysis was used. 方法:药物经济学最小成本分析法。
- Another addition we use in several patterns is a “Counterexample” section. 我们还在一些模式中使用反例。
- The structure of WNN is trained using Structural Risk Minimization(SR... 实验结果表明,该预测模型具有预测精度高,使用方便等优点。
- Our Business Principle: Minimization of cost and maximization of profit. 公司的经营原则:运作成本最小化,利润最大化。
- For us, the key to intimacy is the sharing and minimization of selfishness. 他的妻子是一名护士,对此表示认同;
- Even if the sexual excitement of minim, can allow the man immediately excited. 即使是微量的性刺激,都能让男性立刻兴奋。
- The cost controller should periodically review the maximum and minim inventory. 成本经理应定期查看最多及最少存货量。
- More detailed researches are focused on discussing the rationality and restrictive of DF problem in this paper and the typical exemplification and counterexample are presented. 本文针对描述函数法适用于该问题的合理性及其局限性作了较为深入的分析,并给出了典型的例证和反例加以说明。
- An odd counterexample is Saturn's 500-kilometer-wide moon, Enceladus, which appears to be the source of the E ring. 一个奇怪的反例则是土星的卫星,土卫二,它足足有500公里宽,但看起来却像是E环物质的丰富来源。
- By a counterexample, it is illustrated that a valuation on a module need not be prolongable on an extension module. 通过构造反例表明,一个模的赋值在该模的扩张上不一定总存在拓展。
- BCHMP constructed a counterexample which showed that Jensen’s Inequality for g-expectation is not correct always. BCHMP构造了一个反例指出:基于g-期望的Jensen’s不等式不能一般成立。
- A when the article found this border to go up only " dot " , " counterexample " . 文章试图为经济学理性主义寻找一个“边界点”,超越这条边界,经济学将走向谬误。