基于类型注解的认证编译器设计与实现

基于类型注解的认证编译器是安全策略系统的核心部件,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86／linux汇编语言程序,而且还可以根据类型安全策略的要求产生带注解的汇编程序．实验结果表明,新设计的认证编译器可实现：①类型安全的C语言子集的编译;②许多标准的局部优化;③可以对数组运行时越界操作进行检查．由于安全策略系统的证明是建立在含注解的代码基础之上的,因此,该认证编译器在移动代码安全检查中非常有用。     

完全基于注解方式SSH框架项目设计

采用完全注解的方式实现JavaEE项目的设计。首先配置SSH项目环境,其次在Struts中应用注解,接着实现Spring注解注入,进而在Hibernate中应用注解,最后对使用注解方式与配置文件方式进行了比较,说明二者各有所长。     

单片机汇编器的设计与实现

单片机开发系统主要由单片机交叉汇编程序和仿真程序两个模块组成，其中单片机交叉汇编程序是由单片机汇编器来实现。本文主要介绍了汇编器设计方法及实现过程，通过运用传统的两遍扫描的算法．并对不同的模块进行了划分和优化。我们可以通过简单的模块改动就能使其应用于不同类型的单片机中。     

微程序汇编器的设计与实现

本文叙述了微程序汇编器的多种设计方法,比较了有关方法的优缺点。结合一个在POP-11机上实现的,已在实际使用的微汇编器,讨论了实际实现微汇编器时遇到的一些问题。并就编写微汇编器所使用的语言,伪指令的设置,各种选择开关的使用,错误信息的输出,目的代码和指令映射器代码的生成,高级微汇编器等问题进行了初步探讨。     

CASL汇编器的设计与实现

介绍了一种教学实验系统CASL汇编器的设计过程,并使用了一种改进了的两次扫描算法实现CASL汇编器。实验表明,用该算法是实现的汇编器运行效率高,是一个功能完善、实用的教学实验系统。     

LT-SP2汇编器的设计与实现

流处理器体系结构的研究是当今的一个热点,而核级汇编器在流处理器的验证和应用中举足轻重。LT-SP2是一款支持短向量操作的多核流处理器,一条指令能对多个计算单元进行操作。针对LT-SP2的体系结构及系统容错问题,采用了编译程序自动构造方法,提出了冗余备份和校验机制,在此基础上给出了汇编器框图,并实现了支持LT-SP2的汇编器。实验结果证明,所设计的汇编器功能正确,提升了流计算系统的容错性能。     

YHFT-D4汇编器的设计与实现

YHFT-D4是一款具有分簇的VLIW体系结构的DSP，它有多个功能单元，可在单个时钟周期并行地执行多条指令。指令执行的功能单元是哪个，哪些指令并行执行，这些由编译器或程序员静态决定，文章给出了YHFT-D4汇编器的设计和实现方法。     

支持RISC-V向量指令的汇编器设计与实现

Vector computing can effectively improve the computing efficiency of computers and reduce unnecessary hardware overhead. With the improvement of CPU computing capability, the expansion of register number, and other hardware development trends, vector computing has becoming one of the widely used technologies to improve the CPU performance. The RISC-V architecture, which is highly focused on, also needs vector technology to improve the architecture performance. The open source RISC-V assembler only support standard instructions, and does not support vector instructions until now. In order to support RISC-V vector instructions, this paper details the design and implementation of RISC-V assembler supporting vector instructions.     

基于关键类型的对象抽取工具的设计与实现

提出了一种新的基于子程序关键类型的对象抽取方法,使用该方法实现的对象抽取工具通过计算面向过程的C系统中各子程序参数的类型复杂度,找出每个子程序的关键类型,将子程序与关键类型打包,抽取出独立的对象。本文还提出了可以简化数据类型复杂度计算的类型系数概念,这些概念及方法对非面向对象系统的软件维护与代码重用技术的研究具有一定的参考价值。     

基于IMPACT的嵌入式汇编设计与实现

DSP的底层特性与传统的C语言特性差别很大,有DSP领域的特殊指令集,这些指令很难被编译器生成,或者根本不能被编译器生成.程序员也有需求直接访问底层特性.为了解决这个问题,通过对IMPACT的基础编译器框架进行拓展实现嵌入式汇编功能模块.     

基于堆栈式虚拟机的汇编器及连接器的设计与实现

以MULTOS虚拟机为例，论述了基于堆栈式虚拟机的汇编器及连接器的开发方法。首先介绍了MUEIDS虚拟机的体系结构，然后描述了如何综合运用词法分析器、语法分析器的自动构造工具Flex和Bison来开发虚拟机的汇编器，最后介绍了连接器的工作原理及实现。     

图书管理系统设计与实现

根据图书管理的实际需求,本文给出了图书管理系统的需求分析以及程序设计的全过程。利用Access设计后台数据库;采用VB设计了客户机的应用程序界面。设计并实现了登陆、基本信息管理、图书信息管理和用户管理等功能模块。该系统的应用在一定程度上规范了对图书的管理,有效提高图书管理的效率及服务质量。     

汇编程序辅助开发系统的研制与实现

主要介绍了研制成功的汇编程序辅助开发系统的功能、系统结构和主要技术,并对该系统进行了评价和改进建议。该系统运行在Windows环境下,为汇编程序开发提供了一个比较高效的开发工具。