期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
CTCS-3级列控系统规范建模与验证
1
作者 唐涛 徐田华 +2 位作者 赵林 谢雨飞 李开成 《铁道通信信号》 2010年第4期7-12,共6页
结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格... 结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。 展开更多
关键词 ctcs-3级列控系统规范 符号模型检验 严格建模和验证
在线阅读 下载PDF
郑西客运专线CTCS-3级列控系统及其用户需求验证
2
作者 何春明 马铁刚 《铁路通信信号工程技术》 2011年第1期9-13,共5页
CTCS-3级列车运行控制系统是中国铁路时速300～350km客运专线的重要技术装备,是保证高速列车运行安全、可靠的核心技术之一。概述了CTCS-3级列控系统的用户需求,简介了郑州-西安客运专线CTCS-3级列控系统、验证用户需求联调联试的实施... CTCS-3级列车运行控制系统是中国铁路时速300～350km客运专线的重要技术装备,是保证高速列车运行安全、可靠的核心技术之一。概述了CTCS-3级列控系统的用户需求,简介了郑州-西安客运专线CTCS-3级列控系统、验证用户需求联调联试的实施案例及测试分析方法。并根据郑西线联调联试的试验情况,提出了进一步完善中国CTCS-3级列控系统标准规范细节的建议。 展开更多
关键词 ctcs-3级 列控系统 用户需求验证 标准建议
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部