Fuzzy集上基于一般蕴含算子的α-三I算法

先将经典蕴含算子泛化后得到[0,1]集上一般蕴含算子的定义,然后将α-三I算法推广到一般蕴含算子上.在分析了α-三IFM P原则的实质后,给出了基于一般蕴含算子的α-三I算法的通用计算公式,并分析了基于一般蕴含算子的α-三I算法的还原性.最后给出了具体的蕴含算子来验证提出的通用计算公式.     

蕴含幂零性与谱任意符号模式矩阵

蕴含幂零性与谱任意符号模式矩阵是近几年组合数学中比较热门的一个研究方向。本文主要运用幂零-中心化子方法来证明谱任意。首先揭示了蕴含幂零及幂零指数与谱任意之间的关系,即:蕴含幂零的符号模式矩阵是谱任意的必要非充分条件且幂零指数为n的符号模式矩阵既非谱任意的必要条件也非充分条件。然后通过几类低阶的幂零矩阵构造了几类高阶的蕴含幂零符号模式矩阵和谱任意符号模式矩阵。最后给出了谱任意符号模式矩阵的直和仍为谱任意符号模式矩阵的一个新的条件。本文对构造幂零矩阵与谱任意符号模式矩阵有一定的应用价值。
     

变量极小公式复杂性

基于逻辑公式的极小变量集合的需求, 研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质. 引入等价关键变量和可满足关键变量概念, 证明它们的判定复杂性分别为NP-完全和D^P-完全. 通过等价关键变量和可满足关键变量, 分别定义VME和VMS. 证明了Unique-SAT VMS VME SAT, 其中Unique-SAT是具有唯一成真赋值的公式类. 进一步证明VME是NP-完全, VMS属于D^P且是coNP-难.     

两个新的极小谱任意符号模式

设A为n阶符号模式矩阵,若给定任意一个n次首一实系数多项式f(λ),都存在一个实矩阵B∈Q(A),使得B的特征多项式为f(λ),则称A为谱任意符号模式.如果一个谱任意符号模式中的一个或多个非零元被零取代后所得到的符号模式不是谱任意的,则称这个谱任意符号模式为极小谱任意的.文中证明了两个新的符号模式是极小谱任意的.     

属性蕴含Q矩阵理论的认知诊断模型

引入属性蕴含的Q矩阵理论扩展了传统Q矩阵理论.属性的先决关系是属性蕴含的特殊形式,寻找属性蕴含Q矩阵理论中合适的认知诊断模型具有重要的理论与应用意义.就满足属性蕴含的Q矩阵,视其为形式概念分析中的形式背景,形势背景诱导的概念格亦为认知诊断模型.研究成果可进一步丰富Q矩阵理论与方法.     

蕴含K6-K2-N2可图序列

对于给定的图H,如果π有一个实现包含日作为子图,则称π万是蕴含日可图的．本文刻划了当n≥6时,蕴含K6-K2他的可图序列,其中K2。N2是一个冠图。     

安全数据库数据层推理泄漏检测方法

普通权限用户通过查询并结合数据库的其他知识,绕过安全机制,进行间接推理获取非授权信息,从而造成安全数据库敏感信息的推理泄漏.针对这一问题,提出了一种数据层的推理泄漏检测方法.该方法在形式化描述的基础上,根据数据库的约束规则和用户查询数据,基于逻辑推理实现了推理泄漏的检测.理论分析和测试结果表明该方法能够全面、有效地获取用户查询结果中实际蕴含规则,运用这些规则,可以使推理检测的正确率达到81.3%.     

言简蕴含深，悲中见真情———评杜甫《石壕吏》

《石壕吏》是杜甫著名叙事组诗《三吏》中的一首．写于唐肃宗乾元二年三月。这首诗通过“有吏夜捉人”反映了“安史之乱”唐军溃败．官吏为保大唐江山任意抓人补充兵员给人民带来苦难，酿成无数悲剧的现实；从“妇啼一何苦”的悲剧中，揭示了封建统治者对真的、善的、美的毁灭，表达了诗人对饱经战乱之苦的人民的深切同情。     

直觉算子模糊逻辑中的蕴含及其归结原理

在直觉算子模糊逻辑系统中引进了(μ，v)-弱蕴含和(μ，v)-强蕴含的概念，探讨了它们的性质和联系，给出了关于(μ，v)-归结的完整的完备性定理．     

基于分解等价的时序电路测试生成算法

针对集成电路的规模和复杂程度不断增加而相应的测试却越来越困难且费时的问题,提出了一种基于分解等价的时序电路测试生成算法。此算法通过引入分解等价以避免进入已搜索的测试码解空间,缩小了测试码搜索空间,大大提高了测试生成效率。在ISCAS’89国际标准电路上的实验结果表明了本算法的可行性。