可行的证明整数是Blum数的零知识证明系统 被引量：1

1

作者 唐春明 刘卓军 王明生 《计算机研究与发展》 EI CSCD 北大核心 2006年第z2期1-4,共4页

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blu... Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统是未知的.基于Σ-协议,构造了证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统,而且,也构造了证明秘密整数是具有pk11qk21(其中k1和k2至少有一个大于1)形式的Blum整数的零知识证明系统. 展开更多

关键词 Blum整数 承诺 零知识证明

在线阅读 下载PDF 职称材料

参数不确定的分形吕混沌系统的自适应同步

2

作者 李坤花 姬小龙 《兰州理工大学学报》 CAS 北大核心 2013年第3期164-167,共4页

研究参数不确定的分形吕混沌系统的自适应同步.基于分形系统的稳定性理论,分析给出参数不确定的分形吕混沌系统的自适应同步的充分条件.通过数值仿真验证这个方法在分形混沌系统方面的有效性.

关键词 同步 分形 吕混沌系统

在线阅读 下载PDF 职称材料

几何约束求解与复杂连杆机构的模拟 被引量：12

3

作者 高小山 张桂芳 杨伟强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第5期517-522,共6页

提出几何约束求解的轨迹相交法 该方法理论上可以给出约束问题的所有数值解 ,实际测试效率也相当高 ,并将该方法用于复杂连杆机构的动态模拟 首先用图论中的最大b 匹配算法将一个连杆机构分解为广义构造序列 ,然后用轨迹相交法求解

关键词 复杂连杆机构 动态模拟 图论 几何约束求解 CAD

在线阅读 下载PDF 职称材料

参数化CAD中参数的有效范围 被引量：12

4

作者 蒋鲲 朱长才 高小山 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第8期1016-1020,共5页

在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体 提出确定某类二维参数化CAD模型中参数的有效范围的代数算法 该算法的复杂度... 在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体 提出确定某类二维参数化CAD模型中参数的有效范围的代数算法 该算法的复杂度是O(n2 logn) 展开更多

关键词 参数化 CAD 几何实体 几何元素 计算机辅助设计

在线阅读 下载PDF 职称材料

基于几何约束求解的完备方法 被引量：11

5

作者 林强 高小山 +2 位作者 刘媛媛 陈颖 戴国忠 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第7期828-834,839,共8页

针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束... 针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果. 展开更多

关键词 参数化CAD 智能连杆 几何约束求解

在线阅读 下载PDF 职称材料

离散曲率约束的三角网格模型拓扑分割算法 被引量：12

6

作者 韩丽 高小山 楚秉智 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第6期831-835,共5页

针对三角形网格模型简化中保持细节特征的要求,提出了依据离散曲率划分三角网格顶点的特性,并结合区域增长法自适应地确定拓扑分支的优化算法.每个顶点根据其相邻面片顶点的曲率值划分属性区域,并在区域生长过程中重复选择K-ring碟形区... 针对三角形网格模型简化中保持细节特征的要求,提出了依据离散曲率划分三角网格顶点的特性,并结合区域增长法自适应地确定拓扑分支的优化算法.每个顶点根据其相邻面片顶点的曲率值划分属性区域,并在区域生长过程中重复选择K-ring碟形区域中具有相似属性值的顶点作为种子.为了有效地探索凸凹形状区域,以曲率极值点作为初始点,提出了有效的区域增长及合并的策略,突出了模型的局部特征和拓扑结构.最后通过一系列实验验证了该算法的快捷性. 展开更多

关键词 高斯曲率 三角网格 区域增长法 拓扑结构

在线阅读 下载PDF 职称材料

高斯曲率约束的MRG骨架提取优化算法 被引量：15

7

作者 韩丽 楚秉智 高小山 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第9期1227-1231,共5页

三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以... 三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以获取模型表面的双曲极值点作为约束点;并依据约束点及其邻域的μ函数值产生的分裂线进行区域细分,获得子连通区域、确定关节点、形成优化的骨架结构.实验结果表明,该算法有效地突出了模型的拓扑分支特征以及模型表面的细节,提高了骨架提取的精度和效率. 展开更多

关键词 多分辨率Reeb图 离散高斯曲率 骨架提取

在线阅读 下载PDF 职称材料

数字签名方案中的孤悬因子和冗余数据 被引量：15

8

作者 曹正军 刘木兰 《计算机学报》 EI CSCD 北大核心 2006年第2期249-255,共7页

提出了孤悬因子概念,并明确指出在数字签名设计中必须回避这一现象.此外,还具体分析了5个数字签名协议中出现的孤悬因子及冗余数据,证明了这些协议的不安全性.

关键词 孤悬因子 冗余数据 多重签名 代理签名 盲签名

在线阅读 下载PDF 职称材料

一种MRG骨架树的三维模型检索方法 被引量：6

9

作者 韩丽 张黎娜 楚秉智 《计算机工程与应用》 CSCD 北大核心 2011年第31期167-170,共4页

