基于操作剖面搜索可疑参数的故障定位方法

针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.     

新冠疫情重创拉美经济与社会

由于新冠疫情在全球暴发,全球经济遭受重大打击,对于外部市场具有高依存度的拉美各国更是首当其冲。在由疫情引起的全球股市震荡中,拉美地区成为"重灾区"。4月6日,阿根廷政府宣布,决定延迟偿还总额约100亿美元的公共债务。消息一出,全球哗然,以阿根廷为代表的高度依赖外部市场的拉美国家是否能够逃过一劫,令人担忧。     

一类积分不等式组中未知函数的估计

研究了一类二维积分不等式组,该不等式组积分号外有非常数因子,不能用向量形式的Gronwall-Bellman型积分不等式进行估计。为了简化主要结果的证明,先引进两个引理,给出只含有一个未知函数的积分不等式中未知函数的估计,接着利用两个引理和变量替换技巧和放大技巧给出不等式组中两个未知函数的估计。该结果可用于研究积分、微分动力系统解的性质。     

二阶中立型时滞差分方程解的振动性准则

考虑了一类二阶中立型时滞差分方程的振动性,通过给出合适的条件,得到了此类方程的解的振动行为准则。这些结果丰富了中立型差分方程振动性理论。     

基于关系依赖模型的微服务流程演化分析

微服务技术的快速发展为企业系统集成和网络化业务协同提供了技术支持，软件服务系统中的流程需要不断演化以适应业务变化的需求，而现有的研究多从单一维度评估服务流程演化的影响.提出包括流程层和服务层在内的服务系统双层依赖关系模型DoubleDM，从服务演化和流程演化两个方面分析服务系统演化问题.针对服务层演化，基于服务间的依赖关系分析服务变更的影响范围，给出了服务依赖关系表达、依赖关系演化影响范围及求解和相应算法；针对流程演化的不同类型，给出了流程依赖基础上的流程化简处理步骤和算法.最后给出了微服务系统中流程演化的实现逻辑，并以微服务系统处理供应链销售流程为例进行了分析.     

分数阶中立型时滞微分方程解的存在性及指数估计

近年来,随着分数阶微分方程在众多领域的广泛应用,其理论研究也引起了国内外学者的关注.论文研究分数阶中立型时滞微分方程在解存在的前提下其解的指数估计.首先,由分步法讨论分数阶中立型时滞微分方程的解的存在唯一的条件;然后,在解存在的前提下,利用Gronwall不等式,给出分数阶中立型时滞微分方程解的指数估计.     

一类具有时滞的松材线虫非线性传播模型的稳定性分析和Hopf分支

建立带有松褐天牛羽化时滞的微分方程模型,研究松褐天牛的羽化时间对松材线虫病在松树间传播的影响,得到了平衡状态稳定时滞的临界条件和Hopf分支.最后用Matlab对模型进行了数值模拟以验证数学结果.     

含有状态时滞的受扰线性离散系统前馈-反馈最优控制

对在随机噪声环境下含状态时滞的线性离散系统的最优控制问题进行了研究。利用卡尔曼滤波算法求得随机干扰的最优估计值,并构造一个敏感度函数,根据麦克劳林展开式将原系统的求取过程转化为通过构造一个两点边值问题族来求解。同时在最优控制律中构造一个补偿函数以减小运算中所带来的误差。将原系统的最优控制律近似估算成M阶前馈-反馈次优控制律,再由分离原理得到含有状态时滞的受扰线性离散系统前馈-反馈最优控制律,最后通过给定一个M的具体值得到M阶的前馈-反馈次优控制律的仿真图像来对比前馈-反馈与经典状态反馈的控制作用,表明前馈-反馈在最优控制律中具有更好的控制效果。     

一类区间不确定时滞系统超前/滞后补偿器设计

针对一类具有全极点的区间不确定时滞系统,给出了相位超前/滞后补偿器的一种图解鲁棒设计方法.对滞后因子采用一阶Pade近似,应用广义Kharitonov定理,证明了图解法设计出的相位超前/滞后补偿器可以镇定区间不确定近似系统.通过仿真验证了该补偿器亦可镇定原区间不确定时滞系统,并保持良好的系统性能.该种图解设计方法选择参数灵活,便于实际应用.     

一种多时滞Hopfield网络的全局渐近稳定性

研究了一个运用适当的方法把装箱问题模型转化为多时滞的hopfield网络微分方程,并且通过构造适当的Lyapunov泛函,得到了保证系统具有正平衡点全局渐近稳定的一个充分条件.