专题首页
中图分类法(174)
政治、法律(10)
经济(4)
语言、文字(7)
文学(1)
数理科学和化学(47)
天文学、地球科学(2)
医药、卫生(3)
工业技术(101)
在“
CNKI学位论文
”中，
命中：
174
条，耗时：0.0119952 秒
1.
求解非线性实代数系统的混合算法研究
作者：
单美静
关键词：
非线性多项式方程组
;
实根隔离
;
区间估值
;
Hansen-Sengupta算法
;
平面代数剖分
;
Heilbronn三角形
;
根式不等式
论文级别：
博士
学位年度：2008
2.
支持模型驱动开发的体系结构形式化语义与转换一致性研究
作者：
侯金奎
关键词：
模型驱动开发
;
模型转换
;
软件体系结构
;
形式化语义
;
转换一致性
论文级别：
博士
学位年度：2008
3.
想象与文学翻译的“团结”
作者：
赵颖
关键词：
想象
;
文学翻译
;
罗蒂
;
“团结”
论文级别：
博士
学位年度：2009
4.
时间序列相似性问题研究
作者：
李俊奎
关键词：
时间序列
;
相似性
;
建模
;
相似比较
;
相似匹配
;
提前终止
;
排序
论文级别：
博士
学位年度：2008
5.
在语义网环境下的Web服务组合与协作
作者：
刘海
关键词：
Web服务
;
服务组合
;
语义网
;
流程建模
;
服务语义匹配
;
语义验证
;
ECA规则
;
规则分析
;
异常处理
论文级别：
博士
学位年度：2009
6.
德国团体法中的成员权研究
作者：
任中秀
关键词：
德国团体法
;
成员权
;
团体
;
成员权利
;
侵权责任
论文级别：
博士
学位年度：2014
7.
稀疏优化在机器学习中的若干应用
作者：
梁锡军
关键词：
非光滑优化
;
稀疏优化
;
协同过滤
;
Lasso
;
同伦算法
;
基因正则化网络
;
肽段识别
论文级别：
博士
学位年度：2013
8.
可信计算中若干问题的研究
作者：
桑海风
关键词：
非线性系统
;
奇异解
;
可信验证
;
INTLAB
论文级别：
博士
学位年度：2014
9.
基于Petri网的Web服务组合性能评价体系的研究
作者：
沈华
关键词：
随机Petri网
;
Web服务
;
Web服务组合
;
性能评价
;
性能分析
;
瓶颈定位
论文级别：
博士
学位年度：2013
10.
并发程序精化验证及其应用
作者：
梁红瑾
关键词：
并发
;
程序验证
;
精化
;
模拟关系
;
程序逻辑
;
程序正确性
论文级别：
博士
学位年度：2014
1
2
3
4
5
6
7
8
9
按检索点细分(174)
题名(3)
目录(81)
关键词(27)
摘要(116)
引文(51)
按论文级别细分(174)
博士(52)
硕士(122)
按学位年度细分(174)
2000年(1)
2001年(1)
2002年(4)
2003年(5)
2004年(11)
2005年(14)
2006年(20)
2007年(20)
2008年(22)
2009年(28)
2010年(17)
2011年(14)
2012年(10)
2013年(4)
2014年(3)