一类两步方法的延迟依赖稳定性

讨论实系数延迟微分方程线性多步法的延迟依赖稳定性。重点致力于解析稳定区域和数值方法稳定区域的比较。对一类含有一个自由参数的两步方法，获得了数值稳定区域包含解析稳定区域的条件。数值试验证实了所获理论结果。     

中立型Volterra延迟积分微分方程块θ-方法的稳定性

研究了线性中立型V01terra延迟积分微分方程数值方法的稳定性，给出了块隐式θ-方法保持系统解析解不依赖于延迟的稳定性质的一个充分条件。最后，通过一些数值试验说明了这篇文章的主要结论。     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

不确定大时延下遥操作对象模型的在线修正方法

基于预测模型的遥操作是消减通信大时延的有效方法,预测精度直接影响操作品质。分析了遥操作中的不确定大时延及有限带宽对模型修正的影响,针对模型参数的不确定性,提出了一种新的模型在线修正方法。该方法采用时标标识、同态模型、数据平滑等策略,有效克服了实测信息错配、反馈修正与实时预测过程异步以及变采样步长问题,实现了模型的精确在线修正,提高了预测精度和系统的鲁棒性。通过仿真实验验证了该方法的有效性。     

相空间重构的一种新方法研究

通过分析非线性动力学系统的特性,讨论了鞍点与混沌产生的关系,并通过仿真证实了吸引子上存在特征点对和特征距离。根据特征距离的2个重要性质提出了一种新的相空间重构方法。结果表明该方法是有效的。在数据量较少以及信号中存在噪声的情况下,该方法有较好的稳健性。     

不确定非线性控制系统的反演递推设计

针对一般不确定非线性严反馈系统的稳定和跟踪两个基本问题，提出并证明了系统控制律直接反演设计的递推公式。针对反演递推方法存在的“运算膨胀”问题，提出采用高增益反馈抑止虚拟输入微分项的方法来简化设计，并给出高增益反演设计的递推公式。通过仿真实例说明了结论的正确性、鲁棒性和有效性。     

求解延迟微分方程块θ-方法的GPLm-稳定性

讨论了带有多个滞时量的延时微分方程的数值稳定性,分析了用块θ–方法求解多延迟微分方程GPm–稳定和GPLm–稳定的条件,基于Lagrange插值,证明了块θ–方法GPm–稳定的充分必要条件是方法是A-稳定的,块θ–方法GPLm–稳定的充分必要条件是θ=1。     

区间数密度算子及其应用

针对决策信息为区间数形式的不确定多属性决策问题,将密度中间算子由精确值形式拓展到区间数形式.通过引入＂区间隶属度＂的概念对区间数进行聚类,并给出一种通过规划模型确定密度加权向量的方法;在此基础上,对区间数密度中间算子及其合成算子进行了界定.最后,通过一个算例对区间数密度算子的应用进行了说明.该方法结合区间数的特征,进一步拓展了密度算子的理论体系和实际应用范围.     

一类捕食系统解的存在性与唯一性

讨论了一类2种群捕食与被捕食数学模型,其中食饵具有2个阶段即幼年和成年,并且捕食者只对成年食饵进行捕食.给出了该系统存在非负解的充分条件.     

半定规划的一种不可行内点算法

对于半定规划问题,根据内点算法的短步方法,并结合Nestorov-Todd(NT)搜索方向的构造方法,设计出一种关于窄领域的不可行内点算法,然后证明了该算法的收敛性.结果表明,该算法经过有限次迭代后可以得到半定规划问题的一个近似最优解,或者证明问题无解.