模糊赋半范空间的性质研究(Ⅰ)

研究了模糊赋半范空间的两种完备性,即关于分明拓扑结构的完备性(τ-完备)和模糊拓扑结构的完备性( τ—完备)。     

Godel不完备性定理的非形式化论述

研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了 Godel不完备性定理证明在方法论上的特色及其深远影响     

中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

从距离空间完备性角度探讨实数完备性理论

关于分析理论中完备性的相关理论,一般比较熟悉的是实数集完备性定理,但"数学分析"课程中实数集完备性定理的证明比较复杂,学生不太容易理解.为此,从"泛函分析"课程中的距离空间完备性的角度来阐述实数集完备性定理,把实数集看作为一个特殊的距离空间,得到实数完备性理论实际上是距离空间完备性理论的特殊情况的结论,从而帮助学生对实数的完备性理论有更加深入的理解.     

李三系的导子及完备李三系

讨论李三系T的导子的有关内容,并且给出了完备李三系的定义,进而得到完备李三系的分解定理,即完备李三系可以分解成理想的直和,且李三系完备当且仅当理想完备,并且由标准嵌入李代数的完备性可以证得李三系的完备性,以及其它一些重要性质.     

可度量映射上的一致结构和完备性

本文研究了可度量映射(如平凡可度量映射,可度量型映射)上的纤维一致结构,证明了完备平凡可度量映射上的完备性与其上用一致结构所定义的完备性是等价的.另外,我们还讨论了完备平凡可度量映射和Cech完备映射的关系,提出了一些关于可度量型映射上一致结构存在性的问题,并给出了一些反例.     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

M-l1完备和M-co-drop性质

在有界线性空间中,提出了M-l1完备和M-co-drop性质的概念. 证明了凸有界线性空间是M-完备等价于M-l1完备, 而且给出有界线性空间中M-co-drop性质与有界线性泛函可取极值之间的关系.     

Yoneda完备度量空间范畴的完备性和余完备性（英文）

本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

大天区面积多目标光纤光谱天文望远镜的研究--S-H检验对天区覆盖的影响

讨论了使用S-H方法校正LAMOST望远镜像质时对覆盖完备性的影响；提出了两种覆盖完备性的检验方法，并使用Tycho-2星表做了覆盖完备性计算；分析了使用不同亮度的星作S-H检验时的覆盖率；给出了为满足LAMOST覆盖要求所需的S-H星亮度条件。     

市场完备性的一个充分必要条件

在非均衡市场套利机会存在性研究的基础上 ,定义了市场的可及性和完备性 ,再根据定义讨论市场的完备性 ,利用线性空间的相关知识得到判别市场完备性的一个充要条件。该条件认为 ,在m≥n的情况下 ,只要存在一个F(m)t 适应的矩阵价值过程σ-1(t,ω) ∈Rm×n,满足秩σ(t,ω) =m ,a .a .(t,ω) ,则市场 {X(t) }就是完备的。在同样的假设条件下 ,利用该定理得到了在m =n时判别市场完备性的一个更为简洁的结果 ,以及在市场完备性的条件下求取u(t,ω)的唯一表达式。     

量子力学中厄米算符本征矢完备性的限制和界定

从厄米算符矢开始，以完全集合定义出发，以完全集合体系（简称集合体系）为标准。通过讨论集合体系内厄米算符本征矢量完备性限制，从而得出了厄米算符自身体系完备性的一般证明。进而得出完备性应该在是完全集合基础上的完备，严格说起来，谈论一个算符本征矢的完备性时，其立足点是非常特殊的，这时候应该默认这个算符本身就是一个完全集合，或者在说这个算符本征矢为完备组时其空间范围限定为在这个算符定义域和值域所在的希尔伯特空间之内。     

赋范空间的完备性与其单位球的完备性的关系

本文指出了赋范线性空间上的一些局部凸拓扑的完备性与它的单位球上相应的诱导拓扑的完备性之间的关系。     

一类李超代数的完备性

本文研究了具有约化偶部的李超代数的完备性，特别给出了具有单偶部的李超代数完备的充要条件，同时给出了一些构造完备李超代数的方法。     

关于广义调解的一点注记

本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.     

关于数理逻辑中的可靠性、完备性及协调性的讨论

本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。     

关于弹性力学的Boussinesq和Love解

如果弹性区域满足4个条件,Noll和Gurtin证明了Boussinesq和Love解是完备的。在本文中,将证明对Boussinesq解的完备性而言,上述4个假设是不必要的,而对Love解的完备性,只需2个假设就足够了。     

关于函数空间完备性的研究

主要讨论连续函数空间、可积函教空间的完备陛,并得出了连续函教空间的完备性取决于距离d（x,y）;Riemann可积函数空间是不完备的,Lebesgue可积函数空间是完备的．在此基础上论述了不完备的函数空间完备化问题．