1) counterexample guided abstraction refinement
反例引导的抽象精化
1.
It adapts the counterexample guided abstraction refinement (CEGAR) scheme and proposes a compositional verification approach that the verification of component composition is transformed into local abstraction refinement for individual components participating in the composition in order to reduce analysis complexity.
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度。
2) CEGAR
基于反例的抽象精化
3) counter example-guided
反例引导
1.
And they are combined by using the" counter example-guided abstraction refinement"framework and model checking.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法。
4) abstraction refinement
抽象精化
1.
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程。
2.
And they are combined by using the" counter example-guided abstraction refinement"framework and model checking.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法。
5) abstractive expression
抽象化引申
6) abstraction refinement
抽象求精
补充资料：反比例函数
Image:11481277737846800.jpg
反比例函数
形如 y＝k／x(k为常数且k≠0) 的函数，叫做反比例函数。
自变量x的取值范围是不等于0的一切实数。
反比例函数的图像为双曲线。
如图，上面给出了k分别为正和负（2和-2）时的函数图像。
当ｋ＞０时，反比例函数图象经过一，三象限，是减函数
当ｋ＜０时，反比例函数图象经过二，四象限，是增函数
说明：补充资料仅用于学习参考，请勿用于其它任何用途。