Event-B模型相关论文
我国目前煤矿开采业存在机械化、自动化、信息化程度低等技术不够成熟的问题,是导致煤矿事故频发的主要因素之一。矿井机车运输作为......
矿井机车无人驾驶系统在设计时具有较高的安全要求,属于典型的安全关键系统。然而,在安全关键系统软件的设计过程中,传统上基于软件工......
井下无人驾驶机车运行过程的控制是矿井机车无人驾驶系统(mine locomotive unmanned system,MLUS)的核心,其设计与开发具有较高的安......