异构数据源集成关键技术研究

针对同一单位不同部门之间的数据重复建设问题以及具体应用领域数据源所具有的分布、异构和动态等特性,本文提出一种基于元数据的异构数据源集成方案,对获取元数据、建立集成模式、构建模式映射以及生成查询语句等关键点进行了具体分析,初步实现了对异构数据源的集成查询。     

对称矩阵空间上的保秩1导出映射

设F是任意域,fij(i,j∈[n])是从F到自身的映射,Sn(F)是F上n阶对称矩阵全体所成集合,f是Sn(F)上由[fij]n诱导出的映射,本文研究Sn(F)上几种保秩1导出映射的形式.     

双Quantale模中的同余及核映射

作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的.     

狄尼(Dini)定理的推广

将著名的Ｄｉｎｉ定理拓展为拓扑空间到线性拓扑空间或度量空间的连续映射，并给出推广后定理的几种证法及一些推论。     

非线性压缩生成的不变集的Hausdorff维数

讨论了满足开集条件，且二次可微的一族非线性压缩映射所产生的不变集的Hausdorff维数。     

YAWL与BPMN的双向映射研究

对高级建模语言YAWL及BPMN进行了研究.提出BPMN与YAWL语言之间的双向映射算法.转换可使得建模时对不同高级语言各取所长,减少重复开发的费用.算法的最终实现已以插件嵌入到进程挖掘开发平台ProM6.0中.     

一类乐曲的两种数学结构分析法

在童忠良教授研究成果的基础上,总结出分析乐曲结构的等比数列分割法,探索用乐段映射表示法对一类乐曲进行数学结构分析.     

离散态控制系统的三元组表示

通过对离散态电气控制的系统概念表示要点作讨论,给出了离散态控制系统的三元组描述的概念.指出,任一特定的离散态控制系统都与一具体的三元组模式对应,其概念的建立旨在能针对各种不同类型生产过程中的离散态控制需求,通过抽象分析可实现在系统概念指导下的离散态控制工程初步设计.     

ε-近似保等腰正交线性映射的刻画

在实赋范线性空间中,给出了ε-近似等腰正交的定义和性质,给出了ε-近似保等腰正交映射的定义,证明了非零ε-近似保等腰正交线性映射有界并且是下有界的,最后在映射有界的条件下,得到了非零ε-近似保等腰正交线性映射的刻画.     

基于神经网络的脑组织图像分割方法的研究

本文采用模糊自组织特征映射网络的图像分割方法,以颅脑图像为研究对象,以精确分割出白质﹑灰质﹑脑脊液等脑组织为目的.在分割过程中,对算法进行了改进,获得了较好的效果。