切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果
来源 :海军工程大学学报 | 被引量 : 0次 | 上传用户:ydaf9ta7
【摘 要】
:
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖成员.
【作 者】
:
刘玉珍
刘任任
【机 构】
:
湘潭大学信息工程学院
【出 处】
:
海军工程大学学报
【发表日期】
:
2004年5期
【关键词】
:
多值逻辑
完备性
SHEFFER函数
极大封闭集(准完备集)
最小覆盖
multiple-valued logic completeness Sheffer f
【基金项目】
:
国家自然科学基金,湖南省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖成员.
其他文献
关联维数在齿轮箱振动信号特征提取中的应用
论述了关联维数的基本概念和性质,给出了定量描述分形特征的重要参数--关联维数的计算方法,分析了齿轮箱故障时振动的特点.通过对试验获取的齿轮故障振动信号进行分析计算,确
期刊
关联维数
小波包降噪
齿轮箱
特征提取
correlation dimension wavelet-packet noise reduction gearbox
基于熵权多目标决策的战时物资运输方案优选研究
提出了战时物资运输方案优选问题,分析战时运输的影响因素,提出了评估战时物资运输方案的较有代表性的指标,并给出了具体计算方法.在没有指标权重的情况下,应用熵权多目标决
期刊
熵权
多目标决策
军械物资运输
评估
entropy weight ordnance transportation evaluation
一起因"查卷"引发的行政诉讼案
期刊
行政诉讼
教育局
不予查试卷批改行为
国际反倾销:竞争对手会计的提出与运用
竞争对手会计是在经济全球化和企业生存环境日益不确定的背景下形成和发展的,它通过提供竞争者成本资源、成本结构、产品定价、市场份额、销售利润等财务与非财务信息,并进行
期刊
竞争对手会计
国际贸易
反倾销
应诉机制
信息渠道
竞争情报信息
陇南白马藏族风物传说的主要类型
陇南白马藏族风物传说是陇南白马藏族民族记忆、族群认同以及生活民俗的口述史。本文依据内容和题材的不同,将其分为地方传说、习俗传说和动植物传说三大类,并对这三类传说的文
期刊
陇南白马藏族
风物传说
类型
新型船用气体稳压器启动充气过程的建模及仿真研究
基于船用核动力一体化反应堆结构的需要,建立了新型船用气体稳压器启动充气过程的数学模型,并进行了仿真计算.计算结果表明,该模型能正确地描述该型稳压器实际的启动充气过程
期刊
气体稳压器
启动充气过程
数学模型
仿真计算
gas pressurizerl charging process mathematical model simu
借鉴发达国家经验 加快我国商务领域信用体系建设
2004年5月,商务部组团赴美国和日本就信用服务行业,重点是企业信用服务业的发展状况进行了考察.
期刊
企业信用
信用体系建设
大型跨国公司
行政管理部门
信用管理
信用服务
服务业
立法
领域
借鉴
2005年江苏丹徒区三洲村血吸虫病疫情监测报告
镇江市丹徒区地处长江中下游,是江苏省血吸虫病流行较严重的地区之一,为掌握血吸虫病流行动态和流行规律,2005年高桥镇三洲村被列为全国血吸虫病疫情监测点。按照《全国血吸虫病
期刊
血吸虫病
疫情监测报告
苏丹
疫情监测结果
长江中下游
疫情监测点
流行规律
流行动态
糖尿病低血糖的相关情况综述
糖尿病患者最常见的并发症即为低血糖,低血糖症存在起病急的特点,若是未得到及时的治疗会对患者的生命健康造成较大的威胁。该文旨在对糖尿病低血糖的相关情况进行综述。
期刊
糖尿病
低血糖
相关情况
糖尿病足截肢术中腰丛联合坐骨神经阻滞术的应用
目的探讨糖尿病足截肢术中腰丛联合坐骨神经阻滞术的应用。方法选取2016年1月—2017年1月该院收治的糖尿病足截肢患者90例,随机分为对照组和观察组,每组45例,对照组采用手术
期刊
糖尿病足截肢术
腰丛联合坐骨神经阻滞术
应用
Diabetic foot amputation Lumbar plexus combined with scia
与本文相关的学术论文