菜单
　　
    摘要：信号微机监测系统是铁路装备现代化的重要组成部分,它保障了行车安全，加强了信号设备与结合部的管理，监控着铁路信号设备的运用质量。信号微机监测系统为信号设备文修提供科学依据，也是信号设备实现实时文修的重要前提。这也是我选择本课题进行研究的一个原因。论文中主要通过时间自动机的软件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.   
    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型微机监测系统等。
  1. 上一篇：PSD光电位置探测器实时测距系统研究
  2. 下一篇：Matlab铁路监控图像的复原技术研究

  1. 基于差分进化算法的自动...

  2. AT89C51单片机城市道路积水...

  3. AT89C52单片机基于max038的信号发生器设计+程序

  4. 微波小信号放大器的设计ADS仿真

  5. STC89C52单片机MAX038的程控信...

  6. 心音信息传感器电路设计及其信号处理

  7. MSP430单片机DDS的调频信号设计

  8. 中考体育项目与体育教学合理结合的研究

  9. 乳业同业并购式全产业链...

  10. 电站锅炉暖风器设计任务书

  11. 酸性水汽提装置总汽提塔设计+CAD图纸

  12. 十二层带中心支撑钢结构...

  13. 杂拟谷盗体内共生菌沃尔...

  14. 当代大学生慈善意识研究+文献综述

  15. java+mysql车辆管理系统的设计+源代码

  16. 河岸冲刷和泥沙淤积的监测国内外研究现状

  17. 大众媒体对公共政策制定的影响

　　

About

751论文网手机版...

主页：http://www.751com.cn

关闭返回