大气退化的自然山体图像复原研究

不同时间段拍摄的自然山体图像存在不同的大气退化影响。在这些图像的不同部分，大气退化影响的程度也不同。这类图像的大气退化特征直接影响了图像的对比分析和理解。文中探讨了自然山体图像由于大气了原因而产生的退化现象，分析了图像的视沈特征，建立一个统一的基于输运理论的模型。该模型可以在HSV色彩坐标系中处理覆盖杆被的自然山体这类纹理特征较为明显的图像。     

基于二阶加权差分的湍流退化图像快速复原

针对航天飞行器成像系统大气湍流扰动条件下退化图像的快速复原需求,对二维卷积理论进行了探讨,构造了移位算子。提出了基于二维卷积理论和移位算子的复杂背景图像大气湍流退化图像的相邻帧快速复原算法,该算法主要将基于二阶的加权差分极小作为空间相关性约束应用在湍流退化图像的复原校正过程中,自定义几个二阶加权差分项,推导了二阶加权差分算子矩阵快速构造的理论方法。在此基础上,将点扩展函数的非线性估计转化为基于递归迭代的线性方程快速求解,为大气湍流干扰所引起的退化图像的复原校正提供了一种快速的有效方法。实际场景大气湍流退化图像的复原校正实验结果表明,该方法对湍流退化图像的复原效果好,且算法稳定,速度较快。     

一种交互式图像去雾方法

在二色大气散射模型的基础上，根据雾对景物退化与景物深度的指数关系，采用交互方式，通过附加一些主观判断作为先验信息，从单幅图像中估计出景物深度，进行对比度增强，有效实现了彩色图像去雾。同时针对浓雾退化图像处理结果较暗的情况，进行了正态截取拉伸，提高了图像亮度，获得了较好的视觉效果。     

利用偏振滤波的自动图像去雾

针对雾天退化图像提出一种自适应图像复原方法。 该方法基于定义的偏振图像暗通道, 自动提取图像中的天空区域, 由此获得大气光的强度和偏振度; 采用偏振滤波提取大气光强信息, 并基于最小归一化互信息原则对估计的大气光偏振度进行优化; 根据大气光强的变化规律, 对大气光强的分布进行修复; 将大气光强作为加性噪声予以扣除, 并补偿因大气衰减带来的影响, 最终复原得到场景的辐射强度信息。 实验结果表明, 该方法能够有效地改善雾天下图像的退化现象, 提高了图像的清晰度。     

基于CNN的湍流图像退化强度分类研究

湍流图像的复原一直是退化图像领域的研究热点,但依据湍流干扰强度对图像进行分类研究相对较少.不同场景的高空航拍图像进行大气湍流处理.调整湍流退化强度值,生成2000张对应的湍流干扰图像,再对这些图像进行预处理后送入卷积神经网络中进行湍流退化强度分类,最后通过优化搭建的卷积神经网络模型的激活函数以及对学习率的调整进一步提升分类准确率.实验表明,卷积神经网络对不同干扰强度的湍流退化图像分类准确率达到80%左右,结果表明该方法对大气湍流退化图像的复原具有一定指导意义.     

基于二次二维经验模态分解去噪的湍流退化图像复原算法

为实现大气湍流环境下的高质量成像,将自适应光学波前探测技术与数字图像处理技术相结合,并提出了一种基于二次二维经验模态分解去噪的湍流退化图像复原算法。通过在光学系统中使用哈特曼—夏克波前传感器探测波前信息,进而计算光学系统点扩散函数;然后使用改进的二次二维经验模态分解算法进行图像去噪,最后利用R-L算法实现对湍流退化图像的复原。通过搭建光学实验系统,对实际拍摄的湍流退化图像进行了复原实验。结果表明,该算法能够有效减弱噪声放大现象,得到更加稳定的高质量大气湍流退化图像复原结果。     

基于双边滤波的RGB通道去雾算法研究

因大气光的散射和入射光的衰减,大雾天气下捕获到的图像质量呈指数系数下降。为改善退化图像的视觉效果,利用暗原色先验信息获得大气光;根据单幅雾天图像RGB通道强度估计场景深度图;同时在明亮区域引入一种容差阈值,避免了这部分区域场景深度的错误估计,使用带边缘保持的双边滤波器对求得的场景深度图进一步处理;利用大气散射模型实现了图像复原。实验结果表明,改进后的算法有效提高了雾天退化图像的视觉效果。     

基于视觉物理模型的去雾算法

针对现有图像去雾算法不能有效增强复杂大气环境下退化图像的问题,结合单色 大气散射模型、大气传输函数(ATF)以及Retinex 提出了一种基于视觉物理模型(VPM)的图像去 雾算法。新模型可同时描述非均匀光照退化、雾霾退化以及噪声退化等复杂大气环境下的图像 退化。模型求解过程首先使用变分法消除环境光退化,然后引入马尔科夫随机场将场景反射率 求解问题转换为了最大后验概率问题,最后利用对比度抑制自适应直方图均衡来校正场景反射 率亮度,从而实现图像去雾。实验结果表明VPM 能够指复杂大气环境下退化图像的增强,使 其物理保真度和视觉愉悦性得到有效改善。     

湍流效应退化图像的数值模拟和仿真计算

