图中含D_λ－圈的一个充分条件

设图Ｇ是一个ｎ阶简单图，Ｇ中的一个圈Ｃ称为Ｄλ—圈，如果Ｇ＼Ｖ（Ｃ）的每个连通分支的阶都小于λ．当Ｇ是３—连通图，且有ＮＣλ（Ｇ）≥ｎ＋４２－２λ时，Ｇ含有Ｄλ—圈或Ｇ是Ｐｅｔｅｒｓｅｎ图．     

带类型λ-演算的扩充

在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．     

可测空间上的gλ测度的一些结果

本文首先在Ｂｅｒｒｅｓ的结果的基础上讨论了可测空间上的ｇλ测度、信任测试与超可加测度的关系以及ｇλ测度的无穷级数性质，其次讨论了ｇλ测度的概率性质，证明了类似概率率论中的Ｋｏｌｍｏｇｏｒｏｖ ０－１律的Ｂｏｒｅｌｋ ０－１律对ｇλ独立事件列仍然成立。     

Hλ型F测度的性质

证明了Ｈλ型Ｆ测度中参数λ的一些性质．引进了条件Ｈλ型Ｆ测度和关于Ｈλ型Ｆ测度独立的概念．得到了关于Ｈλ型Ｆ测度的贝叶斯公式和Ｂｏｒｅｌ－Ｃａｎｔｅｌｌ＇ｓ引理等结论．     

关于泛函演算的自动连续性

研究了泛函演算的自动连续性问题．设Ａ是有单位元的Ｃ－代数，ＮＤ（Ａ）是Ａ中其谱含于紧集Ｄ的所有正规元之集，则泛函演算自动连续．对有单位元的Ｂａｎａｃｈ代数Ｂ，用ＢＧ表示Ｂ中其谱含于开集Ｇ的元素之集，那么当Ｇ有界时，Ｒｉｅｓｚ演算自动连续．作为推论得知与均自动连续．     

Acerbi—Fusco定理的一个新证明

Ａｃｅｒｂｉ－Ｆｕｓｃｏ利用Ｓｏｂｏｌｅｖ空间ＷＰ（Ｇ，Ｅ＾Ｎ）中函数的逼定理得到了拟凸泛函Ｉ（ｕ，Ｇ）＝∫Ｇｆ（ｕ）ｄｘ，Ｕ∈ＷＰ（Ｇ，Ｅ＾Ｎ），Ｐ≥２，Ｎ〉１极小的部分正则性，Ｅｖａｎｓ－Ｇａｒｉｅｐｙ利用Ｒａｄｏｎ测度的性质重新证明了Ａｃｅｒｂｉ－Ｆｕｓｃｏ定量，本文我们给出一个较为简捷的证明，既不用Ｗ（Ｇ，Ｅ＾Ｎ）中的逼近定理，也不用Ｒａｄｏｎ测度的任何性质。     

经典测度空间所生成的gλ－测度

首先在测度空间上引入了一类μ－密度函数．证明了由这一类μ－密度函数能生成ｇλ－测度和条件ｇλ－测度．其次给出了与μ－密度函数相关的λ－独立性概念，得到一些有关的结果．     

关于g＿λ－独立集列的一个注记

文［１］引入了ｇ＿λ－独立类的定义，并在－１＜λ≤０的条件下证明了关于ｇ＿λ－独立集列的Ｂｏｆｅｌ－Ｃａｎｔｅｌｉ引理，本文在－１＜λ的条件下证明了上述引理，进一步，讨论了拓广形式的Ｋｏｌｍｏｇｏｒｏｖ０－１律等问题，从而推广了［１］的主要结果。     

邻域并与Dλ—圈

设图 Ｇ 是一个ｎ 阶简单图, Ｇ 中的一个圈 Ｃ 称为 Ｄλ圈,如果 Ｇｗ Ｖ（ Ｃ）的每个连通分支的阶都小于整数λ,如果 Ｇ 是 ２连通图,且 Ｎ Ｃλ（ Ｇ）≥ ｎ２ － ２（λ－ １）,则 Ｇ 含有 Ｄλ圈或 Ｇ 是 Ｐｅｔｅｒｓｅｎ 图或 Ｇ 是三类例外图     

L－FUZZY拓扑的λ－截拓扑（Ⅳ）

本文研究Ｌ－ＦＵＺＺＹ拓扑空间中的仿紧性与λ－截拓扑的关系，直接证明了Ⅱ型强Ｆ仿紧性是λ－可截性质。     

