杨淑贞
- 作品数：2 被引量：0H指数：0
- 供职机构：浙江长征职业技术学院更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种改进的实时视频去雾算法
- 2016年
- 雾、霾天气下,成像传感器采集到的图像质量严重下降,大量图像去雾算法应运而生,但是其处理速度慢、细节模糊、色彩失真、特别是在实时视频中的应用受限。为此,在实时视频去雾技术大气透射模型的基础上融合图像增强与图像复原技术的优势,采用两级下采样技术,提出一种改进的实时视频去雾算法。实验结果表明,改进的实时视频去雾算法有效增强了图像的清晰度,提高了处理速度。
- 杨淑贞张莉
- 关键词：透射率图像增强
- RGPS服务层元模型正确性验证
- 2016年
- 随着网络式软件复杂程度的日益增加,如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点,在RGPS需求元建模框架的指导下,提出RGPS服务层元模型正确性验证。首先用BPEL语言和WSDL语言把RGPS服务层元模型描述成BPEL模型,再用Promela语言实现BPEL模型的建模,最后输入LTL公式对RGPS服务层元模型进行安全性和活性验证分析。以城市交通出行系统为例,采用RGPS需求元模型为框架,构建城市交通出行系统服务层元模型。
- 张莉杨淑贞杨浩
- 关键词：BPELPROMELA
