有限自动机的线性化

采用多值逻辑函数的结构理论,首次定出了有限自动机线性化的充要条件;证明了基本线性内动机等价于序列密码中具有既约特征多项式的ＬＦＳＲ,具体地定出了此类全部不同的内动机     

自适应信号处理中稳健估计的变步长仿射投影

本文研究自适应仿射投影中的最优步长准则,提出一种新的指数型步长控制方法。针对APA类算法抗粗差能力差的缺点,通过三权法等效误差函数,将稳健M估计引入APA类算法,提出了稳健M估计变步长自适应仿射投影方法。理论分析和数值计算结果表明,MVAPA算法稳态失调小,抗粗差能力高于近来提出的仿射投影算法。     

三阶整系数矩阵群的极大有限子群

利用Ｄａｔｅ给出的方法将３阶整系数矩阵群的所有极大有限子群进行分类,所得的结果是存在４个算术等价类,２个几何等价类,对每一个等价类我们给出一个群作为代表元。     

有限元后验误差估计的有效性分析

本文利用第二类方法──局部求解法，对一般区域和正规网格上高次三角形元和矩形元，构造并分析了一种等价后验误差估计量．同时，给出了等价上、下界的计算公式和估计式．分析结果表明：上、下界强烈依赖于网格的几何特性，而与原方程解的光滑性关系较弱．     

弱λ类的单调类定理

定义了弱λ类,由此建立了单调类定理,并给出了弱λ类的单调类定理的一些等价刻画.     

关于FP-投射模

本文利用投射模的研究手法构造出FP-内射模的对偶模类FP-投射模，并研究了它的性质及等价命题．     

并联内动机之图型计算

对非线性内动机进行了研究,定出了两类非线性内动机３种并联后之图型计算定理,即：Ｇ（Ｍ∥Ｍ’）＝Ｇ（Ｍ）Ｇ（Ｍ’）。     

用无穷矩阵方程求解第二类Stirling数表示的自然数幂和

讨论了4个用第二类Stirling数表示的自然数的幂和公式．利用升阶乘和降阶乘的定义式，得到关于各阶幂和的递推关系，用求解无穷矩阵方程的方法给出用第二类Stirling数表示的幂和公式，并证明了它们之间的等价性．     

2类典型仿射李超代数的Hom-结构

研究了2类典型有限维仿射李超代数sl(m,n)C[t-1,t]和psl(n,n)C[t-1,t]的Hom-结构.由三维仿射李超代数sl(m,n)C[t-1,t]推广到m+n维sl(m,n)C[t-1,t]的Hom-结构,由四维仿射李超代数psl(n,n)推广到2n维psl(n,n)C[t-1,t]的Hom-结构,得到仿射李超代数sl(m,n)C[t-1,t],psl(n,n)C[t-1,t]是Hom-李超代数的充要条件.     

一个新的单调类定理

定义了w-类,由此建立了单调类定理,并给出了w-类的单调类定理的一些等价刻画.     

基于生态绿当量的重庆市涪陵区土地利用结构优化研究

基于生态绿当量构建土地利用结构优化模型,利用涪陵区1996-2009年土地利用现状数据,测算出涪陵区各种用地类型和全区的绿当量,并将该值与以合理森林覆盖率的生态优化标准进行比较,对涪陵区及各个乡镇的土地利用结构进行生态现状评价,在现状存在问题的基础上对研究区域土地利用结构着重从生态角度进行数量上与空间上的优化调整,以期达到经济、社会和生态效益的统一．结果表明：1）1996-2009年,涪陵区及其各乡镇生态绿当量都大于1,生态环境良好,但总体呈下降趋势;长江、乌江和其他溪河沿岸生态绿当量增加,生态环境有所改善;马武镇、龙桥街道等生态绿当量减少,生态保护工作任重而道远;2）作为评价区域生态环境指标,生态绿当量具有涵义明确、方便计算等优点,但也有一定的局限性．     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

语篇特征分析对翻译过程中动态对等的启示

对于译者而言，如何在翻译中全面地理解原文信息，并进行解码事关译文的质量好坏。而在解码过程中如何达到动态对等，成为摆在广大译者面前的一道难题。本文从语篇分析理论入手，探讨如何用语篇分析理论来把握动态对等，进而有效地进行信息解码，指导英汉翻译实践。     

范畴的中心

本文讨论了范畴中心的一些性质，主要结果是：等价范畴的中心是一一对应的     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

可数紧性的等价命题

给出了可数紧性的3个等价命题.     

关于BCI－代数的BCI－G部分

本文讨论了ＢＣＩ－代数的ＢＣＩ－Ｇ部分成为理想的等价条件．     

一个非凸最小化定理与Ekeland变分原理等价

本文证明了一个非凸最小化定理。并利用它证明了Ekeland变分原理,和Caristi不动点定理,且由此证明非凸最小化定理与Ekeland变分原理,Caristi不动点定理等价。     

拓扑向量空间中的若干完备性问题

讨论拓扑向量空间中的若干完备性问题,证明两个线性拓扑等价的拓扑向量空间具有相同的完备性.     

巧用等价无穷小替换求解复杂极限的研究

极限的计算方法多样灵活、技巧，本文主要给出利用等价无穷小替换进行极限的计算以及计算过程中所需要注意的问题，在分析教学中收到很好的效果．