论文部分内容阅读
铁路信号计算机联锁系统是一个安全-关键系统,提高该系统中联锁软件的安全性和可靠性极其重要.为了提高联锁软件的安全性和可靠性, 该文将Petri网和对象-Z进行集成,用集成后的方法对联锁软件进行了形式化定义,对信号设备的故障情况进行了分析和处理,对列车基本进路过程的安全性进行了分析和验证.
联锁软件的形式化集成定义及安全性分析
【摘 要】
：
铁路信号计算机联锁系统是一个安全-关键系统,提高该系统中联锁软件的安全性和可靠性极其重要.为了提高联锁软件的安全性和可靠性, 该文将Petri网和对象-Z进行集成,用集成后
【机 构】
：
中国铁道科学研究院
【出 处】
：
铁道部科学研究院 中国铁道科学研究院
【发表日期】
：
2002年期
其他文献
空气悬架系统是主动悬架系统，其在主动控制作用下能够减少整车的振动，降低悬架动挠度，减小车轮的动位移，改善乘坐舒适性，同时还能有效地保护路面。随着空气悬架系统在大客车上得到
Java以其良好的跨平台特性而成为服务器端的理想语言，为利用Java来实现服务器端的计算，Sun公司推出了一个完整的开发平台--J2EE，目的是为基于Java的服务器端配置提供一个独立于
TC11(Ti-6.5Al-3.5Mo-1.5Zr-0.3Si)合金是我国航空航天领域中用量最大的两相钛合金之一，其表面MCrAlY涂层的高温防护性能直接决定着其服役性能。本文基于对国内外相关研究现状
《物流业调整和振兴规划》发布以来，全国各地开始重视物流设施的建设，兴起了物流规划和物流建设的热潮。随着城市化进程的不断加快和经济一体化的迅速发展，在经济全球化和信息化
该文首先阐述了物流及区域物流概念,对物流中心特性进行了分析.然后,对区域物流发展需求进行分析与预测,利用一般预测方法预测的基础上,建立了集对分析聚类预测模型与灰色系
辽宁省普通公路近年来发展很快,路面类型多为半刚性基层沥青路面.由于道路交通量的日益增大以及特殊的地理位置、气候环境,不少路面在使用年限内就出现了车辙、网裂、坑槽、
激光透射焊接是一种新兴的、高效的连接技术，广泛应用于热塑性聚合物之间的焊接以及聚合物与金属间的焊接。国内外对激光透射焊接工艺研究以及数值模拟已经很普遍，而对激光透射
阅读是人类获取知识的主要方式，对人类的进步和发展起着重要的作用。幼儿园早期阅读的训练和培养可以让幼儿从小养成良好的阅读习惯和阅读能力，所以幼儿园早期阅读活动可以说直
合理的港口锚地布局，能更好地保证船舶在港内的安全，加速船舶的周转，减少在港停留时间，有利于提高港口和船舶的经济效益。 近年来，随着国民经济的快速发展和产业结构的优化升级