检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《物联网技术》2020年第1期24-27,共4页Internet of things technologies
摘 要:现有磁浮列车测速定位系统所采用的技术比较单一,测速定位系统的可靠性不足,不能更好地满足各种运行环境的要求。通过分析现有磁浮列车测速定位技术的优缺点,提出了一种新型测速定位系统模型,系统模型以传感器定位技术、多普勒雷达定位技术、查询应答器定位技术为基础,通过组合逻辑对系统数据进行优化。系统模型较现有技术具有高精度、高可靠性、易工程化等优点,同时采用安全性软件开发工具SCADE对系统模型进行建模及形式化验证,验证结果表明系统模型满足设计要求。
关 键 词:磁浮列车 测速定位系统 传感器定位技术 多普勒雷达定位技术 查询应答器定位技术 SCADE 形式化验证
分 类 号:TP391.4[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.171