基于TMS320C54X处理器的DSP性能优化

本文提出了一种基于TMS320C54X处理器的数字信号处理(DSP)性能优化的方法,使得当DSP编译器移植到嵌入式平台时仍能够生成高效的优化代码,详细地阐述了基于TMS320C54X处理器的DSP性能优化的过程。     

基于MATLAB的嵌入式系统软件开发

为实现高效的代码编写和方便的系统维护,将统一建模语言(UML)和模型驱动框架(MDA)应用在基于MSCl212单片机的嵌入式系统软件开发中.用MATLAB的Simulink/Stateflow工具箱作为工具,对嵌入式系统进行基于事件驱动的建模与仿真.仿真成功后,在状态图代码生成器中把状态图翻译成高效的c语言代码.最后,用基于MSCl212单片机的目标系统底层驱动函数与翻译的C语言空函数做简单替换,实现了嵌入式系统软件代码的快速生成.实验结果表明,所生成的软件代码在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面,均优于手工编写的代码.     

TD-SCDMA系统中ASN.1编译码器的设计和实现

为了解决传统ASN.1(abstract syntax notation one)编译码工作中存在的缺陷,根据TD-SCDMA中ASN.1编译码原理,提出利用编译器自动生成工具another tool for language recognition(ANTLR),设计了一个ASN.1描述代码的编译器,实现从ASN.1源代码到CSharp(C#)语言数据结构的映射,其中包含完整的编译码所需信息,且便于访问。通过调用独立的编译码算法函数,从数据结构中提取相应的参数完成编译码。实际应用表明该编译系统减省了繁复的人工翻译描述代码工作,提高了ASN.1编译码的效率和准确率。     

TD-SCDMA系统中ASN.1编译码器的设计和实现

为了解决传统ASN.1(abstract syntax notation one)编译码工作中存在的缺陷,根据TD-SCDMA中ASN.1编译码原理,提出利用编译器自动生成工具another tool for language recognition(ANTLR),设计了一个ASN.1描述代码的编译器,实现从ASN.1源代码到Csharp(C#)语言数据结构的映射,其中包含完整的编译码所需信息,且便于访问.通过调用独立的编译码算法函数,从数据结构中提取相应的参数完成编译码.实际应用表明该编译系统减省了繁复的人工翻译描述代码工作,提高了ASN.1编译码的效率和准确率.     

基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

使用VBA建立油藏简易数据处理工具

本文对用VBA建立一个油藏简易数据处理工具的工作做一个浅显的探讨。解释各程序的关键点,给＂油藏简易数据处理工具＂建立起一个可执行的框架。其数据与程序都来自于实际工作当中,由于工作未完成代码是公开的,可直接使用。     

μC/OS-Ⅱ在CCS中移植到OMAP5910的研究

μC/OS-Ⅱ操作系统支持多种芯片.针对ARM的编译器大多采用的是ARM公司提供的ADS,一些提供ARM芯片的厂家常用自己提供的编译器,导致在ADS中编译的代码不能在该厂家提供的编译器中编译.通过μC/OS-Ⅱ在OMAP5910中ARM核端的成功移植,阐述了在CCS编译器下移植和ADS1.2编译器下移植的异同点,介绍了通过TI公司的CCS编译器来编译μC/OS-Ⅱ,移植到OMAP5910的3个要点:系统启动代码、与操作系统移植相关代码及系统时钟定时器驱动.为通过CCS编译器进行编译把μC/OS-Ⅱ移植到TI公司的其它芯片提供了很好的样例.     

C语言开关语句的自动翻译

介绍Ｃ编译器开关语句目标结构、生成算法及实现该算法的程序，讨论使属码的生成非常简单且与目标机结构完全无关的自动移植方案。     

应用AOP提高软件代码质量的研究

为了提高软件代码质量,笔者从开发与审核两个过程分析了可以改进代码质量的关键环节,并在此基础上利用AOP提供的连接点模型,提出了一个灵活的、面向扩展的代码质量框架AjCQFr(AspectJ-based Code Quality Framework)。按照此框架的要求,开发了若干个检测代码质量的工具。同时,在开发中引入面向方面的设计和实现,并使用上述工具对开发成果进行质量检测。实践证明,这些工具可以极大地提高软件的质量和开发效率,并缩短代码质量保证过程。     

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

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

IDL compiler API design, application and validation based on XML API

In order to adapt different languages and platforms, the paper discusses how to process and validate IDL symbol table and intermediate code by XML API. It puts emphasis on IDL AP1 extension towards DOM API based on the idea of combining XML with IDL compilers. At last, the IDL compiler designing framework based on XML AP! is given, in which compiler front end can be managed and validated by some XML techniques and tools, IDL API can be validated on the basis of test, so IDL intermediate code is provided with maintainability, portability and generation. IDL compiler can be developed and extended by XML-based API, which realizes versatility and portability of modern compiler.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

一种可抵抗内部攻击的高效群组密钥协商协议编译器

目前设计可抵抗内部攻击的群组密钥协商协议需要调用2个不同的协议编译器,使得协议的执行效率较低而且协议设计的复杂度较高,为此,通过改进上述2个协议编译器,提出了一种新的编译器.该编译器只需对群组密钥协商协议进行一次编译,即可生成具有抵抗内部攻击能力的群组密钥协商协议.然后在随机预言机模型下,针对提出的编译器所生成的协议进行了安全性分析,并严格证明了生成的协议是具有抵抗内部攻击能力的群组密钥协商协议.最后对比分析表明,利用提出的编译器生成的协议与现有编译器生成的协议相比,具有较高的效率和较低的设计复杂度.     

JPEG XR编解码算法编译调试研究

在Windows系统中使用Cygwin工具构造UNIX虚拟环境，配置编译JPEG XR所需要的编译环境，然后用这个编译环境对JPEG XR工具包内的编解码算法进行编译，并产生二进制可执行文件。用Visual Studio 2008对JPEG XR工具包内的编解码算法进行编译，并产生二进制可执行文件。     

面向对象语言编译器自动测试工具

针对面向对象语言编译器的自动测试问题,结合实际项目,研究了面向对象语言编译器自动测试工具(简称O-OCTT)设计与实现涉及的有关理论和技术的关键点,阐述了O-OCTT的系统目标定位.在对传统编译器的测试模式进行分析与比较的基础上,提出并设计了O-OCTT的测试策略、测试模式和体系结构.提出的可行的O-OCTT的实现机制,测试用例产生策略及引入的插件式设计思想,使O-OCTT可适用于多种面向对象编译器的测试.     

基于可重用代码生成器设计与实现

本文介绍IBMPC/XT机的代码生成器的设计。我们把编译程序分成两部分:前端编译和后端编译。前端编译对源程序进行分析,生成抽象指令形式的中间语言;后端编译对抽象指令进行处理,产生PC机汇编代码。对中间语言,采用语法制导原理进行分析,采用模式匹配产生汇编代码。     

—个面向MIPS_64位系统结构的汇编器MIPSasm的设计与实现

本文论述了一种面MIPS-64位系统结构的汇编语言转换成二进制机器码的设计与实现技术。从编译原理的角度出发,采用词法分析,语法分析,语义分析及中间代码的生成等方法,逐步实现汇编语言到机器语言的转换。该汇编器可将分析和变换后得到的机器语言送入模拟器中进行模拟执行和进行相关的性能检测。     

内含定理证明器的程序开发系统

提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明,是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期．     

《C程序设计》课程实验的教改研究

《C程序设计》课程是计算机专业学生的专业基础课或计算机相关专业学生的必选课程,但是我们的学校教学却始终使用着课本中推荐的传统的编译开发环境——TC++3.0,不利于培养创新型应用人才。为了使上机教学环节更具实战性,上机教学中除了安排TC++3.0编译器的调试使用外,还应结合当今软件发展趋势,讲授和安排用gcc编译器、DOTNET编译器和VC++编译器编译运行纯C程序的上机实验内容,并在实际上机时鼓励学生大胆尝试其它编译器,如Boalnd C++等,这些措施取得了很好的效果。     

虚拟化平台构建操作系统函数调用关系方法

针对现有操作系统函数调用关系构建方法存在依赖系统源代码、兼容性差的问题,提出了一种基于硬件虚拟化中断陷入机制的操作系统内核函数调用关系构建方法。该方法在操作系统内核函数的特定位置动态插入会引起虚拟化中断陷入的特殊指令覆盖内核特定位置的指令,实现在函数调用、被调用时触发虚拟化中断陷入,并在陷入后的虚拟机监控器中获取当前内核函数的调用信息,从而动态构建操作系统的内核调用关系。实验结果表明,本方法能在不依赖内核源码、编译器的情况下构建多种开源/闭源、32 位/64 位操作系统的内核函数调用关系,构建准确率为100%,查全率大于85%。该方法可用于操作系统内核安全分析及白名单构建等工作,具有一定的实用价值。