论文部分内容阅读
要想更好地对铁路信号联锁逻辑形式化建模进行研究,就需要了解它的有色Petri网结构,并且要对建模的实践等方面进行积极的讨论,这样才能够研究出更有效的建模方法,从而可以使铁路信号联锁逻辑形式化顺利进行.
铁路信号联锁逻辑形式化建模研究
【摘 要】
：
要想更好地对铁路信号联锁逻辑形式化建模进行研究,就需要了解它的有色Petri网结构,并且要对建模的实践等方面进行积极的讨论,这样才能够研究出更有效的建模方法,从而可以使
【机 构】
：
中国铁路北京局集团有限公司石家庄电务段
【出 处】
：
中国新通信
【发表日期】
：
2020年11期
其他文献
城市外来人口的增多,必然会给社区管理造成更大压力,随着近几年来国内智慧社区的深入开展,AI门禁的应用越来越多,这也使得社区管理压力得到缓解.本文对目前AI门禁的现状以及
本文在研究雷达站设备进出站管理业务流程的基础上,利用ASP.net编程语言,MVC网站开发框架,MySQL数据库,NHibernate对象/关系数据库映射框架等技术,开发出了一套可提高空管局
移动边缘计算技术作为近年来一种刚刚兴起的技术,通过在网络的边缘侧放入存储、计算、带宽等资源,对降低带宽消耗和减少传输延迟具有重要作用.内容提供商及应用开发者主要是
传统的家居系统过于单一和枯燥,不能较好的适应现代生活的需要.智能家居系统是未来发展的趋势,本文提出设计一款基于nb-lot的智能家居系统,通过数据采集、分析结合软件控制实
在科技蓬勃发展的大环境下,无线广播电视技术也开始朝着数字化的方向发展,其传播与发展范围也越来越大,较好地迎合了人民群众日益增长的精神文化需求.本文就无线广播电视技术
按照工作原理对数字电路进行划分,可以分为两种,一种是组合逻辑,另外一种是时序逻辑,本文研究数字电路调试中的时钟问题,从状态翻转、原有问题的重新排列、线路故障的排除、
通信技术的飞速发展逐渐衍生出了5G技术,这一新型的通信标准正在全球范围内得以普及与推广,各个国家都在努力铺设5G网络.其中,这一新型的通信技术同样也给电视信号传输带来了
广播电视发射台作为公共基础设施,主要作用是将广播、电视节目信号发送至用户端.为了确保用户享受到高质量、可靠的广播电视节目,需要建立一套智能化的信号监测系统对发射台
有线电视作为人们获得各种传播信息的平台,在人们的日常生活中起着极其重要的作用.如今网络传播媒体的发达给有线电视带来极大的挑战,对于有线电视未来的发展趋势需要有关部
含噪语音信号的降噪处理是数字信号处理和语音学相结合的交叉学科,在对含噪语音信号进行降噪处理时,将含噪语音信号当做一种复杂的特殊向量.通过调用MATLAB中信号处理工具箱,