中国科学院数学与系统科学研究院数学机械化重点实验室
- 作品数：105 被引量：319H指数：11
- 相关作者：闫振亚王定康张梅潘彦斌冯如勇更多>>
- 相关机构：辽宁师范大学计算机与信息技术学院武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金教育部留学回国人员科研启动基金更多>>
- 相关领域：自动化与计算机技术理学电子电信金属学及工艺更多>>
- 参数曲线的隐式化被引量：1
- 2007年
- 给出了多项式参数方程定义的参数曲线的有效隐式化算法,此算法主要是基于矩阵理论。首先,给出的是所求隐式方程次数的上界及其隐式方程的一般表示,并由构造的隐式矩阵的零向量,进一步得到了所求隐式方程的所有系数,从而得到了参数曲线的隐式方程。文中给出的一些例子详细证明了该算法的准确性和有效性。
- 孙永利于建平马玉杰夏纯
- 一类基于图上随机游动的密钥共享体制被引量：3
- 2007年
- 通过图上的随机游动构造了一个具有随机重构算法的密钥共享体制,该重构算法的空间复杂度由一般的多项式级别降低到对数级别,同时保持时间复杂度没有增加.另外,由该密钥共享体制可以诱导出一类具有特殊性质的线性码,进而构造出新的密钥共享体制以实现较好的存取结构.基于这个密钥共享体制可以设计一个具体的具有统计安全性的安全多方计算协议,而这一方面已知的例子并不多.
- 刘木兰肖亮亮张志芳
- 关键词：线性码
- 二维格的覆盖半径被引量：1
- 2012年
- 求格的覆盖半径是一个经典的困难问题,当格的维数不固定时,这个问题还没有非确定性的多项式时间的算法.已知的算法都是通过求Voronoi cell来计算覆盖半径,对于二维格,文章利用高斯算法给出了一个确定性的多项式时间的算法来求覆盖半径以及deepholes.
- 姜宇鹏邓映蒲潘彦斌
- 关键词：DEEPHOLE
- 可验证的多等级门限多秘密共享方案被引量：2
- 2009年
- 目前的多等级门限共享方案中,高等级用户的作用可以被若干个低等级用户联合取代,而多秘密门限共享方案中,所有秘密只能在同一级门限下共享。为克服这两个问题,利用Birkhoff插值法和离散对数的困难性,提出了一个可认证的多等级门限多秘密共享方案。该方案可以同时划分多个等级,而每级门限下可以共享多个秘密。每个参与者只需持有一个子秘密,方便管理与使用。
- 毛颖颖毛明张艳硕
- 关键词：离散对数
- 基于轮廓线的三维网格曲面绘制
- 2010年
- 在融合了交互式轮廓绘制与网格造型技术的基础上,提出了一种快速三维网格曲面建模方法。根据绘制轮廓线的特征点分布,进行约束化三角网格剖分,提取二维轮廓线的骨架;选取骨架点和采样点投影到三维空间椭球曲面,并引入二面角原则,优化了空间离散数据点的三角化算法;最后缝合骨架点,获得三维网格曲面表示。实验结果表明了该算法的直观性、高效性。
- 韩丽刘杰
- 关键词：网格曲面三角化
- 参与者有权重的动态多重秘密广义门限方案被引量：6
- 2008年
- 基于中国剩余定理,提出了一个特殊权限下的参与者有权重的动态多重秘密广义门限共享方案,该方案通过1次秘密共享就可以实现对任意多个秘密的共享.方案中每个参与者的子秘密可以多次使用,共享秘密更新时,无需更新参与者的子秘密,同时,可以灵活地增加或者删除某个参与者.
- 张艳硕刘卓军
- 关键词：特殊权限门限秘密共享
- 基于骨架关节点约束的交互式局部变形被引量：1
- 2011年
- 利用广义元球变形技术,提出一种基于骨架关节点约束的交互式局部变形方法。该方法提取多边形网格模型的骨架关节点并结合模型骨架图结构确定骨架关节点对应的局部区域,计算三维网格点到骨架节点的欧式距离,将约束区域的最大欧氏距离作为约束半径,得到各骨架节点对应的势函数值,通过控制骨架节点的空间位置给出三角形面片点的新坐标位置。实验结果表明,该方法有效保持多边形网络模型的局部特征,并确保了模型变形的直观性和高效性。
- 韩丽辛锋楚秉智
- 关键词：REEB图
- 一种MRG骨架树的三维模型检索方法被引量：6
- 2011年
- 根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特征,计算模型的相差度。该方法突出了模型的总体拓扑特征以及模型的表面细节,一系列的实验结果验证了其高效性、鲁棒性。
- 韩丽张黎娜楚秉智
- 关键词：离散曲率三维模型检索
- 关于Cayley分解的一个注解
- 2009年
- 对于任意长度r≥3的齐次括号多项式,一定存在括号单项式,使之Cayley可分解的结论已被证明,然而却没有给出任何有关该单项式的性质,为此通过几个反例证明了这种括号单项式具有即使是次数最低的也不一定是唯一的性质.
- 沈亚良杜娟
- 关键词：射影几何
- 涉及坐标变换的微分多项式在求和约定下的化简和标准型
- 2009年
- 在n维微分几何中,基本的几何结构和性质常常用Einstein求和约定的带指标函数局部刻画.这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,但直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等.这是计算机代数里的一个挑战性问题.本文针对一种典型的框架:当涉及的坐标变换矩阵的偏导不超过二次时(例如普通的曲率和挠率的局部计算),提出了一个能消去指标多项式中所有冗余指标的消元算法,以及一个将指标多项式化为标准型,从而能完全判定两个指标多项式是否相等的算法.我们在Maple10中实现了以上算法,并用于研究微分几何中的张量判定等坐标变换下的规律问题.
- 刘姜李洪波曹源昊
- 关键词：机器证明微分几何
