切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
部分K值逻辑中正则可离函数集的一些结果
部分K值逻辑中正则可离函数集的一些结果
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ch32918
【摘 要】
:
根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2-G2({1,2})U^-G2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是Pk的最小覆盖成员。
【作 者】
:
刘玉珍
刘任任
【机 构】
:
湘潭大学信息工程学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2006年9期
【关键词】
:
多值逻辑
完备性
SHEFFER函数
极大封闭集(准完备集)
最小覆盖
multiple-valued logic
completeness
Sheffer f
【基金项目】
:
国家自然科学基金资助项目(编号:60083001),湖南省自然科学基金资助项目(编号:03JJV3099)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2-G2({1,2})U^-G2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是Pk的最小覆盖成员。
其他文献
电子系专业课程教育面临的挑战与思考
摘要:本文分析讨论了电子专业教学中目前存在的常见问题,主要分三个方面进行分析讨论,包括课程安排和教材选择,教学方法和教学内容。在分析和讨论的基础之上,给出了可能有助于相关问题改善和解决的一些个人的思路和想法。并计划将这些措施应用于未来的教学工作中。 关键词:培养计划;教学方法;电子专业 中图分类号:G642.0 文献标志码:A 文章编号:1674-9324(2015)33-0190-02 一
期刊
培养计划
教学方法
电子专业
数据库网格:基于网格的多数据库系统
近年来,数据网格技术的快速发展为广域分布环境下的海量数据共享提供了强有力的支持。数据库网格是指主要由各种数据库管理系统构成的数据网格环境,其技术难点是在网格环境下研
期刊
数据网格
数据库网格
网格数据库
多数据库
data grid
database grid
grid database
multi-database
苗期甘蔗氮高效基因型评价指标的筛选
本研究通过低氮压力选择,筛选出甘蔗氮高效种质,分析影响甘蔗氮高效的重要指标,为甘蔗氮高效育种及栽培提供理论依据。以58份甘蔗种质资源为材料,在苗期采用正常供氮(2 mmol/
期刊
甘蔗
种质
苗期
氮高效
筛选指标
sugarcanegenotypeseedling stagehigh nitrogen use efficiencyscr
提着粽子走过解放碑
出发正在出发,回归难以回归我路过记忆的右边没有秋天,没有月亮左边扬起的灰尘依旧路面比过去坎坷一些女人比过去混沌一些烈日下,小贩们宛如一条条死鱼一小块阴影也是领袖赌徒制
期刊
粽子
旧路面
回归
口袋
酒
乡镇小学教师信息素养培养现状、问题及对策
教师信息素养包括教师信息意识、信息知识、信息能力和信息道德四方面。通过对乡镇小学教师信息素养现状及问题的分析,研究发现,他们缺少信息素养的培养环境,缺少完整的信息
期刊
信息素养
信息意识
信息知识
信息能力
信息道德
让数学思考贯穿数学课堂
生活中的天平只有两个托盘,而数学思考的世界里天平却有着三个托盘,让数学思考贯穿数学课堂,使三个托盘自然而然地进入学生的思考世界,从而培育学生的实践能力和创新意识。
期刊
天平
次数
思考
用于ODSSs模型表示的描述逻辑
文章介绍了一种描述逻辑作为ODSSs模型管理的模型表示语言,提出了其语法和语义,使用了决策问题的例子采展现它的表达力。描述和分析了概念之间关系的推理算法,所提出的逻辑在为O
期刊
ODSSs
描述逻辑
归类算法
ODSSs
description logic
subsumption algorithm
一种基于光流的障碍物估计算法
移动机器人在行进过程中必须能够检测和躲避障碍物,文章提出了一种使用光流场估计障碍物区域的算法.使用结合从粗到精策略的最小加权二乘法的方法计算光流,从而估计图像序列中可
期刊
光流
障碍物躲避
从粗到精策略
最小加权二乘法
optical flow
obstacle avoidance
coarse-to-fine strateg
中医药治疗小儿夜啼症近况
期刊
儿童
夜啼症
中医药疗法
基于XML构造文法和COM的智能语音导医平台
介绍了如何利用XML作为一种跨平台的数据描述语言的特点,定义与医院业务相关的语音识别文法和语音合成文法,并将COM技术引用到语音导医平台的设计和实现中,以较小的代价实现了导
期刊
COM技术
关键词匹配
语义分析
XML构造文法
COM technique
keyword matching
semantic analysis
XML gr
与本文相关的学术论文