专题首页
中图分类法(7)
工业技术(5)
交通运输(3)
在“
CNKI学位论文
”中，
命中：
7
条，耗时：小于0.01 秒
1.
基于UML的列控系统建模方法与验证工具集成
作者：
李宪
关键词：
列控系统
;
需求规范
;
UML概要文件
;
验证支持工具
;
PHAVer
;
NuSMV
论文级别：
硕士
学位年度：2012
2.
基于O-MaSE的列控系统仿真测试管理器分布式架构的建模与验证
作者：
周博立
关键词：
仿真测试管理器
;
CTCS-3级
;
Agent
;
O-MaSE
;
分布式
;
测试序列
论文级别：
硕士
学位年度：2012
3.
面向混成特性的CTCS-3系统规范建模与验证
作者：
刘玉鹏
关键词：
CTCS-3系统规范
;
混成性
;
建模与验证
;
UML扩展机制
;
微分动态逻辑
论文级别：
硕士
学位年度：2012
4.
基于UML & CPN的列控系统仿真测试管理器的研究与实现
作者：
李敏
关键词：
仿真测试管理器
;
CTCS-3
;
UML
;
有色Petri网
论文级别：
硕士
学位年度：2012
5.
基于模型的高速列车运行控制系统可信性验证方法研究
作者：
赵显琼
关键词：
高速列控系统
;
可信性验证
;
复杂安全苛求系统
;
混成马尔可夫链
;
安全性自动测试
;
无线闭塞中心
论文级别：
博士
学位年度：2012
6.
列车运行控制系统软件故障相关形式化测试方法
作者：
张岩
关键词：
列控系统
;
安全软件
;
一致性测试
;
模型检验
;
测试目的
;
故障
;
失效
论文级别：
博士
学位年度：2012
7.
基于UML与CPN的轨旁仿真器建模及仿真
作者：
张陶
关键词：
轨旁
;
建模
;
仿真
;
UML
;
CPN
论文级别：
硕士
学位年度：2012
1
按检索点细分(7)
作者(1)
引文(6)
按论文级别细分(7)
博士(2)
硕士(5)
按学位年度细分(7)
2012年(7)