福建省自然科学基金(2012J01245)
- 作品数：4 被引量：13H指数：3
- 相关作者：胡文瑜王金水薛醒思唐郑熠陈敏更多>>
- 相关机构：福建工程学院东南大学贵州师范大学更多>>
- 发文基金：福建省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于SLIC的超像素快速色彩传递算法被引量：6
- 2014年
- 提出了基于SLIC超像素分割的快速色彩传递算法.该算法有两个主要步骤:首先利用SLIC技术实现两幅图像的超像素分割;然后根据超像素特征,对两幅图像的超像素进行相似性匹配,在此基础上进行色彩传递.实验结果表明,与基于像素点传递的一类算法比较,该算法不仅提高传递速度,还进一步改善了传递效果,结果图像更加自然,平滑.
- 滕秀花胡文瑜陈敏
- 关键词：自适应阈值
- 近似聚集查询中Congressional Samples算法的优化研究被引量：3
- 2013年
- 取样是一种通用有效的近似技术,利用取样技术进行近似聚集查询处理是决策支持系统和数据挖掘工具中的常用方法,如何正确有效地给出近似查询结果并最小化近似查询误差是查询处理的关键和目标.在对应用于近似聚集查询的代表性取样方法Congressional Samples(国会取样)深入研究的基础上,指出其存在的不足和应用的局限,提出了一个优化的Congressional Samples取样方法:OptCongress算法,算法在组数据内部存在高方差分布时能克服原算法简单均匀取样的不足,提高了近似聚集查询的质量,同时改进了原算法的各组取样数分配算法,克服了原分配算法缺乏严格的公式描述,难以进行理论评估的不足.最后,通过实验比较验证了该优化算法的有效性和正确性.
- 胡文瑜刘建华张柏礼
- 关键词：数据挖掘
- OWL-S过程模型的形式化描述与相容性分析
- 2016年
- 构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。
- 唐郑熠王金水韦立薛醒思胡文瑜
- 关键词：OWL-S
- 馈线自动化算法的形式化建模与验证被引量：4
- 2016年
- 分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源,影响验证效率,且难以覆盖足够的系统路径。针对该问题,提出一种馈线自动化算法的验证方法。通过对电气设备行为与特征的抽象,建立馈线自动化算法的形式化模型,在此基础上,使用自动化模型检测技术验证算法的正确性。测试结果表明,该方法将计算资源集中在动作逻辑验证上,实现了与底层细节的分离,从而能够获得较高的验证效率,完整覆盖系统路径,并有效降低缺陷修正的代价。
- 唐郑熠王金水何栋炜薛醒思胡文瑜
- 关键词：馈线自动化时间自动机