图是λ5-最优的充分条件

文章给出了图是λ5-最优的邻域交条件.设G是一个λ5-连通图,定义ξ5（G）=min{｜[X,]｜：X∈V（G）,｜X｜=5,G[X]连通},若λ5（G）=ξ3（G）,则称G是λ5-最优的.若对G中任意一对不相邻的顶点u和v,都有｜N（u）∩N（v）｜≥5且G满足ξ3（G）≤V（G）/2＋10,｜V（G）｜≥31,则...     

图是λ4-最优的和超级-λ-4的充分条件

设G是有限简单无向图,是G-U不连通,且G-U的每个分支的阶都至少为4的边集U称为G的4-限制边割。基数最小的4-限制边割称为λ₄-割,最小基数称作4-限制边连通度,记作λ₄=λ₄(G)。若λ₄(G)=ξ₄(G),称G是λ₄-最优的。若任意一个λ₄-割都孤立一个四阶连通子图,则称G是超级-λ₄的。应用邻域交条件给出了图是λ₄-最优的和超级-λ₄的充分条件。     

λ_4-最优二部图的领域交条件

文章给出了二部图是λ4-最优的一个领域交条件.设n为一个不小于8的正整数,令G=（X∪Y,E）为一个n阶二部图且ξ4（G）≤n/2.若G有一个饱和X或Y中所有顶点的匹配且对任意的u,v∈X和u,v∈Y都有｜N（u）∩N（v）｜≥4,则G是λ4-最优的.     

λ_4-最优图的一个充分条件

文章给出了λ4-最优图的一个充分条件.设G是阶为n≥11的λ4-连通图,若对G中任意一对不相邻顶点u,v,有｜N（u）∩N（v）｜≥6且G｜N（u）∩N（v）｜至少包含16条边,则G是λ4-最优的.     

图的λ_6-最优性的领域交条件

文章给出了满足一定条件的图的λ6-最优性的领域交条件.设图G是连通图,若对G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且｜X5｜≤5,则G是λ6-最优的;若对于连通图G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且对图中每个三角形T至少存在一个顶点v∈V（T）使得d（v）≥v2＋5,则G是λ6-最优的.     

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当A fuz时～A真"这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了"当A fuz时～A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。     

模糊性度量方法（Ⅲ）──λ－模糊度

引入了λ－模糊因素集、λ－模糊生成集的概念，建立了度量模糊集的模糊性的λ－模糊度，讨论了全平均模糊度、次模糊度及λ－模糊度之间的关系。     

图的λ4-最优性的邻域交条件

文章给出了图的λ4-最优性的邻域交条件.设图G是阶至少为34的λ4-连通图,若对G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥6且ξ4（G）≤3n（G）/2＋3,则G是λ4-最优的;若对于λ4-连通图G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥6且对图中每个三角形T至少存在一个顶点v∈V（T）...     

图的λ４最优性和超级性的度条件

新冠肺炎的爆发严重危害人类健康和公共卫生安全,已引起全球范围内的高度关注。预防病毒性疾病最有效的措施是接种疫苗,但是目前还没有专门针对新型冠状病毒的疫苗。考虑到疫情的严重性,对同为RNA病毒的流感病毒、其他冠状病毒相关疫苗的研究进行了综述,并通过对这些病毒氨基酸水平的序列比对发现,新冠病毒的棘突糖蛋白与H1N1、H3N2、B型Victoria系和B型Yamagata系流感病毒的血凝素糖蛋白之间具有一定的相似性。由于血凝素糖蛋白是目前商用流感疫苗的主要作用靶点,因此推测,现有季节性商用流感疫苗在新冠肺炎的防控方面可能也具有一定的应用潜能。除此之外,由于新冠病毒与SARS冠状病毒的棘突糖蛋白和核蛋白之间均具有高度的相似性,而SARS冠状病毒疫苗又主要从上述两种蛋白研制而来,因此建议在短期内,可以将目前正在研制的SARS冠状病毒疫苗作为新冠病毒特效疫苗的替代物来使用。     

各种截集形式的粗糙模糊集的构造性质

本文在Pawlak近似空间中引入了λ-上截集、强λ-上截集,λ-下截集、强λ-下截集,λ-上重截集、强λ-上重截集,λ-下重截集、强λ-下重截集的概念,系统地讨论了基于各种截集形式的粗糙模糊集的构造性质,得出了基于模糊等价关系的各种截集形式的粗糙模糊集的表现定理和扩张定理并给出了系统的证明。