高速铁路列车运行控制系统的形式化建模与验证方法

Name: 高速铁路列车运行控制系统的形式化建模与验证方法
Rating: 4.5 (51 reviews)
Author: congregate_14347

上传者：congregate_14347 2020-12-25 13:48:18上传 NH文件 45.07MB 热度 51次

高速铁路列车运行控制系统的形式化建模与验证方法

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

高速铁路列车运行控制系统的形式化建模与验证方法

高速铁路列车运行控制系统的形式化建模与验证方法

大小：45.07MB | 2020-12-25 13:48:18
关于高速铁路列车运行控制技术的发展概要

是2010版的PPT，很有用的哦，不过限于上传大小限制，只能上传这点。

大小：0B | 2019-07-30 00:47:48
高速铁路列车运行混沌特征分析

高速铁路列车运行混沌特征分析,孟学雷,向万里,突发事件是导致列车运行秩序混乱的诱因,将对铁路运输系统...

大小：464KB | 2020-08-09 13:03:09
高速铁路开行高速快运列车的经验借鉴与对策

高速铁路开行高速快运列车的经验借鉴与对策

大小：93KB | 2021-04-21 18:36:58
基于冲突消解的高速铁路列车运行调整研究

基于冲突消解的高速铁路列车运行调整研究,文超,彭其渊,为研究高速铁路列车运行调整问题,提出了基于列车...

大小：393KB | 2020-08-09 05:08:06
基于形式化方法的有限域乘法器的建模与验证

针对有限域乘法器设计正确性的问题进行研究,阐述了有限域乘法器在高阶逻辑定理证明器HOL4中进行形式化...

大小：416KB | 2020-10-27 20:39:20
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
Petri网原理形式化建模方法

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等

大小：0B | 2020-05-18 04:30:16
芯片开发功能验证的形式化方法

采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法。但是，基于模型驱动的FPGA设计需要证明...

大小：1.22MB | 2024-10-21 09:02:04
形式化建模验证SMV模型检验器

大小：0B | 2018-12-09 06:37:06
高速铁路初始晚点影响列车数分布模型

高速铁路初始晚点影响列车数分布模型，文超，李忠灿，建立高速铁路列车初始晚点不同致因情况下影响列车数的...

大小：637KB | 2020-07-23 10:29:56
基于aadl的中国列车控制系统运行权限场景的行为建模与验证

像大多数数字控制器一样,列车控制系统按照定义是混合系统,因为它们相互作用与或尝试控制物理世界的某些方...

大小：256KB | 2021-04-26 04:47:53
高速铁路概论

高速铁路的相关知识以及发展前景。高速铁路的通信信号，电子计算技术等等方面的相关知识

大小：0B | 2018-12-25 12:01:51
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
UML与形式化建模方法PDF电子书

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于199...

大小：0B | 2019-07-13 17:10:29