中介逻辑的命题演算系统（MP^＊）的一些特征

本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。     

中介逻辑命题演算扩张系统MP^＊的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:     

基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

关于弱正则空间的闭扩充

在此文中我们分别给出了刻画第一可数弱正则一闭拓空间和第一可数弱正则一极小拓扑空间的等价性定理，同时我们还证明了第一个局部弱紧的第一可为九弱正则空间都存在一个第一可数弱正则一闭扩充，此定理在表达形式上数拟于Ｒ．Ｍ．Ｓｔｅｐｈｅｎｓｏｎ等人对ｐ＝第一可数完全正则，或第一可数Ｕｒｙｓｏｈｎ以及第一可数零维时的结果。     

算子与概括过程──一个无类型的完备逻辑演算

当我们从一阶逻辑推广到高阶逻辑时，既使用以函词为主目的高级函词，亦使用具有指导变元与辖域的算子，例如量词与摹状词便是算子的一种．但在逻辑中除量调与摹状词外，对别的算子完全忽视，这是很不妥当的．本文指出了，算子与高级函词本质上是一致的，而且算子和函词不同，即使把它的主目（伴行主目、指导主目与辖域）都限于式项，而且其值也限于式项（这样的算子叫做一级算子），它的表达力量仍非常强，可以表达一切高级函词、高级算子所能表达的，而且即使废除概活过程其力量亦不会减少．废止概括过程后，便得到一个无类型的表达完备的逻辑演算可作整个数学的基础．     

*系统的一种改进系统 0*

研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的研究和应用提供了一个有益的途径。     

一个命题的逻辑结构分析

考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.     

基础L*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。     

局部凸空间中弱收敛网的几个性质

设X是Hausdorff局部凸线性拓扑空间,{s_n|n∈D}是X中的网,其中D是一定向集.定理1 设{x_n|n∈D}有W-lims_n=s_0,s_0∈X,则对于s_0的任一邻域σ,存在{s_n|n∈D}的某有限的凸组合sum from j=1 to m a_js_(nj)属于σ,其中a_j≥0,sum from j=1 to m a_j=1.定理2 设{s_n|n∈0}是x中的Cauchy网,且W-lims_n=s_0,则S—lims_n=s_0.定义局部凸线性拓扑空间中的任何一个平衡且吸收的凸闭集称为桶(Barred),若X中的每一个桶均为0的一个邻域,则称X为桶空间.     

关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。     

一种通用的复模态矩阵摄动法

对于非自伴随系统,提出了一种通用的复模态矩阵摄动法.该法能同时适用于孤立特征值,重特征值及密集(相近)特征值三种复特征值情况.由复特征子空间缩聚技术求解低阶摄动项,高阶摄动项则由逐次逼近过程求得.三个计算实例表明,该通用方法合理可靠,精度高.     

一种度量结构在四种逻辑代数上的共性

对MV逻辑代数、Godel逻辑代数、乘积逻辑代数、R0逻辑代数在度量方面的性质进行了进一步研究。首先根据四种逻辑代数的共同性质,在它们的单位区间[0,1]中建立了一种逻辑度量结构:其次对度量结构在四种逻辑代数中的共有性质进行了讨论,并分别在四种逻辑代数中给出了这种度量结构的具体形式;最后证明了四种逻辑代数中的基本运算关于度量结构的连续性。     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

简易逻辑中的几个常见错误及教学建议

高一新教材增加了“简易逻辑”内容 ,从教学实践与一些教学辅导书上看 ,由于是新增内容 ,常犯一些典型错误 ,本文对与“或”、“且”、“非”有关的一些常见错误加以分析 ,并提出一些教学建议 .1　“或”1 .1　教材中典型例子1 )Ｐ2 5引例 :① 1 0可以被 2或 5整除 .②不等式ｘ2 -ｘ - 6 >0的解集是 {ｘ|ｘ <- 2 ,或ｘ >3}.2 )Ｐ2 6例 1 ( 2 ) :李强是篮球运动员或跳高运动员 .3)Ｐ2 6练习 2 ( 4 ) :正数或 0的平方根是实数 .从以上可以看出教材中给出的“或”形式有两种最基本类型 :①Ａ是Ｂ ,其中Ｂ中有联结词“或”(如例 1 ( 2 ) ) ;②Ａ…     

统计缺省扩充的两种算法

讨论统计缺省理论的扩充,它是经典缺省逻辑(R e iter缺省)的推广,它借助错误参数ε,允许我们在标准的推理统计中模型化普遍的推理模式。由于统计缺省扩充不具备封闭性,在其对应的R e iter扩充存在时,它的扩充可能不存在;甚至可能出现正规的统计缺省理论没有扩充的情形。但是如果给出一定的限制条件,就可以克服这一缺陷。本文给出了在这种限制条件下,统计缺省理论扩充的两种计算方法。     

一种基于弱监督互补学习的视频行为检测算法

视频行为检测方法通过检测视频中人体行为发生的起止时间和类别,分析视频中人体的行为方式,能够更好地理解视频信息.然而,目前的视频数据量大、数据标注困难,为视频行为检测带来了困难.针对以上问题,本文提出了基于弱监督互补学习的视频行为检测方法,利用有限的的视频类别信息和视频帧本身的全局信息对网络结构进行训练,以及视频中的时序...     

逻辑斯蒂曲线的几个推广模型与应用

本给出逻辑斯蒂曲线的三个推广模型，即广义逻辑斯蒂曲线模型、含季节性变化的逻辑斯蒂曲线模型、合成逻辑斯蒂曲线模型及其模型参数估计的方法，井对我国汽车生产量作出了很好的预测。     

求解弱线性双层规划问题的一种全局优化方法

双层规划在经济、交通、生态、工程等领域有着广泛而重要的应用.目前对双层规划的研究主要是基于强双层规划和弱双层规划.然而,针对弱双层规划的求解方法却鲜有研究.研究求解弱线性双层规划问题的一种全局优化方法,首先给出弱线性双层规划问题与其松弛问题在最优解上的关系,然后利用线性规划的对偶理论和罚函数方法,讨论该松弛问题和它的罚问题之间的关系.进一步设计了一种求解弱线性双层规划问题的全局优化方法,该方法的优势在于它仅仅需要求解若干个线性规划问题就可以获得原问题的全局最优解.最后,用一个简单算例说明了所提出的方法是可行的.     

一种新的弱相依系数和应用(英文)

本文在积分概率距离意义下提出了两个随机变量之间一种新的弱相依系数,并证明了此系数可获得协方差不等式和强大数定律,而且对于相关随机变量序列,我们还可以进一步研究矩不等式.