公共文化服务平台

共 4 条记录，以下是 1-4

全选清除导出

排序方式：

一种基于缝隙码的区域填充算法被引量：9: 2007年; 提出了一种基于缝隙码的区域填充算法。给出了单条缝隙码的填充算法,及多连通区域或整幅图像的快速填充算法,能填充任意复杂图像区域,对多连通区域或整幅图像填充时,算法只对图像区域填充,不用对区域外或区域内部的孔洞进行填充,对非二值图像,该算法不需要辅助内存空间。实验结果表明,对比现有的算法,本文算法具有速度快、效率高等优点。; 陈优广顾国庆王玲

ProMiner:系统性质驱动的双向一致性检验框架被引量：1: 2016年; 在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架Pro Miner,通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分,并将其表示为可直接用于模型检测的线性时序逻辑(LTL)表达式,以支持软件模型和代码间双向的一致性检验.实验结果表明,Pro Miner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性,而且大大减少了人力开销.; 葛徐骏王玲徐立华郭建朱惠彪; 关键词：线性时序逻辑

基于亚像素文本图像的分割算法: 2007年; 在Niblack和Otsu算法的基础上,提出了运用亚像素图实现图像分割的算法。经实验证明,所提出的算法能更好地保持字符的拓扑结构和光滑字符的边缘,分割效果比使用原图像直接进行分割有明显的改进。; 韩文文王玲陈优广; 关键词：文本图像图像分割阈值

模型精化过程中模型间一致性检测研究被引量：1: 2016年; 传统的模型精化过程中模型间一致性检测专注于检测模型自身的正确性、死锁、以及不变式保持性等,而无法保证模型间行为方面的一致性。为此提出利用系统行为属性来反应模型行为,结合模型检测的方法来检测模型间的行为一致性。首先对精化前模型分析生成抽象测试用例并抽取其代表的系统行为属性;然后根据精化后的模型抽取模型精化关系并进一步更新系统属性;最后使用这些系统行为属性来验证精化后的模型是否依然满足其代表的系统行为,如果不满足则说明模型间存在不一致行为,可以通过生成的反例路径找出不一致的位置。实验结果表明使用该方法可以有效找出模型精化前后的大多数不一致行为。; 王玲徐立华; 关键词：模型精化属性抽取线性时序逻辑

全选清除导出

共1页<1>

王玲