抽象解释及其应用研究进展

抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来，在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来，抽象解释在程序分析、神经网络验证、完备性推理、抽象域改进等方面取得较大进展.基于此，系统综述了抽象解释及其应用的研究进展.首先概述了抽象解释理论的基本概念，介绍了抽象解释理论、抽象域的研究进展；然后概述了基于抽象解释的程序分析方面的研究进展;之后概述了基于抽象解释的神经网络模型验证、神经网络模型鲁棒训练、深度学习程序的分析等方面的研究进展；又对抽象解释在智能合约可信保证、信息安全保证、量子计算可信保证等方面的应用进展进行了介绍；最后指明了抽象解释未来可能的研究方向.     

浅谈面向对象程序设计的思维方法

面向对象的思维方法，其实是一个把业务逻辑从具体的编程技术当中抽象出来的过程，而这个抽象的过程是自上而下的，先不考虑问题解决的细节，把问题的最主要的方面抽象成为一个简单的框架，集中精力思考如何解决主要矛盾，然后在解决问题的过程中，再把问题的细节分割成一个一个小问题，再专门去解决细节问题。     

抽象绘画流派对现代设计思维的影响

抽象绘画流派在现代美术流派中的地位举足轻重,其创作思维对现代设计具有许多积极的意义。抽象绘画流派注重绘画作品的艺术精神性以及对世界本源的追求,致力于摆脱自然物象表象的束缚。抽象绘画的创作理念对现代设计思维产生了极为深远的影响,引发了对抽象绘画的创作思维积极意义的进一步思考。文章对抽象绘画的创作理念进行简要概述,从而对抽象绘画流派的创作思维有一个较为清晰的认识;然后主要阐述康定斯基和蒙德里安这两位在抽象绘画发展史上具有重要推动作用的大师所提出的理念对现代设计思维的影响;最后针对抽象绘画理念在现代设计中的应用,进一步探索抽象绘画流派对现代设计思维的影响。     

基于EPOM的程序可视化表示系统的设计与实现

可扩展程序对象模型是一种用来刻画高级程序的抽象模型，利用该模型可以很方便地抽取出程序中各式各样的信息，概要介绍了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统，同时给出了该系统的运行结果。     

浅谈抽象思维在计算机学习与研究中的应用

本文从抽象思维的角度，运用“数据结构”中的经典例子来阐述在计算机的学习与研究过程中应运用抽象思维的方法达到“学其思维，掠其形式”的目的。同时论述了在计算机的应用中应运用科学的思维方法和注重计算机科学理论的研究。     

通过抽象程序证明复杂具体程序

本文描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）如set、list、map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系,抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.     

支持功能模块动态装卸的通用菜单系统API

本文在分析现有菜单（ＭＥＮＵ）辅助设计工具的缺陷的基础上，详细论述了一个通用菜单系统应用程序接口（ＡＰＩ）软件包的设计思想，特点和有关实现技术，并给出了该ＡＰＩ软件包的函数列表和应用示例。该ＡＰＩ软件包采用抽象程序设计技术，支持功能模块的动态装卸和菜单系统的动态维护，并首次采用动态接口挂接技术，大大增加了系统的灵活性和维护性，提高了软件开发效率。     

基于抽象符号表的内存模型

符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。     

持久OOPL的存储管理模式

在持久环境（如持久ＯＯＰＬ和ＯＯＤＢＳ）中，涉及到两类不同的物理存储器：内存和磁盘，应开发隐藏物理细节的抽象存储器层次。虚拟对象存储器（ＶＯＳ）就是这种抽象存储器层次，在其上，持久对象和暂态对象的操作是同一的。作者利用双拷贝模型实现了一个ＶＯＳ管理系统。ＶＯＳ方法的优越性已通过ＸＤＰＣ＋＋的设计与实现得到了证明，ＸＤＰＣ＋＋是基于Ｃ＋＋的持久ＯＯＰＬ。     

基于H-等价的算法识别技术研究

蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。     

软件维护与逆向工程评述

