完备Brouwer格上的T-型正则L-关系

利用完备的Brouwer格L上的无穷V-分配t-模T定义格L上的T-型正则L-关系，建立这些L-关系的基本性质，并给出T-型正则L-关系的最大T-型广义逆L-关系的两个计算公式．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

基于边缘移动匹配法的RIDPCM

RIDPCM(循环插值差分脉冲编码调制)是利用插值来获得预测图像的一种图像压缩编码技术，如果插值所得的预测图像与原图像越接近，则二者之差的误差信号的动态范围就越小，就可以用更少的码字来对误差信号进行编码。文章提出将边缘移动匹配插值法用于RIDPCM，在相同的比特率条件下，提高解码端恢复的图像质量。     

不完备信息系统的数据挖掘

现有的数据挖掘系统一般是针对于完备信息进行的,而在实际问题中,不完备的信息系统是普遍存在的,这是由于数据库中的数据很少是完全的,待处理的数据常有某种程度的不完备.因此研究如何在这种不完备的信息系统上进行数据挖掘是非常重要的.     

基于邻域非线性相互作用的动态连接匹配算法

提出基于邻域非线性相互作用的动态连接匹配算法,定义邻域相互作用势,并导出相应的演化方程.以二维随机点灰度图的匹配为例作了计算机模拟,结果表明新算法能快捷有效地完成匹配任务.     

基于DSPs的运动目标检测与匹配

建立了一个基于TMS320C6701的DSPs系统,实现复杂背景中单个运动目标的实时跟踪.同时给出在复杂背景下人物自适应跟踪的实验结果.在这基础上,结合运动目标检测技术和模板匹配法,讨论一个复杂背景下多运动目标自适应跟踪系统,同时也给出运动目标检测和模板匹配的实验性结果.     

关于算子紧空间

在算子开集理论中提出了算子紧空间、算子可数紧空间、算子Lindeloef空间的概念，同时指出算子紧空间是紧空间、s-紧和强紧等空间的推广，并对这类空间所具有的性质进行了一些有益的讨论。     

采用最优频率匹配法处理信号

通过比较目前进行声波CT信号信噪分离所使用的许多方法及特点,指出了快速傅里叶变换(FFT)的局限性,研究了周期性问题的数值计算特点;采用最优化理论分析了信号本身各种频率成分优化搜索与计算的可能性,在此基础上提出最优匹配频率的概念和计算方法,研究了最优频率匹配法计算结果的规律性,并将该方法应用于某矿区声波CT信号特征参数的提取和信噪分离.     

一类微分方程激波解的多层现象

利用匹配条件讨论一类微分方程激波解 ,探讨了其渐近解的多层现象 .     

最简线状李代数

作者定义了一类线状李代数，即所谓的最简线状李代数，它是一类结构最简单的线状李代数，也是Luis Boza, Francisco J. Echarte 和 Juan Nunez在1994年对复数域上的10维线状李代数的分类中所提到的参数全为零的代数μ₁₀¹³⁰的推广。设g是域F上的n维最简单的线状李代数（n≧4）,确定了g的导子代数，并且证明了当F 的特征为0或p＞n-2时g的导子代数不可解的完备李代数。 还计算了g的自同构群，并证明了当∣F∣≥n时它是一个无中心的可解群。此外，对于素特征的的情形，还考虑了g 的可限制的充要条件，并对非可限制的情形确定了g 的极小p—包络。