正蕴含BCK—代数的半群特征

正蕴含及具有(S)条件的BCK一代数是BCK一代数类的两个重要子类,本文利用伴随半群给出了这两类代数的完整刻划。     

几种真值集为非线性序集的4值逻辑系统

介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 .     

Vague集上基于蕴含算子I(x,y)的三I算法

给出区间集上蕴含算子的定义和一个蕴含算子。利用三I思想,给出了Vague集上基于蕴含算子I (x,y)的三IVMP算法的计算公式,分析了三IVMP算法的还原性,并给出了基于区间集上蕴含算子I (x,y)的三IVMP算法具有还原性的本质条件.由于Vague集具有表达不确定性知识比Fuzzy集更为丰富的特点,三I思想更为可信,故在不确定性的推理中,三IVMP算法是较为令人满意的算法。     

一类极小谱任意符号模式

设A为n阶符号模式矩阵.若给定任意一个n次首一实系数多项式f(λ),都存在实矩阵B∈Q(A),使得B的特征多项式为f(λ),则称A为谱任意符号模式.如果我们把谱任意模式A的任意一个非零元用零代替之后所得到的符号模式不是谱任意模式的,那么这个谱任意符号模式为极小谱任意符号模式.文章给出了一类n≥7的极小谱任意符号模式.     

蕴含K6-C4可图序列

如果S有一个实现包含K6-C4作为子图，则称序列S为蕴含K6-C4可图．设σ（K6-C4，n）表示使得每个满足σ（S）≥σ（K6-C4，n）的n项可图序列S是蕴含K6-C4的最小度和．本文证明了σ（K6-C4，n）=6n-10对n≥6成立．     

宜昌话“AA神”式论析

“AA神”式是宜昌话一形容词性叠缀短语，它生动活泼，动情传神，市井话语。广为采用。本文从其结构特点、语法功能和表达效应等方而略予论析，并试图揭示出它所蕴含的人文品性。     

一个特殊谱任意符号模式矩阵

设A为n阶符号模式,对任意n次首1实系数多项式r(x),都能在符号模式A的定性矩阵类Q(A)中找到一个实矩阵B,使得B的特征多项式f(x)=r(x)B,则称A是谱任意的.如果谱任意符号模式A的任意一个真子模式都不是谱任意的,则称A为极小谱任意的.论文运用幂零-雅可比和幂零-中心化子两种方法对一个特殊谱任意符号模式进行刻画.     

一类含有2n个非零元的极小谱任意符号模式

设A为n阶符号模式,如果对任意n次首1实系数多项式r(x),在符号模式A的定性矩阵类Q(A)中都有一个实矩阵B,且f(x)=r(x)为B的特征多项式,则称A是谱任意的.如果A的真子模式都不是谱任意的并且A是谱任意的,则称A为极小谱任意的.本文运用幂零-雅可比方法证明了一类新的含有2n个非零元的n阶符号模式为极小谱任意模式.     

存现句语义成分的蕴含共性研究

基于类型学的视角,通过大量语料对各语言的存现句进行分析,发现存现句的存现谓语的语序蕴含共性、存现处所与存现主体间的语序蕴含共性以及存现句的各语义成分间的成分共现蕴含共性,让人们对存现句型有更深入的了解,让语言学习者对存现句这种句型有更深入的了解,更好把握这一句型。     

蕴含K_3.3-e可图序列的刻划

本文刻划了当n≥6时,蕴含图K_3.3-e的可图序列,其中K_3.3-e为完全二部图K_3.3删去一条边e所得到的图．