作者：李耀,陈荣武,谢刚 单位：四川省计算机研究院 出版：《计算机应用研究》2013年第10期 页数：4页  （PDF与DOC格式可能不同） PDF编号：PDFJSYJ2013100400 DOC编号：DOCJSYJ2013100409 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 为保证列车测速定位软件的安全性，研究了测速定位原理，提出一种新的测速定位模型，在此基础上引入SCADE开发方式，建立测速定位软件模型，并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行，通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。

    📙 相关资料

    1. 《基于SCADE的测速定位系统模型设计》PDF+DOC 针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。...
    2. 《一种新型的磁浮列车测速定位系统模型设计》PDF+DOC 现有磁浮列车测速定位系统所采用的技术比较单一，测速定位系统的可靠性不足，不能更好地满足各种运行环境的要求。通过分析现有磁浮列车测速定位技术的优缺点，提出了一种新型测速定位系统模型，系统模型以传感器定位技术、多普勒雷达定位技术、查询应答器定位技术为基础，通过组合逻辑对系统数据进行优化。系统模型较现有技......
    3. 《磁浮列车测速定位方法综述》PDF+DOC 国内外的磁悬浮列车测速定位方法，包括基于交叉感应回线测速与相对定位、计数轨枕测速与相对定位、高速磁浮列车测速与相对定位、雷达测速与绝对定位、基于查询-应答器的绝对定位、基于脉宽编码的绝对定位、基于感应无线通信测速和绝对定位技术等。...
    4. 《水下无线传感器网络中一种安全定位算法》PDF+DOC 提出一种基于阵列传输结构的无线传感器网络安全定位算法(USA)。该算法主要解决水下无线传感器网络(UWSN)面临的一些安全威胁问题。以提高无线传感器网络安全性，特别是位置信息的安全性为设计目标。利用节点协作形成的阵列作为天线阵列进行相互通信，在不增加额外硬件成本的同时，还获得阵列天线给无线传感器网络......
    5. 《城市轨道交通车载测速定位模拟装置研究》PDF+DOC 为了解决轨道交通实验实训室目前缺少实训设备的问题和丰富教学实践，文章设计了测速定位系统以STM32F103V8T6为核心，使用光码盘和超声波进行测速定位的车载测速定位模拟装置，介绍了该装置硬件电路和系统软件设计方法，并通过系统测试，验证该系统达到了设计要求。...
    6. 《基于Ptolemy的自适应巡航系统建模与仿真》PDF+DOC 信息物理融合系统(CPS)是计算、通信与控制技术的融合，汽车自适应巡航控制系统是一种典型的CPS，具有广泛的应用前景。通过建立汽车纵向行驶的数学模型，并基于CPS给出自适应巡航控制系统的结构，设计系统的状态机模型。基于Ptolemy分别设计前车、测量距离和本车的计算模型，构建系统的层次模型，在子模型......
    7. 《无线传感器的安全定位多点验证协议的形式化方法研究》PDF+DOC 目前，无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作，对无线传感器的定位主要研究是集中在能够正常定位的前提下，对安全定位研究较少。本文首先介绍多点验证协议，并用形式化方法对其距离验证协议展开研究，然后验证距离验证协议在WS......
    8. 《磁浮列车测速定位中的信息融合研究》PDF+DOC 将信息滤波融合理论引入中低速磁浮列车测速定位领域，在交叉感应回线的测速定位基础上增加雷达测速定位传感器和查询应答器，以交叉感应回线和雷达传感器实现相对定位，以查询应答器实现绝对定位，从而得到多传感器信息融合测速定位，可以显著提高中低速磁浮列车测速定位的精度和可靠性。最后采用MATLAB仿真对结论进行......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。