设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
馆藏期刊(2)
CNKI会议论文(1)
CNKI学位论文(289)
CNKI期刊论文0611(1)
知网期刊论文(971)
中图分类法(289)
社会科学总论(2)
经济(7)
文化、科学、教育、体育(1)
数理科学和化学(1)
天文学、地球科学(1)
工业技术(278)
交通运输(2)
在“
CNKI学位论文
”中,
命中:
289
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,264
条
1.
基于复合事件的分布系统异常识别与预警技术研究及实现
作者:
刘家红
关键词:
分布计算系统
;
异常识别
;
复合事件
;
事件流
;
识别树
;
代数等价
;
事件实例筛选
;
主动预警
论文级别:
博士
学位年度:2009
2.
浮点乘加中混合算术加法可信性增强关键技术的研究
作者:
刘峰
关键词:
系统可信性
;
计算机算术
;
循环进位加法器
;
形式化方法
;
面向方面编程
;
模型驱动
论文级别:
博士
学位年度:2010
3.
COTS构件集成软件系统的测试方法研究
作者:
张毅坤
关键词:
COTS构件
;
观测模型
;
合约包装
;
集成测试架构ITACBS
;
智能测试用例生成
论文级别:
博士
学位年度:2008
4.
基于区间线性抽象域的可靠浮点及非凸静态分析
作者:
陈立前
关键词:
静态分析
;
抽象解释
;
数值抽象域
;
多面体
;
浮点
;
区间线性系统
论文级别:
博士
学位年度:2010
5.
基于缺陷模式的软件测试技术研究
作者:
王雅文
关键词:
软件测试
;
静态分析
;
缺陷模式
;
抽象解释
;
值范围分析
;
区间代数
;
区间集
;
路径敏感
;
误报率
;
漏报率
论文级别:
博士
学位年度:2009
6.
模型驱动架构中的可信嵌入式软件建模与分析
作者:
杨年华
关键词:
模型驱动架构
;
嵌入式系统
;
UML
;
Petri网
;
可信
;
建模
;
模型转换
;
模型检测
;
分析
论文级别:
博士
学位年度:2011
7.
基于语言的软件可信性度量理论及其应用
作者:
吴新星
关键词:
可信性度量
;
混成进程代数(HCSP)
;
霍尔逻辑(HL)
;
概率测度
;
结构化程序设计语言
;
构件匹配
;
业务过程执行语言(BPEL)
;
进程演算(CCS)
;
Ruby/Tk
论文级别:
博士
学位年度:2011
8.
自律计算系统的自律可信性评估研究
作者:
张海涛
关键词:
自律计算
;
自律评估
;
自律可信性
;
量化分析
;
支持向量机
论文级别:
博士
学位年度:2010
9.
不确定信息环境下的质量功能展开研究
作者:
王晓暾
关键词:
质量功能展开
;
质量屋
;
语言变量
;
灰色预测模型
;
创造性问题解决理论
;
新产品开发
论文级别:
博士
学位年度:2011
10.
软件行为动态可信理论模型研究
作者:
杨晓晖
关键词:
可信计算
;
动态评测
;
行为轨迹
;
检查点场景
;
时间戳
;
自动机
;
行为语义距离
;
主观逻辑扩展
论文级别:
博士
学位年度:2010
1
2
3
4
5
6
7
8
9
按检索点细分(289)
题名(17)
目录(55)
关键词(35)
摘要(93)
引文(220)
按论文级别细分(289)
博士(101)
硕士(188)
按学位年度细分(289)
2002年(4)
2004年(5)
2005年(5)
2006年(3)
2007年(9)
2008年(24)
2009年(48)
2010年(62)
2011年(85)
2012年(30)
2013年(12)
2014年(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
.