一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

平面布朗运动首中带形之分布

首中时是近代马氏过程的一个重要概念．作为强马氏过程的布朗运动，其首中某集的时间或位置的分布对于研究质点运动以及位势论中的Didchlet问题与平衡问题都有重要意义．球面的首中与末遇分布在六几年就已解决，1981年白苏华等在文献[1]给出了平面布朗运动首中椭圆的分布，本文用类似方法求出平面布朗运动首中带形之分布。     

奇异积分和解析函数边值问题的若干结果与问题

综述了高阶奇异积分、随机奇异积分、边界曲线摄动的Cauchy型积分与解析函数边值问题的解的稳定性及线性共轭边值问题等一系列研究成果，同时还提出一个待解决的问题。     

一阶拟线性椭圆型复方程的广义DC型边值问题

研究了一般的一阶拟线性椭圆型复方程的边界条件中含有斜微商的广义Carleman型边值问题。采用直接将广义DC型问题化为奇异积分方程的方法析出特征部分，然后通过对特征方程的研究得到了广义DC问题的可解条件和计算指标。     

一类椭圆组的Riemann-Hilbert问题

讨论一阶椭圆组的Riemann-Hilbert问题，并证明了解的存在性。     

非线性二阶奇异边值问题正解存在的充分必要条件

研究了奇异二阶边值问题u^n a(t)f(u) b(t)g(u)=0,au(0)-βu′(0)=0,γu(1) δu′(1)=0的正解，在a(t),b(t)只满足一定的可积性条件下得到了C^1[0,1]正解存在的充分必要条件，从而推广了一些已知结构，使此类问题的适用范围更为广泛。     

南四湖流域环境地质问题及其治理对策

南四湖流域的各种环境地质问题较突出，如水体污染、矿山环境地质灾害、地下水环境异常、南四湖淤积、地方病等。对流域环境地质问题的治理应综合考虑各种影响因素，建立完善的环境管理体制，增大环境治理投资比例，加强环境治理力度。     

解周期初值问题的两步显式P-稳定方法

本文提出了解二阶周期初值问题的两步显式P-稳定方法,其代数阶为2,而相滞阶是4.基于一种特殊的向量运算,将这一方法拓展成向量可行的.数值试验表明了方法的有效性.     

关于方程—△u＋f（x，u）＝h的一个新结果

该文研究二阶半线性椭圆型方程 -Δu+ f(x ,u) =h的Dirichlet问题弱解的存在性和唯一性。采用同胚的观点把问题转化为非线性算子 -Δ+ f(x ,·)的延拓性。用延拓方法得到了关于解存在的一个充分必要条件和解唯一的一个充分条件。这些条件是整体积分形式的。该研究不但是用了新的方法 ,而且在一定程度上推广了前人的结果