多变量分数阶捕食模型和传染病模型的Mittag-Leffler稳定性(英文)

讨论了多变量分数阶捕食模型和分数阶狂犬病模型稳定性.利用分数比较原则,可以得到这两个系统Mittag-Leffler稳定.     

局部邻域搜索在对地观测卫星任务规划中的应用与扩展

任务规划作为一项重要技术,已经广泛应用于卫星的星载与地面控制系统中,以提高卫星任务执行的鲁棒性、可预测性和高效性。描述了对地观测卫星任务规划问题及特点,给出了对地观测卫星任务规划的一般处理过程。针对约束规划中的局部邻域搜索算法不能有效反应对地观测卫星成像的时效性和分辨率等需求的问题,提出了基于动态优先级的局部邻域搜索算法。算法在经典约束满足问题求解算法的基础上,主要扩展了任务优先级的定义及在搜索过程中的启发式。通过典型的仿真算例,验证了算法的可行性和有效性。     

基于LabVIEW的数字信号处理虚拟实验系统

针对数字信号处理课程的特点和LabVIEW软件的功能,提出了基于LabVIEW的数字信号处理虚拟实验系统的设计与开发方案,并给出了两个虚拟实验子系统.通过与MATLAB仿真结果的对比分析,说明了实验系统的可行性.     

变时滞中立型分数阶系统的渐近稳定性分析

研究了变时滞n维线性中立型分数阶不等式,时滞矩阵定义在(R+)n×n.通过拉普拉斯变换,得到上述系统的特征方程.如果特征方程所有的特征根都在负实部,那么这个中立型的平衡点是全局渐近稳定的.最后,应用所得定理来处理药代动力学房室模型同步问题.     

面向多智能体博弈对抗的对手建模框架

对手建模作为多智能体博弈对抗的关键技术,是一种典型的智能体认知行为建模方法。介绍了多智能体博弈对抗几类典型模型、非平稳问题和元博弈相关理论;梳理总结对手建模方法,归纳了对手建模前沿理论,并对其应用前景及面对的挑战进行分析。基于元博弈理论,构建了一个包括对手策略识别与生成、对手策略空间重构和对手利用共三个模块的通用对手建模框架。期望为多智能体博弈对抗对手建模方面的理论与方法研究提供有价值的参考。