集值映射的几乎半连续性

引入了定义在一般拓扑空间上，取值于超空间的几乎上半连续和几乎下半连续集值映射等概念，分别系统地研究了几乎上半连续集值映射的性质和几乎下半连续集值映射的性质．证明几乎上半连续集值映射和几乎下半连续集值映射都是几乎连续集值映射与半连续集值映射的推广与扩充．给出了几乎下半连续集值映射的两个子集网式的特征性质．     

完备空间中集值映射的积分

在完备的局部凸拓扑线性空间上,针对有界的、可测的集值映射X(σ),构造了一个Cauchy网集合,在此基础上研究和讨论了X(σ)的集值映射积分的可积性、积分区域的可加性等,同时证明了这种集值映射积分在一定条件下的唯一性、在一定意义下的绝对连续性.     

Legendre变换的机械化求法

把Lagrange方程和Hamilton方程组写成矩阵形式，其系数矩阵的元素是非线性的微分算子．参考矩阵多元多项式的带余除法的方法把微分算子的矩阵转化成以多项式为元素的矩阵，应用待定系数法通过Mathematica机械性计算得到了含有可变参数的一类变换，其中当参数取零时，它就是Legendre变换．经证明，这一类变换当参数不为零时，应用该变换，也可把n=1时的Lagrange方程导向Hamilton正则方程组，并初步讨论了n维的情况．这是数学机械化的方法在分析力学的非线性理论问题中的一次具体实现。     

增生映象的变分包含解的具混合误差项的Ishikawa迭代逼近

使用新的技巧，研究了Banach空间中一类增生映象的变分包含解的存在性、唯一性及其具有混合误差项的Ishikawa迭代序列的收敛性问题。所得结果改进、发展和统一了许多人的最新结果。     

模糊映象的拟变分不等式的迭代算法

利用迭代求解技巧，给出了HiIbert空间中模糊映象的广义拟变分不等式的解的迭代算法并讨论了其收敛性，所得结果推广了文献【1】的结果。     

紧致空间上复合映射的不动点

设X是紧致空间,Y是拓扑空间,f:X→y,g:y→X均为连续映射。利用实函数建立了gf和fg的不动点定理。     

夹具规划设计中的映射研究

介绍了夹具规划设计过程中特征模型间的区别 ,分析了进行特征转换的必要性 ,并着重探讨了夹具设计系统中特征映射的问题 ,给出了制造特征与夹具特征间特征映射的具体实现方法 ,从而实现了夹具规划中不同特征模型之间的转换     

全站仪及其应用研究

介绍了具有代表性的全站仪厂家、仪器及型号，并结合全站仪的特点，阐述了用全站仪进行测距、控制测量的简易方法。主要包括不用精确瞄准也能得到准确距离（斜距）、利用对中杆代替三脚架进行控制测量与灵活布设，给出了灵活布设图根点的理论分析和实践测试比较，得出了一些有意义的结论，以便今后更好地发挥全站仪的作用。     

GNSS诱偏系统转发器的布阵高度分析

在全球导航卫星系统（global navigation satellite system,GNSS）转发诱偏系统中,系统响应存在实时性差的问题,这会造成转发的导航参数与真实运动状态存在变化率的偏差。为分析该偏差与转发器布阵高度的关系,将真假点位移变化量的二范数作为映射偏差的评价指标并构建了目标函数,推导了目标函数最小化求解过程。得到布阵高度与系统映射偏差成负相关的结论,并通过对接收机运动轨迹和邻域映射情况的仿真实验,验证了结论的正确性。该结论为诱偏系统减小映射偏差提供了优化的理论依据。     

本体知识库集成的方法研究

随着本体研究和应用的快速发展,本体集成问题日益突出,目前本体集成并没有统一的方法与标准,大多研究者将研究重点放在本体映射方面。本文对本体集成涉及的核心问题,以及现有的本体集成框架和本体集成流程进行了深入分析和研究,并在此基础上对现有的本体集成方案进行了改进,包括本体映射流程细化、相似度计算的综合、本体映射修正的细化、本体集成规则概括分类、本体集成校验流程的改进等,以期给出一种通用的本体集成解决方案。