大学数学教学中创新思维能力的培养

大学数学作为高校重要的基础课程,不仅为专业课提供必要的数学工具,还担负着发展学生数学思维的作用。培养学生的创新思维能力,需要有一支具有创新意识和能力的教师队伍,需要教师在教学过程中激发和培养学生学习数学的兴趣及思维能力,才能逐步培养学生的直觉与猜想思维能力、归纳与类比思维能力、发散与收敛思维能力、逆向与正向思维能力等创新能力。

关于数学证明方法与算法实现关系的一些探讨

从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.

一类不确定时滞系统的H_∞问题

研究利用LMI(线性矩阵不等式方法)求解一类时滞不确定系统的H∞性能问题.首先讨论了系统的稳定性问题,然后又构造了无记忆状态反馈控制器来镇定系统并且使系统具有一定的鲁棒性和H∞性能.

高阶非完整系统的适应调节

通过综合利用“加幂积分器”的方法、“不连续投影”技巧和state scaling技巧构造出了一个不连续的动态适应控制律,解决了一类高阶参数非完整系统的适应调节问题.且所求控制律能确保未知参数的估值在一个预先给定范围内.

Lurie混沌系统的脉冲控制同步

研究了Lurie混沌系统的脉冲控制同步问题,基于Lyapunov稳定性理论和矩阵不等式处理方法,将Lurie混沌系统的同步化问题转化为线性矩阵不等式来处理,便于实现.

一类高阶非线系统的适应调节问题(英文)

讨论了一类具有未知参数与下三角结构的高阶非线性系统的适应调节问题 ,该类系统对参数的变化范围有一定的限制 .在对系统没有任何增长性条件限制下 ,综合利用“加幂积分器”的办法和“不连续投影”技巧 ,构造出了一个不连续的适应控制律 ,使得闭环系统具有全局强稳定性 。

基于向量Liapunov函数不连续系统的稳定性研究

基于局部Lipschitz连续且正则(Clarke意义下)的向量Liapunov函数,讨论不连续自治系统的稳定性(Filippov解意义下).通过定义一类新的向量Liapunov函数的"集值导数",给出了关于不连续系统的广义比较原理.基于Lipschitz连续且正则的向量Liapunov函数,进一步的给出不连续自治系统的Liapunov稳定性定理.

变时滞控制系统的变结构控制

采用趋近律方法设计控制律 ,利用Riccati方程与矩阵不等式方法给出了带扰动量和不确定扰动量的变时滞控制系统控制律 ,并通过例子验证了控制律的有效性 .

一类不确定非线性离散时滞系统的鲁棒镇定问题

研究了不确定非线性离散系统的鲁棒镇定问题,把不确定非线性离散系统的鲁棒镇定问题转化为严格的线性矩阵不等式,给出了可设计系统无记忆状态反馈控制律的充分条件;当条件满足时设计出无记忆状态反馈控制律使闭环系统渐近稳定,同时得到有界非线性扰动项的最大界值.然后把结果推广到非线性时滞系统,得到了相应的结果.

一个新的含非线性位势的谱问题及可积系

对一个新的带非线性位势u2 的特征值问题及相应的辅谱问题进行研究 ,得到一族新的孤子方程 ,并由此导出一个新的 ( 2 + 1)维可积模型 .通过将特征值问题非线性化 ,得到一个完全可积的有限维Hamilton系统 。

一类非线性时滞系统的自适应镇定

考虑了一类非线性时滞系统的自适应镇定问题.在一般条件下,利用Lyapunov函数和Backstepping方法设计了一个自适应状态反馈控制器,使得闭环系统全局渐近稳定,并且给出了仿真算例.

一类不连续系统关于闭不变集的有限时间稳定性研究

主要研究右端不连续系统在Filippov解意义下关于闭不变集(未必是紧集)的有限时间稳定问题.当Liapunov函数是Lipschitz连续的正则函数情况下,给出了相关的Liapunov稳定性定理.

反相容工件系统的加权完工时间和的重新排序问题(英文)

重新排序问题是指在原始工件已经安排好的情形下,新到的工件集与原始工件集一起重新再排序,这是实际工作中常见一类优化问题。本文考虑了单机上当工件加工时间与权重反相容时,在最大错位量约束下的加权完工时间和最小化的重新排序问题。对于提出的四个问题,即在最大序列错位、最大时间错位、总序列错位和总时间错位约束下的加权完工时间和重新排序,基于问题的结构性质,运用动态规划方法分别给出了这些问题的多项式时间或拟多项式时间算法。

一类切换模糊时滞系统的H_∞控制

针对切换模糊时滞系统,根据平行分布补偿算法,考虑了H∞控制问题.利用单Lyapunov函数和多Lyapunov函数方法,给出了系统满足H∞性能的充分条件以及切换律的设计方案.

一类模糊不确定时滞Lurie系统基于观测器的混沌同步问题

研究了一类模糊不确定时滞Lurie系统基于观测器的混沌同步问题,基于Lyapunov稳定性理论和矩阵不等式处理方法,将Lurie混沌系统的同步化问题转化为线性矩阵不等式来处理,便于实现.

免疫响应系统的全局稳定性

研究了免疫响应系统无病平衡点和正平衡点的全局稳定性问题.通过构造合适的Lyapunov函数,得到了该系统各个平衡点的全局稳定性条件.结果表明,该系统当只有一个平衡点—无病平衡点时,其必然是全局稳定的;当参数变化导致出现新的平衡点—地方病平衡点时,它也必然是全局稳定的.理论和数值结果非常吻合,表明推导的结果是正确的.该结果的生理意义非常清楚,表明了治疗对此系统的动力学影响是关键性的,对患者的康复是非常重要的.

区间切换系统的镇定

讨论了时不变线性区间系统的镇定问题.首先考虑区间能控切换关系的关于反馈增益矩阵的过冲问题,得到了线性区间系统的过冲不等式,在过冲不等式的基础上,给出了小区间切换系统指数镇定的反馈律设计,从而使区间切换系统在所设计的反馈律下是指数镇定的,在一定程度上解决了线性区间系统的鲁棒镇定问题.

一类最小相高阶串联系统的几乎干扰解耦问题

讨论了一类最小相高阶串联系统的几乎干扰解耦问题的反馈设计,对一般的由L_(2m)-L_(2mp)所定义的非线性增益指标,利用加幂积分器和Back-stepping方法,我们构造性的给出了一种光滑控制律的设计方法,保证闭环系统在内稳定的基础上,使系统达到干扰衰减。

一个Bargmann系统与一类演化方程解的对合表示

本文通过一个特征值问题的非线性化，得到一个Bargmann系统并且证明它是Liouville意义下的完全可积系统，给出了与这个特征值问题相联系的演化方程解的对合表示。

推广增长曲线模型中回归系数估计的可容许性

考虑推广增长曲线模型中回归系数的线性估计问题和在线性估计类中的可容许性,利用增长曲线模型结果,得到了线性估计在线性估计类中可容许的两个充分条件.