国家教育部博士点基金(20120002130007)
- 作品数：3 被引量：5H指数：2
- 相关作者：覃征卢正才单来祥陈旸更多>>
- 相关机构：清华大学中国科学院软件研究所更多>>
- 发文基金：国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于压缩感知和活动轮廓的多焦点图像融合被引量：1
- 2014年
- 该文提出了一种基于压缩感知和活动轮廓的多焦点图像融合方法。首先对源图像进行SBHE(scrambled block hadamard ensemble)采样获得压缩感知测量值,然后通过活动轮廓对源图像进行区域划分,再将区域划分结果合并形成联合区域划分。通过联合区域划分和互信息计算融合权重,得到融合后的系数,再通过压缩感知系数重构算法得到融合后的图像。为了验证算法的有效性,进行了2组多焦点图像融合实验。实验表明:该方法相比传统的压缩感知图像融合方法,在主观视觉和客观评价指标方面都能得到更好的融合结果。
- 陈旸覃征
- 关键词：压缩感知图像融合多聚焦图像融合
- 线性时序逻辑转换Büchi自动机的按需即时算法被引量：2
- 2014年
- 将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。
- 单来祥覃征卢欣晔卢正才
- 关键词：线性时序逻辑
