如何推进永春县丘陵山区农业机械化建设

加强推广农业机械化建设对于建设现代农业、促进农民增收、保障国家粮食安全极为重要。本文以福建省永春县为例,首先阐述了永春县概况,其次,结合笔者多年的工作经验,就推进永春县丘陵山区农业机械化建设的措施进行了较为深入的探讨,具有一定的参考价值。     

关于岩巷掘进技术在矿山中的应用探讨

本文根据作者多年矿山工作经验，探讨了关于岩巷机械化快速掘进技术的相关问题，通过优化劳动组织，提高大断面岩巷掘进速度，达到快速掘进目的。希望对从事相同工作的同行有所裨益。     

近水平煤层高瓦斯综采工作面两巷边孔抽采

一、工作面概况 1271（3）工作面位于西一采区突出危险区域，13—1煤层，综合机械化采煤，两巷支护方式为锚索网。标高-745-660m，东西走向长度1350m．南北倾向长度160m。工作面内煤层倾角平均为4°，原始煤层瓦斯含量为8．5m^3／t．煤层总厚3．0～4．5m，平均煤厚3．6m。     

Monorail Prospects for the Development of the Secondary Transport System

单轨吊辅助运输系统开发是为了降低采掘工人的劳动强度、降低运输物料难度和综合安全因素的情况设计的,采用单轨吊辅助运输技术简化了运输环节,提高了运输效率和运输安全,对于我国采矿工作有着重大的意义.文章将着重介绍单轨吊辅助运输系统以及它的发展前景.     

大跨度公轨桥梁机械化与信息化施工管理

目前我国的交通基础建设发展较快,桥梁建设的新技术不断出现,相应的机械化与信息化施工管理技术越加严格。本文主要讲述大跨度公轨两用桥梁的机械化与信息化施工技术,采用大型缆索吊机施工,确保工程施工经济、合理、安全。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

谈谈大棚卷帘机械作业技术的主要内容

随着农村经济的发展,农民收入的增加,农民购买农业机械的积极性不断增强,特别是国家农机具购置补贴政策力度的加大,农业机械化进入了一个新的发展阶段。促进我县设施农业的发展,大棚卷帘机达到2万多台,笔者结合工作实际,对大棚卷帘机械作业技术做以初浅的探讨。     

影响采掘机械截割块率和粉尘的因素分析

通过对采掘机械截割的块率和粉尘有关参数关系的分析，给出了各因素地截割块率和粉尘的影响，探讨了提高块率降低截割粉尘的途径。     

构造性的思维方式与数学机械化

本文论述构造性思维方式与数学化的关系，指出中国古算机械化思想受制于筹算体系思维方式的特点，可以说是构造性思维方式作用下的必然结果，构造性的思维方式与中国古算的关系和作用，使中国古算表现出瘘具构造性和机械化的双重特色，并给现代数学的发展以重要启示。