1) abstractive expression
抽象化引申
3) symbolical ideas in leading
引申性象征意象
1.
Studying them widely,it is obvious that the symbolical ideas have two branches:the symbolical ideas in metaphor and the symbolical ideas in leading.
在艾青创作的大量意象诗中 ,象征意象可分为比喻性象征意象和引申性象征意象。
4) 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.
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度。
5) abstract engine layer
抽象引擎层
6) concret e expression
具体化引申
补充资料：引申
由一事一义推衍而及他事他义：引申触类｜引申义｜联想引申｜引申新说。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条