交通信息工程及控制专业优秀论文 基于有色petri网的cbtc车载设备应用软件的建模与分析

《交通信息工程及控制专业优秀论文 基于有色petri网的cbtc车载设备应用软件的建模与分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、【精品】毕业论文优秀毕业论文本科论文专业学术论文参考文献资料交通信息工程及控制专业优秀论文基于有色Petri网的CBTC车载设备应用软件的建模与分析关键词：Petri网VOBC设备模块设计软件设计仿真分析列车运行控制列车定位轨道交通摘要：随着无线通信技术的飞速发展，无线通信的可靠性、可用性大大提高，基于通信的列车运行控制(Communications-BasedTrainControl，CBTC)系统是今后轨道交通列车运行控制系统的发展趋势。论文介绍了VOBC设备的基本原理和结构以及基于安全计算机平台设计的软件结构。根据安全苛求系统开发的

2、“V”型框架，给出VOBC设备应用软件的需求分析、概要设计、详细设计、模型建立、功能验证和性能分析的整个过程。论文详细分析了VOBC设备应用软件的安全性需求和功能需求，在此基础上给出了VOBC设备应用软件的功能划分和子模块设计，重点介绍了在设计过程中采用的结构化的软件设计方法。论文引入了有色Petri网对VOBC设备应用软件进行形式化的建模。首先介绍了有色Petri层次化的建模方法，然后根据应用软件的结构化设计建立VOBC设备应用软件的层次化有色Petri网模型。采用“由上而下”的思路建立VOBC设备应用软件的顶层模型和各级子功能模型，子

3、功能模型包括基本防护模型、进入CBTC区域模型、折返操作模型、模式转换模型等。在建立的模型的基础上，研究了将CPN的状态空间分析和仿真分析应用于VOBC设备应用软件的验证和分析的方法和过程。重点研究了模式转换和折返操作子功能模型。利用状态空间分析完成了模式转换模块的功能验证和安全性分析，利用仿真分析完成了折返过程的性能分析。通过对应用软件的验证和分析，达到验证设计是否满足需求的目的，给应用软件设计的完善提供参考和指导。【精品】毕业论文优秀毕业论文本科论文专业学术论文参考文献资料交通信息工程及控制专业优秀论文基于有色Petri网的CBTC车

4、载设备应用软件的建模与分析关键词：Petri网VOBC设备模块设计软件设计仿真分析列车运行控制列车定位轨道交通摘要：随着无线通信技术的飞速发展，无线通信的可靠性、可用性大大提高，基于通信的列车运行控制(Communications-BasedTrainControl，CBTC)系统是今后轨道交通列车运行控制系统的发展趋势。论文介绍了VOBC设备的基本原理和结构以及基于安全计算机平台设计的软件结构。根据安全苛求系统开发的“V”型框架，给出VOBC设备应用软件的需求分析、概要设计、详细设计、模型建立、功能验证和性能分析的整个过程。论文详细分析

5、了VOBC设备应用软件的安全性需求和功能需求，在此基础上给出了VOBC设备应用软件的功能划分和子模块设计，重点介绍了在设计过程中采用的结构化的软件设计方法。论文引入了有色Petri网对VOBC设备应用软件进行形式化的建模。首先介绍了有色Petri层次化的建模方法，然后根据应用软件的结构化设计建立VOBC设备应用软件的层次化有色Petri网模型。采用“由上而下”的思路建立VOBC设备应用软件的顶层模型和各级子功能模型，子功能模型包括基本防护模型、进入CBTC区域模型、折返操作模型、模式转换模型等。在建立的模型的基础上，研究了将CPN的状态空

6、间分析和仿真分析应用于VOBC设备应用软件的验证和分析的方法和过程。重点研究了模式转换和折返操作子功能模型。利用状态空间分析完成了模式转换模块的功能验证和安全性分析，利用仿真分析完成了折返过程的性能分析。通过对应用软件的验证和分析，达到验证设计是否满足需求的目的，给应用软件设计的完善提供参考和指导。【精品】毕业论文优秀毕业论文本科论文专业学术论文参考文献资料交通信息工程及控制专业优秀论文基于有色Petri网的CBTC车载设备应用软件的建模与分析关键词：Petri网VOBC设备模块设计软件设计仿真分析列车运行控制列车定位轨道交通摘要：随着无

7、线通信技术的飞速发展，无线通信的可靠性、可用性大大提高，基于通信的列车运行控制(Communications-BasedTrainControl，CBTC)系统是今后轨道交通列车运行控制系统的发展趋势。论文介绍了VOBC设备的基本原理和结构以及基于安全计算机平台设计的软件结构。根据安全苛求系统开发的“V”型框架，给出VOBC设备应用软件的需求分析、概要设计、详细设计、模型建立、功能验证和性能分析的整个过程。论文详细分析了VOBC设备应用软件的安全性需求和功能需求，在此基础上给出了VOBC设备应用软件的功能划分和子模块设计，重点介绍了在设计

8、过程中采用的结构化的软件设计方法。论文引入了有色Petri网对VOBC设备应用软件进行形式化的建模。首先介绍了有色Petri层次化的建模方法，然后根据应用软件的结构化设计建立VOBC设备应用软