论文部分内容阅读
根据部分K值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离关系G2=G2（{1，2}）∪G^-2之关系图的基础图仅为N图．则T（G2）不是PK的最小覆盖成员。
部分K值逻辑中最小覆盖之判定的一些结果
【摘 要】
：
根据部分K值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离关系G2=G2（{1，2}）∪G^-2之关系图的基础图仅为N图．则T（G2）不是PK的最小覆盖成员。
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年23期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60083001）湖南省自然科学基金（the NaturalScience Foundation of Hunan Province of China under Grant No.03JJY3099）（划块类型）.
其他文献
通过RT-PCR技术从猪肝脏总RNA中扩增出Hepcidin基因的编码序列,将该序列及其推导的氨基酸序列与其它17个已知物种的相应序列进行同源性分析,并构建系统进化树。结果表明,克隆
摘要：根据独立学院应用型人才培养模式，结合人才培养方案，针对工程结构抗震课程教学的现状和问题，提出了在教学改革中的一些有益的设想与建议，对指导今后的工作有一定的借鉴作用。 关键词：结构抗震；教学改革；概念设计 中图分类号：G642.0 文献标志码：A 文章编号：1674-9324（2015）15-0072-02 一、引言 中国是地震多发的国家之一，许多地區都位于地震区。因此，为了满足工程建
针对网格资源共享的自治性、异构性、分布性和并行性,在考虑网格资源管理及结点行为特点的基础上,建立了网格资源竞价博弈模型,进而提出了一种基于博弈论的资源共享的协同算
介绍了壳聚糖的研究概况、来源与结构、生物学作用机理等,综述了壳聚糖对反刍动物脂肪代谢、抗菌抑菌作用、免疫功能、瘤胃发酵、生产性能等方面的影响,以期为壳聚糖在反刍动
“好的开始是成功的一半”。一堂课伊始,恰当地利用信息技术将“声、色、画、乐”聚于一体,不仅能刺激学生的感官,迅速集中注意力,使学生快速、高效地获取知识,还能使学生各
在小学数学教学中,培养小学生的学习兴趣,需要教师创设生动有趣的情景,以此来调动他们的学习兴趣,引导学生共同参与其中,提升数学教学效率。由此现代教学理论与教学实践都告