湖南省自然科学基金(03JJY3099)
- 作品数：16 被引量：49H指数：5
- 相关作者：刘任任刘玉珍陈建二龚志伟李舒更多>>
- 相关机构：湘潭大学中南大学中南林业科技大学更多>>
- 发文基金：湖南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信文化科学更多>>
- 部分四值逻辑中保二元正则可离关系最小覆盖之确定被引量：1
- 2007年
- 根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员。
- 龚志伟刘任任王日中
- 关键词：多值逻辑SHEFFER函数正则可离关系
- 关于部分四值逻辑中保2元正则可离关系的分类被引量：5
- 2006年
- 根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。
- 龚志伟刘任任
- 关键词：多值逻辑
- 一种改进的构建凸包的分治算法被引量：8
- 2006年
- 本文为构建离散点的凸包提出了一种改进的分治算法,它在查找每一个凸包顶点的同时,通过去除若干非凸包顶点来迅速减小问题的规模。本文对该算法的正确性给出了严格的证明。
- 刘新刘任任
- 关键词：凸包分治法FLOYD算法
- 关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果被引量：8
- 2004年
- 根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.
- 刘玉珍刘任任
- 关键词：多值逻辑SHEFFER函数
- 基于XML的盲用浏览器设计与实现
- 基于XML的盲用浏览器是帮助视力障碍者浏览XML网页而设计的。盲人借助语音导航功能,通过键盘的上下左右键就能浏览XML网站的网页內容?疚闹饕樯芰送ü饔肈OM接口对XML网页进行解析,形成相应树型视图,并调用文本朗读函数进...
- 梁哲炜宋小波赵卫国刘任任
- 关键词：XMLDOM树型视图文本朗读
- 文献传递
- 部分K值逻辑中正则可离函数集的一些结果被引量：3
- 2006年
- 根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。
- 刘玉珍刘任任
- 关键词：多值逻辑SHEFFER函数
- P值逻辑函数的扩散性质
- 2004年
- 满足K次扩散准则的p值逻辑函数在密码设计中有重要应用。该文采用Znp上的置换定出了一类满足2n次扩散准则的p值逻辑函数,即Bent函数;定出了级联函数满足K次扩散准则的充要条件和n元2次p值逻辑函数满足m阶K次扩散准则的充要条件。
- 刘星宝罗铸楷
- 关键词：BENT函数
- 关于部分四值逻辑中3元正则可离关系的分类
- 1 引言多值逻辑函数结构理论中函数系完备性之判定问题是一个基本而重要的问题,同时也是自动机理论,多值逻辑网络中必须解决的问题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集,通常分为完全多值逻辑、部分多值逻辑、一元...
- 龚志伟刘任任
- 文献传递
- 关于q值Bent函数的一些研究
- ＜正＞ 1 引言二值Bent函数是由Rothaus于1976年提出的一类特殊的布尔函数,由于在编码与密码领域中有着重要的应用,受到人们的广泛重视,取得了深人的成果。利用Bent函数可以构造出循环相关伪随机特性都很好的最佳...
- 肖建龙李艳春张鹰
- 文献传递
- 关于部分K值逻辑中的单纯可离函数集性质的一些结果被引量：3
- 2004年
- 在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决。本文对第三类准完备集———单纯可离函数集的性质进行了研究。
- 王婷刘任任
- 关键词：数集SHEFFER函数多值逻辑
