期刊文献+
共找到100篇文章
< 1 2 5 >
每页显示 20 50 100
可行的证明整数是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
一个10维统一混沌系统的降维控制(英文)
2
作者 李坤花 姬小龙 《西北师范大学学报(自然科学版)》 CAS 北大核心 2012年第3期11-17,37,共8页
构造了一个n维统一系统,并研究了它的一些基本性质.为了更直观地研究高维系统的混沌特性,以一个10维统一系统为例,分析了它的基本混沌性质.基于混沌系统的混沌特性,通过控制部分变量达到控制整个系统的目的,使得这类混沌系统的控制问题... 构造了一个n维统一系统,并研究了它的一些基本性质.为了更直观地研究高维系统的混沌特性,以一个10维统一系统为例,分析了它的基本混沌性质.基于混沌系统的混沌特性,通过控制部分变量达到控制整个系统的目的,使得这类混沌系统的控制问题由高维降为低维,从而有效降低了系统控制的复杂度.使用降维错位控制方法将10维混沌系统的混沌特性有效地稳定到不稳定平衡点.最后,通过数值仿真验证了这些方法的有效性. 展开更多
关键词 统一混沌系统 错位控制 降维 不稳定平衡点
在线阅读 下载PDF
参数不确定的分形吕混沌系统的自适应同步
3
作者 李坤花 姬小龙 《兰州理工大学学报》 CAS 北大核心 2013年第3期164-167,共4页
研究参数不确定的分形吕混沌系统的自适应同步.基于分形系统的稳定性理论,分析给出参数不确定的分形吕混沌系统的自适应同步的充分条件.通过数值仿真验证这个方法在分形混沌系统方面的有效性.
关键词 同步 分形 吕混沌系统
在线阅读 下载PDF
碰撞问题中的量词消去算法的并行化研究
4
作者 吴素萍 王定康 《微计算机信息》 北大核心 2007年第32期251-252,293,共3页
机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple系统下量词消去算法的并行化,并针对分布Maple系统的特点以... 机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple系统下量词消去算法的并行化,并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的。 展开更多
关键词 碰撞问题 并行计算 量词消去算法 分布Maple
在线阅读 下载PDF
代理签名研究进展
5
作者 刘卓军 《北京电子科技学院学报》 2007年第2期5-10,4,共7页
代理签名研究的是如何用安全、可靠和高效的方法实现数字签名权利的转移。本文概述了代理签名的概念、分类和安全性,介绍了10多年来代理签名的研究情况,并对未来的发展方向作了展望。
关键词 代理签名 可证安全 多重代理 多重签名
在线阅读 下载PDF
几何约束求解与复杂连杆机构的模拟 被引量:12
6
作者 高小山 张桂芳 杨伟强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第5期517-522,共6页
提出几何约束求解的轨迹相交法 该方法理论上可以给出约束问题的所有数值解 ,实际测试效率也相当高 ,并将该方法用于复杂连杆机构的动态模拟 首先用图论中的最大b 匹配算法将一个连杆机构分解为广义构造序列 ,然后用轨迹相交法求解
关键词 复杂连杆机构 动态模拟 图论 几何约束求解 CAD
在线阅读 下载PDF
参数化CAD中参数的有效范围 被引量:12
7
作者 蒋鲲 朱长才 高小山 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第8期1016-1020,共5页
在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体 提出确定某类二维参数化CAD模型中参数的有效范围的代数算法 该算法的复杂度... 在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体 提出确定某类二维参数化CAD模型中参数的有效范围的代数算法 该算法的复杂度是O(n2 logn) 展开更多
关键词 参数化 CAD 几何实体 几何元素 计算机辅助设计
在线阅读 下载PDF
基于几何约束求解的完备方法 被引量:11
8
作者 林强 高小山 +2 位作者 刘媛媛 陈颖 戴国忠 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第7期828-834,839,共8页
针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束... 针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果. 展开更多
关键词 参数化CAD 智能连杆 几何约束求解
在线阅读 下载PDF
离散曲率约束的三角网格模型拓扑分割算法 被引量:12
9
作者 韩丽 高小山 楚秉智 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第6期831-835,共5页
针对三角形网格模型简化中保持细节特征的要求,提出了依据离散曲率划分三角网格顶点的特性,并结合区域增长法自适应地确定拓扑分支的优化算法.每个顶点根据其相邻面片顶点的曲率值划分属性区域,并在区域生长过程中重复选择K-ring碟形区... 针对三角形网格模型简化中保持细节特征的要求,提出了依据离散曲率划分三角网格顶点的特性,并结合区域增长法自适应地确定拓扑分支的优化算法.每个顶点根据其相邻面片顶点的曲率值划分属性区域,并在区域生长过程中重复选择K-ring碟形区域中具有相似属性值的顶点作为种子.为了有效地探索凸凹形状区域,以曲率极值点作为初始点,提出了有效的区域增长及合并的策略,突出了模型的局部特征和拓扑结构.最后通过一系列实验验证了该算法的快捷性. 展开更多
关键词 高斯曲率 三角网格 区域增长法 拓扑结构
在线阅读 下载PDF
高斯曲率约束的MRG骨架提取优化算法 被引量:15
10
作者 韩丽 楚秉智 高小山 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第9期1227-1231,共5页
三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以... 三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以获取模型表面的双曲极值点作为约束点;并依据约束点及其邻域的μ函数值产生的分裂线进行区域细分,获得子连通区域、确定关节点、形成优化的骨架结构.实验结果表明,该算法有效地突出了模型的拓扑分支特征以及模型表面的细节,提高了骨架提取的精度和效率. 展开更多
关键词 多分辨率Reeb图 离散高斯曲率 骨架提取
在线阅读 下载PDF
数字签名方案中的孤悬因子和冗余数据 被引量:15
11
作者 曹正军 刘木兰 《计算机学报》 EI CSCD 北大核心 2006年第2期249-255,共7页
提出了孤悬因子概念,并明确指出在数字签名设计中必须回避这一现象.此外,还具体分析了5个数字签名协议中出现的孤悬因子及冗余数据,证明了这些协议的不安全性.
关键词 孤悬因子 冗余数据 多重签名 代理签名 盲签名
在线阅读 下载PDF
一种MRG骨架树的三维模型检索方法 被引量:6
12
作者 韩丽 张黎娜 楚秉智 《计算机工程与应用》 CSCD 北大核心 2011年第31期167-170,共4页
根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特... 根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特征,计算模型的相差度。该方法突出了模型的总体拓扑特征以及模型的表面细节,一系列的实验结果验证了其高效性、鲁棒性。 展开更多
关键词 多分辨率Reeb图(MRG) 骨架 离散曲率 三维模型检索
在线阅读 下载PDF
多变量代数理论及其在密码学中的应用 被引量:8
13
作者 王后珍 张焕国 +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
14
作者 蒋鲲 高小山 岳晶岩 《软件学报》 EI CSCD 北大核心 2003年第12期2092-2097,共6页
在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠... 在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便. 展开更多
关键词 参数化CAD 几何约束求解 偶图 DM分解 最大匹配
在线阅读 下载PDF
一种实用的可验证秘密共享方案 被引量:5
15
作者 唐春明 刘卓军 王明生 《计算机工程与应用》 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
16
作者 张艳硕 刘卓军 柴凤娟 《计算机工程与应用》 CSCD 北大核心 2007年第29期8-10,共3页
在秘密共享方案的研究中,一般都进行Shamir门限秘密共享方案的研究,该方案基于多项式插值。论文基于中国剩余定理的参与者权重不同的秘密共享方案,提出了一个基于离散对数问题的困难性的参与者权重不同的防欺诈的动态秘密共享方案。方... 在秘密共享方案的研究中,一般都进行Shamir门限秘密共享方案的研究,该方案基于多项式插值。论文基于中国剩余定理的参与者权重不同的秘密共享方案,提出了一个基于离散对数问题的困难性的参与者权重不同的防欺诈的动态秘密共享方案。方案中每个参与者的子秘密可多次使用,秘密更新时,无需更新参与者的子秘密,并且可以灵活地增加或删除。 展开更多
关键词 秘密共享 权重不同 中国剩余定理 离散对数 欺诈
在线阅读 下载PDF
构造两个曲面的拼接曲面 被引量:14
17
作者 程进三 高小山 《工程图学学报》 CSCD 北大核心 2005年第1期39-44,共6页
给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预... 给出了当两个待拼接曲面的拼接线具有参数化形式或者可以参数化时,它们之间 G1光滑拼接曲面的构造方法。所得的拼接曲面是由一个空间曲线集定义的,每一条空间曲线由拼接线上的点对确定。并且拼接曲面都是参数曲面,它们的形状可以通过预设的参数很好地调整和控制。作为实例,讨论了两个截口是平面的或非平面的(由两个二次曲面定义)的二次曲面之间的拼接曲面的构造和一般的参数曲面的拼接曲面的构造。 展开更多
关键词 计算机应用 曲面拼接 参数曲面 BEZIER曲线
在线阅读 下载PDF
一个基于强RSA数字签名方案的改进 被引量:6
18
作者 曹正军 刘木兰 《计算机学报》 EI CSCD 北大核心 2006年第9期1617-1621,共5页
该文改进了Zhu等人的基于强RSA的数字签名方案.原方案在系统建立阶段必须选取QRn中的三个生成元,并且签名人在签名阶段还必须选取一个固定长度的素数.改进方案只需选取两个生成元,而且只需选取一个固定长度的奇数.新方案的计算量约是原... 该文改进了Zhu等人的基于强RSA的数字签名方案.原方案在系统建立阶段必须选取QRn中的三个生成元,并且签名人在签名阶段还必须选取一个固定长度的素数.改进方案只需选取两个生成元,而且只需选取一个固定长度的奇数.新方案的计算量约是原方案的1/2.在强RSA假设下,文中分析了改进方案的安全性. 展开更多
关键词 强RSA假设 生成元 自适应选择消息攻击 存在型伪造
在线阅读 下载PDF
多变元Hash函数的构造与分析 被引量:4
19
作者 王后珍 张焕国 杨飏 《电子学报》 EI CAS CSCD 北大核心 2011年第1期237-241,共5页
本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数... 本文在基于非线性多变元多项式方程组难解性的基础上,提出了一种新的Hash算法,新算法与目前广泛使用的Hash算法相比具有下列优点:安全性基于一个公认的数学难题;输出Hash值长度可变;引入了整体随机性,从一族Hash函数中随机选择Hash函数而不是随机化消息本身;设计自动化,用户可根据实际需求构造满足其特定要求的Hash函数.本文还详细讨论了新Hash算法的安全性、效率和性能,并通过仿真实验,指出了新算法的具体构造方法.实验结果表明,新算法在效率和性能方面与其它Hash函数具有可比性. 展开更多
关键词 密码学 HASH函数 MQ问题 多变元多项式
在线阅读 下载PDF
参与者有权重的动态多重秘密广义门限方案 被引量:5
20
作者 张艳硕 刘卓军 《北京邮电大学学报》 EI CAS CSCD 北大核心 2008年第1期130-134,共5页
基于中国剩余定理,提出了一个特殊权限下的参与者有权重的动态多重秘密广义门限共享方案,该方案通过1次秘密共享就可以实现对任意多个秘密的共享.方案中每个参与者的子秘密可以多次使用,共享秘密更新时,无需更新参与者的子秘密,同时,可... 基于中国剩余定理,提出了一个特殊权限下的参与者有权重的动态多重秘密广义门限共享方案,该方案通过1次秘密共享就可以实现对任意多个秘密的共享.方案中每个参与者的子秘密可以多次使用,共享秘密更新时,无需更新参与者的子秘密,同时,可以灵活地增加或者删除某个参与者. 展开更多
关键词 特殊权限 门限秘密共享 多重秘密 权重不同 动态
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部