大气湍流干扰空中目标的成像探测,使得观测到的目标图像是严重抖动和模糊的.为了具体分析湍流效应退化图像的特征,总结了光学成像系统的传输特性和湍流流场的统计特性,用随机相位屏对大气湍流效应进行了数值模拟,建立了湍流形成畸变波前过程的仿真模型,对点源目标发出的光波经过湍流流场后,在成像探测器焦面上形成的点源目标图像,计算了短曝光像和长曝光像的光强分布,定义了描述像点弥散和抖动的指标,并进行了定量分析和仿真计算.通过对计算结果进行分析,验证了仿真模型的合理性,并对湍流效应造成的图像退化给出了定量的描述,对进一步进行湍流效应退化图像校正算法研究具有重要意义.     

基于MODIS数据的典型能见度条件下大气透过率计算

现有的辐射传输模型仅考虑气溶胶影响下的大气透过率，在能见度低于5km时，会给大气透过率计算带来较大的误差。本文综合考虑影响大气透过率的气溶胶和水汽因素，并利用中光谱分辨率MODIS（moderate resolution imaging spectmradiometer）数据，在特征参数的空间及时间尺度变化均比较大时，对大气透过率进行了定量反演，并进一步建立了整层大气透过率与行星反照率的关系模型，为近地层大气能见度的遥感监测提供了方法。     

服务质量参数公式的选择对ATM网络资源利用率的影响

文中基于信元丢失率讨论了ＱＯＳ参数公式选择对ＡＴＭ网络资源利用率的影响,用对比的方法说明了在保证服务质量的前提下,选择优化的ＱＯＳ参数公式提高资源利用率的可行性;提出了乐观性资源分配策略避免了ＱＯＳ降级的建议,并展望了为提高资源利用率应作的ＱＯＳ研究工作。     

光滑公式

本文提出了光滑公式应满足的条件及三个新的光滑公式.     

Encouraging Experimental Results on Learning CNF

This paper presents results comparing three simple inductive learning systems using different representations for concepts, namely: CNF formulae, DNF formulae, and decision trees. The CNF learner performs surprisingly well. Results on five natural data sets indicates that it frequently trains faster and produces more accurate and simpler concepts.     

模态转移系统的三值逻辑模型检验

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题.提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验.用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度.     

Revised post-launch calibration of the visible and near-infrared channels of the Advanced Very High Resolution Radiometer (AVHRR) on the NOAA-14 spacecraft

Records of top-of-the-atmosphere albedo over several sites around the globe indicate that the formulae given in Rao and Chen (1996) to determine the post-launch calibration of the visible (channel 1, 0.58-0.68 mu m) and near-infrared (channel 2, 0.72-1.1 mu m) channels of the Advanced Very High Resolution Radiometer (AVHRR) on the NOAA-14 spacecraft overestimate the in-orbit degradation of the two channels, resulting in spurious upward trends in the albedo time series. Therefore, the calibration formulae have been revised to minimize the upward trends, utilizing a 3-year (1995-1997) record of albedo measurements over a calibration site (21-23 N, 28-29 E) in the southeastern Libyan desert. Formulae for the calculation of the revised calibration coefficients as a function of elapsed time in orbit are given. The revised calibration formulae presented here, and those presented in Rao and Chen (1996), yield radiance/albedo values within 5% (relative) of each other for about 900 days after launch in channel 1 and for about 500 days in channel 2.     

Narrowband to broadband conversions of land surface albedo: II. Validation

In the first paper of this series, we developed narrowband to broadband albedo conversion formulae for a series of sensors. These formulae were determined based on extensive radiative transfer simulations under different surface and atmospheric conditions. However, it is important to validate the simulation results using independent measurement data. In this paper, the validation results for three broadband albedos (total-shortwave, -visible and -near-IR albedos) using ground measurement of several cover types on five different days at Beltsville, MD are presented. Results show that the conversion formulae in the previous paper are very accurate and the average residual standard errors of the resulting broadband albedos for most sensors are around 0.02, which meets the required accuracy for land surface modeling.     

Dense Output for Strong Stability Preserving Runge–Kutta Methods

We investigate dense output formulae (also known as continuous extensions) for strong stability preserving (SSP) Runge–Kutta methods. We require that the dense output formula also possess the SSP property, ideally under the same step-size restriction as the method itself. A general recipe for first-order SSP dense output formulae for SSP methods is given, and second-order dense output formulae for several optimal SSP methods are developed. It is shown that SSP dense output formulae of order three and higher do not exist, and that in any method possessing a second-order SSP dense output, the coefficient matrix A has a zero row.     

通用简约验证测试集U（p,w）矩阵的广义构造公式

本文是在文献［１］的基础上进行的研究，通过将文献［１］的三条定理推广到多进制情况以及对多进制ｐ中取ｉ矢量矩阵生成关系图的研究，提出Ｕ（ｐ，ｗ）矩阵的广义构造公式，利用本文公式可直接生成多值逻辑电路在进行伪穷举测试时需要的通用简约验证测试集。     

Relationship between activity and three phase boundary in the ternary phase diagram

Theoretical formulae have been derived for determining the activity along a three-phase boundary in a three component system. The activities can be calculated from ternary phase diagrams from the partial thermodynamic properties and the use of a single integration constant. The latter is calculated from the binary phase diagrams. The formulae are rigorous and no assumption is made.