论文部分内容阅读
该文研究机器证明中的吴文俊方法在稳定性理论中的应用。
机器证明中的吴方法在常微分方程中的应用
【摘 要】
：
该文研究机器证明中的吴文俊方法在稳定性理论中的应用。
【机 构】
：
大学数学系
【出 处】
：
全国第五届常微分方程稳定性理论及其应用学术会议
【发表日期】
：
1996年期
其他文献
该文利用Ｌｙａｐｕｎｏｖ直接方法，建立了一阶中立型时滞微分方程平凡解渐近稳定的判定准则，避免了前人通过考虑振动和非振动解的渐近行为来建立稳定性准则的方法。
小麦主要种植在半干旱气候条件下,水分通常是限制因子.植物利用有效水分保持地上部发育的能力,很大程度上依赖其根系.在营养生长期,虽然土壤剖面上层的水分可以利用,然而在