公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

基于Petri网的列控系统的一些关键问题的研究: 随着人们日常工作生活和工业生产的信息化，软件开发的质量越来越受到人们的重视。传统软件开发方法在分析和设计过程中所可能带来的二义性、含糊性、不完整性以及抽象层次混杂的问题，已经愈发难以满足现代软件开发，尤其是安全性要求很高...; 刘建昆; 关键词：PETRI网列车控制系统形式化; 文献传递

基于Petri网的列控系统形式化分析方法被引量：2: 2013年; 利用原型Petri网对列车控制系统建模难于实现,用带抑止弧的增广Petri网则可以较好地描述问题。将带抑止弧的增广Petri网作为计算模型,对列车控制系统的一些关键问题进行了建模并给出了两个控制子系统:车站调度子系统与区间运行子系统。车站调度子系统实现了对列车请求进入和驶离车站的协调控制,区间运行子系统则实现了闭塞区间的车辆的安全性控制、突发事件时(如遭遇雷击,信号丢失的情况发生等)的安全性处理和公路铁路交叉口的调度等。最后,利用S-不变量对模型的活性、可达性和有界性等给予了形式化的验证。; 刘建昆宋文周涛; 关键词：PETRI网列车控制系统形式化

全选清除导出

共1页<1>

刘建昆