基于数据流的任意形状聚类算法

详细分析了数据流聚类算法CluStream的不足之处,如对非球形的聚类效果不好、对周期性数据的聚类变化反映不完整等,并针对这些不足之处提出了一种采用空间分割、组合以及按密度聚类的算法ACluStream.实验结果表明,ACluStream在准确度和速度上都比CluStream有较大的提高.  

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.  

搜索引擎技术研究与发展

介绍搜索引擎技术。首先以工作方式作分类介绍，接着介绍各部分工作原理和技术研究，包括如搜索器策略、检索策略、搜索结果处理、信息检索Agent、多媒体搜索引擎等关键技术。最后展望搜索引擎发展重要方向。  

软件项目风险管理方法比较和研究

风险管理在软件项目管理中十分重要，但常常被忽视，这与组织对风险管理的认 识不足有很大关系。介绍了风险管理的经典理论，比较了几种主流的风险管理策略和模型 。 还根据MIS系统的特点，在分析两个主流的风险管理方法的基础上，提出MIS系统风险管 理的 优化和集成思路。  

科研项目管理系统的设计与实现*

提出了基于Browser/Server的多层次结构建立科研项目管理系统的设计思想和体系结构，给出了数据输入、数据维护、浏览查询、统计分析报表生成等模块的实现方法和具体的实现过程。  

SSL/SET协议比较与改进模型

本文对SSL、SET两个电子商务安全协议作一比较，并针对不同的安全需要，构造一个分级安全控制模型，较好地改进了SET协议。  

可重用的分布式软件构件模型分析

软件重用一直是软件生产的目标。分布式构件是可重用的软件模块，该文介绍了当前比较流行的三大分布式构件模型，并对它们进行了分析比较。  

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.  

基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型，基于BCDM模型，建立了一种双时态关系代数．首先，对时态数据库事务时间和有效时间进行规范化的定义，给出BCDM中时间元素的规范化定义和演算描述；而后，定义时态映射，用以描述BCDM中的双时态元组，并形式描述时态映射的演算；最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述．  

基于量子逻辑的自动机和文法理论

初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.