CNKI学位论文(76)
中图分类法(76)
军事(5)
经济(3)
工业技术(64)
交通运输(4)
航空、航天(2)
在“
CNKI学位论文
”中,
命中:
76
条,耗时:小于0.01 秒
在所有数据库中总计命中:
76
条
1.
模型驱动的SoC系统级功能验证关键技术研究
作者:
余金山
关键词:
系统芯片
;
模型驱动
;
UML
;
功能验证
;
事务验证方法
;
调度
;
Petri网
;
SystemC
;
接口自动机
;
风险评估
;
程序切片
论文级别:
博士
学位年度:2007
2.
虚拟样机技术及其在航天遥感器研发中的应用
作者:
杨磊
关键词:
虚拟样机
;
航天遥感器
;
层次建模
;
元模型
;
仿真驱动
;
分布式集成开发环境
;
性能分析
;
多学科设计优化
论文级别:
博士
学位年度:2008
3.
专用片上网络设计方法:通信建模、拓扑构造与自动生成
作者:
马立伟
关键词:
片上系统
;
片上网络
;
专用片上网络综合
论文级别:
博士
学位年度:2006
4.
基于模型检验与仿真的C~4ISR系统需求验证方法研究
作者:
邓小妮
关键词:
C~4ISR
;
需求验证
;
模型检验
;
仿真
;
需求规格体系
;
可行性验证
;
正确性验证
论文级别:
博士
学位年度:2008
5.
可执行体系结构及DoDAF的可执行化方法研究
作者:
姜军
关键词:
体系结构
;
可执行体系结构
;
可执行体系结构描述
;
可执行体系结构执行
;
体系结构产品执行
;
体系结构执行过程
;
体系结构开发工具
;
SVG
;
元模型机制
;
DoDAF
;
体系结构可执行扩展
论文级别:
博士
学位年度:2008
6.
基于模型驱动的制造企业应用集成方法研究
作者:
周红桥
关键词:
制造企业应用集成
;
企业模型
;
元对象设施
;
业务模型驱动
;
模型驱动开发
;
应用集成平台
论文级别:
博士
学位年度:2010
7.
模型驱动架构中的可信嵌入式软件建模与分析
作者:
杨年华
关键词:
模型驱动架构
;
嵌入式系统
;
UML
;
Petri网
;
可信
;
建模
;
模型转换
;
模型检测
;
分析
论文级别:
博士
学位年度:2011
8.
嵌入式空间遥感相机控制器设计方法与实现
作者:
刘辉
关键词:
航天嵌入式系统设计
;
可追溯性
;
安全性和可靠性
;
半自动化
;
高精度
;
客观性
论文级别:
博士
学位年度:2010
9.
浮点乘加中混合算术加法可信性增强关键技术的研究
作者:
刘峰
关键词:
系统可信性
;
计算机算术
;
循环进位加法器
;
形式化方法
;
面向方面编程
;
模型驱动
论文级别:
博士
学位年度:2010
10.
空间科学探测任务仿真概念模型研究
作者:
彭晓东
关键词:
仿真概念模型(SCM)
;
空间探测任务仿真
;
SCM建模方法
;
SCM开发过程
;
HLA仿真
论文级别:
博士
学位年度:2008
1
2
3
4
5
6
7
8
按检索点细分(76)
题名(9)
目录(19)
关键词(14)
摘要(19)
引文(75)
按论文级别细分(76)
博士(24)
硕士(52)
按学位年度细分(76)
2004年(1)
2005年(2)
2006年(6)
2007年(9)
2008年(9)
2009年(9)
2010年(15)
2011年(11)
2012年(7)
2013年(7)