设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(52)
知网期刊论文(8)
万方学位论文(6)
中图分类法(52)
经济(1)
数理科学和化学(7)
天文学、地球科学(6)
工业技术(39)
环境科学、安全科学(1)
在“
CNKI学位论文
”中,
命中:
52
条,耗时:小于0.01 秒
在所有数据库中总计命中:
66
条
1.
基于缺陷模式的软件测试技术研究
作者:
王雅文
关键词:
软件测试
;
静态分析
;
缺陷模式
;
抽象解释
;
值范围分析
;
区间代数
;
区间集
;
路径敏感
;
误报率
;
漏报率
论文级别:
博士
学位年度:2009
2.
网络控制系统分析、建模与稳定性
作者:
魏玲
关键词:
网络控制系统
;
网络诱导延时
;
时间驱动
;
事件驱动
;
建模
;
单包传输
;
多包传输
;
区间代数
;
状态观测器
论文级别:
博士
学位年度:2008
3.
实时控制系统协同设计方法及应用研究
作者:
沈青
关键词:
实时控制系统协同设计
;
弹性周期反馈调度
;
双参数模糊调度
;
区间系统稳定判据
;
网络控制系统协同设计
论文级别:
博士
学位年度:2009
4.
时空推理中一些问题的研究
作者:
欧阳继红
关键词:
时态推理
;
空间推理
;
时空推理
;
区间代数
;
地理信息系统
;
区域连接演算RCC
;
蛋黄模型
;
空间区域
;
不确定区域
;
复合表
;
概念邻域图
;
模糊集
;
空间数据挖掘
;
租集
;
时空数据库
;
时空查询
;
不确定性
论文级别:
博士
学位年度:2005
5.
本体方法及其时空推理应用研究
作者:
胡鹤
关键词:
本体
;
语义Web
;
本体学习
;
本体服务器
;
基于Web系统
;
本体查询语言
;
本体中间件
;
互操作
;
专家系统平台
;
搜索引擎
;
Web查询
;
基于规则系统
;
本体表示语言
;
国际标准
;
时态推理
;
空间推理
;
时空推理
;
描述逻辑
;
WordNet
;
OWL
;
OIL
;
Protege
;
DAML+OIL
;
XML
;
RDF
;
XML模式
;
RDF模式
;
RCC
;
区间代数
;
模糊区间
;
推理复杂性
论文级别:
博士
学位年度:2004
6.
定性空间方向关系建模中若干问题研究
作者:
董轶群
关键词:
定性空间方向关系建模
;
基本主方向关系
;
逆关系
;
不确定区域
;
宽边界方向关系
;
相容性复合运算
;
相容性检测方法
论文级别:
博士
学位年度:2011
7.
五轴数控铣削加工几何—动力学建模与工艺参数优化
作者:
张小明
关键词:
五轴数控加工几何-动力学集成
;
点-线有理运动设计
;
球族包络理论
;
刀具路径整体优化
;
工艺参数鲁棒优化
论文级别:
博士
学位年度:2009
8.
应用数据类型抽象建模提高软件静态测试精度的方法研究
作者:
周虹伯
关键词:
静态测试
;
内存建模
;
区间运算
;
别名分析
;
指向分析
;
域敏感分析
论文级别:
博士
学位年度:2013
9.
复杂空间关系模型及空间描述逻辑中若干问题的研究
作者:
霍林林
关键词:
定性空间推理
;
带洞区域
;
拓扑关系
;
三维空间
;
方位关系
;
相对方位关系
;
空间描述逻辑
论文级别:
博士
学位年度:2013
10.
空间方向关系推理及多种空间关系结合推理的研究
作者:
王芳
关键词:
定性空间推理
;
主方向关系
;
拓扑关系
;
尺寸关系
论文级别:
博士
学位年度:2012
1
2
3
4
5
6
按检索点细分(52)
题名(1)
目录(29)
关键词(11)
摘要(25)
引文(12)
按论文级别细分(52)
博士(26)
硕士(26)
按学位年度细分(52)
2004年(1)
2005年(5)
2006年(7)
2007年(8)
2008年(6)
2009年(8)
2010年(6)
2011年(7)
2012年(2)
2013年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.