搜索筛选:
搜索耗时0.1095秒,为你在为你在102,285,761篇论文里面共找到 132 篇相符的论文内容
发布年度:
[学位论文] 作者：刘任任,,
来源：中南大学 年份：2004
多值逻辑是计算机科学与技术的一个重要分支。其研究内容大体可分为三个方面,即多值逻辑理论、多值电路与多值数字系统、多值逻辑的应用。 多值逻辑理论中的一个重要问题...
[期刊论文] 作者：刘任任,
来源：湘潭大学自然科学学报 年份：1993
根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。...
[期刊论文] 作者：刘任任,
来源：湘潭大学自然科学学报 年份：1992
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。...
[期刊论文] 作者：刘任任,
来源：湘潭大学自然科学学报 年份：1991
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。...
[期刊论文] 作者：刘任任,
来源：计算机工程与科学 年份：2008
根据部分K值逻辑的完备性理论和相似关系概念，利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。...
[期刊论文] 作者：刘任任,,
来源：计算机工程与科学 年份：2008
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4中的Sheffer函数....
[会议论文] 作者：刘任任,
来源：1999年全国理论计算机科学学术年会 年份：1999
该文讨论了现有的确定有限自动机的化简方法，指出了此方法容易被忽视的疏漏之 处，并提出了一个改进的算法。...
[会议论文] 作者：刘任任,
来源：2001年全国理论计算机科学学术会议 年份：2001
本文证明m=2时,P中的正则可离函数类中满足一定条件的正则可离函数集可以被最小覆盖加的某些准完备集之并所覆盖,即此类正则可离函数集在P中准完备集之最小覆盖中必不出现....
[期刊论文] 作者：李果,刘任任,
来源：软件 年份：2018
地方新闻时常因为传播渠道窄而被忽视,但在特定范围内具有较高的价值。新闻文本中有很多地理空间信息,本文提出了一种基于地名识别的地方新闻分类方法,首先建立地名词典,利用...
[期刊论文] 作者：刘新, 刘任任,,
来源：计算技术与自动化 年份：2005
针对快速排序法在最坏情形下算法效率较低的弊端,提出了一种改进算法,即利用归并法对快速排序进行改造,使其在最坏情况下的性能有了显著的提高....
[期刊论文] 作者：刘新, 刘任任,,
来源：计算机工程与科学 年份：2006
本文为构建离散点的凸包提出了一种改进的分治算法,它在查找每一个凸包顶点的同时,通过去除若干非凸包顶点来迅速减小问题的规模。本文对该算法的正确性给出了严格的证明。...
[期刊论文] 作者：顾思思,刘任任,,
来源：湘潭大学自然科学学报 年份：2007
根据部分X值逻辑的完备性理论和相似关系概念，定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集．...
[期刊论文] 作者：肖凡,刘任任,
来源：湘潭大学自然科学学报 年份：2002
根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。...
[期刊论文] 作者：肖凡,刘任任,
来源：湘潭大学自然科学学报 年份：2001
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现....
[期刊论文] 作者：戴永,刘任任,
来源：湘潭大学自然科学学报 年份：2004
在提出多类关系并存智能门禁工作模型的基础上，通过对门禁匙锁进行概念抽象，匙锁关系数学分类，建立了较为全面的可计算性”匙—锁”多类关系。提出用映射机环节配置方法实现智能......
[期刊论文] 作者：邹潇湘,刘任任,
来源：湘潭大学自然科学学报 年份：1999
设Ｇ为可换群，｜Ｇ｜ｐ＾ｍ（ｐ为质数）。本文给出了一个将Ｇ分解为循环ｐ群的直积的算法，其时间复杂度为Ｑ「（ｎｌｏｇｎ）＾２」，ｎ＝ｐ＾ｍ。...
[期刊论文] 作者：李舒, 刘任任,
来源：长沙交通学院学报 年份：2004
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现....
[期刊论文] 作者：许芬,刘任任,
来源：计算技术与自动化 年份：2006
根据部分多值逻辑的完备性理论，定出部分四值逻辑中4元单纯可离关系，再按照准完备集之间的相似关系概念，对所定出的关系进行分类。...
[期刊论文] 作者：李舒, 刘任任,
来源：计算技术与自动化 年份：2004
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现....
[期刊论文] 作者：周小强,刘任任,
来源：计算技术与自动化 年份：2007
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一，此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之...
相关搜索：
