论文部分内容阅读
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础.
部分多值逻辑函数集中准完备集的分类问题研究
【摘 要】
：
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从
【机 构】
：
湘潭大学信息工程学院,湘潭大学智能计算与信息处理教育部重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2014年8期
【基金项目】
：
本文受国家自然科学基金（60673193）,湖南省重点学科建设项目（计算机科学与技术）,湖南省科技厅计划（2011FJ6038）资助.
其他文献
设备的全寿命管理体现在对设备的安装、使用、维护、维修、改造、更新直至报废的全过程。在面对数量众多的设备时,要想把设备管理好,必须要做好设备巡检及设备的台账管理两方面工作。介绍一种基于二维码技术的设备全寿命管理方法,用于改善传统设备管理中存在的各种问题,方便使用和维护,提高工作效率,减轻生产维护人员的工作负担。
随着全民羽毛球时代的热潮,羽毛球爱好者逐渐增多,膝关节的损伤也成为干扰众多羽毛球爱好者身体和心理的重要因素,基于此类问题的存在,本文就膝关节容易损伤的原因及如何有效
在总结模拟方法和手段的基础上,针对组织人与任务互动过程任务管理部分,将模拟与项目管理方法结合起来,并利用富客户端SVG＋JS技术实现基于Web Service的任务管理模拟系统,取得
运用问卷调查和结构式访谈等,对我国民间足球竞赛组织发展动力机制进行分析。发现我国民间足球竞赛组织的发展是内在动力和外在动力的共同作用下实现的;内在动力包括参与者动
针对永磁同步电机为驱动电机的地铁车辆车速优化控制,设计了基于粒子群算法的永磁同步电机矢量控制系统方案。为了防止电机在转动过程中转矩波动过大,对电机在不同工况的性能
搜索引擎是现代社会不可或缺的最重要互联网应用之一,对其关注的重点也从商业领域逐步转移到科研领域.针对现今相似度计算方法不能全面反映对象间的关联性的局限,提出了一种