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

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

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

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

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

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

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

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

C~3I系统生存能力的机动性能建模与仿真

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

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

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

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

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

畜牧养殖机械化技术

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

农业机械化影响因素实证分析——兼论农村金融对农业机械化的支持

利用双对数计量模型对农业机械化有关数据进行实证分析,表明：农业机械化水平与农民人均收入水平、耕地规模和农村金融发展水平之间具有相关关系;规模经营可能会增加对大型农业机械的需求,耕地细碎化会产生对小型机械的需求。指出,提高农民人均收入和加强农村金融对农业机械化的支持,都有利于建立现代农业,促进农村经济和谐发展。     

基于UML和JSP的农业机械化装备信息网络平台

针对利用UML(Un ified Modeling Language)为中小型W eb应用系统建模时的复杂过程,在利用UML和JSP(Java Server Pages)技术开发W eb应用程序过程中,采用面向对象分析(OOA:Ob ject-O riented Analysis)和面向对象设计(OOD:Ob ject-O riented Design)方法,主要建立了系统的用例图、交互图、设计类图和组织结构图,适当简化了系统建模过程,以适合农业机械化装备信息网络平台项目的设计与开发。开发实践表明:该简化的建模过程适合于中小型项目的开发,开发周期缩短了1/4,提高了系统的开发效率。这些方法可用于系统设计阶段,有助于清晰掌握系统的整体结构和主要功能,快速高效地开发W eb应用。