根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特... 根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特征,计算模型的相差度。该方法突出了模型的总体拓扑特征以及模型的表面细节,一系列的实验结果验证了其高效性、鲁棒性。 展开更多

关键词 多分辨率Reeb图(MRG) 骨架 离散曲率 三维模型检索

在线阅读 下载PDF 职称材料

多变量代数理论及其在密码学中的应用 被引量：8

10

作者 王后珍 张焕国 +1 位作者 管海明 伍前红 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期627-634,共8页

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流... 介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流密码)中的应用;对MQ密码的研究前景进行了展望,并归纳出了一系列值得研究的开放问题. 展开更多

关键词 密码学 多变量公钥密码 MQ问题 流密码 哈希函数

在线阅读 下载PDF 职称材料

参数化模型欠、过和完整约束的判定算法 被引量：6

11

作者 蒋鲲 高小山 岳晶岩 《软件学报》 EI CSCD 北大核心 2003年第12期2092-2097,共6页

在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠... 在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便. 展开更多

关键词 参数化CAD 几何约束求解 偶图 DM分解 最大匹配

在线阅读 下载PDF 职称材料

一种实用的可验证秘密共享方案 被引量：5

12

作者 唐春明 刘卓军 王明生 《计算机工程与应用》 CSCD 北大核心 2006年第15期129-133,148,共6页

在秘密共享方案中,如果庄家选择的多项式f(x)=∑r-1i=0aixi含有零系数项,也就是某些ai=0,那么不诚实的庄家有可能构造一个门限为t'(<t)的秘密共享方案。文章构造了怎样证明f(x)是一个不包含零项多项式的统计零知识证明系统,并基... 在秘密共享方案中,如果庄家选择的多项式f(x)=∑r-1i=0aixi含有零系数项,也就是某些ai=0,那么不诚实的庄家有可能构造一个门限为t'(<t)的秘密共享方案。文章构造了怎样证明f(x)是一个不包含零项多项式的统计零知识证明系统,并基于这个系统和Pedersen的可验证秘密共享方案,提出了一个在信息理论意义上安全的能够防止庄家构造门限为t'的可验证秘密共享方案。 展开更多

关键词 秘密共享 可验证秘密共享 统计零知识证明 Pedersen方案

在线阅读 下载PDF 职称材料

参与者权重不同的防欺诈的动态秘密共享方案 被引量：5

13

作者 张艳硕 刘卓军 柴凤娟 《计算机工程与应用》 CSCD 北大核心 2007年第29期8-10,共3页

在秘密共享方案的研究中,一般都进行Shamir门限秘密共享方案的研究,该方案基于多项式插值。论文基于中国剩余定理的参与者权重不同的秘密共享方案,提出了一个基于离散对数问题的困难性的参与者权重不同的防欺诈的动态秘密共享方案。方... 在秘密共享方案的研究中,一般都进行Shamir门限秘密共享方案的研究,该方案基于多项式插值。论文基于中国剩余定理的参与者权重不同的秘密共享方案,提出了一个基于离散对数问题的困难性的参与者权重不同的防欺诈的动态秘密共享方案。方案中每个参与者的子秘密可多次使用,秘密更新时,无需更新参与者的子秘密,并且可以灵活地增加或删除。 展开更多

关键词 秘密共享 权重不同 中国剩余定理 离散对数 欺诈

在线阅读 下载PDF 职称材料

构造两个曲面的拼接曲面 被引量：14

14

作者 程进三 高小山 《工程图学学报》 CSCD 北大核心 2005年第1期39-44,共6页

给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预... 给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预设的参数很好地调整和控制。作为实例,讨论了两个截口是平面的或非平面的(由两个二次曲面定义)的二次曲面之间的拼接曲面的构造和一般的参数曲面的拼接曲面的构造。 展开更多

关键词 计算机应用 曲面拼接 参数曲面 BEZIER曲线

在线阅读 下载PDF 职称材料

一个基于强RSA数字签名方案的改进 被引量：6

15

作者 曹正军 刘木兰 《计算机学报》 EI CSCD 北大核心 2006年第9期1617-1621,共5页

该文改进了Zhu等人的基于强RSA的数字签名方案.原方案在系统建立阶段必须选取QRn中的三个生成元,并且签名人在签名阶段还必须选取一个固定长度的素数.改进方案只需选取两个生成元,而且只需选取一个固定长度的奇数.新方案的计算量约是原... 该文改进了Zhu等人的基于强RSA的数字签名方案.原方案在系统建立阶段必须选取QRn中的三个生成元,并且签名人在签名阶段还必须选取一个固定长度的素数.改进方案只需选取两个生成元,而且只需选取一个固定长度的奇数.新方案的计算量约是原方案的1/2.在强RSA假设下,文中分析了改进方案的安全性. 展开更多

关键词 强RSA假设 生成元 自适应选择消息攻击 存在型伪造

在线阅读 下载PDF 职称材料

多变元Hash函数的构造与分析 被引量：4

16

作者 王后珍 张焕国 杨飏 《电子学报》 EI CAS CSCD 北大核心 2011年第1期237-241,共5页

