含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

关于Cauchy中值定理逆问题的渐近性

对Cauchy中值定理的逆问题作了进一步的研究,得到了Cauchy中值定理逆问题的渐近性.     

平面图最小对分问题的一个0(logn)近似算法

研究对象仅限于平面图的最小对分问题，研究方法是借鉴U．Feige和R．Krauthgamer的“分解—组合”思想在算法的设计上有新的较大的改进，并得到了一个更好的近似比．     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

ρ~0→π~ π~-衰变的么正计算和ρ~0极化插入的虚部

本文给出了ρ~０→π~＋π~－衰变的么正计算及其衰变率和ρ~２极化插入的关系．ρ~０极化插入的虚部是用维度积分的方法来计算．极化插入虚部的计算方法是普适的．     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

用变分法分析地基-箱形基础-上部结构相互作用

利用空间子结构法凝聚上部结构的刚度与荷载,形成一个超级单元,同时,采用有限分层地基模型,并计及基础自身刚度的影响,建立起基于能量变分原理的地基-箱形基础-上部结构相互作用的数学模型.由于该模型合理的体现了三者协同工作的机制,从而可以对问题进行较为全面的分析.