本介绍并分析了近几年在软件维护与逆向开程领域中的一些研究工作。这些工作涉及软件维护模型，程序观察，程序数据库，超本，程序高层抽象和反编译等内容。     

针对Java语言中间形式的谓词抽象算法

谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔程序,抽象过程中处理的Java数据结构包括:赋值语句、条件语句、类对象引用、成员方法和方法调用等.用一个Java程序实例说明了该算法的抽象过程和结果.     

刷刷更健康！——德国SKN Power-Tuning程序测试

它是抽象的，因为它只是一个电脑文件；它是简单的，只要刷写成功便0K了；它同时亦是复杂的，因为它是经过复杂的运算得出来的……它就是本期测试栏目的测试产品——德国SKN Power-Tuning程序!     

类型和数据抽象

类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起,而数据抽象则是最基     

中间语言和虚拟机漫谈

编程语言的发展历史,总的来说,是一个从抽象机器操作逐步进化为抽象人的思维的过程。机器操作和人的思维如一枚硬币的两面,而语言编译器就像是个双面胶,将这两面粘在一起,保证编程语言源程序和机器代码在行为上等价。当然,     

Java咖啡馆（7）——大话面向对象（上）

归根结底，计算机的发展史可以归纳为“抽象”两个字。应用存储程序的理论，人们从最早的现代计算机抽象出软件(Software)和硬件(Hardware)两个独立部分。为了让软件各司其取，软件又被抽象成专门与硬件打交道的操作系统(Operating System)和建筑在操作系统之上的应用软件(Application)。数据处理又是许多应用软件必须的前提，从而抽象出数据库系统(Database System)。到了网络时代，为了更好地适应网络软件的开发，应用软件中又抽象出应用服务器(Application Server)提供各种服务。编程语言的发展亦复如是。让我们在这回的咖啡馆中看看编程语言的发展简史，从头认识Java中的面向对象编程技术。     

基于应用模板仓库的电子商务系统开发平台的设计与实现

基于Web的电子商务系统往往需要通过全代码方式手工编写程序，这在很大程度上限制了Web程序设计的效率和质量。作者通过对不同电子商务系统的分析、设计和分解，抽象和归纳出了一系列技术上较为典型、功能上比较通用的业务功能模块和子系统，并以此为基础，构造企业电子商务系统应用模板仓库，开发并实现了一个基于模板仓库的、以自动程序生成为目标的电子商务系统技术开发平台。     

浅谈面向对象程序设计的思维方法

面向对象的思维方法,其实是一个把业务逻辑从具体的编程技术当中抽象出来的过程,而这个抽象的过程是自上而下的,先不考虑问题解决的细节,把问题的最主要的方面抽象成为一个简单的框架,集中精力思考如何解决主要矛盾,然后在解决问题的过程中,再把问题的细节分割成一个一个小问题,再专门去解决细节问题。     

有效使用“班班通”提高数学教学效率

“班班通”顾名思义是每个班级都通网络。而数学是思维的艺术,具有极强的抽象性与逻辑性。小学生的思维特点是直观与形象，特别是小学低年级学生,学习更是以直观形象的思维接触抽象的逻辑知识。合理使用班级中的电教媒体能够有效地为学生提供感性材料，化静为动,化抽象为具体，具有声像结合、图文并茂、形象直观、动态逼真等特点。     

基于语法树和JavaCC的程序题自动评分系统

为了提高程序题自动评分的准确性,及解决传统评分方法无法从语法结构和语义角度衡量错误的学生程序与正确答案之间的相似度,提出了一种基于抽象语法树匹配的程序题自动评分方法。文中以JavaCC技术为核心,首先通过词法分析、语法分析和语义分析生成错误列表和抽象语法树的中间表示,然后通过语法树切片匹配得分,最后和错误列表结合给出评分结果。文中详细论述了各个模块的设计方法,着重讨论了抽象语法树生成并匹配的细节,设计并实现了一个传统方法与语义分析结合的C＋＋程序题自动评分系统。通过对实际考试的结果进行实验,进而验证了该系统的实用性与有效性。