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

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

伪微分算子作用下小波变换中的误差分析

通过对文献[1，2]的研究，在常系数伪微分算子作用下的小波变换中，得到一些新的结论。     

旋转参照系中的Maxwell场方程

本文利用协变和逆变电磁场张量计算出了旋转参照系中的Maxwell电磁场方程．这是一般的场方程，其场量用一形式基{W^α}表出，另一个是矢量场方程，用矢基{eα}表出。     

时间相关的含缺陷材料的流变破坏理论

含缺陷物体的与时间相关的失效过程是一个热力学开放的，远离平衡态的系统，失效过程中发生耗散结构的自组织现象，不同尺度上耗散结构的自相似性可供从微观过度到细观和宏观，基于缺陷演化过程国局域温度场和热磁效应的实验研究，从统一的宏、细、微观层次体系出发。研究了与时间相关的缺陷体的失效过程，结果表明。这个失效过程并非纯力学过程，其中的热力耦合和热磁效应不容忽略。     

一类高阶差分方程解的渐近性质

本文主要讨论了高阶泛函差分方程Lkx(n) a(n)H(n,x(g(n)))=f(n,x(g(x)))解的渐近性质，并给出了相关结论．     

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

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

求解二维扩散方程的加权平均隐式多重网格方法

提出了数值求解二维扩散方程两种精度分别为O(τ^2 h^2)和O(τ^2 h^4)的无条件稳定的加权平均隐格式，并采用多重网格方法进行求解，从而克服了传统迭代法在求解隐格式时收敛速度慢的缺陷，提高了求解效率．数值实验验证了该方法的精确性和可靠性．     

辅助方程法与非线性发展方程的孤立波解

提出寻找非线性发展方程精确孤立波解的新的辅助方程法，并作为实例利用该方法得到4个非线性发展方程的新的精确孤立波解。     

一个非线性扩散方程的PAINLEVÉ-BÄCKLUND变换及其精确解

选择Painlevé-Backlund方程组的不同解,给出一类非线性扩散方程的某些精确孤立波解.这个方法也可以用来寻找其他非线性偏微分方程的精确孤立波解.     

界面裂纹奇异积分方程的极限法推导

采用Muskhelishivili复变函数的方法,将两相材料中倾斜裂纹应力场基本解,直接退化得到两相材料界面裂纹的应力场基本解,并尝试性地采用极限分析方法导出了两相材料界面裂纹的奇异积分方程。