推土机
推土机是一种能够进行挖掘、运输和排弃岩土的土方工程机械，在露天矿有广泛的用途。例如，用于建设排土场，平整汽车排土场，堆集分散的矿岩，平整工作平盘和建筑场地等。它不仅用于辅助工作，也可用于主要开采工作。例如:砂矿床的剥离和采矿，铲运机和犁岩机的牵引和助推，在无运输开采法时配合其他土方机械降低剥离台阶高...
资源总数
500
推土机 热门资料
查看全部 500 份 →基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛...
2013-11-30
89