格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

二叉分裂算法的随机路径长度

用泊松变换的方法研究了由二叉分裂算法所产生的随机树上的随机路径的长度,首次得到了关于其数学期望的确切表达式.在此基础上,对该期望的渐近性状进行了分析,证明了当被分裂的集合的大小n趋于无穷时,随机路径长度的期望具有log2n的阶.     

二阶变系数线性微分方程的一个可积类型

对变系数线性微分方程进行了研究，通过函数变换，将满足一定条件的二阶变系数线性微分方程转化为可积的线性微分方程进而求其通解．从而找到了二阶变系数线性微分方程的一个新的可积类型．     

一种基于能量的自适应正交FRIT及其在图像去噪中的应用

研究线奇异特征的高效表示．揭示了“环绕”现象和FRAT系数分布特性的关系，进而在考察按列FRAT重构过程相关特性的基础上，提出一种基于能量的自适应正交有限脊波变换（energy-based adaptiveFRIT，EFRIT）．非线性近似的实验表明该方案相对既有的FRIT及DWT具有更好的能量集中特性，并有效地降低了“环绕”现象的影响．我们进一步对正交FRIT Gauss去噪问题建模，提出了一种基于EFRIT的按列改进闽值．实验结果表明，采用改进阈值EFRIT的重构图像有更高的信噪比改善，视觉效果也更好．     

拥挤交通流的行为分析与仿真建模

从分析拥挤状况的交通行为特性出发，建立了相应的仿真模型。该模型在跟车子模型加入了随机扰动项，换道子模型的可行性检测中加入了前后间距不足时司机的减速行为。与传统模型相比该模型能更好地反映拥挤流下的交通行为，更适合于拥挤状况的交通微观仿真。     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

覆盖理论手册

覆盖理论是作为构造范畴间的等价关系的通用方法而出现的一种数学理论，它的起源可追溯到1973年前苏联数学家I．N．Bernstein，J．M．Geffand和V．A．Ponomanov的两篇关于有限维代数表示理论的论文。这个理论最初是在有限维代数上的模范畴的研究中发展起来的，     

几何建模与代数几何

几何建模与代数几何的研究对象都由代数方程定义，但两者研究方法和侧重点各不相同，代数几何注重理解对象的理论性质，几何建模着重于实际应用，因此传统上将它们看作互不关联的两个领域。近几年来，出现了两个领域互相影响、互相促进的趋势，例如解决相交问题的算法就得益于代数几何的理论成果。为了推进两个领域研究的交流和合作，欧洲数学界2001-2005期间召开了一系列与此有关的工作会议，本书就是这些学术活动产生的论文汇集，主要论文来自2005年奥斯陆会议，主题是应用近似代数方法建立基于信息应用的几何相交算法。     

BCI—代数的理想和同余

本文首先证明了BCI—代数的理想分解定理,然后研究了BCl—代数的几种同余之间的关系和特征。