在本文中,我们给出了具有相应边界条件的,阶次为1≤2和2≤3的合格分数导数的合格BVP的Lyapunov型不等式。 我们通过构造格林函数获得李雅普诺夫型不等式,并得到其对应的最大值。 还讨论了在相应特
基于Büchi自动机的UML模型一致性研究,张自强,刘林霞,随着UML在系统建模中的广泛使用,模型间的一致性问题越来越突出。目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的
TD-SCDMARRM一致性测试系统MBMS基带处理研究与实现,耿金伶,唐晓晟,为了推动TD终端的MBMS功能更好地从研发走向商用,RRM一致性测试系统需要根据协议增加MBMS功能。本文通过协议对比,
移动自组网络(MANETS)是一种具有弱连接性、低带宽、高查询延迟的网络。协缓存技术被广泛用来实现MANETS中数据的高效分发与共享,然而协缓存技术极易引发数据不一致性。为了有效解决现有MANETS中
研究固定拓扑结构下的分数阶非线性多智能体系统协调控制的动力学模型问题。由于实际多智能体系统中,系统的状态变量难以全部测量,为了克服这一困难,利用状态观测器对系统状态进行重构并基于重构状态进行状态反馈。
线性时滞多智能体系统的最优一致性研究,杨琳,刘杨,本文将一致性问题与代价函数相结合,研究了带有时滞的线性多智能体系统最优一致性问题。首先,采用模型变换将一致性问题转换成稳
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对
为符合实际情形,针对不确定与随机发生非线性的多智能体系统,研究了有时延且网络拓扑切换时系统的领导跟随一致性。传统协议通常保守地假设邻接个体间通信时延与个体和领导者间通信时延大小相同,新协议中上述时延可
针对集中目标跟踪和分层目标跟踪中心节点通信瓶颈以及容错性能差的不足, 提出了一种分布式动态一致性非线性目标跟踪策略。目标状态初始化由网络节点采用加权最小二乘法完成。整个跟踪过程采用动态成簇策略, 分阶
论文研究-一种群体评价一致性合成方法.pdf, 在分析了影响群体评价结果的因素后,在以三角模糊数表达评价意见的基础上,提出了群体评价一致性合成的过程和算法,分析和证明了该方法的性质和特点.实例表明用该