存在强不可交的分支度

结合Ｋ．Ａｍｂｏｓ－Ｓｐｉｅｓ构造强不可交度的方法和分支度构造方法证明了定理：存在强不可交的分支度。     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”崩溃成平凡情形，即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的。也即有且 只有两个递归可枚举的ｒｃｔ－度。     

无穷损害方法的框架模式

本文将对递归枚举度构造中的几种主要我穷损害方法－真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可枚举的ｒｃｔ－度．从而ｒｃｔ－可化归性不是通常递归论意义下的合适的可化归性．     

存在强不可交的非分支度

本文结合K.Ambos-Spies构造强不可交度的方法和非分支度构造方法证明了定理: 存在强不可交的非分支度。     

基于可拓的Vague相似度计算

在Vague的各种理论和应用中,相似度占据着不可低估的重要作用。笔者针对目前相似度的不同研究方法,通过引入点与区间"距"的概念,借助可拓关联函数构建了一种新的相似度度量公式,进而为Vague的研究提供了一种新的思路。最后通过实例验证了该方法的可行性。     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础.从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性.有助于进一步研究正则语言的自动产生机制.     

构造相对加集的某些方法

本文利用Hall多项式给出了构造相对加集的某些方法。     

图与补图断裂度的关系

在这篇文章中,作者解决了图与补图断裂度关系的问题.主要结果:1、若n(≥4)阶图G与(?)都连通,则(1)-(n-5)≤B(G)_B(G)≤n-2:(2)对[-(n-5),n-2]中任一整数r,都存在G,使B(G)+B(?)=r.2、若n(≥5)阶图H与(?)都是Hamilton图,则(1)-(n-5)≤B(H)+B(?)≤0;(2)对[-(n-5),0]中任一整数r,都存在互补的Hamilton图H和(?)使B(H)+B(?)=r.     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

区间数数据的相对左偏度及其应用

本文引入了区间数数据的相对左偏度的定义，给出了相应的性质和计算公式。在证券预期收益率为区间数故据下，阐述了相对左偏度在相应风险损失率度量中的应用。     

图的断裂度与它的最小度的关系

在这篇文章中,作者解决了B(G)与δ(G)的关系的问题。主要结果:若n(≥3)阶非完全的连通图G的最小度是δ(G)=δ(1≤δ≤n-2),则2-δ≤B(G)≤n-2δ。     

基于欧几里得贴近度的纠缠度构造

首先构造量子态的系数矩阵的子矩阵集,建立该集合到复数集的主映射与次映射的欧几里得贴近度,接着利用该贴近度讨论两体量子系统纠缠度的构造,并证实它的合理性,最后将其推广到多体量子系统.     

相对挥发度平均值的近似计算

以Fenske公式求取全回流条件下的最少理论级数时,需要分离组分间的相对挥发度。当相对挥发度非恒定时,需计算平均相对挥发度。在相对挥发度变化不大时一般取塔顶和塔底几何均值,而当相对挥发度变化较大时,需加入第三点的相对挥发度值,合理选取第三点的位置可有效提高计算精度。本文根据相平衡关系的变化趋势,提出了第三点位置的确定方法。该方法理论明确,计算简单,优于简单地取塔中部或进料点。     

关于树的逆对偶度一个猜想的证明

关于树的逆对偶度有下列猜想:Ivd≥R,本文证明,当R>0时,Ivd≥R+1/3     

相对隶属度,相对Fuzzy集和相关子空间及其性质

建立了相对隶属度、相对Ｆｕｚｚｙ集、相对Ｆｕｚｚｙ点和相关子空间等概念，研究其基本性质，证明了相对Ｆｕｚｚｙ集族ＢＡＩＸ是完全分配格，相关算子ｆ是从ＩＸ到ＢＡＩＸ的满ＧＯＨ，非退化相对Ｆｕｚｚｙ点集ＢＡＭ是ＢＡＩＸ中所有非零∪－既约元之集．得到了子分子格ＢＡＩＸ＊与相关分子格ＢＡＩ＊是代数同构的，广义子空间ＢＡＩＸ＊与相关子空间ＢＡＩＸ是拓扑同胚的等结果     

逆度和图的性质（英文）

设G=(V(G),E(G))是n个顶点m条边的简单图.无孤立点的图G的逆度定义为■,其中,d(v_i)表示顶点v_i的度.首先用逆度刻画了连通图分别是k-哈密尔顿、k-边哈密尔顿、k-路覆盖、哈密尔顿连通、k-连通、2-边连通和β-亏损的充分条件.其次用逆度给出了连通图的独立数小于等于整数k的充分条件.最后用逆度给出了连通的平衡二部图是哈密尔顿图的一个充分条件.     

乘积空间中映射的拓扑度

本文在乘积空间上建立了广义积严格集压缩场，在其上定义了拓扑度，并证明了该度具有通常度的基本性质。