蕴含K5-Z4可图序列的刻划

对于给定的图H，称π是蕴含H可图的，如果π有一个实现包含H作为子图．Kk，Ck，Pk分别表示k阶完全图，圈长为k的圈和路长为k的路．Z4表示K4-P2.K5-Z4表示从5阶完全图中删去Z4的4条边．本文刻划了当n≥5时，蕴含K5—Z4的可图序列．     

老舍作品中“京味儿”的文化蕴含

试从“文化蕴含”的广角，对京味儿文学予以观照，从宏观和微观两方面探讨京味儿文学的历史成因和三个文化层次。其中论述了“一种地方特色的‘味儿’，实际上是一种地方文化特征的体现”，在构成“味儿”的诸因素中，“人是文化的结晶”。高层次、高品位的京味儿文学必须将注意力放在塑造既具有地方性格特征又具有深层次民族文化心理结构的人物形象上。指出了老舍的创作即是京味儿文学“高层次”、“高品位”的文化追求；并从老舍特殊的文学地位中进行了多向性的文化思考，得出了老舍是当之无愧的世界量级的京味儿文学作家的结论。     

多输出开关函数的比简

本文提出一种化简多输出开关函数的新方法,该方法的主要特点是直接对本质蕴含项进行确定。文中介绍了方法的主要依据,给出了方法的步骤,最后用例子进行说明。     

基于事实和语义一致性的生成文本检测

文本生成技术的恶意滥用问题日益严重,因此生成文本检测技术至关重要. 现有的检测方法依赖于基于特定数据集的统计异常特征,从而导致方法的泛化能力较差. 本文考虑不同种类生成文本均易出现的事实错误、语义冲突问题,提出了一种基于事实和语义一致性的生成文本检测方法. 该方法通过实体将文本和外部知识库进行比较,得到文本的事实一致性特征. 另一方面,该方法借助文本蕴含技术对文本上文与下文进行关系推理,得到文本的语义一致性特征. 最后将这两类特征与RoBERTa的输出隐藏向量拼接,输入到线性分类层进行预测. 实验结果表明,该方法比当前的检测方法具有更高的准确率和泛化能力.     

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

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

一种有效评估桥接故障的IDDQ可测试性分析算法

鉴于传统的可测试性分析算法不能处理重汇聚扇出问题,该文提出了一种有效的评估电路桥接故障可测试性的IDDQ可测试性分析算法.这种算法是基于给电路中每个门施加基本矢量集的概率进行的.开始在原始输入端采用单值标记,通过电路分级和从原始输入端传播标记集可识别重汇聚扇出门,然后采用反向蕴含过程计算重汇聚门基本矢量的概率值,进行重汇聚扇出点的评价.实验结果表明这种算法可获得较精确的可测试性分析结果.     

剩余格上蕴含单调算子的性质

针对剩余格上单调算子的性质,首先对比分类了剩余格上蕴含单增算子和蕴含单减算子理想情况下的性质,其次讨论了剩余格上蕴含单增算子和蕴含单减算子的复合算子及其性质,最后分析了蕴含单调算子的拓扑结构,并证明其构成剩余格上的Alexandrov模糊拓扑.     

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

一个n×n符号模式A是谱任意的,如果对任给的n阶首一实系数多项式f(x),都存在实矩阵B∈Q(A),且其特征多项式为f(x).如果符号模式A是谱任意的,且A的任意一个真子模式都不是谱任意的,则称A为极小谱任意的.本文给出了一类新的含有2n个非零元的符号模式A,运用Nilpotent-Jacobian方法证明了n阶(n≥7)符号模式A是极小谱任意模式.     

一个新的谱任意复符号模式矩阵

通过运用中值定理来实现幂零,并且扩展N-J方法证明了一个复符号模式矩阵及其母模式是谱任意的.     

蕴含K5-E（P2）的正可图序列

刻画蕴含K5-E(P2)的正可图序列,其中K5-E(P2)表示从K5中删去两条相邻的边后得到的图.