论文研究 群体行为的一致性问题及研究.pdf

论文研究-基于生成图的体系结构动态行为语义一致性验证方法.pdf, 针对体系结构动态行为的语义一致性验证问题，提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图，然后对生成图的逻辑结

针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其

论文研究-三端点区间数互补判断矩阵的一致性及权重.pdf,

基于Büchi自动机的UML模型一致性研究，张自强，刘林霞，随着UML在系统建模中的广泛使用，模型间的一致性问题越来越突出。目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的

移动自组网络（MANETS）是一种具有弱连接性、低带宽、高查询延迟的网络。协缓存技术被广泛用来实现MANETS中数据的高效分发与共享，然而协缓存技术极易引发数据不一致性。为了有效解决现有MANETS中

研究固定拓扑结构下的分数阶非线性多智能体系统协调控制的动力学模型问题。由于实际多智能体系统中，系统的状态变量难以全部测量，为了克服这一困难，利用状态观测器对系统状态进行重构并基于重构状态进行状态反馈。

线性时滞多智能体系统的最优一致性研究，杨琳，刘杨，本文将一致性问题与代价函数相结合，研究了带有时滞的线性多智能体系统最优一致性问题。首先，采用模型变换将一致性问题转换成稳

在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对

TD-SCDMA终端协议一致性自动化测试方案研究，田明明，，终端协议一致性测试是保证终端入网后能够正常工作的关键。本文将介绍TTCN结合AT命令实现终端协议一致性自动化测试的方案。文章提出

针对传统平面拟合算法难以拟合包含异常值点云的问题，提出结合特征值法的随机抽样一致性（RANSAC）平面拟合算法。随机选取三个点云数据直接计算平面，选择阈值统计在此平面上的内点数量，多次重复求得包含最多