一种基于AST的代码抄袭检测方法*

针对目前代码抄袭检测方面的研究大多是基于程序源码层面进行相似度比较,不需要对代码进行语法分析,由于忽略程序语法语义,对稍加结构修改的抄袭行为无法有效检测的现状,提出一种基于AST的代码抄袭检测方法.先将代码进行格式化预处理,再进行词法分析、语法分析,得到对应的AST;然后遍历AST生成代码序列,对代码序列进行相似度计算,从而得到代码的抄袭检测报告.实验结果表明,该方法能够有效检测出C程序代码的抄袭行为,并对C++、Java等多种程序代码的抄袭检测具有一定的通用性和可扩展性.     

一种基于抽象解释的二进制代码测试方法

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。     

基于ZedBoard的SCA架构的设计与实现

Zed Board是Xilinx公司首款融合了ARM Cortex A9双核和7系列FPGA的全可编程片上系统,兼具ARM和FPGA两者的优势,是小型化SCA实现的最佳嵌入式平台之一。本文介绍了Zed Board平台的硬件结构,并针对SCA架构在专用硬件平台上无法实现的问题,通过分析研究MHAL硬件抽象层技术和OCP接口规范,设计了符合ZedBoard平台硬件环境的MHAL硬件抽象接口和FPGA波形组件容器,有效地解决了SCA架构在Zed Board平台上的实现问题,为在Zed Board上实现以SCA架构为核心的系统开发打下了基础。     

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。     

基于计算思维的数理逻辑教学改革探索

针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将"对问题进行抽象建模—形式化—自动化—分析评估"这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法。     

基于语法结构的源代码搜索的研究

现有的源代码搜索引擎大都是基于文本的搜索,没有利用代码在语法上的特性,因此在搜索准确性方面受到极大的限制.本文从语法结构角度,提出一种源代码的过滤方法,构造基于语法结构的代码过滤器,从而抽取对搜索有用的信息.通过该方法实现了一个基于语法结构的源代码搜索引擎.实验表明本文所建立的源代码搜索在搜索准确度、搜索结果展示的友好性方面都有改进.     

O'Caml泛型编程中“泛型抽象”的研究

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义.     

XML的面向对象语言特性

面向对象程序设计思想是现在程序设计的主流思想,它通过给程序中加入扩展语句,把函数＂封装＂进编程所必需的＂对象＂中,使得复杂的工作条理清晰、编写容易。有着广泛应用的XML也必包含这一思想。文中首先详细介绍了XML的起源与特点,接着对面向对象语言特性进行了简单的阐述：如抽象、封装、继承、多态性,最后通过XML实例与面向对象语言的特性相结合来着重分析XML的面向对象的语言特性。因此,通过使用面向对象程序设计的思想与方法,能够更加灵活方便地构造和设计XML。     

SCA硬件抽象层接口设计

随着软件通信体系结构的广泛研究和应用,为在包含特定硬件单元的SCA硬件平台上实现不同计算单元上组件间管理的统一性和通信的标准化,提高波形应用在不同的硬件平台上的可移植性和重用性,软件通信体系结构引入了硬件抽象层的概念.该文以通用处理器和DSP为例,描述硬件抽象层的功能及其在通用处理器GPP和DSP上的API实现.     

文件虚拟化（File Virtualization）是什么？

文件虚拟化（File Virtualization）是在文件服务器和访问这些文件服务器的客户机之间创建一个抽象层。一旦应用,文件虚拟化层管理跨服务器的文件和文件系统,允许管理员向客户机提供一个所有服务器的逻辑文件挂接。这台服务器继续托管文件数据和元数据。