二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

一类与Funk度量射影相关的Finsler度量具有两种常曲率的条件

Funk度量F是一个射影平坦的Finsler度量，它具有常曲率K＝-1/4和常S－曲率S＝1／2（n 1)F,首先在欧氏空间R^n的一个强凸区域Ω上用Funk度量F和闭1－形式β构造了一类新的Finsler度量－／F＝F＋β，然后分别找到了－／F具有常曲率和常S－曲率的充分必要条件。     

Lukasiewicz多值逻辑系统中的相似度及伪距离

逻辑度量空间是近似推理的重要框架。文中在文献中提出的公式集F(S)上相似度的基础上给出了另外两种相似度，讨论了其性质，证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质，并得到了3种伪距离的比例关系，为推理程度的数值化提供了依据。     

命题逻辑公式集上的正则相似关系

研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，进而导出了全体公式集上一种伪距离，并且证明了它与另外两种伪距离是等价的。     

关于对称芬斯勒度量的若干性质

在n（n≥3）维芬斯勒流形（M,F）上,利用芬斯勒几何的基础知识和基本方法得到了对称芬斯勒度量F（reversible Finsler metric）具有若干很好的曲率性质;并进一步证明了对称（α,β）-度量F=αφ（s）具有相对迷向平均Landsberg曲率的充分必要条件是F为黎曼度量或Berwald度量,拓展了沈忠民等人的结果。最后证明了对称芬斯勒度量F具有殆迷向S-曲率时,F必为弱Berwald度量,这时如果F还具有标量旗曲率K（x,y）,那么K（x,y）必为常数。     

关于沈度量的几个性质

研究一种特殊的（α，β）-度量，即沈度量F=（α＋β）^2/α，首先给出了F的一些重要几何量；其次得到了F成为Berwald度量的三个充要条件；最后证明了在α射影平坦的条件下，F射影平坦当且仅当β关于α平行，这时F必然，具有零曲率。     

度量Boole代数的性质及其在F（S）的近似推理中的应用

进一步讨论了度量Boole代数的性质.给出了度量Boole代数中一个元素到一个滤子的距离刻画,以及不同滤子之间距离的刻画.作为应用,给出了逻辑度量空间(F(S),ρ)中一个公式到一个г推论之集以及不同T推论之集问的距离描述.     

Vague集之间相似度量的一种新方法

Vague集是对于模糊集合概念的推广，作为当前模糊信息处理中的一个新兴研究课题，在多个领域中获得了成功的应用，本文提出了Vague集（值）之间的相似度的概念，并给出了一种新的Vague集（值）之间相似度量的方法，该方法与目前国内外众多学者们的方法相比较，具有更好的合理性和度量效果，因而是一种更理想的检测Vague(值）之间相似程度的度量方法。     

双枝模糊集的内、外积及相似性度量

给出了双枝模糊集内积、外积的概念并讨论了它们的性质，从双枝模糊集内积、外积出发定义了双枝模糊集的相似性度量，并进一步给出双枝模糊集相似度的几个公式.     

The comparison theorem for Bergman and Kobayashi metrics on Cartan-Hartogs domain of the second type

In this paper, the holomorphic sectional curvature under invariant metric on a Cartan-Hartogs domain of the second type YII(N,p,K) is presented and an invariant K?]lher metric which is complete and not less than the Bergman metric is constructed, such that its holomorphic sectional curvature is bounded above by a negative constant. Hence a comparison theorem for the Bergman and Kobayashi metrics on YII(N,p,K) is obtained.     

特殊的射影平坦(α,β)-度量

研究了近似指数度量并得到二阶近似指数度量射影平坦的充要条件是α射影平坦, β关于α平行．且对高阶指数度量也得到了相同的结果．这里,√αijy^iy^j,β=biy^i．     

具有标量旗曲率的R-齐次芬斯勒度量

研究了具有标量旗曲率的R-齐次芬斯勒度量,证明了具有非零标量旗曲率的R-齐次芬斯勒度量必然是黎曼度量.     

关于等价度量的若干等价判定及应用

在同一度量空间中可诱导出相容的两个不同度量会给人们处理问题带来方便,因此,度量的等价性是一个值得讨论的课题。首先,介绍了度量空间中的等价度量、度量拓扑、等价拓扑基及同胚映射等基本概念。然后,在此基础上讨论了等价度量的基本性质及各种概念间的内在联系,并由此给出了关于等价度量的判定性定理及其重要推论,给出了等价度量应用的简单实例。最后,通过构造的方式,给出了一种重要的等价度量形式。     

关于局部对偶平坦且具有迷向S-曲率的Matsumoto度量

找到了一些方程去刻画局部对偶平坦的Matsumoto度量F=α2/α-β,其中α=√aijyiyj,β=biyi.同时对局部对偶平坦且具有迷向S-曲率的Matsumoto度量进行了分类.     

完备度量空间与紧度量空间上的不动点定理

Ｆｉｓｈｅｒ Ｂ证明了如下的不动点定理：设（ Ｘ，ｄ） 和（ Ｙ，ρ） 是完备的度量空间，Ｔ是Ｘ到Ｙ的连续映射，Ｓ是Ｙ到Ｘ的映射，并满足下列不等式，即对所有ｘ，ｘ′∈Ｘ，ｙ，ｙ′∈Ｙ，０ ≤Ｃ≤１。ｄ（ＳＴｘ，ＳＴｘ′） ≤Ｃｍａｘ｛ｄ（ｘ，ｘ′） ，ｄ（ｘ，ＳＴｘ），ｄ（ｘ′，ＳＴｘ′），ρ（ Ｔｘ，Ｔｘ′）｝，ρ（ＴＳｙ，ＴＳｙ′） ≤Ｃｍａｘ｛ρ（ｙ，ｙ′），ρ（ｙ，ＴＳｙ），ρ（ｙ′，ＴＳｙ′），ｄ（Ｓｙ，Ｓｙ′）｝，则ＳＴ在Ｘ中有唯一不动点ｚ，ＴＳ在Ｙ中有唯一不动点ｗ 。并且有Ｔｚ ＝ ｗ 和Ｓｗ ＝ ｚ。该文对此定理作一推广，从而得到了完备度量空间与紧度量空间上２ 个新的不动点定理。     

反正切Finsler度量与Kropina度量射影等价的充要条件

考虑反正切Finsler度量F=α+εβ+βarctan(β/α)和Kropina度量F=α2/β的射影等价,其中:α和α为流形M的Riemann度量;β和β为流形M非零的1-形式.利用射影等价具有相同Douglas曲率的性质,得到了这两个度量射影等价的充要条件.     

两类重要的(α,β)-度量之间的射影等价

找到了一组方程去刻画(α,β)-度量F=α+εβ+β2/α(ε为常数)与Randers度量F=α+β之间的射影等价,其中α和α是两个黎曼度量,β和β为流形上的两个非零的1-形式.     

关于for－do结构的程序复杂度

本文以具有代表性的ＭｃＣａｂｅ，Ｐｒａｔｈｅｒ和Ｚ－Ｗ三种方法为例，计算和分析了循环语句中ｆｏｒ－ｄｏ结构的程序复杂度，并纠正了关于Ｚ－Ｗ表达式方法中不严格的计算公式．     

一类特殊的(α,β)-度量的一些性质

研究了一类特殊的(α,β)度量,即指数度量F=αekβα.给出了指数度量的几个重要几何量.找到了其成为Berwald度量、Douglas度量、射影平坦的条件.最后还得到了计算(α,β)度量Douglas曲率的一个计算公式.