矿井机车

作品数：67被引量：212H指数：9
导出分析报告
相关领域：矿业工程更多>>
相关作者：韩江洪卫星魏振春陆阳李玉良更多>>
相关机构：合肥工业大学中国矿业大学教育部合肥工大高科信息科技股份有限公司更多>>
相关期刊：《煤炭学报》《煤矿安全》《合肥工业大学学报（自然科学版）》《山东煤炭科技》更多>>
相关基金：国家自然科学基金国际科技合作与交流专项项目安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机科学与技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
物联网远程接入通信的RFID矿井机车定位系统被引量：2
《工业安全与环保》2021年第3期26-29,33,共5页张新 
国家科技型中小企业技术创新基金(13C26213302220)。
提出了LoRa远程数据传输的有源RFID定位技术方案,实现矿井机车运行状态监测。基于nRF24LE1和nRF24L01+两种射频芯片构建RFID标签识别系统,利用电子标签标识对象唯一性和标签在巷道空间位置固定的条件,通过SX1278射频芯片开发的物联网远...
关键词：物联网远程接入 有源电子标签 LoRa 矿井机车 定位 
有源RFID标签在矿井机车定位监测中应用被引量：3
《煤炭技术》2020年第8期169-172,共4页张新 
提出了一种利用有源RFID电子标签实现矿井机车运行状态监测和定位的设计方案。有源微波RFID电子标签具有远距离非接触式读写能力,基于nRF24LE1和nRF24L01+2种射频芯片构建RFID标签识别系统,利用电子标签标识对象唯一性的特点,结合矿井...
关键词：有源电子标签 矿井机车 定位 RFID LoRa 
基于C#平台的矿井机车监控系统设计与实现被引量：3
《软件导刊》2019年第5期114-116,121,共4页于琳 李猛 李荣伟 
山东省重点研发计划项目(2016CYJS06A01);山东省高校科技计划项目(J16LN27);济南大学博士项目(XBS1435)
针对传统矿井机车监控系统监控内容单一,对机车不具有操作性等问题,设计了以C#为编程语言,以SQL Server 2016为数据存储软件的矿井机车监控系统。系统采用模块化设计思想,包含登陆模块、运行模块、参数监控模块、网络监控模块、视频监...
关键词：矿井机车 远程监控 C# SOCKET 
矿井机车自主驾驶过程的建模及验证
《合肥工业大学学报（自然科学版）》2018年第10期1362-1367,共6页赵雷 卫星 张建军 
国家重点研发计划资助项目(2016YFC0801405;2016YFC0801804)
文章首先使用自然语言描述了矿井机车自主驾驶系统的结构和控制过程;然后基于时间自动机理论对自主驾驶中涉及的机车控制器、机车运行服务器以及其他车载设备、被控对象建模,从而得到自主驾驶的时间自动机网络模型;最后应用时间自动机...
关键词：时间自动机 UPPAAL工具 模型检测 矿井机车 自主驾驶 系统建模 
基于激光扫描雷达的矿井机车障碍物检测方法研究被引量：3
《煤矿机械》2018年第8期32-34,共3页方崇全 
重庆市社会民生科技创新专项基金资助项目(cstc2016shmszx0008)
针对当前矿井机车防撞系统障碍物检测方法中存在的测距方法精度低、测距范围有限或者需要外加光源等问题,提出了一种基于激光扫描雷达的障碍物检测方法,该方法可实现机车270°范围内障碍物检测,检测范围广且无需外接光源。通过分析激光...
关键词：矿井机车 障碍物检测 激光扫描雷达 射线法 
井下无人驾驶机车运行过程控制的建模与验证被引量：4
《合肥工业大学学报（自然科学版）》2018年第6期773-779,共7页王建斌 韩江洪 魏振春 卫星 
国家国际科技合作专项资助项目(2014DFB10060);国家重点研发计划资助项目(2016YFC0801405;2016YFC0801804)
井下无人驾驶机车运行过程的控制是矿井机车无人驾驶系统(mine locomotive unmanned system,MLUS)的核心,其设计与开发具有较高的安全性要求,采用形式化方法对其需求进行建模与验证可以在开发早期验证其设计的正确性和一致性,从而较早...
关键词：矿井机车无人驾驶系统(MLUS) 机车控制 Event-B模型 形式化建模 形式化验证 
矿井机车运输信号系统的Event-B建模与验证研究
《合肥工业大学学报（自然科学版）》2018年第6期787-794,共8页荚文祥 陆阳 许崇 魏振春 
国家重点研发计划资助项目(2016YFC0801804;2016YFC0801405);安徽省自然科学基金资助项目(1409085MKL79;1409085MKL80)
人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建...
关键词：联锁表 Event-B方法 形式化方法 机车 证明义务 
基于混成自动机的矿井机车无人驾驶系统模型
《合肥工业大学学报（自然科学版）》2017年第8期1042-1047,共6页卫星 王军 
国家国际科技合作专项资助项目(2014DFB10060)
矿井机车无人驾驶系统显著表现出连续和离散同时存在的混成特征,混成自动机能够精确刻画其系统演化过程,文章研究该系统的建模及验证问题。首先设定遵循安全高效驾驶原则的时间演化行驶过程模型;然后定义影响系统演化的各道岔信号灯状...
关键词：混成自动机 矿井机车 无人驾驶 混成系统 系统建模 
矿井机车无人驾驶系统基站接入控制策略
《电子测量与仪器学报》2016年第8期1190-1197,共8页吴燎原 段章领 王军 韩江洪 
国家自然科学基金(61370088);国家国际科技合作专项(2014DFB10060)资助项目
将多包接收技术应用到井下无线宽带网络中,研究如何调整每辆机车车载终端的发射功率,使每个基站在满足干扰约束的前提下同时接入的机车数量最大。首先,建立基于相继干扰消除算法的单基站多矿井机车的调度模型;其次,通过模型的干扰约束...
关键词：无人驾驶机车 多包接收 串行干扰消除 接入控制 
基于信标同步及信道预测的井下无线网络切换机制研究被引量：3
《电子测量与仪器学报》2015年第8期1130-1136,共7页魏振春 郭令 石雷 
国家国际科技合作专项(2014DFB10060);国家自然科学基金(61370088);安徽省高等学校省级自然科学研究(KJ2013ZD09)项目
矿井机车无人驾驶系统面临的一个主要问题是车载移动节点MN在机车轨旁AP间进行切换产生的通信延时问题。传统切换机制扫描所有信道,时延过大,难以满足系统通信的实时性要求。因此建立井下802.11无线网络模型,提出基于信标同步及信道预...
关键词：矿井机车无人驾驶系统 信标同步 切换机制 信道预测 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部