切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
P4^*中保四元正则可离关系最小覆盖之确定
P4^*中保四元正则可离关系最小覆盖之确定
来源 :计算机科学 | 被引量 : 0次 | 上传用户:bat_wing
【摘 要】
:
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小
【作 者】
:
周小强
刘任任
【机 构】
:
湖南理工学院数学系,湘潭大学信息工程学院
【出 处】
:
计算机科学
【发表日期】
:
2009年9期
【关键词】
:
多值逻辑
正则可离关系
SHEFFER函数
最小覆盖
Multi-valued logic
Regularly separable relation
She
【基金项目】
:
本文受国家自然科学基金(606731931),湖南省教育厅重点项目(07A067),湖南省教育厅项目(08C390)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
其他文献
深圳获批筹建国家植物转基因检测重点实验室
<正>不久前,深圳检验检疫局正式获批筹建"国家植物转基因检测重点实验室(深圳)"。据了解,该实验室预计于两年内完成筹建,建成后将成为华南地区唯一一家专门从事植物转基因检
期刊
植物转基因
重点实验室
科技部评2012年度“中国科学十大进展”发布
由中国科学院院士、中国工程院院士、973计划顾问组和咨询组专家、973计划项目首席科学家、国家重点实验室主任等专家投票选出的2012年度“中国科学十大进展”不久前揭晓。20
期刊
中国科学院院士
科技部
中国工程院院士
量子信息处理
973计划
实验室主任
计划项目
交会对接
建设有竞争力的认证检测集团需“内外双修”
“大力推进方圆标志认证集团改革发展,努力建成国际国内知名、具有竞争力的综合型国家级专业技术协会和认证检验检测集团。”这是不久前,质检总局党组书记、局长支树平到方圆标
期刊
认证机构
竞争力
检测
专业技术协会
质检总局
检验
国家级
综合型
改进的精密机械加工零件表面缺陷检测算法
对加工表面纹理缺陷进行可靠的检测分析可以有效提高机械加工零件表面精加工的水平。基于计算机视觉技术对机械加工零件表面实现自动缺陷检测,由于机械加工零件表面纹理的特殊
期刊
机械加工零件表面
缺陷检测
纹理图像
模糊C-均值算法
machined part surface
defects detection
texture im
微波消解-氢化物发生原子荧光光谱法同时测定化肥中砷、汞含量
采用微波消解样品前处理手段以及双道原子荧光光度计,建立了微波消解一氢化物发生原子荧光光谱法同时测定化肥中砷、汞含量的方法。通过试验确定了样品前处理方法,对负高压、灯
期刊
微波消解
原子荧光光谱
化肥
砷
汞
microwave digestion
atomic fluorescence spectroscopy
fertil
UV-化学模式识别不同产地的丹参
建立由UV-化学模式识别法评价丹参质量的方法。分别用正己烷、乙酸乙酯、水、乙醇提取不同产地的丹参,并测绘其紫外光谱。取紫外光谱各波长的吸光度为特征数据,进行主成分分析
期刊
丹参
紫外光谱
主成分分析
聚类分析
salvia mittiorrhiza
UV
chemical pattern recognition
hierarchi
调整锅炉炉水pH值的方法
申请公布号:CN104003499A申请公布日:2014.08.27申请人:中国神华能源股份有限公司摘要本发明公开了一种调整锅炉炉水pH值的方法。当锅炉炉水pH值低于预定pH值时,向锅炉炉水中加入碱
期刊
炉水pH值
锅炉炉水
调整
类化合物
碱性溶液
化学除氧剂
申请人
卡尔费休容量滴定法测定混胺燃料中水含量
研究了卡尔费休容量法测定碱性溶液混胺燃料中水含量的条件。分析了碱性物质对水测定的影响,在2~3mL混胺燃料中加入10g的苯甲酸时,混胺燃料的碱性不影响混胺燃料中水的测定结果
期刊
卡尔费休法
混胺燃料
水
吡啶
苯甲酸
Karl Fischer method
amine mixture
water
pyridine
benzoic
北京高校将配食品安全检测设备
不久前,北京市举行了“2013年食品安全宣传周”活动。记者从食品安全宣传周筹备工作组获悉,3年内北京高校将配备数字化食品卫生安全快速检测设备,能快速检测近60种农药残留、食
期刊
食品卫生安全
安全检测设备
北京市
高校
安全宣传
食品添加剂
农药残留
快速检测
基于执行轨迹的软件缺陷定位方法研究
软件中隐含的缺陷数目与可靠性直接相关,软件缺陷定位是移除软件缺陷的关键,缺陷定位的及时性和有效性直接影响软件的可用性。基于执行轨迹的软件缺陷定位能够很好地与自动化测
期刊
软件调试
缺陷定位
执行轨迹
相似度
怀疑率
Software debugging
Fault localization
Execution trace
Sim
与本文相关的学术论文