1) Abstract interpretation
抽象解释
1.
Abstract interpretation is a general theory of semantics approximation,which has been widely used in the verification of computer programs.
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。
2.
Compared with general theory about abstract interpretation,the method focuses on value range analysis,so the analysis and the proof of the analysis is straightforward.
系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定义、分析和完整的正确性证明。
3.
From the Principle of functional propriety,this article argued that under the current system,the only possible mode of China constitutional interpretation is abstract interpretation.
中国现有体制下的宪法解释只能适用抽象解释的模式,宪法解释程序的建立也必须以此为前提。
2) abstract interpretation theory
抽象解释理论
1.
This paper describes the abstract interpretation framework of the program semantics based on the Galois connection, and then discusses three typical applications of the abstract interpretation theory: The program transformation, the program verification techniques about the safety property and the program verification.
描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向。
3) abstract diagram
抽象图解
1.
On the basis of that,by utilizing abstract diagram,four major characteristics are dawn out of the planting design-quiet colors,plant sculpting,the Seven-five-three rhythm mode and the dynamically balanced composition.
此基础之上,通过抽象图解的方式,对日本园林所运用的植物配置手法进行了现代视角的分析,并总结提出4条植物配置的主要特色:对植物进行造型修剪;“七五三”韵律模式;和动态平衡的构图方式;追求淡雅的色彩效果。
4) abstract solution-tree
抽象解树
5) Interpretive object
解释对象
6) image interpretation
图象解释
1.
Image interpretation is an important part of computer vision, which is related to many fields such as image processing, classifier designing and logic reasoning.
图象解释是计算机视觉的重要组成部分 ,它涉及图象处理、分类器设计和逻辑推理等许多领域 。
补充资料：奥地利学派的抽象演绎法
奥地利学派的抽象演绎法：反对历史学派，以抽象演绎法和历史学派的历史归纳法相对立，企图以彻底的主观主义更新资产阶级经济学的理论体系。把经济学的研究对象看作只是研究人和物之间的关系。奥地利学派抽象演绎法的特点：第一，把个人从社会和历史中抽象出来，个人经济是第一性的、本原的，社会是第二性的、派生的。第二，唯心主义的心理分析。经济研究的就是快乐与痛苦的关系。他们把政治经济学完全从属于心理学，甚至公开宣称政治经济学是实用心理学。评价：抽象掉社会生产关系，否认了经济范畴和经济规律的历史性。生产不仅供给物质以满足需求，并且也创造了需求。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条