一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

基于函数调用图的静态数据分配

在许多嵌入式设计中,数据存储器是稀缺资源.如何基于静态分配方案,用最少的内存空间来存储程序数据成为嵌入式设计中一个非常重要的问题.如果两个函数之间不存在直接或者间接的调用关系的话,这两个函数的局部变量的生命期就没有重叠.这样的两个函数的局部变量可以共用存储空间而不会影响程序的正确性.基于这个思路,本文提出一种基于函数调用图的拓扑排序的最优静态分配算法(TBA)并证明了该分配算法的最优性.该分配算法通过静态分析技术,构建函数调用图(FCG),基于FCG的拓扑排序,计算每个函数的私有数据段的全局地址以及段内每个符号的全局地址,并根据重定位表更新对这些符号的引用.实验结果表明该算法优于前人提出的启发式算法.     

软件管道化方法

用完全数据关联图CDG来表述软件管道化问题,图中有向边表示循环中各指令间的关联性,同时提出了基础集的概念,平行可扩展的基础集可以覆循环的指令,文中用遗传算法来搜索基础集的最优解或次最优解,这种方法可以处理所有可能的数据关联性,从而可以将循环高度并行化。     

分布式系统的层次式命名方案设计

针对大规模分布式系统中对象迁移、网络和系统动态重构的要求,本文提出了一种层次式的命名和编址方案,它将对位置透明的标识（ＯＩＤ）和表示位置的地址（ＯＡＤ）二者结合起来标识对象．     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

信息系统中的可移动Agent

介绍了可移动Agent的特性,可移动Agent可在异质计算机网络中移动,它能感知网络的状态,监控系统并与其它Agent进行交互,导航模型可以让Agent适应网络的变化并自主制定导航计划,从而方便、有效、智能地完成信息检索的任务．     

中庸算法——一种基于环型结构的并行调度算法

给出了分布式系统中的一种基于环结构的并行调度算法，以下称为中庸算法，并从理论上证明了该算法能够达到较好的负载平衡、最大限度的减少任务的迁移和通信、最大程度的计算本地化 并举例进行了说明     

分布式系统中进程迁移算法研究

进程迁移是改善分布式系统的负载平衡和稳定性的一种有效手段，本文总结了主要的４ 类进程迁移算法，比较了它们的优点和缺点．并将该算法与“中庸算法”相结合，为“中庸算法”的实现打下了理论基础．     

一种可扩展的数字权限表达语言的形式化建模及分析

为更清晰、精确表达DRM(digital right management)中权限这一关键问题,本文提出了一种可扩展的数字权限表达语言(EDREL:Extended Digital Right Expression Language)模型,并利用形式化方法(OTS/CafeOBJ建模方法),对该模型进行了形式化的建模与许可证性质分析.与现有研究相比,本文提出的模型及方法,在解决权限的准确、无二义性表达的同时,还加入了对授权方和被授权方发生权限纠纷时执行轨迹的判断与回溯的考虑以及权限的二次发布的描述,能更好地满足DRM系统中全面和精确地描述各种权限的需求.     

MADCE中解决资源占用冲突的协调策略

提出了一个基于系统局部知识来管理系统资源的协调策略,它可有效管理可重用资源和消耗性资源,并较好地解决了这两类资源分配时的冲突问题．