论文研究 UML序列图的操作语义及其在模型精化中的一致性检查 .pdf

cache的一致性，描述X86和MIPS体系结构中catch一致性的相关概念，通过比对两种不同的体系结构，更深入的了解cache的一致性

针对双目立体视频深度图序列估计中时间不一致性而导致的闪烁问题，提出了一种基于Lucas-Kanade光流加权直方图相似性约束的算法。该算法在使用基于外极线约束的图割方法进行深度估计时，加入带有相干系数

在云存储系统中，为了保证系统可用性的同时尽可能提高系统性能，降低副本同步过程中网络带宽等资源的消耗。提出了基于文件热度的副本自适应一致性方法。该方法根据文件的热度不同，动态调整副本同步的一致性策略，对

语音信号稀疏分解是一种新的语音信号分解方法，可以将语音信号分解为很简洁的近似表达形式。在语音信号稀疏分解的基础上，可应用于语音处理的多个方面，如语音压缩、语音去噪和语音识别等。研究利用Matching

在本文中，我们给出了具有相应边界条件的，阶次为1≤2和2≤3的合格分数导数的合格BVP的Lyapunov型不等式。 我们通过构造格林函数获得李雅普诺夫型不等式，并得到其对应的最大值。 还讨论了在相应特

DeviceNet一致性测试系统设计与实现，史仍辉，，本文依据ODVA关于DeviceNet一致性测试的要求，设计并实现了包含DeviceNet协议一致性测试、物理层测试和互操作性测试在内的Devic

为了提高分布式一致性算法的收敛速度,提出了一种离散高阶分布式一致性算法。该算法通过单跳通信,利用二跳邻接节点的前多步信息来加速分布式一致性算法的收敛速度。对无向通信拓扑下该算法的收敛性能和收敛速度,以

论文研究-群决策一致性寻求方法与算法.pdf,  运用三角模糊数的概念，根据个体加权向量，提出衡量个体间一致性的相似度量函数，由此构造个体、群体的一致性指标．在此基础上，给出群体一致性的定义，并运用个

一种基于YANG模型的协议一致性自动测试方法,王宇,胡怡红,在传统的协议测试中,测试人员需要根据协议规范人工编写大量测试用例,并且对发送数据的构造和返回数据的校验做大量重复性工作,

为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;