特殊可交换Thue系统的完备化

给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判断一个特殊可交换 Thue系统是否完备化的线性时间复杂度算法 .     

超拓扑空间上的可乘性质

文章主要研究了超拓扑空间上的可乘性质,给出了超可数公理、超可分性质及超局部紧的定义.并证明了超可数公理、超可分性质和超局部紧性都具有可乘性质,以及在超分离性中,S-T_0,S-T_1,S-T_2和S-T_3公理具有可乘性质.     

两个序数μ,ν的乘积空间是有小于λ=min{cfμ,cfν}点可缩性质的空间

日本数学家NobuyukiKemoto在 1996年论证了两个序数的乘积是遗传可数亚紧空间 .本文是在这个性质的基础上进行了进一步的研究 ,定义了点可缩性质 ,并得到了两个序数的乘积空间是有小于λ ={cfμ ,cfν}点可缩性质的空间 .这是对Kemoto结果的更进一步的推广 .     

LF闭包空间的强F紧性

在LF闭包空间中引入了强F紧空间,强F紧集的概念,给出了它们的等价刻画,讨论了它们的一些基本性质.证明了LF闭包空间的强F紧性是弱同胚不变性质,有限可乘性质及对于(C)ech闭包算子～是可遗传的.     

严格预不变拟凸函数的新性质

在严格预不变拟凸函数和半严格预不变拟凸函数定义基础上,研究了关于严格预不变凸函数的两个新性质,得到了关于严格预不变拟凸函数的新性质.这些性质可用于判定严格预不变拟凸函数.     

完全正规性质的一点注记

讨论了完全正规空间的一个等价定义,并证明了完全正规性质是可遗传性质、有限可积性质以及可度量化空间是完全正规空间等结论.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

关于算子谱性质幂有限秩摄动的一个注记

针对性质(v)和性质(gv)的摄动稳定性问题,通过研究性质(aw)与性质(gaw)的可交换幂有限秩摄动稳定性的相关结果,同时结合性质(aw)与性质(v)、性质(gaw)与性质(gv)之间的关系,为证明性质(v)和性质(gv)在可交换幂有限秩摄动下保持稳定提供了新的方法.     

关于偶匹配可扩图中删去两个点

设G是含有完美匹配的简单图.称G是偶匹配可扩的,如果G中导出子图是偶图的匹配M都可以扩充为G的完美匹配.研究了在偶匹配可扩图中删去两个顶点后该图的性质.这些性质对于偶匹配可扩图的进一步研究会有帮助.     

一般模糊Choquet-可积函数空间上积分性质的补充及拓展

在一般模糊测度空间上,借助模糊Choquet-可积函数的基本性质,对一般模糊Choquet-可积函数空间构成凸锥的等价条件给出了补充证明,并讨论了一般模糊Choquet-可积函数空间构成凸锥的一些扩展性质.     

Abel方法在级数解题中的几点应用

利用Abel和差变换公式与分部求和公式的技巧，根据问题的结构特征，探讨了Abel方法分别在级数求极限、级数不等式证明及求级数和中的几点应用；用阿贝尔求和法求出发散级数的广义和，跨出了求和由收敛级数到发散级数的一步。     

两种基于局部广义符号统计量的融合准则

为提高基于二元局部判决的分布式广义符号检测器的检测性能,研究了基于广义符号统计量的分布式检测,提出了直接求和与删除求和两种融合准则。在W e ibu ll杂波和Sw erlingII目标下,直接求和融合具有比某参数化的分布式恒虚警检测更好的检测性能,并能达到集中式广义符号检测相同的性能。某些传感器信杂比极低时,采用删除求和融合能获得比直接求和融合更好的检测性能。给出了在多雷达分布式检测中应用各种融合准则的方法。     

自然数方幂求和公式及所含因式的研究

关于自然数方幂求和公式及所含因式的研究,是从整标函数出发,定义其实值函数,利用差分算子和微积分方法,给出了其求和递推公式、系数递推公式、求和展开式、求和所含因式四个结果。     

阶等差数列有限和的幂级数求法

求阶等差数列的有限和通常是用数学归纳法的方法来解决，其求和公式的建立往往有一定的困难．用幂级数和函数的思想来给出阶等差数列求有限和的公式．     

关于有序分拆积求和的一些研究

对n的有序k分拆,次积求和及n的有序k分拆r齐次积求和进行了一些研究,由数学归纳法得到了一般的n的有序k分拆,次积求和以及某些特殊的n的有序k分拆r齐次积求和的显式结果．并讨论了n的有序k分拆,次积求和式和Fibonaccis数以及Lucas数的关系．得到了Fibonaccis数的一个新解释．     

关于某类求和法的一些注记

本文证明了推广的Ａｂｅｌ求和法及（Ｌ）求和法的（）平均求和法及（）平均求和法是强于对数平均求和法及任何。阶Ｃｅｓａｒｏ求和法的强有力的有效求和法。推广了Ａｂｅｌ求和法强于任何正阶（Ｃ，α）求和法的经典结果。最后，本文＿出了（）平均求和法的饱和类。     

无约束最大子序列求和改进算法

给出了无约束最大子序列求和的一种改进算法,在不增加复杂性的前提下,突破了美国Mark A llen W eiss教授在约束条件下对该问题求解的算法,即该算法不能计算所有整数为负数情况下的最大子序列和(否则,结果视为0),从而解决了针对所有整数的无条件约束最大子序列的求和问题.     

i次幂数列和的研究

指出了具有i次幂的多项式数列和的求解方法;分析了i次幂数列中的常量改变为变量以及i的符号的改变对数列和的影响,获得了某些负i次幂数列和的求解方法。     

基于广义法矢球的凸多面体形态和的快速算法

在研究传统形态算法的基础上，结合三维物体的广义法矢球模型，根据凸多面体的性质，将求凸多面体的形态和运算转移到广义法矢球空间中，提出一种将广义法矢球合并，只计算新法矢点，再根据合并后的广义法矢球还原出形态和多面体所有面的快速形态和算法。实验证明本算法比传统方法快200倍以上。     

关于某类正则Fourier级数及其导级数的求和法

引入一类正则的Ｆｏｕｒｉｅｒ级数及其导级数的求和法，并得到了相应的求和定理、饱和类定理及逼近定理，同时改进并推广了［１］的求和定理，修正了［１］的饱和类定理。