搜索筛选:
搜索耗时0.9701秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：赵伟慧,
来源：北京交通大学 年份：2014
车载控制系统是CTCS-3级列控系统的核心子系统,车载设备是确保列车安全运行的关键。为了保证车载系统控制功能的正确性,能够严格对列车运行速度实施超速防护,需要验证车载设...
[期刊论文] 作者：袁磊,吕继东,刘雨,李辰岭,赵伟慧,,
来源：铁道学报 年份：2014
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,...
相关搜索：
