设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
万方学术会议(2)
CNKI学位论文(301)
知网期刊论文(515)
万方学位论文(6)
中图分类法(301)
哲学、宗教(1)
经济(9)
数理科学和化学(1)
天文学、地球科学(2)
医药、卫生(2)
农业科学(14)
工业技术(199)
交通运输(67)
航空、航天(13)
环境科学、安全科学(4)
在“
CNKI学位论文
”中,
命中:
301
条,耗时:小于0.01 秒
在所有数据库中总计命中:
824
条
1.
列车运行控制系统分层形式化
建模与验证
分析
作者:
吕继东
关键词:
列控系统
;
复杂安全苛求系统
;
分层建模
;
验证
;
形式化方法
;
模型检验
论文级别:
博士
学位年度:2011
2.
高速铁路列车运行控制系统的形式化
建模与验证
方法研究
作者:
曹源
关键词:
高速铁路列控系统
;
安全苛求系统
;
验证
;
形式化方法
;
定理证明
论文级别:
博士
学位年度:2011
3.
CTCS-3测试仿真环境可视化关键技术的研究
作者:
邓野
关键词:
CTCS-3
;
可视化
;
多分辨率建模
;
视景仿真
;
EDA
;
显示界面
论文级别:
博士
学位年度:2010
4.
基于鲁棒估计理论的列车组合定位方法研究
作者:
刘江
关键词:
列车组合定位
;
多传感器数据融合
;
鲁棒估计
;
cubature
;
H_∞滤波
;
自适应滤波
;
完整性保障
论文级别:
博士
学位年度:2011
5.
基于GIS的我国小麦施肥指标体系的构建
作者:
杜君
关键词:
小麦
;
施肥指标体系
;
GIS
;
养分平衡模型
;
施肥决策系统
论文级别:
博士
学位年度:2011
6.
时间区间时序逻辑模型检测:理论、算法及应用
作者:
朱维军
关键词:
时间正则图
;
时间区间时序逻辑
;
满足性判定
;
模型检测
;
误用入侵检测
论文级别:
博士
学位年度:2011
7.
农田养分信息化管理模式研究及应用
作者:
王宏庭
关键词:
农田养分
;
空间变异
;
GIS
;
施肥模型
论文级别:
博士
学位年度:2005
8.
面向RP领域的Web服务自主组建方法研究与应用
作者:
吴镝
关键词:
快速成形
;
集成服务
;
领域本体
;
Web服务
;
服务组合
;
工作流
;
自主计算
论文级别:
博士
学位年度:2011
9.
若干软件非功能属性相关的设计和实现技术研究
作者:
崔展齐
关键词:
软件非功能属性
;
面向方面技术
;
建模
;
验证
;
测试
;
缓冲区溢出
;
计算误差处理
论文级别:
博士
学位年度:2011
10.
无人直升机建模与控制技术研究
作者:
王小青
关键词:
无人直升机
;
飞行控制系统
;
建模
;
发动机
;
显模型跟踪
;
H_∞回路成形
;
改进的显模型跟踪回路成形
;
综合建模
;
动量理论
;
叶素理论
;
FLIGHTLAB
;
仿真
论文级别:
博士
学位年度:2009
1
2
3
4
5
6
7
8
9
按检索点细分(301)
题名(45)
目录(94)
关键词(8)
摘要(33)
引文(175)
按论文级别细分(301)
博士(96)
硕士(205)
按学位年度细分(301)
2003年(1)
2004年(2)
2005年(6)
2006年(12)
2007年(20)
2008年(23)
2009年(37)
2010年(62)
2011年(64)
2012年(49)
2013年(20)
2014年(5)
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
.