利用MapX实现的组件式GIS技术

简要介绍了组件式技术对地理信息系统的影响，同时还针对地图组件MapX的开发，阐述了组件式GIS的主要特点及实现。     

一种无距离函数聚类方法

聚类分析是一种重要的数据挖掘运用。传统聚类方法的问题之一是它们需要用户定义距离函数，而所需的距离函数有时难以得到，文章介绍了一种新的无须距离函数的聚类方法，它是两种基本聚类方法的有机结合，对著名测试数据的试验表明这种方法是有效的。     

COM接口的Z规范

对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性，在此基础之上对组件也给出了Z语言的定义，并对合法组件的性质作出了形式化分析。     

一种基于关系模型的模糊数据库系统模型

数据库管理系统的广泛应用，使得数据库的研究也随之快速发展，如何表达模糊数据，如何执行模糊查询越来越成为数据库研究的重要课题之一，提出一个基于关系模型的模糊数据库系统的理论模型，利用模糊集的方法表达模糊数据，模糊查询和模糊关系，最后给出了一个模糊数据库系统实现的例子。     

面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计

面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。     

一种实时入侵检测专家系统的设计与实现

该文在分析几种常见入侵检测方法的基础上,设计并实现了一种实时入侵检测专家系统,给出了详细的设计方案和实现方法。最后,分析了常见的入侵,并提供用于检测主机/端口扫描的规则集。实验结果表明,该系统能够快速有效地发现并报告多种入侵,能集成到网络安全产品中。     

基于符号迁移图的互模拟验证算法

符号迁移图是传值进程的一种直观而简洁的语义表示模型，该模型由Hennessy和Lin首先提出，随后又被Lin推广至带赋值的符号迁移图，本文不但定义了符号迁移图各种版本（基／符号）的强操作语义和强互模拟，提出了相互的强互模拟算法，而且通过引入符号观察图和符号同余图，给出了其弱互模拟等价和观察同余的验证算法，给出并证明了了τ－循环和τ－边消去定理，在应用任何弱互模拟观察同余验证算法之前，均可利用这些定理对所给符号迁移图进行化简。     

Trigger在工作流设计中的应用

在动态环境中设计工作流，需要一个具有高灵活性和易于使用的工作流模型。在工作流设计中建立独立于主工作流之外的异常情况模型，可以扩展工作流设计所应用的范围。本文以河南省电力公司管理系统中的具体实践为例，说明了trigger设计在实际问题中的应用。     

利用动态SQL语句改变数据的显示格式

运用实例说明如何利用动态SQL语句将同一数据按不同的格式显示。     

基于MTS的三层结构的研究与实现

针对MTS（Microsoft Transaction Server)在保险信息系统中的应用，分析了MTS的体系结构以及特点，重点体现MTS强大的分布事物支持、安全管理、资源管理及多线程并发控制的特性。