咨询与建议

限定检索结果

文献类型

  • 59 篇 期刊文献
  • 11 篇 会议

馆藏范围

  • 70 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 42 篇 工学
    • 24 篇 计算机科学与技术...
    • 16 篇 网络空间安全
    • 11 篇 机械工程
    • 10 篇 软件工程
    • 5 篇 建筑学
    • 3 篇 控制科学与工程
    • 1 篇 航空宇航科学与技...
  • 32 篇 理学
    • 30 篇 数学
    • 2 篇 物理学
    • 1 篇 系统科学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 5 篇 艺术学
    • 5 篇 设计学(可授艺术学...
  • 4 篇 军事学
    • 4 篇 军队指挥学

主题

  • 4 篇 代理签名
  • 4 篇 数学机械化
  • 4 篇 示性变换
  • 3 篇 骨架
  • 2 篇 离散曲率
  • 2 篇 多分辨率reeb图(m...
  • 2 篇 三维模型检索
  • 2 篇 零知识证明
  • 2 篇 几何代数
  • 2 篇 可验证秘密共享
  • 2 篇 su(3)规范场
  • 2 篇 几何计算
  • 2 篇 符号计算
  • 2 篇 承诺
  • 2 篇 博弈论
  • 2 篇 多重签名
  • 2 篇 多分辨率reeb图
  • 2 篇 算法
  • 2 篇 代数方程组
  • 2 篇 代数和

机构

  • 51 篇 中国科学院数学与...
  • 7 篇 辽宁师范大学
  • 4 篇 北京科技大学
  • 4 篇 中国科学院大学
  • 4 篇 中国科学院数学与...
  • 3 篇 广州大学
  • 3 篇 中国科学院数学与...
  • 3 篇 中国科学院数学与...
  • 3 篇 上海大学
  • 2 篇 清华大学
  • 2 篇 西安电子科技大学
  • 2 篇 华东师范大学
  • 2 篇 中国科学院自动化...
  • 2 篇 中国科学院数学与...
  • 1 篇 数学机械化重点实...
  • 1 篇 美国普渡大学
  • 1 篇 中国科学院沈阳自...
  • 1 篇 河南科技大学
  • 1 篇 中国科学院系统控...
  • 1 篇 中国科学院数学与...

作者

  • 10 篇 高小山
  • 8 篇 刘卓军
  • 8 篇 刘木兰
  • 7 篇 韩丽
  • 6 篇 曹正军
  • 6 篇 李洪波
  • 6 篇 楚秉智
  • 6 篇 石赫
  • 5 篇 唐春明
  • 4 篇 冯秀涛
  • 4 篇 王定康
  • 3 篇 谭作文
  • 3 篇 袁春明
  • 3 篇 张志芳
  • 3 篇 潘彦斌
  • 3 篇 王明生
  • 3 篇 张凡
  • 2 篇 刘国平
  • 2 篇 邓映蒲
  • 2 篇 张黎娜

语言

  • 70 篇 中文
检索条件"机构=中国科学院数学与系统科学研究院系统所数学机械化重点实验室"
70 条 记 录,以下是21-30 订阅
排序:
一种MRG骨架树的三维模型检索方法
收藏 引用
计算机工程与应用 2011年 第31期47卷 167-170页
作者: 韩丽 张黎娜 楚秉智 辽宁师范大学计算机与信息技术学院 辽宁大连116029 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
根据多分辨率Reeb图(MRG)原理,依据测地线函数分割模型,有效地提取反映模型拓扑结构的Reeb图骨架。进而,映射Reeb图为树结构,分析各骨架节点的拓扑属性,并提取其相应区域的离散曲率信息作为局部形状属性。最终,有效结合拓扑和几何形状特... 详细信息
来源: 评论
基于骨架关节点约束的交互式局部变形
收藏 引用
计算机工程 2011年 第11期37卷 231-233页
作者: 韩丽 辛锋 楚秉智 辽宁师范大学计算机与信息技术学院 辽宁大连116029 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
利用广义元球变形技术,提出一种基于骨架关节点约束的交互式局部变形方法。该方法提取多边形网格模型的骨架关节点并结合模型骨架图结构确定骨架关节点对应的局部区域,计算三维网格点到骨架节点的欧式距离,将约束区域的最大欧氏距离作... 详细信息
来源: 评论
数控插补中基于运动曲线的局部优和基于前瞻控制的整体优
收藏 引用
系统科学数学 2010年 第11期30卷 1548-1561页
作者: 张立先 孙瑞勇 李洪波 高小山 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度的前提下提高加工速度是数控加工的一个关键问题.据数学机械化方法,将插补问题分解为局部优和整体优两部分,其中局部优是在线段连接处通过采用二次曲线(抛物线)和三... 详细信息
来源: 评论
SDPTools:基于Maple的高精度求解SDP软件包
收藏 引用
系统科学数学 2010年 第11期30卷 1512-1521页
作者: 郭峰 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
半定规划(SDP)是一类重要的凸优问题,它可以由Matlab中的SDP软件包有效地求解,比如SeDuMi,SDPT3,DSDP等等.然而由于Matlab只能进行有限精度计算,得结果往往带有很大误差.在某些需要高精度计算的问题中,Matlab中的SDP软件包难以得到... 详细信息
来源: 评论
基于轮廓线的三维网格曲面绘制
收藏 引用
计算机工程与设计 2010年 第24期31卷 5302-5305页
作者: 韩丽 刘杰 辽宁师范大学计算机与信息技术学院 辽宁大连116029 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
在融合了交互式轮廓绘制与网格造型技术的基础上,提出了一种快速三维网格曲面建模方法。根据绘制轮廓线的特征点分布,进行约束三角网格剖分,提取二维轮廓线的骨架;选取骨架点和采样点投影到三维空间椭球曲面,并引入二面角原则,优了... 详细信息
来源: 评论
基于骨架树的三维模型检索
基于骨架树的三维模型检索
收藏 引用
第八届中国计算机图形学大会
作者: 韩丽 张黎娜 楚秉智 唐棣 辽宁师范大学计算机与信息技术学院,大连,116029 中国科学院数学与系统科学研究院数学机械化重点实验室,北京,100190 中国科学院数学与系统科学研究院数学机械化重点实验室,北京,100190
@@随着三维建模技术的迅速发展,三维模型已被广泛应用于计算机辅助设计/辅助制造、医学及动画等领域。充分利用已有的三维模型数据资源,可以大大减轻设计新模型的工作量,同时也可以促进三维数据的流通和在各领域的应用。因此,探讨... 详细信息
来源: 评论
有理参数曲线的近似恰当
收藏 引用
计算机辅助设计与图形学学报 2009年 第7期21卷 924-929页
作者: 申立勇 袁春明 华东师范大学软件学院上海高可信计算重点实验室 上海200062 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过... 详细信息
来源: 评论
Yang-Mills规范场的存在性、可解性(一)
收藏 引用
系统科学数学 2009年 第9期29卷 1200-1210页
作者: 石赫 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线性微分变换,称之为SU(2)规范场的示性变换.经示性变换,将非线性... 详细信息
来源: 评论
布尔环上的分支Grbner基算法
收藏 引用
系统科学数学 2009年 第9期29卷 1266-1277页
作者: 孙瑶 王定康 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
周知Grbner基在很多领域都有着十分重要的应用.近些年来Grbner基算法有了很大的改进,其中最著名的是Faugère提出的F4和F5算法.这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结... 详细信息
来源: 评论
高斯曲率约束的MRG骨架提取优算法
收藏 引用
计算机辅助设计与图形学学报 2009年 第9期21卷 1227-1231页
作者: 韩丽 楚秉智 高小山 辽宁师范大学计算机与信息技术学院 大连116029 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190
三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以... 详细信息
来源: 评论