软件过程建模方法分类概述

本针对当前国际上在软件过程建模领域的研究现状和过程建模方法进行了综合性介绍，给出了三种不同的过程建模方法分类，并对各种建模方法进行了评述。     

基于单元故障模型的树型加法器的测试

首先分析了树型加法器的原理，总结了其运算特性．其次在介绍单元故障模型的基础上分析了树型加法器的测试向量生成．分析结果表明，5n-1个测试向量可以实现树型加法器中所有单元故障的检测．这些测试向量具有很好的规则性，能够利用片上测试向量生成器实现，适合于应用内建自测试技术测试．基于此，作者提出了一种内建自测试的测试结构，测试时只需存储7个籽测试向量，其它测试向量可以在这7个籽测试向量的基础上通过循环移位实现．最后给出了实验分析结果．     

空间信息合作与并行处理

面向海量空问信息的网络地理信息系统是当前空间信息领域的发展方向，合作和并行是多Agent系统的特点．介绍一个基于Agent的分布式地理信息系统系统Geo-Agents，该系统主要由GuServer，Facilitator，接口Agent，GIS功能Agent等组成．对Geo-Agents系统中的合作和并行模式进行了分析和探讨．合作主要体现在两个方面：接口Agent间的合作以及在接口Agent控制下的合作；并行则主要依靠GIS功能Agent来完成，可以分为三种类型：同构合作并行、异构合作并行以及互斥并行．最后，以空问数据导航和叠加分析作为实例，验证了Geo-Agents系统对空间信息的合作和并行处理。     

面向移动环境的时空数据挖掘研究现状与展望

移动通信与无线定位技术的迅速发展导致了大量时空数据的产生,面向移动环境的时空数据挖掘的目标就是从这些数据中抽取知识,为基于位置的服务、智能交通系统等提供有效的决策支持。文章分别从时空数据挖掘的理论基础研究和相关应用研究的现状、重点解决的问题以及进展情况展开论述,并展望了未来的发展方向。     

半结构化数据查询重写

查询重写是数据库研究的一个基本问题，它和查询优化，数据仓库，信息集成，语义缓存等问题紧密相关，目前Internet上存在海量的半结构化数据，在信息集成过程中产生了大量半结构化视图，如何利用物化半结构化视图来重写用户查询，减少响应时间成为研究热点问题，上述问题本质上是NP问题，提出了一种半结构化查询重写的新方法，该方法在保证算法正确性和完备性的基础上，利用半结构化数据特点和查询子目标之间的关系，减少了指数空间的查询重写候选方案生成，理论分析表明，它极大地降低了算法的代价。     

UML系统模型的组织

用UML对系统建模，可能要产生大量的描述系统模型的制品。说明了如何从系统的观点组织模型，并阐述了系统、子系统、视图和模型间的关系。     

基于访问和更新历史的WebView管理方法

介绍一种名为MED（Materialize on accEss and upDate hIstory）的混合方法，它在用户查询时产生WebView并进行物化存储，但基础数据变化时这并不一定立刻变化，而是参考核WebView以前的更新历史， 然后采取相应的对策和方法，实验数据表明，MEDI算法对于更新和访问都比较频繁的Web环境具有有较好的适应性，性能优于纯虚拟或物化算法。     

基于规约匹配的构件检索

在基于构件／构架的软件开发模式中，源代码级的构件组装是其中非常重要的一个环节，采用传统的构件检索技术，如刻面检索，关键词检索等来检索满足组装需求的构件存在查全率和查准率低的缺点，基于构件规约的检索是解决这些缺点的有效途径。本文在青鸟构件描述语言（JBCDL）的基础上，详细研究了规约语法匹配的基本原理和匹配策略，提出了构件接口匹配度和冗余度的概念用于评估检索结果，最后给出一种构件接口的规范化表示方法，用于提高规约语法匹配的响应速度，本文的研究结果也同样适用于Ada,COM,CORBA等构件规约。     

论文元数据信息的自由抽取

为了实现在Web上电子版论文结构的查询，必须提取这些论文的标题、作者，摘要和关键宇等元数据信息，在北京大学数字图书馆科技文献检索系统中利用正则表达式规则对论文数据信息进行自动抽取。该文介绍的这种方法充分利用了论文所特有的结构，在不采用语法分析等复杂的自然语言处理手段的情况下取得了很好的效果，为面向特定领域的元信息抽取作了有益的研究和探索。     

一种半自动化安全数据交换模型

讨论了Internet环境下数据交换的特点，分析了一类在数据库间交换数据的应用所具有的特点，并在此基础上提出了一种独立于运行和开发平台的数据交换模型。该模型基于数据库间的直接连接，对应于一类广泛的数据交换应用。以一个可实际运行的原型系统为基础，详细讨论了该模型的体系结构、数据描述、数据交换通信协议(DECP)、安全性和半自动化等几方面的内容，并给出了实现指导。最后对进一步研究该模型给出了总结及展望。