专题首页
中图分类法(3801)
哲学、宗教(3)
社会科学总论(19)
政治、法律(16)
军事(33)
经济(125)
文化、科学、教育、体育(32)
语言、文字(24)
自然科学总论(11)
数理科学和化学(35)
天文学、地球科学(187)
生物科学(6)
医药、卫生(2)
农业科学(5)
工业技术(3254)
交通运输(89)
航空、航天(25)
环境科学、安全科学(13)
在“
CNKI学位论文
”中,
命中:
3,801
条,耗时:0.0329866 秒
1.
可组合信息流安全验证模型及方法研究
作者:
习宁
关键词:
软件组合
;
信息流安全
;
程序切片
;
模型检测
;
信息流验证工具
论文级别:
博士
学位年度:2014
2.
基于软件体系结构的侧面化构件建模技术研究
作者:
苏旸
关键词:
面向侧面
;
软件体系结构
;
构件模型
;
体系结构描述语言
;
元模型
论文级别:
博士
学位年度:2012
3.
网格环境下医学图像应用中的副本放置及文件可用性研究
作者:
马建为
关键词:
网格
;
医学图像应用
;
文件可用性
;
副本策略
;
系统脆性
论文级别:
博士
学位年度:2014
4.
城轨CBTC系统数据的安全处理与验证方法研究
作者:
黄友能
关键词:
CBTC
;
数据安全
;
数据处理
;
数据验证
论文级别:
博士
学位年度:2014
5.
基于形式方法面向服务的Web软件开发技术研究
作者:
孙军梅
关键词:
面向服务的软件体系结构
;
形式方法
;
本体
;
服务组合
;
服务发现
;
设计模式
;
基于模式的软件开发
;
形式化验证
论文级别:
博士
学位年度:2008
6.
型号产品工艺分工系统及其关键技术研究
作者:
邱福生
关键词:
工艺分工
;
工艺准备
;
过程建模
;
任务规划
;
物料清单
论文级别:
博士
学位年度:2007
7.
混杂生产过程的混杂Petri网建模及分析技术研究
作者:
廖伟志
关键词:
混杂系统
;
混杂生产过程
;
混杂Petri网
;
建模
;
调度
论文级别:
博士
学位年度:2007
8.
蒙汉语码转换研究
作者:
乌云塔娜
关键词:
蒙古语
;
汉语
;
语码转换
;
模型
论文级别:
博士
学位年度:2014
9.
基于预案的突发地质灾害智能应急决策支持模型研究
作者:
刘晓慧
关键词:
地质灾害
;
应急决策支持
;
应急预案
;
知识本体推理
;
GIS
论文级别:
博士
学位年度:2014
10.
基于MAS的开放式数控系统体系结构研究
作者:
张函
关键词:
开放式数控系统
;
体系结构
;
MAS理论
论文级别:
博士
学位年度:2014
1
2
3
4
5
6
7
8
9
按检索点细分(3801)
题名(33)
目录(2088)
关键词(58)
摘要(1436)
引文(1030)