半分离空间的映射性质

将分离公理推广为半分离公理，讨论了半分离空间在同胚映射、强半开映射、弱半开映射、半开映射和弱连续映射下的有关性质。     

Banach空间中增生型变分包含解的具误差的Ishikava序列逼近问题

在Banach空间中研究一类增生型变分包含解的存在性及其具误差的Ishikava迭代程序的收敛性问题,对文献中相应结果进行了改进与推广.     

基于C++的实时数据库的设计与实现

根据仿真系统支撑平台的实时性要求，利用动态链接库和内存映射文件建立系统运行的实时数据库，通过内存映射文件开辟共享内存区，编制一系列封装在动态链接库的接口函数来实现对共享内存区数据的操作．该方法既能实现多个进程数据的共享，又保证了实时的响应速度．     

关于弱J-空间的一些性质

目的　研究弱J 空间、半弱J 空间及其乘积空间和J 空间的锥空间的一些性质。方法　在前人研究J 空间的基础之上,用类比的思想以及构造新空间(乘积空间与商空间)的方法来研究与弱J 空间有关的一些性质。结果　得到了有关弱J 空间和半弱J 空间的一些等价命题及乘积性质,也得到了J 空间的锥空间的性质。结论　①设{X1,X2,K}是空间X的闭覆盖并且满足K紧,X1∩X2= ,则X是弱J 空间当且仅当X1和X2是弱J 空间,且X1或X2紧;②判断乘积空间X1×X2是弱J 空间的一些充分必要条件;③如果X是连通的J 空间,那么Δ(X)是半弱J 空间。     

有限集上的一类映射的计数

设A是有限集,|A|=n,F(n,m)是从A到A的映射中满足fm(x)=f(x)的映射f的个数,在此给出了计数函数F(n,m)的一个表达式.     

带ψ-强单调映象的广义非线性拟变分包含

引入了一类新的带ψ-强单调映象的广义非线性拟变分包含，在Hilbert空间中使用极大η-单调映象的预解算子方法建立了这类变分包含解的存在性定理，构造了求此类变分包含解具误差的新迭代算法，并讨论了算法的收敛准则。     

板材冲裁和翻口工艺特征识别及图形转换的研究

该文针对冲孔、翻孔两类板材冲压成形工艺方法的主要特点，设计了两类成形件的特征识别规则．根据形状特征与冲压加工特征间存在着单映射的关系，可以充分利用模型中的几何信息和拓扑关系来识别零件的特征．因板材零件的厚度与整个零件尺寸比较是小的，可以假设零件厚度为常数．在消除厚度边和厚度边组成的面后，其余边和面分成上、下两组．两组的几何边界和拓扑结构是相同的，上、下两面的法向矢量方向相反．通过对读入的IGES三维线框文件进行预处理，使之满足特征识别的需要，采用基于几何推理的特征识别技术实现了对冲压件主型面特征、冲孔特征、翻孔特征的识别与提取，从而为后期冲压工艺方案的制定做准备．     

基于扫描数据建立人体动态模型

提出一种由三维人体扫描数据建立人体动态模型的新方法.该模型由骨架运动学模型和简化的三角网格表面模型构成,分别用于产生人体各种姿态以及表达相应的体表形状.通过操纵骨架运动,可实现实时与逼真的人体姿态仿真.实例分析表明,该方法克服了目前从扫描数据通常仅用于构造静态人体模型或无法实现实时姿态仿真的缺陷,在人机工程设计及虚拟现实领域有较大应用价值.     

基于XML数据库的存储及映射研究

XML作为数据库系统,可以把复杂的数据合理的分解,以适应当前的数据库模型,并以其良好的开放性、移动性和适应性等特点,提供了数据库逻辑接口.为了实现XML的潜能,XML的有效存储和映射成为一个必须要解决的技术环节.针对XML数据库研究的现状,介绍了XML数据库存储模式、数据模型及XML与数据库间的映射技术,并给出了实例分析.     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.