一种能有效生成异构平台上FORTH系统的框架

FORTH语言已越来越广泛地用于设计嵌入式软件和固件，但设计过程中通常面临的诸如没有操作系统支持、缺乏调试环境等问题却使得传统的编译FORTH语言的方法遇到了很大的困难，本文针对嵌入式软件开发的实际情况，提出了一种具有良好可移植性和可扩展性、能有效生成异构平台上FORTH系统的框架，该框架被应用于开放式BOOT固件的设计中，取得了良好的效果。     

基于构件技术的工业控制软件设计

针对工业控制软件的典型功能和特征,本文提出一种利用新兴的构件技术重新设计和实现工业控制软件的方案。文中结合工业控制软件的特点,分析了采用构件技术的可行性,并以构件技术为基础给出了基于构件技术的工业控制软件的体系结构设计方案。该结构不同于传统模式,更有利于软件的维护和重用,适合于工业控制的应用场合。     

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

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

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

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

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

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