郭蕾
- 作品数：2 被引量：7H指数：1
- 供职机构：空军装备研究院更多>>
- 发文基金：中国航空科学基金总装备部“十一五”国防预研项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
- 一种小波自适应比例萎缩去噪改进算法被引量：7
- 2012年
- 作为小波应用于图像去噪的一种重要的方法,小波比例萎缩法具有很强的局部自适应能力,它的去噪效果与Donoho的收缩法相比有了很大的提高。但是比例萎缩法有其自身缺陷,重建后的图像容易出现"波纹"状噪声。从产生这种噪声的原理入手,提出了一种对方差估计进行改进的算法,很好地克服了比例萎缩法中出现的这种噪声,提高了图像的去噪质量。
- 郭蕾田松许悦雷李涛
- 关键词：小波去噪
- 安全关键软件的需求递阶层次结构
- 2012年
- 软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。
- 郭蕾褚文奎田松张凤鸣
- 关键词：安全关键软件安全性需求层次分析法
