矿井机车自主驾驶过程的建模及验证

来源 :合肥工业大学学报(自然科学版) | 被引量 : 0次 | 上传用户:shqcd992
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章首先使用自然语言描述了矿井机车自主驾驶系统的结构和控制过程;然后基于时间自动机理论对自主驾驶中涉及的机车控制器、机车运行服务器以及其他车载设备、被控对象建模,从而得到自主驾驶的时间自动机网络模型;最后应用时间自动机模型验证工具UPPAAL对自主驾驶模型进行了仿真分析和验证。验证结果表明建立的模型满足系统的功能性需求和实时性需求,证明了系统设计的正确性。
其他文献
十八大以来,在供给侧结构性改革全面推进的宏观背景下,全国文化产业继续保持快速发展。据统计,2005-2018年文化产业增加值年均增长18.9%,高于同期GDP现价年均增速6.9个百分点
在新时代我国社会主要矛盾转化背景下,美好生活成为重要概念,人们在追求美好生活过程中所扮演的角色也呈现为:“漂浮不定”的需求者、“负重超载”的美好者、“迷恋沉溺”的
<正>2018年11月5日,国家主席习近平在首届中国国际进口博览会上宣布设立科创板市场,并试点推行注册制改革。2019年1月30日,中国证监会发布《关于在上海证券交易所设立科创板
限制约定优先原则的规定一直是《职务发明条例》起草过程中的争议焦点.美国州法关于约定优先原则的限制规定寥寥无几,而判例法关于这一问题的理论依据却经历了由格式合同到预
我国藏区经济发展普遍滞后,但旅游资源富集。二者结合,可有效解决藏区农牧民脱贫致富难题。藏区旅游脱贫特色鲜明,作用巨大。藏区旅游脱贫的新模式值得推广借鉴。 The econo
优先股的发行有可能给普通股股东带来分红及财务回报减少等风险,这对普通股股东来说是不公平的,有损普通股股东的利益。本文从我国有关优先股的规定入手,分析了优先股发行中
现阶段的艺术领域发展不断加快,民族唱法中女高音真假声结合,得到了高度的关注。从客观的角度来分析,该类型的演唱技法,不仅在难度上非常高,同时能够展现出的效果也是非常突
为了正确认识青藏高原山地低层大气风场特征及其对民航机场飞行安全的影响,采用地面测风仪与风廓线仪观测资料,分析研究了藏东南雅鲁藏布江河谷中林芝机场低层风场垂直结构及
从国际法发展历程来看,国际法上的权利冲突问题,历来是颇有争议的问题,很多学者曾针对国际法上的权利冲突问题进行研究。不同国家学者从不同立场,提出的观点和想法有很大差异
我国现代学徒制试点中双导师制,是指由校企共建双导师队伍、协同完成学徒培养任务的一项新机制。双导师团队是学徒培养直接执行者,其素质和能力等因素高低对学徒培养质量起着