FMS在线刀具存取策略研究与系统开发

该文在已有刀具管理系统管理方法的研究基础上，针对ＦＭＳ刀具在线管理系统的结构特点，建立了ＦＭＳ在线刀具管理的体系结构，并提出了适用于ＦＭＳ、ＣＩＭＳ的刀具存取策略算法，包括进出站管理、机床局部刀库管理、中央刀库管理等几部分，最后对其进行了软件开发。     

岩芯筒压入地层的塑性力学问题

摘要首先从库仑定律出发导出了地层介质塑性流动条件。其结果类似于一般塑性力学中的Tresca,Mises条件。其次列出了轴对称地层塑性流动的微分方程组,并推出了其简化近似方程。最后提出了简化方程的特征线解法,并举例说明。     

一阶线性非齐次微分方程求解方法的讨论和一个简化的求解方法

本文证明了一阶线性非齐次微分方程y＇+P(x)·y=f(x)三个求解方法:参数变易法、积分公式、积分因子法之间的等同关系.从参数变易法中引出一个简化的积分公式.事实上此公式恰是对用参数变易法解高阶线性非齐次微分方程时对n=1的拓广.最后以实例验证此公式的简易.     

含参数λ微分方程类型的可积判据

提出几类含参数λ微分方程,借助变量替换法、线性化法、降阶法、交换变量位置法,论证其可积性,给出可积的判据及通解的表达式.扩大微分方程的可积范围,提供其求解的方法及通解公式.     

Krzyz猜想的证明及其在调和单叶函数中的应用

在族B0中引进了Loewner微分方程，证明了Krzyz猜想，并且在调和单叶函敷中给出系数不等式的应用。     

积分中值定理的推广及在常微分方程中的应用

对定积分中值定理作出推广并应用于方程初值问题解的延拓，得出了关于解向右延拓的两个结果。     

一类不确定非线性系统的鲁棒稳定控制器的设计

运用微分流形的分布为工具，先将一类多输入多输出不确定非线性系统通过对角状态反馈变换为一个状态矩阵为区间矩阵的不确定线性系统，把非线性系统的不确定性和对角状态反馈变换误差转化为区间矩阵。再对区间矩阵系统应用实对称矩阵集合的最小上界定理进行鲁棒控制器设计，从而达到对原非线性系统的鲁棒稳定控制。最后通过一个算例验征了该方法的有效性。     

二阶循环数列方程的特征根解法

就应用常微分方程的常系数线性微分方程解法的理论解决递归数列中二阶循环数列方程问题进行了论述 ,由此可看到高等数学对初等数学的指导作用 .     

二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.