搜索筛选:
搜索耗时3.3146秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：荚文祥,,
来源：合肥工业大学 年份：2004
我国目前煤矿开采业存在机械化、自动化、信息化程度低等技术不够成熟的问题,是导致煤矿事故频发的主要因素之一。矿井机车运输作为煤矿井下开采过程中的重要一环,它对提高生...
[学位论文] 作者：荚文祥,
来源：合肥工业大学 年份：2017
我国目前煤矿开采业存在机械化、自动化、信息化程度低等技术不够成熟的问题，是导致煤矿事故频发的主要因素之一。矿井机车运输作为煤矿井下开采过程中的重要一环，它对提高生产......
[期刊论文] 作者：荚文祥,陆阳,许崇,魏振春,
来源：合肥工业大学学报：自然科学版 年份：2018
人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输...
相关搜索：