本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数... 本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数而不是随机化消息本身;设计自动化,用户可根据实际需求构造满足其特定要求的Hash函数.本文还详细讨论了新Hash算法的安全性、效率和性能,并通过仿真实验,指出了新算法的具体构造方法.实验结果表明,新算法在效率和性能方面与其它Hash函数具有可比性. 展开更多

关键词 密码学 HASH函数 MQ问题 多变元多项式

在线阅读 下载PDF 职称材料

共形几何代数——几何代数的新理论和计算框架 被引量：38

17

作者 李洪波 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第11期2383-2393,共11页

共形几何代数是一个新的几何表示和计算工具.作为几何的高级不变量和协变量系统的结合,它为经典几何提供了统一和简洁的齐性代数框架,以及高效的展开、消元和化简算法,从而可以进行极其复杂的符号几何计算,在几何建模与计算方面表现出... 共形几何代数是一个新的几何表示和计算工具.作为几何的高级不变量和协变量系统的结合,它为经典几何提供了统一和简洁的齐性代数框架,以及高效的展开、消元和化简算法,从而可以进行极其复杂的符号几何计算,在几何建模与计算方面表现出很大的优势.主要讲述共形几何代数的产生背景和意义,共形几何代数的数学理论和它最有特色的几个部分,包括Grassmann结构、统一几何表示和旋量作用、基本不变量系统和高级不变量系统、新的计算思想、展开和化简技术等. 展开更多

关键词 共形几何代数 几何语言 几何建模 几何计算 零括号代数

在线阅读 下载PDF 职称材料

一类多参数的曲线细分格式 被引量：4

18

作者 申立勇 黄章进 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第4期468-472,479,共6页

构造了一类收敛的多参数差分格式,根据细分格式和差分格式的关系以及连续性条件可得到任意阶连续的多参数曲线细分格式.通过选取合适的参数可以得到一些经典的曲线细分格式,如Chaikin格式、三次样条细分格式和四点插值格式等;同时设计... 构造了一类收敛的多参数差分格式,根据细分格式和差分格式的关系以及连续性条件可得到任意阶连续的多参数曲线细分格式.通过选取合适的参数可以得到一些经典的曲线细分格式,如Chaikin格式、三次样条细分格式和四点插值格式等;同时设计了一种C1连续的不对称三点插值格式,可以生成不对称的极限曲线.给出了同阶差分格式线性组合的性质,从而可设计出更多收敛的多参数曲线细分格式. 展开更多

关键词 生成多项式 细分格式 差分格式

在线阅读 下载PDF 职称材料

特殊权限下权重不同参与者的广义门限方案 被引量：2

19

作者 张艳硕 刘卓军 杜耀刚 《计算机工程与应用》 CSCD 北大核心 2007年第17期15-17,20,共4页

在秘密共享案中,一般集中于(n,t)门限秘密共享方案的研究。文中给出的是具有特殊权限的参与者权重不同的(m+n1+n2+…+nl,t+)门限秘密共享方案和(m+n1+…+nl,t+)门限秘密共享方案,它们是(m+n,t+1)门限秘密共享方案的推广形式。基于中国... 在秘密共享案中,一般集中于(n,t)门限秘密共享方案的研究。文中给出的是具有特殊权限的参与者权重不同的(m+n1+n2+…+nl,t+)门限秘密共享方案和(m+n1+…+nl,t+)门限秘密共享方案,它们是(m+n,t+1)门限秘密共享方案的推广形式。基于中国剩余定理分别给出具有特殊权限的且参与者具有不同权重的(m+n1+n2+…+nl,t+)门限秘密共享方案和(m+n1+…+nl,t+)门限秘密共享方案。 展开更多

关键词 特殊权限 门限秘密共享 权重不同 中国剩余定理

在线阅读 下载PDF 职称材料

共形几何代数与几何不变量的代数运算 被引量：21

20

作者 李洪波 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第7期902-911,共10页

几何不变量的使用是计算机视觉和图形学的一个重要手段.发现一个不变量后,如何找到它与其他不变量的关系,是实际应用中的一个重要问题,这种关系的探讨主要依靠在不变量层次上的代数运算.文中介绍了共形几何代数中的基本、高级和有理不... 几何不变量的使用是计算机视觉和图形学的一个重要手段.发现一个不变量后,如何找到它与其他不变量的关系,是实际应用中的一个重要问题,这种关系的探讨主要依靠在不变量层次上的代数运算.文中介绍了共形几何代数中的基本、高级和有理不变量如何在几何问题中自然出现,它们之间如何进行代数运算,以及如何通过不变量的化简,自然地得到几何条件的充分必要化和几何定理的完全化.几何定理的机器证明作为几何定理完全化的副产品,被发展成几何定理的关系定量化,这种量化的几何还原就是几何定理的自然推广.几何不变量之间的几何关系的计算是这些技术的一个具体应用. 展开更多

关键词 共形几何代数 零括号代数 几何不变量 几何计算 几何还原

在线阅读 下载PDF 职称材料