杨淑贞

作品数：2被引量：0H指数：0
导出分析报告
供职机构：浙江长征职业技术学院更多>>
发文主题：BPELRGPSPROMELA服务层先验更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件导刊》更多>>
所获基金：浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
RGPS服务层元模型正确性验证
《软件导刊》2016年第12期8-10,共3页张莉 杨淑贞 杨浩 
浙江省教育厅一般科研项目(2016);浙江省教育中心2014年研究课题(JA049)
随着网络式软件复杂程度的日益增加,如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点,在RGPS需求元建模框架的指导下,提出RGPS服务层元模型正确性验证。首先用BPEL语言和WSDL语言把RGPS服务层元模型描述成BPEL模型...
关键词：网络式软件 BPEL PROMELA LTL公式 正确性验证 
一种改进的实时视频去雾算法
《软件导刊》2016年第10期50-52,共3页杨淑贞 张莉 
浙江省教育厅科研项目(Y201431415)
雾、霾天气下,成像传感器采集到的图像质量严重下降,大量图像去雾算法应运而生,但是其处理速度慢、细节模糊、色彩失真、特别是在实时视频中的应用受限。为此,在实时视频去雾技术大气透射模型的基础上融合图像增强与图像复原技术的优势...
关键词：去雾技术 先验暗通道 透射率 图像增强 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部