Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

Horn集上的有向调解法

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

基于单元的快速的大数据集离群数据挖掘算法

提出基于单元的快速的大数据集离群数据挖掘算法,用聚簇技术对数据进行预处理,然后将数据放入合适的空间单元并对非空单元使用维单元树（cell dimension tree,CD-tree）进行索引,数据集中大部分位于高密度区且与离群数据无关的数据将会被过滤掉,从而避免了大量不必要的计算。实验表明,该算法能快速准确地从大数据集中挖掘出离群数据,并提高离群数据的检测速度。     

Horn集上的语义归结和调换

本文在两种类型的解释上讨论了R-不可满足Horn子句集合上的语义归结和调换.     

从一道国际奥数题的误证谈反驳法的应用

本文通过用反驳法证明了一道国际数学奥林匹克竞赛题的证法是错误的,论述了反驳法的原理及应用,并给出正确的证法。     

偏序集上的相对余定向集

首先在偏序集上引入相对余定向集的概念,考察其性质,并给出相对余定向集族是完备格的一个充分条件。其次,给出相对余定向完备集的概念,并研究相对余定向完备集、余一致完备集之间的关系。     

BEC考试对高职高专商务英语教学的反驳作用

通过分析BEC中级考试的题型、测试目的和测试效果,指出BEC考试对我校商务英语专业学生的英语听、说、读、写等各方面的能力有一定的促进作用,进而阐述了这一考试对我校商务英语专业人才培养具有正面反驳作用,并对我校商务英语教学提出一些建设性建议.     

自动定理证明中RUE-NRF单元输入和锁的演绎

本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF单元反驳的关系,以及RUE-NRF锁反驳的完备性。     

电磁学单位制集合

首次提出了单位制集合的概念，并以此作为论述的基础，文中由单位定义方程逐步代入引入理纲式的方法，阐明了量纲式的度量本质，证明了关于单位变换的两条定理，，由它们可以很好地导出各种单位制之间的变换公式，这曾是许多人想要解决的问题。     

模糊粗糙集的贴近度

基于模糊集理论中贴近度的定义及模糊粗糙集的有关性质 ,讨论了模糊粗糙集 (FR集 )的贴近度 ,进而给出了模糊粗糙集的距离贴近度、最小最大贴近度、最小平均贴近度以及格贴近度     

粗糙模糊集的贴近度

讨论了粗糙模糊集 (RF集 )的性质 ,并在此基础上 ,定义了粗糙模糊集的贴近度 .基于定义 ,分别给出了粗糙模糊集的距离贴近度 ,最小最大贴近度 ,最小平均贴近度以及格贴近度 .     

紧集上N-维扩散过程样本水平集的概率性质

讨论了在一定的条件下,紧集上N-维扩散过程样本水平集的Hausdorff维数等若干概率性质.     

紧集上N-维扩散过程样本水平集的概率性质

主要讨论了在一定的条件下,紧集上N-维扩散过程样本水平集的Hausdorff维数等若干概率性质.     

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

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

准半凸集及其性质

首先给出凸集与吸收集的一种推广定义,称之为准半凸集,在此基础上定义了局部准半凸空间;其次讨论了准半凸集与其他凸集推广定义的关系,以及准半凸集的充要条件;最后给出与准半凸集有关的运算性质及局部准半凸空间的一个充要条件.     

紧集上N维非退化扩散过程样本水平集的Hausdorff维数

主要讨论了在一定的条件下,紧集上N维非退化扩散过程样本水平集的Hausdorf维数的上界.