【摘 要】
:
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共
【机 构】
:
中南林业科技大学理学院,湘潭大学信息与工程学院,中南大学信息科学与工程学院
【基金项目】
:
国家自然科学基金资助项目(60083001),湖南省自然科学基金资助项目(03JJY3099)
论文部分内容阅读
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员。
其他文献
1.比较任务比较任务是指出相同点和不同点。例如在阅读SB1,Lesson10时,先让学生相互讨论美国英语和英国英语的不同之处,然后阅读课文,在语篇中找出差异,并举例,加深他们对这
社区是社会的细胞,生活的家园。江西省湖口县大岭社区在创建绿色社区,构建和谐社会方面做出了有益尝试。他们以创建绿色家庭,文明楼院为载体,广泛开展环保文化、家庭文化、楼院文
为统一和规范国家高速公路网路线命名和编号,要求对相关标志进行更换优化。《国家高速公路网相关标志更换工作实施技术指南》提供了粘贴反光膜、更换板面、移位、新增加、拆除
随着我国经济社会水平的提高、经济步伐的推进,我国的交通事业在这个过程中得到了很大程度的发展。其中,连续梁拱组合桥梁就是我国当今桥梁建设中非常重要的一个类型,近几年
随着国家经济飞速发展,我国在交通体系建设方面得投入越来越多,对于一个地区的经济发展来说交通水平直接影响到发展速度,对于整个国家来说也是如此,我国目前在交通体系建设方
画面中那个干瘦的老头名叫约翰,出生于澳大利亚墨尔本。1985年,他获得到香港工作的机会。在香港的16年里,他努力学习中文,并在社区当志愿者,为此还给自己取了一个中文名字:胡颂恒。
一次到郑州出差,我去拜访在这座城市工作的海。我和海是同学。从小学一年级到初中毕业,我俩都同班。后来,我们一同走进县城惟一的重点高中,依旧亲如兄弟,每逢周末,总是一块骑自行车
在分析普通GPS导航系统的工作原理及优缺点的基础上,研究开发出一种基于动态交通信息的GPS导航系统,该系统通过对动态交通信息的采集、分析,结合电子地图和定位系统,产生运行时间短、道路畅通的导航线路,可有效提高通行质量,也可在一定程度上缓解交通拥堵问题。
高职学生的口语教学在提高高职学生英语实用能力上发挥着十分重要的作用,如何提高高职学生口语水平的问题也日益突出。以教学实践中的口语教学实例,运用哈默的ESA理论,分析运
在中国的救灾思想中,在较长时间内占主体地位的当属消极救济思想。即只主张进行灾后救济或补救的思想,这是中国古代重要的救灾思想。这种思想的实质是灾前不应有作为,一旦灾害发