毕业论文

当前位置: 毕业论文 > 电子通信 >

信号微机监测通信系统UPPAAL建模

时间:2017-05-18 10:56来源:毕业论文
论文中主要通过时间自动机的软件UPPAAL对微机监测系统进行建模仿真与验证。用到的UPPAAL用于检测实时系统的工作是否正常。通过对微机监测系统的建模
摘要:信号微机监测系统是铁路装备现代化的重要组成部分,它保障了行车安全,加强了信号设备与结合部的管理,监控着铁路信号设备的运用质量。信号微机监测系统为信号设备维修提供科学依据,也是信号设备实现实时维修的重要前提。这也是我选择本课题进行研究的一个原因。论文中主要通过时间自动机的软件UPPAAL对微机监测系统进行建模仿真与验证。用到的UPPAAL用于检测实时系统的工作是否正常。通过对微机监测系统的建模、仿真、验证显示出采集处理机与监测站机之间的通信是否正常。首先将微机监测系统的各部分模块式建模,再经仿真过程来实现各部分之间的通信。在验证方面,UPPAAL又会对微机监测系统模型中的一些通信变量进行验证以保证状态与通信关系的正常性与可靠性。8821
关键词:微机监测站机; 采集处理机; UPPAAL; 建模
UPPAAL Modeling For Signal Microcomputer Monitor Communication System
Abstract: Signal microcomputer monitor system plays an important role in modern railway system, which protects the safety of running, improving the management in signal equipments and the part of combine, monitoring the quality of the train’s signal equipments in used . In maintenance, signal microcomputer monitor system is not only supplying the scientific reasons , but also the premise for the real-time system. That’s a reason why should I choice it as my study theme. In the paper,microcomputer monitor system is modeling, emulating and verifying based on the software of UPPAAL.UPPAAL is a good tool to check the real-time system’s work. From modeling, emulate,and checking show the normal communication between acquisition processor and monitoring processor. First of all, modeling the microcomputer monitor system’s parts as some models, secondly emulating the elements’ communication. In the side of test and verify,  the communication variable in model of micro-computer monitor system can be checked by UPPAAL,From this work,the normality in status and the reliability in relationship of communication can be solved well.   

源自六^维&论*文-网.加7位QQ3249`114 www.lwfree.cn


KeyWords: microcomputer-based monitoring processor; acquisition processor; UPPAAL; modeling
 目 录
1引言    1
1.1 微机监测系统    1
1.2微机监测系统的现状与发展    2
1.3本文的研究内容    3
2 微机监测系统的通信    4
2.1 TJWX-2000型微机监测系统网络    4
2.2 微机监测系统中的通信协议规范    4
2.2.1 CAN总线与采集终端    4
2.2.2采集处理机与微机监测站机间的通信协议    6
3时间自动机    10
3.1时间自动机网络    10
3.1.1时间自动机的定义    10
3.1.2时间自动机的性质    11
3.1.3自动机模型设计的步骤    12
3.2 UPPAAL简介    12
4 微机监测系统的建模    14
4.1通信系统设计流程    14
4.2 采集处理机的建模    15
4.3 监测站机的建模    16
4.4报警模块的建模    17
4.5 微机监测系统基于UPPAAL的仿真与验证    18
4.5.1 微机监测系统的仿真    18
4.5.2 微机监测系统的验证    25
5总结    28
致 谢    29
参考文献    30
1引言
微机监测系统是铁路运行中不可或缺的监测设备,它是信号监测与维修的新的里程碑。特别是在维修方面,它的出现为信号维修技术起到了突破性的作用,它是信号维修体制改革的重要支撑点,是信号设备实现“状态修”的必要手段,是信号技术向高安全,高可靠和网络化,数字化,智能化发展的重要标志。目前的研究方向主要现役的几种微机监测系统,如:TJWX-2000型监测系统,TJWX-2006型微机监测系统等。 信号微机监测通信系统UPPAAL建模:http://www.lwfree.cn/tongxin/20170518/7297.html
------分隔线----------------------------
推荐内容