1) 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.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法。
2) abstraction refinement
抽象求精
3) 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.
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度。
4) CEGAR
基于反例的抽象精化
5) abstract subject
对象化抽象
6) abstraction
[英][æb'strækʃn] [美][æb'strækʃən]
抽象化
1.
Combining case analysis, this paper discusses the relationship between faith to style and adjustment in the inter-translation of English and Chinese and analyses the applicable techniques of embodiment and abstraction in translation from Chinese to English.
结合案例分析 ,论述了英汉互译中对文体的忠实与调整的关系 ,剖析了在汉译英中具体化与抽象化翻译方法的实用技术。
2.
Major applications of linguis- tic dynamic systems include abstraction and linguistic analysis of c.
语言动力学将主要应用于数值动力学系统的抽象化分析,基于词描述的经济、社会、管理和生态系统的动态分析、决策综合、政策评估、以及大数据量的知识挖掘和动态表示等。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条