论农业机械化投资和农村经济发展的关系

本文综述了农业机械化投资和农村经济发展的关系,指出“可能、需要、合算”是我国农业机械化投资演变和发展必须遵循的原则。     

一类多项式不等式的证明研究

综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。     

连续归纳法的新证明及其应用举例

 关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。     

中国传统数学与数学机械化

中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在世界数学发展的主流之外.吴文俊提出“在历史的长河中,数学机械化算法体系与数学公理化演绎体系曾多次反复互为消长交替成为数学发展中的主流”,从而从理论上解决了中国传统数学是世界数学发展主流的一部分的问题.微积分的产生也证明中国传统数学属于世界数学发展的主流.微积分产生时的推理模式不是希腊式的,而是接近中国式的.吴文俊受到中国传统数学的构造性、机械化特色以及几何问题代数化思想的启发,产生了数学机械化思想,发展了笛卡儿、莱布尼茨、希尔伯特等的设想,创立了数学机械化理论.他首先在初等几何定理的机器证明方面取得突破.接着,提出了一个将问题化为代数方程组求解的数学机械化方案.他从朱世杰的四元消法得到启示,发现了三角化整序法,是目前唯一完整求解代数方程组的方法.吴文俊指出,继续发扬中国古代传统数学的机械化特色,实现数学各个不同领域的机械化,是绵亘整个21世纪才能大体趋于完善的事.     

C3I系统生存能力的机动性能建模与仿真

针对C3I系统机动性能对其生存能力的影响规律,通过对系统生存能力概念的研究,提出了一种基于美国工业界武器系统效能咨询委员会评估方法的C3I系统生存能力的建模与仿真方法.由系统组成的串并联结构分析,归纳出了系统节点在不同毁伤状态下的3种毁伤等级,并建立了系统机动能力的可用度、可信赖性矩阵和系统能力向量模型.应用MATLAB对系统机动能力进行了仿真分析,研究结果表明该系统生存能力的机动性能仿真方法合理可行.     

中算数学机械化思想在和算中的发展——解伏题的机械化特征

和算解伏题是关于多元高次联立方程组求解问题,因其在世界数学史上首次导入了行列式算法而向为学术界所重视。文章从数学机械化这一视角对其提出新的认识,重新讨论和算解伏题的消元理论问题,认为和算解伏题是中算代数化几何与以元天术为核心的代数演算的机械化数学传统的后续发展,关孝和给出了多元高次方程组消元的一般性程序,从而构筑了和算后期计算几何发达的基础,比诸行列式理论,解伏题的数学机械化思想的价值更为重要。     

基于BP神经网络的整株秸秆还田机功耗优化

为解决利用回归分析法优化水稻整株秸秆还田机功耗时存在的拟合误差精度差和准确性低等缺陷,提出一种高精度和高准确性的基于BP神经网络的优化方法.本文以1ZT-210型水稻整株秸秆还田机为研究对象,选取机具前进速度,刀辊转速,刀具安装角为试验因素,还田机功耗为影响指标,以二次正交旋转组合试验数据为训练样本,获得功耗与影响因素的BP神经网络模型;并季利用提出的方法对其进行优化,获得功耗影响因素的最佳参数组合为:机具前进速度1.39 km/h,刀辊转速210 rpm,刀具安装角55°,该参数组合下还田机的最小功耗为9.21 kW.试验条件下还田机最小功耗优于回归分析法所得最小功耗10.56 kW,以BP神经网络优化结果进行验证试验,试验测得功耗值9.42 kW,与BP神经网络优化结果绝对误差为0.21 kW,相对误差为2.28%.试验结果表明:该优化方法实用性强,拟合精度高,优化结果准确稳定,为解决农业工程领域中类似优化问题提供了一种新方法.     

提升煤矿辅助运输机械化水平探讨

分析了我国煤矿井下辅助运输系统水平落后的原因,结合新建高产高效矿井辅助运输系统的运行情况,提出老矿井辅助运输系统的改进方法。     

秸秆机械化整秆还田翻埋技术的试验分析

对一次机械作业即可完成秸秆整秆翻埋还田的新工艺进行了分析研究，包括不同机具作业效果对比、作物秸秆状况对还田质量的影响、机械作业参数对覆盖质量的影响、秸秆还田质量对春季作业及幼苗生长生育的影响、整秸秆翻埋还田后的秸秆腐熟和土壤理化性能．指出整秸秆翻埋还田是一项节本增效的农业增产增效技术，宜在一年一作地区推广应用。     

畜牧养殖机械化技术

阐述了高平市畜牧养殖机械化技术二青贮圆捆机试验效益，并着重分析了玉米秸秆青贮技术特点，指出了秸秆的综合利用对当地产业结构调整的积极作用。