下载一种自主列车运行控制系统建模及验证方法的技术资料

文档序号:36047904

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明公开了一种自主列车运行控制系统建模及验证方法,属于轨道交通系统建模领域。该方法包括:对自主列车运行控制系统进行分析,得到自主列车运行控制系统分析图;基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述;基于所述...
该专利属于华侨大学所有,仅供学习研究参考,未经过华侨大学授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。