三维水动力学模型高精度差分格式和解法研究

采用高精度差分格式对三维水动力学问题的时均化Navier-Stokes方程进行了数值模拟，进而采用广义共轭剩余法（GCR方法）求解压力泊松方程，并采用显式三级二阶Runge-Kutts格式模拟了时间步进过程。傅立叶分析表明，文中所采用的三阶迎风紧致差分格式具有较高的精度，数值实验进一步验证了上述数值模型的准确性和有效性。     

广义粗集的公理化

粗集理论在数据挖掘等领域得到了广泛的应用，对粗集理论进行推广可得到各种广义粗集。该文研究了广义粗集的多个公理组，证明了公理组中各公理的独立性，并给出了普通粗集理论的另一个公理组，它有4条相互独立的公理组成。     

不确定广义系统状态反馈控制的完整性设计

该文研究一类参数不确定广义系统具有完整性的状态反馈控制系统设计问题。目的是设计状态反馈控制律，使得广义闭环系统对所有允许的参数不确定性和任一状态传感器失效都正则，无脉冲且稳定。利用广义系统稳定性的有关结论，将不确定广义系统具有完整性的状态反馈设计问题转化为广义Riccati不等式的求解，最后通过数值算例说明该文设计方法的有效性。     

H-度量空间中的一个新型KKM定理及其应用

丁协平定义了一个新的空间－－H－度量空间，并在H－度量空间中得到了具有限度量紧闭（开）值的广义H－KKM映象的广义H－KKM定量（应用数学和力学，2001，17（10）：1029－1036）。借助于转移紧闭值映象，在H－度量空间中得到了具有转移紧闭值的H－KKM映象的广义H－KKM定理。应用此定理，得到了H－度量空间中的不动点，最大元存在性定理和截口定理等方面的应用。这些结果统一和推广了近期的许多文献中的相应结果。     

矩阵方程组[A1XB1,A2XB2]=[C,D]的最小二乘解

一类复合线性系统的数学模型归结为求解线性矩阵方程组[A1XB1，A2XB2]=[C，D]，但该方程组在一般情况下未必相容，因此研究其最小二乘解与研究其相容条件下的准确解同样具有重要意义，利用矩阵对的广义奇异值分解及Frobenius范数正交矩阵乘积不变性，给出了实矩阵方程组[A1XB1，A2XB2]=[C，D]的最小二乘解的求法及其解的表达式。     

G-凸空间内的广义S-R-KKM型定理及应用

在G-凸空间内引入了广义S-R-KKM型映像，并在非紧设置下建立了一类新的广义S-R-KKM型非空交定理。作为应用，证明了G-凸空间内一些新的极大极小不等式、鞍点定理和极大元存在定理。     

复合非光滑最优化线搜索方法的全局收敛性

考虑复合非光滑最优化问题minh(f(x))，其中f是一个局部Lipschitzian函数，h是一个连续可微凸函数。本文给出了复合非光滑最优化问题的一个线搜索算法，并且在一定条件下证明了该算法的全局收敛性。     

多瓶颈节点ATM网络预测拥塞控制方法

应用广义预测控制(GPC)方法,对多瓶颈节点的网络设计了一种ABR反馈控制方法,保证了闭环控制的稳定性,降低了网络的拥塞程度和持续时间,最大化了网络资源的利用率,同时极小化了高优先级业务对系统性能的影响.     

新一类广义强非线性拟-似变分包含问题

在Hilbert空间研究了新一类广义强非线性拟—似变分包含问题，给出了其解的存在唯一性证明，所得结果改进和推广了文献中的一些已知结果。     

关于线性规划问题解的讨论

用矩阵的奇异值分解和广义逆讨论标准线性规划问题解的存在性和唯一性问题。