广义KKM定理与匹配定理,重合定理

在Ｈ－空间中利用紧闭（紧开）的概念，得到了广义ＫＫＭ定理，作为应用证明了匹配定理和重合定理，所得结果推广和统一了Ｆａｎ及Ｆｏｒｖａｔｈ等人的研究结果     

非线性广义块对角优势函数

本文对文［１］的广义对角优势函数和文［４］的块严格对角占优函数概念进行了推广，提出了非线性广义块对角优势函数的概念，并对其性质，判别条件及应用进行了研究。获得了一些有意义的结果，这些结果推广和改进了文［１］与［４］的相应结果。     

广义对策的平衡

某些新的非紧广义对策的平衡存在定理在局部凸拓扑矢量空间内被证明，其中约束对应既没有开图也没有开下截口。     

广义不确定系统的鲁棒镇定方法

针对范数有界的广义不确定线性系统，得到了广义二次可镇定的充要条件，并设计了相应的鲁棒镇定状态反馈控制律。     

基于多体理论的虚拟血管缝合分析

针对传统主从式医疗机器人在客观爷件限制的情况下很难实现主从手之间的实时力反馈的问题，提出了通过虚拟现实技术实现虚拟力反馈以替代真实力反馈的方法．以“妙手”系统为研究对象，在建立显微外科手术血管缝合过程中缝合线力学模型的基础上，根据多体系统动力学理论，对由人、互感装置和虚拟环境组成的广义多体系统进行了动力学分析，由凯恩方程建立了该系统的动力学方程．通过主手的仿真数据与从手缝合过程检测数据对比分析可知，主手和从手有相同的运动特性、证明借助虚拟环境的力反馈作用，操作者通过主手可以真实地感受到从手的运动特性．     

广义梯度及其在盲信号分离中应用的研究

盲信号的研究是当今学术界研究的热点,它连接了神经网络、信号处理、信息论等多个领域[1-2].盲信号分离(B lind Signal Separation,简写为BSS)是盲信号的研究中一个广受关注的方向.在盲信号分离的研究中,1994年Comon[3]提出了独立分量分析(Independent Component Analysis,简写     

多响应近似线性回归模型的Minmax稳健设计

研究多响应变量近似线性回归模型的Minmax稳健设计问题．以响应变量均方误差阵的迹tr（MSEM）为准则，对回归方程系数采用广义最小二乘估计，进而利用最小二乘法得到最优逼近函数．从而将Huber（1975）的方法和Wiens（1990）的结果推广到多响应变量场合．最后考察了一个特例，即当回归变量问可能存在交互作用时的双响应二元曲面线性回归模型，得到了与Wiens（1990）较一致的结果．     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

凸约束非线性方程组的非单调投影L-M方法

提出一种非单调投影L-M方法求解凸约束非线性方程组,在通常假设条件下,证明了算法具有强收敛性,给出了数值试验结果.     

可变时滞非线性非自治偏差分方程的线性化振动性

各学科对多变量系统进行分析与处理时所涉及的数学模型要求越来越高，其中许多用到差分方程模型。本文在前人工作的基础上，建立了在更一般的条件下，具有可变时滞的非线性非自治偏差分方程的几个线性化振动性定理。并给出了应用例证，达到了预期目的。