非线性中立型延迟微分方程Runge-Kutta方法的稳定性

对Rα,β类非线性中立型延迟微分方程给出了稳定及渐近稳定的充分条件,对于Runge-Kutta方法应用于上述问题得到的数值方法，获得了其稳定及渐近稳定的条件。     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

收费对两道路交通系统成本演化的影响

研究两条道路交通系统中收费下降对系统交通需求和交通成本的影响.在对成本和需求进行动态分析的基础上,建立了系统交通成本的演化方程组,推导出边际需求对交通流速度的约束条件.研究结果对道路定价和交通控制有一定的实用价值.     

刚性Volterra泛函微分方程算法理论及高效算法

首先介绍刚性Volterra泛函微分方程的稳定性理论及其数值方法的B理论。这项工作为刚性延迟微分方程、刚性积分微分方程以及其它各种类型的刚性泛函微分方程的研究提供了统一的理论基础。其次以该理论为指针推荐高效算法，其中包括向后Euler方法、二阶BDF方法、并行多值混合方法及实特征值多步Runge—Kutta法。     

FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS, LINEAR QUADRATIC STOCHASTIC OPTIMAL CONTROL AND NONZERO SUM DIFFERENTIAL GAMES

In this paper, we use the solutions of forward-backward stochastic differential equations to get the explicit form of the optimal control for linear quadratic stochastic optimal control problem and the open-loop Nash equilibrium point for nonzero sum differential games problem. We also discuss the solvability of the generalized Riccati equation system and give the linear feedback regulator for the optimal control problem using the solution of this kind of Riccati equation system.     

解析芝诺悖论内含的逻辑漏洞

本文回顾了亚里士多德等人对芝诺悖论的一些看法，指出寻找该悖论推理过程逻辑漏洞的必要性，并试图给出对追龟辩和飞矢辩不同于亚里士多德、罗素等人的分析。     

中立型随机时滞微分方程的离散反馈镇定

考虑了中立型随机时滞微分方程基于离散时间状态观测的反馈镇定问题.首先建立了受控系统均方指数稳定的充分条件,然后基于此用线性矩阵不等式方法设计了所需的离散时间的反馈控制器,最后举例说明了所得结果的有效性.     

MLD模型下逆变电路改进型直接功率预测控制

建立了新型逆变电路精确的混合逻辑动态(MLD)模型,并将其作为预测模型,研究了新型逆变电路基于预测直接功率控制(P-DPC)的模型预测控制方法。为了达到航空电源电压输出要求和降低开关损耗,在原来的3+3电压矢量控制序列法的基础上扩充了零矢量进行了改进,形成了一种新的对称的4+4电压矢量序列法,通过对下一时刻输出电压有功和无功分量的预测,在最小化目标函数值的基础上求出每一个电压矢量的作用时间,完成电路的控制。该方法减小了输出电压THD,具有良好动静态特性有一个较为稳定的开关频率,仿真和实验验证了所提方法的可行性和有效性。     

判断空间中若干几何图形位置关系的教学设计

线性代数有着非常广泛的应用.判断空间中几何图形的位置关系是空间解析几何的重要内容,同时也是线性代数的一种重要应用.这些知识点与线性代数中矩阵的秩、线性方程组等内容相互关联,形成了一个有机整体.探讨利用线性代数的相关理论判断空间中若干几何图形位置关系的教学设计.     

具有隐性感染的登革热模型稳定性分析

建立了一类具有隐性感染和垂直传播的登革热模型.首先通过构造Lyapunov函数得到了无病平衡点E_0是全局渐近稳定的;进一步利用第二加性复合矩阵等理论得到了地方性平衡点E*是全局渐近稳定的条件.