论文部分内容阅读
在四值逻辑系统L*4中引入了对称逻辑公式。运用MATLAB软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了n元,3n+1元,3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随着n的增大而趋于零。
对称逻辑公式在L4逻辑度量空间中的分布
【摘 要】
：
在四值逻辑系统L*4中引入了对称逻辑公式。运用MATLAB软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了n元,3n+1元,3n+2元对称逻辑公式的个数。证明了n元对
【机 构】
：
延安大学
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十四届学术会议
【发表日期】
：
2014年10期
其他文献
论文第一部分工作，通过二苯酚对meso-氯代BODIPY的亲核取代合成了一系列meso-芳氧基桥连的联BODIPY。研究了它们在不同溶剂中的吸收和荧光发射光谱，发现这些联 BODIPY的最大吸
对油画的表现,离不开油画语言。所谓油画语言就是用不同方式、形式、色彩、内容、技法、层次和颜料等经营油画画面,用油画语言来表述油画,要认识油画的绘画性(油画语言),我们
近年来,生态环境在我国有不断恶化的趋势。这种趋势不仅仅只存在城市并且在城市化的进程中不断的向着农村推进。这种状况的持续,将严重阻碍乡村的建设和实现经济社会可持续发
石油加氢技术是石油产品精制，改制和重油加工的重要手段。加氢精制能有效地使原料油中的硫、氮、氧等非烃化合物氢解，使烯烃、芳烃选择加氢饱和并能脱除金属和沥青质等杂质，具有
金属有机骨架材料(MOFs)作为一种新型的多孔材料，是沸石之外又一类重要的纳米材料。此类材料的磁、电、吸附、催化性能和特殊的结构引起了广泛的关注。本论文设计并合成了三种
本文主要讨论直觉模糊聚合算子的合理性质，首先，简单地回顾一些常见的直觉模糊聚合算子，然后，提出了几条重要的性质作为公理以衡量聚合算子的合理性，最后，检验常见的聚合算子是
会议
在数字电路系统中,比较器是各类数字信号处理系统的关键单元。通过对多值逻辑电路工作原理和比较器电路结构特点的研究,提出一种基于碳纳米场效应晶体管(CNFET,Carbon Na
会议
语言值智能信息处理是人工智能的一个重要研究方向，基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率，
会议
Apache Mahout是一个新兴的开源推荐系统，集成了一套协同过滤算法.Mahout具有扩展性好及易于部署的特点.但在商业生产环境部署时，需要对其进行改进和准确率的评估.目前对Ma
会议