随机混合单调算子的不动点及应用

研究了随机混合单调算子的随机不动点问题，把郭大钧文中的一些混合单调算子不动点定理进行了随机化．     

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

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

关于一类三角级数的一个渐近和

本文在文[1]基础上讨论付立叶系数满足。Σ^∞k=m|Ck-Ck 1|≤M(C)|Cm|的三角级数f(x)=Σ^∞n=0Cne^inr的渐近和。     

抽象二阶周期边值问题的拟上下解方法

利用比较结果，通过构造L-拟上下解的单调迭代过程，研究了Banach空间二阶周期边值问题解的存在性，并获得了该问题解的存在唯一性结果。     

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

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

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

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

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

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

求解单调变分不等式的一类迭代算法

给出了求解单调变分不等式的一类迭代算法．通过解强单调变分不等式子问题，产生一个迭代点列，该迭代点列收敛到变分不等式的解．最后，给出了这类新算法的收敛性分析。     

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

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

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

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