强F_1连通的新特征

在LF-拓扑空间中,文[2,3]引进了强F1连通的概念,并研究了其基本性质.本文利用层次闭集和层次开集给出了强F1连通的若干新特征.     

L-拟序集中的层次收敛与完备性

研究了L拟序集中的层次收敛与完备性，在L－拟序集上引入了三种关系，并讨论了它们之间的关系及性质；定义了Cauchy网及层次Cauchy网，从而把Cauchy网列与层次Cauchy列的概念推广到网的水平，证明了序列的层次极限的等价刻画对网的层极限仍适用，并给出了层次Cauchy网的层极限的一个重要性质，得到了偏序集和Frame作为L－拟序集是层完备且完备的。     

概率论中几个收敛概念的度量化研究

概率论中若干收敛概念的度量化方法的研究为采用拓扑学和泛函分析中的结果研究各种收敛概念问题提供了可能。这种方法对于学生在更深层次上理解收敛概念也颇有助益。     

偏序集中的下收敛与Lawson拓扑

在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑以及交连续偏序集的连续性.     

LF集网的性质及其应用

在LF拓扑空间中引入LF集网及其收敛性等概念,系统地研究了它们的性质.并借助于LF集网的收敛理论,给出了LF闭集、LF开集、连续序同态和开序同态的若干等价刻画.     

LF-拓扑空间中的强半预连续序同态

引入并研究LF-拓扑空间中的强半预开集的概念,并利用这些概念定义了LF-拓扑空间中的强半预连续序同态,给出了它们的一些基本性质和等价刻画.     

n-Banach空间中点列的强收敛与弱收敛

在文献[1]的基础上,将2-赋范空间中强收敛与弱收敛的相关结果推广到了n-Banach空间中.首先,在n-赋范空间中引进了点列的弱收敛,一致凸与凸性模等概念,得到了n-Banach空间中强收敛与弱收敛的基本性质.其次,讨论了n-Banach空间中强收敛与弱收敛之间的关系.最后,给出了n-Banach空间成为一致凸空间的两个充要条件.     

L-fuzzy保序算子空间上的Moore-Smith收敛理论

在L-fuzzy保序算子空间上引入分子网和理想的ω-极限点和ω-聚点等概念，系统地讨论这些概念的基本性质以及它们之间的关系。同时，利用分子网和理想的ω-收敛性概念，给出ω-闭集以及序同态的（ω1，ω2）-连续性的若干特征定理。较为完整地建立L-fuzzy保序算子空间上的Moore-Smith收敛理论。     

关于LP空间中的几种收敛性

收敛概念是从数列的收敛性到函数列的收敛性、级数收敛、积分序列的收敛性,即分析学研究的出发点就是收敛性.在现代分析中主要包括:几乎处处收敛,依测度收敛,强收敛,弱收敛等概念,文章对它们的定义和性质进行归纳,并讨论他们之间的关系和区别.     

模糊数级数的收敛性

在通常的序关系意义下, 借助模糊数水平集的概念, 研究模糊数级数的收敛性问题. 对于正项、 一般项以及Leibniz型模糊数级数, 分别给出了相应的收敛判别法, 从而推广了经典函数项级数的一些基本性质.     

p-凸度量空间更广义拟压缩映射不动点迭代

在p-凸度量空间内，引入关于P的更广义拟压缩映射序列和广义Ishikawa型迭代序列，证明了广义Ishikawa型迭代序列收敛于关于P的更广义拟压缩映射序列的唯一公共不动点．     

模糊度量空间的紧性

研究了模糊度量空间的紧性,主要讨论了列紧性、全有界性、自列紧性和紧性等,证明了几个关于模糊度量空间紧性的命题和定理.     

任意数列一般项公式的证明与应用

给出任意数列一般项公式的一种证明,并应用该公式证明k阶等差数列前n项和公式.     

拟弱滴状性质与弱紧性

引入了一种新的滴状性质 ,关于局部凸空间中有界闭凸集的拟弱滴状性质 ,利用Rolewicz所引进的流动序列 ,给出了Frechet空间中有界闭凸集的拟弱滴状性质的特征 由此 ,证明了拟弱滴状性质等价于弱紧性 这样 ,Frechet空间为自反当且仅当该空间中每个有界闭凸集具拟弱滴状性质     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

广义算子理想的零差分序列

讨论由Ｇｏｎａｚｌｅｚ Ｍ．。和ＭａｒｔｉｎｏｎＡ．引入的算子理想的零差分序列的基本性质。说明对于给定的算子理想Ａ，Ｂａｎａｃｈ究竟有的界序列的Ａ－零差分性质－一般说来关于空间是不能遗传的。     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

广义Bott-Duffin逆的扰动理论

该文建立了广义Bott -Duffin逆的扰动理论 ,定义了广义Bott -Duffin逆的条件数 ,KgBD(A) =‖A‖· A( )(L) ,其中A∈Cn×n,子空间L Cn。     

有界平均振幅空间上的乘法算子

有界平均振幅空间的研究在算子理论及全纯空间的研究中具有重要的作用. 主要研究了有界平均振幅空间上乘法算子的性质, 并且得到了托普里兹算子有界性及紧性的条件.     

具限制系数广义多项式集的最佳同时逼近特征

在复赋范线性空间X中考察了具限制系数的广义多项式集G对全有界序列(xv)的加权同时逼近问题.用只含有限个点的序列逼近全有界序列(xv),然后把只含有限个点的序列的逼近问题转化为复值连续函数空间中的Chebyshev逼近问题,在X一致光滑及inf v∈N d(xv,G)>0的条件下,给出了G对(xv)逼近的特征定理.