角谷猜想的证明

应用马尔可夫链推导出角谷链的状态转移概率,从而得出角谷链中的奇数和偶数出现的概率,再以概率的大数定律为基础证明日本数学家角谷静夫提出的猜想.     

Lotka-Volterra方程的全局指数稳定性

研究一类具有时滞的Lotka-Volterra生物方程，证明该系统在一定条件下存在正的平衡态，并给出了正平衡态指数稳定的充分条件。     

一类不确定时滞系统的鲁棒可靠控制

研究了在执行器发生故障的情形下,具有状态时滞的一类不确定系统的时滞依赖型鲁棒可靠镇定控制器的设计问题.基于二次可靠镇定的定义,通过构造双积分型Lyapunov函数,得出了系统鲁棒可靠镇定的充分条件,该方法减弱了控制器设计的保守性.最后通过仿真实例验证了所提方法的正确性和有效性.     

一类具有单个时滞的微分方程周期解的存在性

通过使用重合度理论研究了一类具有单个时滞的微分方程x′(t)=ax(t) bx(t-h) f(t)的2π周期解存在性问题，得到了周期解存在的充分条件，并改进了相关文献中的结论．     

一类时滞梁振动系统的不稳定性

讨论边界条件中带时滞的梁边界反馈控制系统{utt（x,t）＋uxxxx（x,t）=0,0〈1〈1,t〉0,；u（0,t）=ux（0,t）=uxxx（1,t）=0,t〉0,；uxx（1,t）=-uxt（1,t-ε）,ε〉0,；u（x,0）=u1（x,0）,ut（x,0）=u2（x,0）。证明了存在εn〉0，且εn→0使得该系统不稳定．     

一类二阶时滞微分方程边值问题的正解

讨论一类二阶时滞微分方程边值问题{u″＋λf（x,u（x-）τ）=0,0＜x＜1,u（x）=0,-τ≤x≤0,u（1）=0,其中τ〉0，参数λ〉0．利用Krasnosel’skii不动点定理，得到了这类问题正解存在与不存在的充分条件．推广了文[7]关于时滞微分方程边值问题的工作．     

一类带有扰动的不确定切换系统的鲁棒镇定

研究了一类带有非线性扰动的不确定切换系统的鲁棒镇定问题．利用完备性条件，得到了不确定切换系统渐近稳定的一个充分条件．基于LMI方法，设计出鲁棒状态反馈控制器及相应的切换策略，使得闭环系统在其平衡点处是渐近稳定的．     

一类基于比率和具有时滞的非自治的捕食者饵系统的周期解

研究了一类基于比率和具有时滞的非自治的捕食者食饵系统．利用重合度理论，得到了该系统周期解存在性的充分条件．     

最优和最小能量最优跟踪问题

以广义逆矩阵的理论和Bellman动态规划方法为基础,给出了离散线性时变系统最优和最小能量最优跟踪问题的两种形式的解,对每一种情形,还给出了最小跟踪误差和最小控制能量的简洁表达式.     

电力系统状态估计算法研究

对已有状态估计算法进行了分析,并结合实际电网的一些特点,在最小二乘法的基础上,对PQ分解法的病态线路提出了一种新的解决方法,即将电压量测量和功率、电流量测量分解开来进行计算,建立了相应的数学模型。和其它方法进行了比较,认为该方法具有收敛性好、计算速度快的优点。