知识管理研究

通过对知识管理内容、过程、人和技术等方面的研究，提出今后知识管理研究在这些方面的重点。     

基于ArcIMS的ITS／GIS

ITS支撑平台是地理信息系统，而网络地理信息系统（WebGIS）是当前GIS的技术热点。WebGIS的发展实现了系统的开放性，满足了数据的共享与远程操作、广泛的访问范围以及平衡高效的计算负载。文中首先介绍了ITS中WebGIS的发展和体系结构。通过分析新一代互联网地图服务平台ArcIM3.1的特点及体系结构，探讨了ArcIMS在ITS中的应用。最后通过实例说明了ArcIMS站点的设计与实现。     

一种改进的Hausdorff距离模板匹配算法

检测和提取图像中的目标图像是图像处理和模式识别等领域里非常活跃的问题.因为Hausdorff距离对于目标遮挡、图像噪声和图像晃动等情况具有较好的鲁棒性,因此使用Hausdorff距离进行图像匹配是较常用的方法之一.为了降低此算法的计算复杂度,提高匹配效率,提出了一种能够从待匹配图像中高效匹配出模板图像的改进算法.将文中提出的改进算法分别应用到一幅图像和视频序列图像中,实验结果证明了该算法的高效性.     

视频数字信号处理芯片XY-VDSP的并行性分析

视频数字信号处理芯片XY VDSP是采用阵列结构的SIMD处理机。XY VDSP在硬件结构和指令级上采用高度并行,使其可以高效处理视频应用。本文将分析XY VDSP的并行性实现,并以一个矩阵矢量乘加的例子作为说明。     

一种基于小波多分辨率的数字水印方法

基于小波多分辨率的分解重构，提出了一种数字水印方法。该方法是将一幅二值化图像作为水印，不借助原始图像，能方便、可靠地检测出水印。实验表明嵌入水印后的图像及检测水印图像视觉失真率低，嵌入水印有很好的鲁棒性。     

基于自动确定阈值的小波边缘检测技术研究

小波作为图像处理的一个重要工具，以其具有的多尺度特性而在图像边缘检测领域受到了广泛的应用。该文在小波模极大值边缘提取算法的基础上，提出了一种采用模式识别中的聚类技术进行自动确定消噪阈值的边缘检测方法，且利用B样条小波和改进的K-means聚类算法对图像进行了实际的检测，实验结果证明该方法是正确和有效的。     

基于一阶逻辑的RDF模型的研究

XML为互联网应用提供了语法互操作性统一标准,而资源描述框架RDF定义了支持语义互操作的框架模型。作为RDF数据模型的类型系统,资源描述框架模式RDFS定义了一套扩充新的建模原语及其语义约束的机制。由于整个互联网语义化过程都以RDF模型为底层的模型支持,RDF数据模型及其类型系统的形式化程度直接影响和制约着更高层次上的语言和模型的形式化能力和推理能力。文章首先对RDFS类型系统做了非形式化分析,然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集。     

UPnPAV架构的数字多媒体家庭网络

讨论了现在业界关注的数字家庭网络的发展方向，对比了国外各种新的数字家庭网络标准，指出UPnP（Universal Plug and Play）技术正在越来越受到家电厂商的支持。通过深入分析UPnP协议栈和UPnPAV框架．提出并实现了一个UPnP协议栈中间件的模型结构，描述了各模块的功能和在框架中的位置。并在实际应用中实现了该中间件，且基于该中间件开发一个嵌入式系统下基于中间件的UPnPAV控制点实际应用。     

针对Cpk软件中正态分布函数应用要求的实现

随着工艺水平的发展，在统计过程控制应用中对数据的要求越来越高，因此对工序能力指数Cpk值的精度要求也越来越高。文中对Cpk软件常规中正态分布函数计算上限达不到要求提出了改进，通过误差函数来计算，在主函数中定义计算函数的循环次数达到200次，这样的计算结果精度得到了提高。这种提高数据精度的方法能够使得上限达不到精度要求的情况得到一定程度的解决，使得Cpk软件得到更好的应用。     

模糊集合的测度运算

从测度论观点，给出了模糊集合的另一种描述及模糊测度运算，证明了Ｚａｄｅｈ运算是其在软包含条件下的特例，给予补集以新的深刻的解释，并讨论了模糊集合中矛盾律和排中律的适用性问题。