设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
馆藏书目(1)
CNKI学位论文(32)
知网期刊论文(95)
中图分类法(32)
政治、法律(1)
天文学、地球科学(1)
工业技术(31)
在“
CNKI学位论文
”中,
命中:
32
条,耗时:小于0.01 秒
在所有数据库中总计命中:
128
条
1.
程序验证关键技术研究
作者:
邢建英
关键词:
程序验证
;
停机性
;
秩函数
;
最优化问题
;
不变式
;
安全性
;
复杂度上界
;
条件停机
论文级别:
博士
学位年度:2011
2.
基于地形测绘保障系统中电子地图制作系统的设计与实现
作者:
应武生
关键词:
数字地图
;
地图数据库
;
地图可视化
;
电子地图
论文级别:
硕士
学位年度:2004
3.
MapReduce计算任务调度的资源配置优化研究
作者:
韩海雯
关键词:
MapReduce编程模型
;
运行概貌
;
性能预测
;
性能调优
;
任务调度
;
资源感知
论文级别:
博士
学位年度:2013
4.
堆操作程序分析验证技术研究
作者:
李仁见
关键词:
静态分析
;
形态分析
;
堆操作程序
;
链表
;
抽象解释
;
堆内存上界
论文级别:
博士
学位年度:2011
5.
基于Struts的通用权限管理系统的研究与实现
作者:
姜双林
关键词:
RBAC
;
资源
;
用户
;
角色
;
权限
论文级别:
硕士
学位年度:2006
6.
IPv6下状态协议分析技术在入侵检测系统中的研究
作者:
张秀荣
关键词:
IPv6
;
入侵检测系统(IDS)
;
Snort
;
状态协议分析(STAPA)
论文级别:
硕士
学位年度:2007
7.
安全审计子系统的研究和实现
作者:
罗钰
关键词:
Audit
;
性能分析
;
内核线程
;
XML
论文级别:
硕士
学位年度:2006
8.
大型吊装仿真草绘系统的研究与实现
作者:
刘毅
关键词:
吊装仿真系统
;
草绘系统
;
图元库
;
GDI
;
OpenGL
论文级别:
硕士
学位年度:2007
9.
基于Hoare逻辑的软件形式化验证技术研究
作者:
雷富兴
关键词:
Hoare逻辑
;
形式化方法
;
程序语义
;
程序验证
;
最强后置条件谓词转换
论文级别:
硕士
学位年度:2010
10.
KYLIN操作系统中灵活角色管理的研究与实现
作者:
李文博
关键词:
认证可信度
;
角色动态转换
;
角色移交
论文级别:
硕士
学位年度:2010
1
2
3
4
按检索点细分(32)
作者(1)
引文(31)
按论文级别细分(32)
博士(6)
硕士(26)
按学位年度细分(32)
2004年(1)
2005年(3)
2006年(5)
2007年(3)
2008年(6)
2009年(3)
2010年(6)
2011年(4)
2013年(1)
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
.