基于Büchi自动机的UML模型一致性研究,张自强,刘林霞,随着UML在系统建模中的广泛使用,模型间的一致性问题越来越突出。目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的
移动自组网络(MANETS)是一种具有弱连接性、低带宽、高查询延迟的网络。协缓存技术被广泛用来实现MANETS中数据的高效分发与共享,然而协缓存技术极易引发数据不一致性。为了有效解决现有MANETS中
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对
针对既包含有标记样本又包含未标记样本的分类数据,提出数据分布一致性原理,并将其融入到最小最大概率机中。把有标记样本和无标记样本映射到决策超平面所在空间(简称超空间),通过最小化有标记样本和无标记样本在
基于事件日志度量数据感知过程一致性,张学伟,宋巍,过程技术被认为是面向服务体系结构下资源集成和应用互联的有效手段。为了找到合适的业务过程,需要从过程行为一致性的角度进行过
针对红外背景与目标建模难度较大等问题,提出了基于温度场一致性将真实红外目标图像移植到红外背景图像的方法。首先,根据目标图像与背景图像灰度反演目标与目标周围背景以及需植入目标的新背景的辐亮度,并根据辐亮
基于时空一致性的块合成视频去模糊,朱振峰,蒋双霜,针对视频的去运动模糊问题,提出了一种基于时空一致性的块合成方法。通过强化帧间运动的相关性,提高模糊函数估计模型的准确性,
车徽是汽车的品牌标志,包含了汽车的重要信息。更为重要的是,车徽是难以更换的,可作为汽车分类与识别的重要依据。首先,对原始图像进行小波变换,求取其垂直纹理测度;其次,选取合适的阈值二值化测度图像并进行形
论文研究-基于战略一致性的新产品开发项目组合选择.pdf, 针对新产品开发项目的特点,考虑项目与企业战略的匹配程度及项目间的相互依赖关系研究项目组合选择问题. 首先提出战略一致性的概念来衡量项目与企
通过分析一些经典遥感影像融合方法的不足,提出了一种基于小波变换一致性检测的遥感影像融合方法。其基本思想是在基于局部方差融合方法的基础上,采用“多数”原则对各个像素的8个邻域进行一致性检测,并进行相应调