论文部分内容阅读
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.
关于部分K值逻辑Sheffer函数（V）
【摘 要】
：
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.
【机 构】
：
深圳大学,湘潭大学
【出 处】
：
计算技术与自动化
【发表日期】
：
2004年3期
【基金项目】
：
国家自然科学基金，湖南省自然科学基金
其他文献
一、研究高粱种植技术,分析影响因素我国是粮食产量大国,其中高粱的产量较大,在我国被广泛的种植生产,也可以说高粱的种植也解决了我国一部分的温饱问题。而当今科技迅速发展
记者从业内获悉，2017年动力电池新增投资预计仍将保持在千亿元以上，加上2016年新增千亿投资未完成的订单，锂电设备生产厂家今年普遍不愁订单。$$随着个人市场快速启动，从2015年开
报纸
本文讨论了一个实际应用系统硬软件体系结构的特点和优点,分析了实时系统中主要问题产生的原因,研究了解决问题的策略,并建立了相应的数学模型.最后给出了系统的主要技术指标
针对某丁二烯共沸精馏塔控制系统实际存在的问题,利用大量的现场数据,运用基于回归分析的软测量技术,设计了釜液中水含量软测量模型,实现了釜液水含量的在线实时估计。同时并根据实际的质量控制目标,设计了一个基于软测量的推断控制方案,并在推断控制算法中增加了约束控制功能,增强了控制系统的可靠性和实用性。现场运行结果表明,控制系统能够有效地解决精馏塔产品质量不能在线实时检测和直接质量闭环控制的问题,实现了釜液
随着机器人足球的发展,机器人防守和进攻的队形对于比赛显得尤为重要。为了加强机器人足球比赛中的防守和进攻,文章通过分析足球在不同区域时防守队形的选择、防守与进攻的队
时间是反映工作流性能的一个重要方面，立足于实际业务过程对工作流系统时间管理功能的需求，尤其是针对一些对时间性能要求比较高的工作流系统，提出一种新的基于库所含时间因素的
在根据应力等效假设提出沥青混合料疲劳损伤参量的基础上，通过对常应力小梁弯曲疲劳试验数据的分析得出：不同试验条件下的沥青混合料弯曲疲劳试件的损伤累积过程都具有相同的变
以船舶减摇鳍系统为研究对象,提出一种基于遗传算法寻优的PID控制算法,并进行了计算机仿真和试验研究.结果表明,根据遗传算法寻优设计的PID控制器具有较强的鲁棒性,即使在外
在人们的日常生活中,小麦是最为常见的粮食产品之一.小麦不但具有较强的营养价值,还具有较强的加工价值.因此,小麦在我国拥有着极为广阔的种植面积.在种植小麦的过程中,为了