馆藏期刊(6)
CNKI学位论文(1292)
CNKI期刊论文0611(1)
知网期刊论文(650)
万方学位论文(13)
中图分类法(1292)
哲学、宗教(15)
社会科学总论(6)
政治、法律(5)
军事(3)
经济(43)
文化、科学、教育、体育(9)
语言、文字(8)
文学(6)
自然科学总论(3)
数理科学和化学(15)
天文学、地球科学(3)
工业技术(1144)
交通运输(43)
航空、航天(2)
环境科学、安全科学(1)
在“
CNKI学位论文
”中，
命中：
1,292
条，耗时：小于0.01 秒
在所有数据库中总计命中：
1,962
条
1.
Agent角色模型与多agent系统构造方法研究
作者：
张健
关键词：
Agent
;
角色模型
;
自治BDI结构
;
多Agent系统
;
构造方法
论文级别：
博士
学位年度：2012
2.
苏珊·哈克逻辑哲学思想研究
作者：
颜中军
关键词：
苏珊·哈克
;
系统外有效性
;
整体多元论
;
逻辑可修正性
;
逻辑实用主义
论文级别：
博士
学位年度：2012
3.
认证及密钥协商协议设计与分析
作者：
赵秀凤
关键词：
可证明安全
;
可否认认证
;
非对称群组密钥
;
密码学复杂性
;
基于身份的签密
论文级别：
博士
学位年度：2012
4.
一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法
作者：
谢仲文
关键词：
动态演化
;
需求模型
;
软件体系结构
;
行为管程
;
相关性
;
一致性
论文级别：
博士
学位年度：2012
5.
回指的DRT形式方案的问题及其解决
作者：
张旭红
关键词：
深层回指
;
常规范式
;
知识表征结构
;
溯因推理
;
二维表征结构模型
论文级别：
博士
学位年度：2012
6.
数字图书馆内容管理开源软件应用与评价研究
作者：
李鹏
关键词：
数字图书馆
;
开源软件
;
内容管理
;
评价体系
论文级别：
博士
学位年度：2012
7.
安全协议形式化分析理论与应用研究
作者：
鲁来凤
关键词：
信息安全
;
安全协议
;
形式化分析
;
协议组合逻辑
;
协议演绎系统
论文级别：
博士
学位年度：2012
8.
复杂信息系统模型的形式化验证方法研究
作者：
张涛
关键词：
形式化方法
;
模型检测
;
复杂信息系统
;
RAISE规约语言
;
统一建模语言
;
时间自动机
论文级别：
博士
学位年度：2012
9.
基于串空间模型安全协议
形式化方法
的分析与扩展
作者：
董学文
关键词：
安全协议
;
形式化
;
串空间
;
匿名性
;
ad
;
hoc安全路由协议
论文级别：
博士
学位年度：2011
10.
列控系统需求规范形式化建模与验证方法研究
作者：
谢雨飞
关键词：
列控系统
;
需求规范
;
建模与验证
;
模型转换
论文级别：
博士
学位年度：2012
1
2
3
4
5
6
7
8
9
按检索点细分(1292)
题名(40)
目录(462)
关键词(170)
摘要(607)
引文(624)
按论文级别细分(1292)
博士(335)
硕士(957)
按学位年度细分(1292)
1998年及以前(1)
1999年(1)
2000年(1)
2001年(6)
2002年(32)
2003年(47)
2004年(78)
2005年(89)
2006年(137)
2007年(151)
2008年(161)
2009年(183)
2010年(140)
2011年(156)
2012年(79)
2013年(26)
2014年(4)