馆藏期刊(1)
CNKI学位论文(101)
知网期刊论文(17)
万方学位论文(2)
中图分类法(101)
数理科学和化学(50)
工业技术(51)
在“
CNKI学位论文
”中，
命中：
101
条，耗时：小于0.01 秒
在所有数据库中总计命中：
121
条
1.
流密码代数攻击中若干关键问题的研究
作者：
陈银冬
关键词：
序列密码
;
代数攻击
;
布尔函数
;
代数免疫
;
Gr(o|¨)bner基
论文级别：
博士
学位年度：2010
2.
基于符号计算方法的程序验证技术研究
作者：
武斌
关键词：
程序正确性
;
程序验证
;
循环不变式
;
终止性分析
;
前置条件
;
归纳断言映射
论文级别：
博士
学位年度：2010
3.
基于μ基的曲面隐式化、参数化和奇异点计算
作者：
王旭辉
关键词：
有理参数曲面
;
隐式化
;
参数化
;
动曲面
;
μ基
;
弱μ基
;
syzygy模
;
基点
论文级别：
博士
学位年度：2009
4.
适用于低端计算设备的数字签名方案研究
作者：
王志伟
关键词：
低端计算设备
;
多变量签名
;
在线离线签名
;
服务器辅助验证签名
;
代理签名
;
基于身份的签名
论文级别：
博士
学位年度：2009
5.
有限维多项式代数的结构、算法及在编码密码学中的应用
作者：
戴清平
关键词：
代数结构
;
高阶布尔环
;
线性化
;
新型布尔环
;
权分布
论文级别：
博士
学位年度：2008
6.
空间机构的运动学分析及新型并联变胞机构的设计
作者：
甘东明
关键词：
7R
;
6-6
;
Stewart
;
广义并联机构
;
位置分析
;
Gr(o|¨)bner基
;
结式消元
;
并联变胞机构
;
自由度分析
;
螺旋理论
论文级别：
博士
学位年度：2009
7.
几何约束求解关键问题研究
作者：
张杏莉
关键词：
CAD
;
几何约束
;
欠约束
;
微粒群算法
;
参数有效范围
论文级别：
博士
学位年度：2010
8.
面向程序验证的循环不变式自动构造技术研究
作者：
陈石坤
关键词：
循环不变式
;
程序验证
;
Gr(o|¨)bner基
;
有限差分
;
布尔可满足性
;
带量词的布尔公式
;
符号执行
;
模型检验
论文级别：
博士
学位年度：2010
9.
分组密码中置换理论的研究
作者：
亢保元
关键词：
分组密码
;
有限域
;
置换多项式
;
正形置换
;
全距置换
;
布尔函数
;
多输出函数
;
弹性函数
;
拉丁方
;
排列
;
排序
论文级别：
博士
学位年度：1998
10.
机器人机构学若干问题的研究
作者：
庄育锋
关键词：
巴氏桁架
;
Stewart并联机构
;
变胞机构
;
Sylvester结式
;
Dixon结式
;
Groebner基
论文级别：
博士
学位年度：2009
1
2
3
4
5
6
7
8
9
按检索点细分(101)
题名(1)
目录(33)
关键词(15)
摘要(41)
引文(56)
按论文级别细分(101)
博士(40)
硕士(61)
按学位年度细分(101)
1998年及以前(1)
2001年(3)
2002年(3)
2003年(3)
2004年(3)
2005年(4)
2006年(9)
2007年(11)
2008年(4)
2009年(15)
2010年(24)
2011年(11)
2012年(7)
2013年(2)
2014年(1)