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

  2. SPCE061A基于DDS的正弦信号发生器设计+PCB电路图

  3. STM32基于WIFI通信的数字温湿度监测系统设计

  4. Labview和myDAQ的信号分析处理虚拟仪器设计

  5. 现代信号谱估计算法在空间谱估计中的应用

  6. ARM汽车防撞雷达信号处理电路设计+PCB电路图

  7. 数字音频流的FPGA的AES流编解码监测系统设计

  8. C++最短路径算法研究和程序设计

  9. 现代简约美式风格在室内家装中的运用

  10. 浅析中国古代宗法制度

  11. 中国传统元素在游戏角色...

  12. 高警觉工作人群的元情绪...

  13. NFC协议物理层的软件实现+文献综述

  14. g-C3N4光催化剂的制备和光催化性能研究

  15. 巴金《激流三部曲》高觉新的悲剧命运

  16. 江苏省某高中学生体质现状的调查研究

  17. 上市公司股权结构对经营绩效的影响研究

　　

About

优尔论文网手机版...

主页：http://www.youerw.com

关闭返回