数据流分析的图文法途径

数据流分析是计算机科学的重要研究领域，本文通过分析可归纳流图和半结构图文法的特点，提出了使用半结构流图文法进行数据流分析的方法。     

并行文件系统中diskcache一致性协议的正确性证明

本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明.     

使用EJB组件技术开发多层应用

本文论述了EJB组件模型在多层分布式应用中的优势，并且给出了一个简单的EJB组件技术实现多层体系结构应用程序的实例。     

网络环境下的广告投放Vague决策模型研究

提出了基于 Vague链接倾向图的广告决策模型 .在分析网络广告有关特性的基础上 ,定义了 Vague关系的自反、对称与传递特性 ,特别强调了对于 Vague链接倾向图中的传递特性的应用 .通过计算广告与 Web链接网的总体匹配度 ,分析了广告在用户中所产生的不同影响程度 ,同时还给出了关于广告投放的 Vague决策算法 ,实现了在广告预算经费一定的前提下 ,如何投放广告于不同的 Web站点以获取最大的收益     

基于HLA的智能仿真支撑环境研究

引入了分布式人工智能（DAI）中多Agent的概念，将HLA仿真技术框架和多Agent技术相结合，提出了一种具有智能特性的仿真支撑环境，实现了一个通用的Agent仿真对象模型，介绍了如何利用Agent通信语言KQML进行互操作的方法，描述了仿真系统的工作过程。     

在ArcSDE中利用分级技术提高矢量图的显示速度及插值算法的应用分析

巨大的数据量使显示速度成为制约GIS普及和网络化的重要因素,文章结合ESRI公司的ArcSDE空间数据引擎,提出了一种利用分级技术提高矢量图显示速度的方案,并讨论了几种插值算法在这一应用中的优缺点。     

用形态学边缘检测算子实现图像的浮雕显示

提出了一种以数学形态学为基础进行图像浮雕显示的新方法，该方法利用数学形态学的非线性处理能力和擅长处理图像几何结构的优势，在其基本的形态学腐蚀差和膨胀差边缘检测算子中使用特殊结构的结构元获得图像的浮雕显示效果。该方法原理简单，易于实现。其浮雕显示实验表明，与使用广义模糊算子实现的图像浮雕显示方法相比，本文所提方法能获得更为满意的浮雕显示效果，且计算的时间耗费大大降低。     

基于HLA的多Agent系统体系结构研究

本文在分析了目前AI领域对多Agnet系统体系结构研究成果的基础上，结合HLA／RTI仿真技术框架在高层体系结构上的应用前景，提出了一种基于HLA的多Agent系统体系结构，在这个框架下，实现了一个Agent对象模型，介绍了如何利用Agnet通信语言KQML进行互操作的过程，详述了多Agent系统的工作原理，最后指出了多Agent系统在复杂系统开发中的应用前景。     

Linux平台下PCI接口视频采集卡的驱动程序编写技术

本文讨论了Linux操作系统下PCI接口的视频采集卡驱动程序的开发技术，从其组成结构，芯片初始化和控制，调试技术，Linux内核为视频采集卡驱动所提供的支持等方面进行了总结，对于进一步探索Linux下视频处理技术的相关应用以及有志于从事这方面开发的人员是一个良好的借鉴。     

芯片设计中工艺映射方法的选用策略

工艺映射是综合过程中的重要步骤之一。本文描述了基于特定单元库的工艺映射的主流方法,然后详细分析了它们各自的优缺点;在此基础上,为改进基于特定单元库的工艺映射,提出了对工艺映射流程中各步骤已有处理方法的选用建议;最后,进一步讨论了当前面向FPGA的工艺映射中对基于特定单元库的工艺映射方法的借鉴。