首页> 中文期刊>城市轨道交通研究 >基于时间自动机的监测系统通信流程建模分析

基于时间自动机的监测系统通信流程建模分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了轨道电路微机监测系统的通信流程.使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证.所建立的通信模型能够在轨道电路微机监测系统软件中仿真运行,并能够为软件的开发提供功能及时序规范,确保软件开发的正确性及软件运行时无死锁等故障发生.

著录项

来源
《城市轨道交通研究》|2015年第2期|7-10,15|共5页
作者
高昕;
展开▼
作者单位

国电南瑞科技股份有限公司,211800,南京;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息通道;
关键词
轨道电路; 微机监测; 时间自动机; 实时系统;
入库时间 2022-08-17 23:01:36

相似文献

中文文献
外文文献
专利

1. 基于时间自动机的跨界临时限速建模与分析 [J] . 张大鹏 . 铁道通信信号 . 2018,第002期
2. 基于概率时间自动机 Web 服务质量的形式化建模分析 [J] . 陆闯 ,刘淑芬 ,王晓燕 . 吉林大学学报（理学版） . 2015,第003期
3. 基于PLCopen运动控制功能块的时间自动机建模与验证 [J] . 孙青怡 ,黄志韬 . 制造业自动化 . 2021,第009期
4. 基于时间自动机的汽轮机控制保护系统建模 [J] . 马海迎 ,李奕彤 ,袁晓舒 . 东方电气评论 . 2021,第004期
5. 基于层次时间自动机的移动授权的建模与验证 [J] . 蔚璠 ,汤旻安 . 科学技术与工程 . 2020,第011期
6. 基于层次时间自动机的动态行为取证建模方法 [C] . JIN Xian-li ,金仙力 ,SUN Guo-zhi . 2012年江苏省人工智能学术会议 . 2012
7. 基于概率时间自动机的智能居家养老监测流程分析 [A] . 吕芳音 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号