切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于部分K值逻辑Sheffer函数(V)
关于部分K值逻辑Sheffer函数(V)
来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户:ccbeilu
【摘 要】
:
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.
【作 者】
:
李舒
刘任任
【机 构】
:
深圳大学,湘潭大学
【出 处】
:
计算技术与自动化
【发表日期】
:
2004年3期
【关键词】
:
SHEFFER函数
完备性
数集
对称
证明
关系图
多值逻辑
理论
根据
K值
Multiple-Valued Logic Completeness Shef
【基金项目】
:
国家自然科学基金,湖南省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.
其他文献
关于高粱种植技术以及病虫害防治探析
一、研究高粱种植技术,分析影响因素我国是粮食产量大国,其中高粱的产量较大,在我国被广泛的种植生产,也可以说高粱的种植也解决了我国一部分的温饱问题。而当今科技迅速发展
期刊
种植条件
种植产量
粮食产量
高粱种植技术
病虫害
农业再生产
质量提升
防治探析
受益动力电池行业扩产 锂电设备企业订单饱满
记者从业内获悉,2017年动力电池新增投资预计仍将保持在千亿元以上,加上2016年新增千亿投资未完成的订单,锂电设备生产厂家今年普遍不愁订单。$$随着个人市场快速启动,从2015年开
报纸
烟叶发酵温湿度实时控制系统研究
本文讨论了一个实际应用系统硬软件体系结构的特点和优点,分析了实时系统中主要问题产生的原因,研究了解决问题的策略,并建立了相应的数学模型.最后给出了系统的主要技术指标
期刊
烟叶发酵
实时控制系统
温度控制
湿度控制
数学模型
技术指标
鲁棒控制
fermenting tobaccotemperature and relativit
基于软测量技术的推断控制在共沸精馏系统中的应用
针对某丁二烯共沸精馏塔控制系统实际存在的问题,利用大量的现场数据,运用基于回归分析的软测量技术,设计了釜液中水含量软测量模型,实现了釜液水含量的在线实时估计。同时并根据实际的质量控制目标,设计了一个基于软测量的推断控制方案,并在推断控制算法中增加了约束控制功能,增强了控制系统的可靠性和实用性。现场运行结果表明,控制系统能够有效地解决精馏塔产品质量不能在线实时检测和直接质量闭环控制的问题,实现了釜液
期刊
共沸精馏系统
软测量技术
推断控制
自动控制
丁二烯生产装置
azeotropic distillation soft sensor inferential c
机器人足球比赛防守与进攻队形转换的研究
随着机器人足球的发展,机器人防守和进攻的队形对于比赛显得尤为重要。为了加强机器人足球比赛中的防守和进攻,文章通过分析足球在不同区域时防守队形的选择、防守与进攻的队
期刊
防守与进攻
队形转换
极端情况
defense and offense turnformation extreme case
一种基于库所含时间因素的时延Petri网的工作流建模方法
时间是反映工作流性能的一个重要方面,立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的
期刊
工作流
时间建模
验证
工作流管理系统
时延PETRI网
workflow time modeling verify workflow management s
沥青混合料疲劳损伤机理研究
在根据应力等效假设提出沥青混合料疲劳损伤参量的基础上,通过对常应力小梁弯曲疲劳试验数据的分析得出:不同试验条件下的沥青混合料弯曲疲劳试件的损伤累积过程都具有相同的变
期刊
沥青混合料
疲劳
累积损伤
asphalt mixture fatigue cumulated damage
基于遗传算法寻优的PID控制技术及应用
以船舶减摇鳍系统为研究对象,提出一种基于遗传算法寻优的PID控制算法,并进行了计算机仿真和试验研究.结果表明,根据遗传算法寻优设计的PID控制器具有较强的鲁棒性,即使在外
期刊
遗传算法
PID控制
减摇鳍
GasPID controlanti-rolling fin
小麦种植及病虫害防治技术探讨
在人们的日常生活中,小麦是最为常见的粮食产品之一.小麦不但具有较强的营养价值,还具有较强的加工价值.因此,小麦在我国拥有着极为广阔的种植面积.在种植小麦的过程中,为了
期刊
病虫害防治技术
小麦种植
种植要点
病虫害防治策略
营养价值
质量和产量
粮食
日常生活
瑜伽运动的当代价值
对瑜伽运动的当代价值进行系统性梳理发现,瑜伽运动在当代具有文化、艺术、健康、经济等多元价值属性,这些特有的价值属性在某种程度上可以促进全民健身运动的开展。
期刊
瑜伽运动
文化价值
艺术价值
健康价值
产业价值
与本文相关的学术论文