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

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

部分可重构系统布局的一种新算法

针对动态部分可重构系统的瓶颈,即布局算法必须在保证运行速度的基础上,尽可能增加可重构芯片利用率的问题,提出了一种布局算法KVIT(keeping the vertexes information of tasks).其核心思想是尝试将新到达的硬件任务放置在已布局硬件任务的顶点处,并通过对可重构芯片内部计算单元进行编码迅速判断新任务是否可放置在该顶点.该算法的时间复杂度为O(N),N是可重构系统中当前运行的硬件任务的数目.仿真实验结果表明,KVIT算法的布局质量与现有的O(N2)时间复杂度布局算法基本一致,而其执行速度则明显高于已有算法.     

一种基于对象关系模型的时空查询代数stor-algebra

通过对目前已有的时空数据库技术在易于实现的时空查询代数方面进行的深入研究，提出了一种基于对象关系的时空查询代数stor-algebra，从数据结构和代数操作两方面进行了详细描述．stor-algebra兼容关系代数，并可在对象关系数据库管理系统上实现，可作为时空查询处理系统的代数基础．     

超媒体系统中的语义约束问题研究

提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。     

图像数据库中概念查询处理

论在分析基于内容检索的图像数据库系统中查询类型的基础上,为支持基于图像语义概念的查询,扩充了面向对象的SQL语言,以有效地表达查询中的概念,为进行查询变换,提出了概念层次模型以有效地表达概念在不同抽象层的不同表现形式,并利用项重写技术,将查询中涉及的概念项和语义空间关系转化为基本检索类型的组合。     

一种基于服务体/执行流的新型操作系统构造模型

在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型--服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.     

面向移动对象范围的混合索引结构

许多时空应用(如火灾模拟等)需要高效地查询移动对象的变化范围,针对此需求提出了基于TPR-tree和GF索引方法的两种混合索引结构,以支持对移动对象当前和未来范围的预测时空查询.在代价模型分析的基础上,基于模拟数据集的实验结果表明,这种混合索引方法能够有效地支持对移动对象变化范围的预测查询.     

基于位置的web搜索索引研究

针对基于位置的web搜索需要将网页中位置信息和文本信息相结合进行索引的应用需求,提出了先倒排表再R-tree索引和先R-tree再倒排表索引两种混合索引结构,同时处理文本和位置信息.大规模真实数据集上的实验表明,这两种方法在查询效率上明显优于已有的倒排表和R-tree相互独立的索引模式.     

利用关系数据库系统对半结构化数据进行近似查询

提出一种利用关系数据库系统在一般图结构的半结构化数据上进行近似查询的途径.根据嵌套结构和文本值的相似性来度量路径的相似性;根据路径的相似性得到查询目标节点与数据源节点的相似性.为返回数据源中与查询目标节点相似的节点,首先提取出数据源中长度在固定范围内的所有路径,然后利用关系数据库系统将其与查询路径进行相似性连接,并按相似度从大到小返回所有结果.为提高相似性连接的效率,引入q窗口概念,并利用若干路径相似的必要条件来减少计算相似性函数的次数.试验证明了其有效性.     

面向实时动态调度的代码插装方法

利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估，以满足实时动态调度领域的相关需要．该方法以全面的、规范的相关性分析为基础，构建形式化模型，简洁一致地刻画程序的控制流和相关性；提出了一种高效的预估点代码生成算法；并给出了权衡预估精度和运行时开销的若干优化实现技术．