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

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

认知评估中的属性关系

规则空间模型(RSM)及属性层级方法(AHM)是有较大影响力的认知诊断模型.在RSM与AHM中不可缺少属性及属性层级关系,属性层级关系为属性间的先决关系所诱导.但是,先决关系只考虑了属性之间的关系,却忽略了属性集之间存在的联系.该研究以先决关系为切入点,实例证明先决关系及其诱导的属性层级关系具有局限性,基于属性集,提出更具一般性的蕴含关系,使先决关系为其特殊形式,为当前认知诊断理论研究提供了新的研究角度.     

基于属性蕴含的Q矩阵理论

认知诊断(CD)是认知心理学与心理和教育测量学相结合的前沿研究领域.在属性间约束关系的Q矩阵理论中,其认知模型仅考虑了属性集与属性间的层级关系,忽略了属性间可能存在非层级关系的蕴含关系.该文探讨基于属性蕴含的Q矩阵生成,以及属性蕴含关系的挖掘.研究成果扩充了现有Q矩阵理论,完善认知诊断的理论、方法和应用.     

基于多值蕴含的二型模糊推理模型

针对Mamdani蕴含算子不支持经典逻辑的问题,采用与一型模糊逻辑系统类似的研究方法,讨论了基于Kleene-Dienes、Lukasiewicz、Zadeh和Reichenbach蕴含算子的二型模糊推理模型,分别给出了这四个二型模糊推理模型最终模糊集的隶属函数表达式。研究结果表明,这四个二型模糊推理模型及其算法具有一般经典逻辑的共同属性,比Mamdani二型模糊推理模型更自然。研究结论突破了已有的框架,有助于二型模糊逻辑系统的进一步研究。     

蕴含（K_4-e）＋K_3可图序列的刻划

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含H作为子图.K k,C k,Pk分别表示k阶完全图,圈长为k的圈和路长为k的路.本文刻划了当n≥6时,蕴含（K 4-e）＋K3的可图序列,其中,（K 4-e）＋K3如下图所示.     

蕴含H可图序列的刻划

对于给定图Г,称可图序列π=（d1,d2,…,dn）是蕴含Г-可图的,若存在π的一个实现以Г为其子图．本文刻划了蕴含H的可图序列,其中H为剖分完全图K4的相邻两条边所得到的剖分图．     

数学分析中的非蕴含关系

总结了数学分析中的一些非蕴含关系,极值点与稳定点的关系;(x0,f(x0))是y=f(x)的拐点与f(x0)=0的关系;不定积分与定积分存在性的关系;integral from n=α to +β f(x)dx收敛与limx→+βf(x)=0的关系;二重极限与累次极限存在性的关系;二元函数连续与偏导数存在性的关系;二重积分与二次积分存在性的关系.研究这些关系有助于更好地理解数学分析中的一些概念.     

基于多层次动态门控推理网络的文本蕴含识别

现有的文本蕴含模型通常计算一次词级别注意力得到两段文本在不同层面的交互特征,但对于文本不同层面的理解,不同重要词的注意力应该是不同的,并且一次词级注意力推理仅能捕捉到文本对局部特征.针对这个问题,提出一种多层次动态门控推理网络,该网络结合了词级别信息的细粒度推理和句子级别门控机制来动态捕捉文本对的语义信息,并采用不同注意力计算方式提取文本对不同层面的语义特征,共同推理文本对的蕴含关系.本文在两个文本蕴含数据集上均做了实验,相较于基准模型和现有主流模型,准确率提升了0.4%～1.7%,通过消融分析,进一步验证了本文模型各部分结构的有效性.     

蕴含A(m)r+1-可图序列刻划定理的一个构造性证明

采用构造性方法证明了蕴含A(m)r+1-可图序列刻划定理.     

论刘克庄的花卉鸟兽咏物词

刘克庄是南宋后期著名词人,目前对后村词的研究主要集中于他的爱国时政词,对其词风则基本定性为豪放排宕。通过对刘克庄花卉鸟兽词咏物词中“物”、“我”关系以及“我”的感情的分析,说明后村词艺术风格的多样性。