多值模代数方程组的对偶定理

本文指出在多值模代数系统中任一有唯一解的方程组必伴随另一方程组，它们的系数和解都存在对偶关系.     

带有对偶基的代数

特征为零域上的中心单代数具有很好的性质是因为它们都有对偶基；而当域的特征不为零时，同样是中心单代数；情况就不一样了，主要是它们不具有对偶基，因而给出了在域F的特征p为不零情况下，单分离代数存在对偶基的充分必要条件是很有趣的，设A是域F上的n维单分离代数，且其特征p不整除n，则对A的任何一组基{a1,a2,…,an}，都存在惟一的对偶基，如果C是A的中心，A在C上的维数不能被p整除，则其任何基都存在对偶基，我们还利用对偶基来刻画这样的分离代数的中心，进而推广了特征为零时的Whitehead引理，最后，利用迹函数的方法刻画了非半单代数的幂零根和相应的直和分解。     

带有分段常数变元的时滞微分方程组解的振动性

讨论了带有分段常数变元的时滞微分方程组ｘｊ（ｔ）＋αｊ（ｔ）ｘｊ（ｔ）＋Σ（ｍ,ｉ＝１）Σ（ｍ,ｒ＝１）ｂｉｒｊ（ｔ）ｘｒ（「ｔ－ｉ」）＝０,ｊ－１,２…,ｎ,给出所有解振动的若干充分条件。     

非线性Schrodinger方程耦合组初边值问题整体解的存在唯一性

本文讨论非线性Schrodinger方程耦合组初边值问题,使用积分估计,得到了整体解的存在唯一性。     

哈密顿型非线性椭圆方程组的非平凡解

得到了Ｒ＾Ｎ中强不定半线性椭圆方程组的一个存在定理。     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

二阶线性常微分方程组的指标理论及其应用

首先对二阶线性常微分方程组建立了指标理论,并使用Leray-Schauder度理论研究了渐近线性常微分方程组的非平凡解.     

差分Painlevé方程组解的存在性和增长级

研究差分Painlevé方程组■的有理函数解的存在性,并给出例子说明我们结果是精确的。进而,我们还研究了此方程组的超越亚纯解的增长级下界的精确估计：在一些条件下,其超越亚纯解(x(z),y(z))的增长级满足ρ(x)=ρ(y)≥1。     

Boussinesq方程的新显式精确行波解

借助计算机代数系统Mathematica，利用双函法和吴文俊消元法，获得Boussinesq方程的多组新的显式精确行波解，包括孤波解和周期性解，同时进一步补充和完善了双函数法。     

分数阶Schr?dinger-Poisson系统无穷多解的存在性

通过对偶方法以及Kajikiya建立的临界点定理,证明了下列Schr9dinger-Poisson系统无穷多个小能量解的存在性：■其中(-Δ)~α表示分数阶Laplacian算子,其阶数为α∈(0,1),V是可变号的,f满足局部非线性条件。     

KdV方程的新的相似解

本文利用KdV方程的局域和非局域对称,得到了新的非平凡的相似约化.其约化方程的解可以表示为包含相互作用孤子为其特例的Weierstrass椭园函数.     

带非线性阻尼项的等熵欧拉方程组的整体解

研究带非线性阻尼项的一维等熵欧拉方程组的Cauchy问题,阻尼系数有正的下界.当初始数据是常状态附近的小扰动时,利用能量估计法,证明了经典解的整体存在.利用傅立叶分析法得到整体经典解在大时间时的衰减性.     

非线性退缩椭圆型方程dirichlet问题多重解的存在性

本文利用临界点理论,研究一类非线性退缩椭圆型方程dirichlet问题多解性.在嵌入非紧的条件下,证明泛函在给定集上满足 ( P S) 条件     

m重对角因子循环矩阵求逆和广义逆的Euclid算法

利用多项式Euclid算法给出了非奇异m重对角因子循环矩阵求逆的一个新算法,并将该算法推广至求m重对角因子循环矩阵的群逆和Moore-Penrose逆,及给出了具体的求逆步骤.     

非线性抛物型方程整体解和周期解的存在性

本文讨论带有拟线性扰动项的半线性抛物型方程整体解及周期解的存在性.在适当的条件下,利用算子半群理论,我们可得到整体古典解及至少一个周期解.本文也讨论了拟线性方程小初值问题的整体解的存在性。     

一类非线性二阶三点边值问题的正解

考察了二阶三点边值问题u”（t）＋f（t,u（t））=0,0〈t〈1;αu（O）=βu’（0）,ku（η）=u（1）的正解存在性与多解性,其中允许f（t,u）在t=0,t=1处奇异．利用锥上的Krasnosel’skii不动点定理获得了几个局部存在定理．     

齐次线性微分方程解取小函数的点的收敛指数

研究齐次线性微分方程f(k)+Ak-1(z)f(k-1)+…+A0(z)f=0解取小函数的点的收敛指数,并用二阶收敛指数估计无穷级解的增长率。     

一类带临界指数P－Laplace方程正解的存在性

本文讨论了拟线性椭圆型方程正解的存在性．其中ΩＲ￣ｎ（ｎ＞ｐ）是有界光滑区域，λ为常数．     

具临界指数的拟线性椭圆型方程多重解的存在性`

本文讨论了拟线性椭圆型方程－Δｐｕ＝λ｜ｕ｜＾ｐ－２ｕ，ｘ∈Ω；ｕ＝０，ｘ∈Ω非平凡解的存在性，其中Ω是有界光滑区域。     

基于与一异或代数系统的对称函数的研究

本文在分析与一或一非代数系统的基础上研究了基于与一异或代数系统的对称函数，讨论了RM型基本对称函数的定义和性质.在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM 3的逻辑综合及基于余加器与RM型PLA的逻辑综合.