论文部分内容阅读
根据部分X值逻辑的完备性理论和相似关系概念，定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集．
部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定
【摘 要】
：
根据部分X值逻辑的完备性理论和相似关系概念，定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集．
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
2007年1期
其他文献
重点研究了二值化后指纹图像细化算法.首先简介了改进的OPTA细化算法.在总结上述算法的优缺点基础上,提出更有效的基于数学形态学的查表细化算法.实验表明后一种细化算法效率更高、处理后几乎没有毛刺、效果更理想,为后续的工作奠定了良好的基础.所进行的算法高效化研究对于提升识别的准确度具有非常明显的积极作用,在论文的最后通过实证手段进行了证明.同时,该文最后采用Visual C++编程实现指纹图像预处理过
为实现我国土地资源可持续利用,提高土地利用率,增加耕地面积,2001年我国正式启动国家投资土地整理项目。目前,随着DEM应用的成熟、ARCGIS技术的发展和国家投资土地整理项目
足球已经成为当下人们非常喜欢的一项运动,也是影响力最大的体育项目之一,具备职业化、广泛性的特点,并以其独特的艺术性和竞技性存在于世界上,甚至成为人们生活中不可缺少的
概率逻辑是以概率论和现代演绎逻辑为工具构造归纳推理逻辑的形式演绎系统。随着计算机技术的发展,概率逻辑正逐步成为面向人工智能、决策分析、知识发现和推理应用的重要发
作物生产潜力的研究对提高作物产量、评价地区粮食的生产能力和人口承载能力,以及为合理进行农业生产规划提供依据。气候变化(包括温度、降水、日照时数等)和极端天气(如干旱
针对体育视频中多尺度运动员的检测问题,提出一种基于卷积神经网络的自动检测方法.首先,从视频帧中获得运动员图像,并结合非运动员图像构建训练集,利用Bootstrapping算法来训练卷积神经网络分类器.然后,对于输入的图像帧,通过二次采样构建不同尺度的图像金字塔,并通过卷积神经网络检测出多个候选运动员位置.最后,计算这些候选运动员的重心,获得一个具有代表性的候选运动员,再通过一个局部搜索过程来确定最
以云南省为例,通过文献调查法和深入访谈法,对西部边疆少数民族地区的医疗资源配置现状及问题进行深入分析。从而提出借助网络组织理论构建云南省医疗服务体系,优化云南省医
牛乳是一种复杂的胶体体系,在生产过程中常常会出现脂肪上浮和蛋白质絮凝沉淀等现象,从而影响产品的质量和稳定性。这也是困扰广大乳品企业的一大难题。因而对于乳体系主要成
民俗,作为一个社会基层文化和民族精神的体现,始终处于变迁的过程中。它必然会伴随社会的发展和生活的更新而不断消长演进。目前,随着近代化进程的加快,民俗生活的变迁正使民
从知识管理视角认识航空发动机R＆D核心能力的内涵和知识本质,构建知识管理提升航空发动机R＆D核心能力的理论模型.通过问卷调查,采用SPSS 19.0统计分析软件进行信度、效度、相关