论文部分内容阅读
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质。
n值乘积命题逻辑系统的真度研究
【摘 要】
：
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
延安大学学报:自然科学版
【发表日期】
：
2021年1期
【基金项目】
：
国家自然科学基金项目资助(11471007,61763045),国家级大学生创新创业训练计划项目资助(201910719023),延安大学研究生教育创新计划项目(YCX2020096)
其他文献
中国石油广西石化公司2020年停工大检修,大庆石化建设有限公司承担350万吨/年重油催化裂化装置检修任务。外取热器是催化最大的换热器,共2台,对外取热器E101A/B管束拆装、更
利用机器视觉技术获取工业现场目标产品图像。通过图像预处理、图像分析,实现识别区域的动态划分。提出了一种高效图像模板匹配算法,实现工业产品的在线分类。
当代高校马列文论课教学水平提升的关键要素是：加强对马列文论原典的解读，努力克服传统的思维方式与单一知识结构的局限，同时要坚持把马列文论的基本原理与当代文艺创作与文艺批
将更多的农民从土地上转移出去是我国经济社会发展的必然趋势。但农民工大批量涌进入大中城市，在推进城市建设、带来城市繁荣的同时，也会给城市负荷带来较大压力，甚至会造成一些
现如今,我国的经济在快速发展,社会在不断进步,农业在我国发展十分迅速,农业是国家基础性支柱产业之一,其重要性不言而喻。农业机械是现代农业生产中高新科学技术的运用成果,
目的探讨孕妇孕前体质量指数(BMI)、孕期增重对孕妇妊娠结局的影响。方法选取本院1427例孕妇的临床资料进行回顾性分析。根据孕前BMI情况,将孕妇分为消瘦组(BMI<18.5 kg/m 2)
新型微显示技术--液晶硅显示技术LCOS是一种全新的数码成像技术,也称数字硅基反射液晶显示技术,具有大屏幕、高亮度、高分辨率、省电等诸多优势,用LCOS技术制作高分辨率光阀
＂订单式＂教育是近年来我国高等教育中出现的一种新的办学和人才培养模式。＂订单式＂培养模式将人才培养直接与社会人才需求挂钩,人才实践技能得到了提高。随着高等教育的深入发展,
随着公民权利意识的增强,隐私保护逐渐为公众所重视,大学生这一特殊群体的隐私问题也不容忽视。根据高校档案管理中的隐私权保护的现状与存在的问题,提出了完善高等院校大学
脉冲涡流检测技术(PEC)是近几年发展起来的一种新的无损检测方法。本文围绕应用于飞机多层金属结构中缺陷检测的脉冲涡流检测系统的工作点进行分析与研究，给出了传感器的参数