联锁系统应⽤软件的验证姚亚平：中国铁道科学研究院通信信号研究所助理研究员100081北京齐志华：中国铁道科学研究院通信信号研究所助理研究员validation verification100081北京徐登科：中国铁道科学研究院通信信号研究所助理研究员100081北京张萍：中国铁道科学研究院通信信号研究所副研究员100081北京基⾦项⽬：铁道科学技术研究发展中⼼项⽬（J2012X001）收稿⽇期：2...

第39卷，第3期2 0 1 8年5月c中酬!m d Vol. 39 No.3 M ay, 2018文章编号：1001-4632 (2018) 03-00101-09基于通信顺序进程与B方法的C B T C计算机联锁系统的形式化建模与验证王鲲1>2(1.中国铁道科学研究院通信信号研究所，北京100081;2.国家铁路智能运输系统工程技术研究中心，北京100081)摘要：针对CBTC联锁系统的复...

    计算机联锁系统培训测试题姓名：          单位：                  分数：      一、 填空题1、 当前国内计算机联锁系统的主要制式有双机热备、三取二和二乘二取二三种制式...

CP1H:1指令助记符：装载LD装载非LD NOT与AND与非AND NOT或OR或非OR NOT与装载AND LD或装载OR LD非NOT条件ON UP条件OFF DOWN2指令助记符：输出OUT输出非OUT NOT保持KEEP上升沿微分DIFU下降沿微分DIFD置位SET复位RSET多位置位SETA多位复位RSTA单一位置位SETB单一位复位RSTB3指令助记符：结束END空操作NOP联锁IL...