国标BASIC语言编译系统的设计与实现

介绍了国标BASIC语言编译系统的设计思想和实现技术.该系统建立了一个集成化的编程支持环境,通过语法制导编辑器建立BASIC源程序,通过增量编译器进行编译.这个集成化环境把编辑器、编译器、调试器有机地结合在一起,大大地提高了软件开发的效率,也提高了软件的可靠性.     

VHDL编译系统MTC设计与测试方法研究

采用面向对象技术设计VHDL编译系统MTC,通过对VHDL语法产生式进行分析,将各语法现象以C 类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.MTC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用Flex 与Bison 最终得到面向对象VHDL编译系统.同时提出MTC的自动测试方法.在对SPARC芯片MB86901算法描述编译过程中,MTC的编译效率比现有编译系统提高了57%.     

面向教学的类C编译器的设计与实现

设计并实现了一个面向教学的类C编译器,支持全局或局部变量的定义、函数参数传递和函数递归调用.为避免对实际硬件体系结构的依赖,采用了Java语言的设计思想,类C编译器实现了先编译后解释执行的设计方案,同时给出了比文法更为直观的类C语言的语法图.     

分块编译在PASCAL中的实现

本文提出一种对 PASCAL 语言实现分块编译的方法,并讨论了有关问题。要点是首先把过程说明和函数说明处理作编译单位。然后压缩去源程序中无需语法检查的编译单位,从而对压缩过的源程序进行编译。这样,用户能把注意力集中于正待语法检查的少数编译单位,并节省计算机机时。这种分块编译思想适用于基于分程序结构的其它非模块化程序设计语言。这种方法的特点在于:它支持模块程序设计策略,也支持逐步精化设计策略,可以作为软件研制的手段而应用。     

一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.     

基于规则的遥感影像分类方法研究——以黄山市为例

介绍了决策树C4.5算法,并利用该算法实现了对遥感数据规则的挖掘,在此基础上设计并实现了针对于C4.5规则的编辑器,通过该编辑器能够实现对规则的编辑与管理。规则编辑器的设计与实现,为在分类过程中人工的干预提供了可能。将人工干预与基于数学理论规则的自动提取相结合,尤其是在地形较复杂的地区,将有利于分类精度的提高。利用黄山市Land Sat TM影像,进行了基于C4.5算法自动提取规则的遥感影像分类实验。实验结果表明,利用C4.5算法提取的分类规则准确率高,利用提取的分类规则进行的遥感影像分类效果较好。     

基于语义分析的数据驱动型漏洞检测方法

随着计算机技术的成熟和Internet技术在各行各业的应用,信息安全问题变得越来越重要.各种各样的软件漏洞可能会被病毒、木马利用而产生各种各样的信息安全问题.在所有的软件漏洞中,数据驱动型漏洞是最常见的、也是最容易被利用的漏洞之一.目前的检测工具往往不够深入,仍然存在许多的不足.该文提出了一种基于语义分析的数据驱动型漏洞的静态检测算法.该算法定义了漏洞的词法成分和语法成分,在词法分析和语法分析的基础上,实现了对漏洞的语义层次检测.与传统的采用编译原理方法实现的静态检测工具相比,本算法实现了对数据驱动型漏洞更准确的检测.最后,设计并实现了一个静态检测原型系统,并通过实验证明了系统的有效性.     

基于嵌入式Linux的运动目标跟踪视频监控系统简

针对运动目标检测和出现严重遮挡时目标丢失的问题,提出了一种基于五帧差分和Surendra背景更新相结合的检测算法,同时设计了结合Kalman滤波和线性预测的MeanShift算法,引入了动态自适应窗口的CamShift算法,并提出了CamShift算法的全自动跟踪策略,减少手工选取目标引起的误差.在实现系统功能方面,搭建嵌入式交叉开发环境,通过相关应用程序的交叉编译实现了在嵌入式平台上目标跟踪的监控系统.实验结果表明,该文提出的算法跟踪效果相比传统的算法明显提高,所设计的视频监控系统运行可靠,改进后算法检测效果好,可以快速完整地提取出运功目标,并且进行稳定的跟踪.     

基于FPGA自适应高速RS编译码器的IP核设计

针对IP核设计方法讨论了一种可动态配置编码方案的高吞吐率RS编译码器，该编译码器采用Euclid算法实现译码，编译码过程采用流水线结构提高速率，整个设计使用VHDL语言描述，并在Xilinx公司的Virtex系列上实现验证。     

基于嵌入式Linux的运动目标跟踪视频监控系统

针对运动目标检测和出现严重遮挡时目标丢失的问题,提出了一种基于五帧差分和Surendra背景更新相结合的检测算法,同时设计了结合Kalman滤波和线性预测的MeanShift算法,引入了动态自适应窗口的CamShift算法,并提出了CamShift算法的全自动跟踪策略,减少手工选取目标引起的误差.在实现系统功能方面,搭建嵌入式交叉开发环境,通过相关应用程序的交叉编译实现了在嵌入式平台上目标跟踪的监控系统.实验结果表明,该文提出的算法跟踪效果相比传统的算法明显提高,所设计的视频监控系统运行可靠,改进后算法检测效果好,可以快速完整地提取出运功目标,并且进行稳定的跟踪.     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

基于改进军用安全模型的sJava语言

为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法.将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava.给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造.结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载.     

EL语言属性文法

介绍面向过程的程序设计语言－－ＥＬ语言属性文法的构成方法及其典型实例，它是属性文法编译程序生成系统的基础。     

编译器前端构造工具及JLUCC的实现

针对多种典型的编译器构造工具存在对文法有限制、嵌入式语义动作有负面影响,目标语言单一和调试维护困难等一些问题,设计并实现了一种新的编译器构造工具--JLUCC(Jilin University Compiler Compil-er).JLUCC使用Earley分析方法,结合反射、面向对象和设计模式等技术,具有词法分析器、语法分析器、抽象语法树和遍历工具等编译器模块的自动生成功能,可以支持任意上下文无关文法、多遍处理和对目标语言的扩展.其功能强大、使用方便、便于维护和扩展,具有广阔的应用前景.展望了未来编译器构造工具的发展趋势.     

二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

SNMP MIB文法分析及MIB编译器的实现

通过对SNMP MIB（SMIv2)中两个具有代表性的宏定义和语法进行了分析,给出了宏定义的文法分析表,证明了SNMP MIB定义的宏基本属于LL－1文法,并指出了TEXTUAL－CONVENTION宏定义中的一处文法缺陷。在此基础上,依据文法分析表设计了MIB编译器的程序流程图,根据LL－1文法的性质证明了该流程图是正确的。