-
题名随机归约的五步完美零知识证明系统
- 1
-
-
作者
臧斌宇
周玉林
熊鹏荣
朱洪
-
机构
复旦大学并行处理中心
江西上饶师范专科学校数学系
复旦大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第1期82-85,共4页
-
基金
国家自然科学基金
-
文摘
构造了一个完美零知识的五步交互证明系统，该系统不依赖于任何（复杂性和计算能力）假设，在该系统中。
-
关键词
完备性
可靠性
零知识
知识证明系统
算法
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名近性Heyting代数
被引量：17
- 2
-
-
作者
徐晓泉
熊华平
杨金波
-
机构
江西师范大学数学系
上饶师范专科学校数学系
-
出处
《数学年刊（A辑）》
CSCD
北大核心
2000年第2期165-174,共10页
-
基金
国家自然科学基金!(No.19831040
No.19561002)
+1 种基金
江西省主要学科跨世纪学术带头人培养基金
江西省自然科学
-
文摘
本文在有最小元０的Ｈｅｙｔｉｎｇ代数上引入了对偶等价的（半）近性关系和（半）近性序的概念，它们是一般拓扑学中全正则空间上对偶等价的近性关系和近性序的合理推广．本文的工作弥补了Ｇｉｅｒｚ和Ｋｅｉｍｅｌ相应工作的缺陷，更正了他们的一个错误结果。
-
关键词
近性Heyting代数
近性关系
近性序
拓扑
格论
-
分类号
O153
[理学—基础数学]
-
-
题名星形图上无死锁的路径算法
被引量：4
- 3
-
-
作者
石凤仙
熊鹏荣
周玉林
朱洪
-
机构
上海电力学院基础部
上饶师范专科学校数学系
复旦大学计算机系
-
出处
《计算机学报》
EI
CSCD
北大核心
1998年第10期946-951,共6页
-
基金
国家自然科学基金
-
文摘
星形图具有许多良好的拓扑性质，是一种有可能替代传统的超立方体的并行计算互联网络的模型．在本文中，作者针对在星形图这样一种高度规则的网络中，可能产生死锁的问题，对星形图上无死锁的路径算法进行了研究．首先利用星形图中匹配基的性质，给出了从Sn（B）到Sk的正规映射的定义，然后提出了星形图上的两个无死锁受限条件，最后证明了一个满足无死锁受限条件的路径算法．作者还提出了星形图上路径算法的最小无死锁受限条件等，有待于进一步研究．
-
关键词
星形图
死锁
置换圈
匹配基
算法
-
Keywords
Star graph, deadlock, permutation cycle, matched base
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名求平面点集最近点对的一个改进算法
被引量：21
- 4
-
-
作者
周玉林
熊鹏荣
朱洪
-
机构
上饶师范专科学校数学系
复旦大学计算机科学系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第10期956-960,共5页
-
基金
国家自然科学基金
-
文摘
文中对Ｐｒｅｐａｒａｔａ和Ｓｈａｍｏｓ在１９８５年提出的求平面点集最近点对的一个分治算法进行了改进，使原来归并时最多需计算３ｎ对点对的距离，改进为最多只需计算２ｎ对点对的距离，计算距离的复杂度在最坏的情况下由原来的３ｎｌｏｇｎ减少到现在的２ｎｌｏｇｎ．
-
关键词
最近点对
算法复杂性
计算几何
平面点集
-
Keywords
divide and conquer algorithm, the closest pair of points, algorithmic complexity
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
O24
[理学—计算数学]
-
-
题名随机自归约的一个四步零知识证明协议
- 5
-
-
作者
周玉林
熊鹏荣
朱洪
石凤仙
-
机构
上饶师范专科学校数学系
上海复旦大学计算机系
上海电力学院基础部
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第11期1000-1003,共4页
-
基金
国家自然科学基金
-
文摘
文中用位提交（ｂｉｔ－ｃｏｍｍｉｔ）等方法，构造了随机归约的一个四步零知识证明协议，该协议没有附加任何复杂性假设和证明者的计算能力假设，且交互次数最优，适应面更广（二次剩余、离散对数、图同构等问题都在其中）．该协议符合知识和语言的证明系统的完备性、完美零知识性等条件，但它不符合知识和语言的证明系统的可靠性定义．文中给出新的可靠性定义，在实际应用中，该定义是合理的，该协议是可靠的，可用在安全保密，身份识别等系统中．
-
关键词
随机自归约
知识证明协议
计算机
-
Keywords
random self reducibility,knowledge interactive proof system,language membership proof system,completeness,soundness,perfect zero knowledgeClass number TP301
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
