论文部分内容阅读
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖成员.
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果
【摘 要】
：
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖成员.
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
海军工程大学学报
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金，湖南省自然科学基金
其他文献
论述了关联维数的基本概念和性质,给出了定量描述分形特征的重要参数--关联维数的计算方法,分析了齿轮箱故障时振动的特点.通过对试验获取的齿轮故障振动信号进行分析计算,确
提出了战时物资运输方案优选问题,分析战时运输的影响因素,提出了评估战时物资运输方案的较有代表性的指标,并给出了具体计算方法.在没有指标权重的情况下,应用熵权多目标决
竞争对手会计是在经济全球化和企业生存环境日益不确定的背景下形成和发展的,它通过提供竞争者成本资源、成本结构、产品定价、市场份额、销售利润等财务与非财务信息,并进行
陇南白马藏族风物传说是陇南白马藏族民族记忆、族群认同以及生活民俗的口述史。本文依据内容和题材的不同，将其分为地方传说、习俗传说和动植物传说三大类，并对这三类传说的文
基于船用核动力一体化反应堆结构的需要,建立了新型船用气体稳压器启动充气过程的数学模型,并进行了仿真计算.计算结果表明,该模型能正确地描述该型稳压器实际的启动充气过程
2004年5月,商务部组团赴美国和日本就信用服务行业,重点是企业信用服务业的发展状况进行了考察.
镇江市丹徒区地处长江中下游，是江苏省血吸虫病流行较严重的地区之一，为掌握血吸虫病流行动态和流行规律，2005年高桥镇三洲村被列为全国血吸虫病疫情监测点。按照《全国血吸虫病
糖尿病患者最常见的并发症即为低血糖,低血糖症存在起病急的特点,若是未得到及时的治疗会对患者的生命健康造成较大的威胁。该文旨在对糖尿病低血糖的相关情况进行综述。
目的探讨糖尿病足截肢术中腰丛联合坐骨神经阻滞术的应用。方法选取2016年1月—2017年1月该院收治的糖尿病足截肢患者90例,随机分为对照组和观察组,每组45例,对照组采用手术