一种基于纹理的云彩合成技术研究

通过对云彩图像纹理特征函数分析,选取16个特征函数作为云彩图像生成的依据,同时,通过对BP算法的研究,建立了有效的人工神经BP网络模型,最后形成了云彩纹理图像的合成程序。     

分形迭代算法在云彩生成的研究与应用

本文针对可变形气流场中不规则云彩扩散的计算机仿真问题,利用分形迭代理论进行深入研究。从云彩的局部相似性和随机性扩散特征出发,介绍了分形仿真中比较常用的IFS和分形插值技术,提出了基于分形迭代的云彩生成算法,给出了部分仿真结果。     

静态单链表的算法讨论

许多《数据结构》教材对单链表的生成只讨论了从表尾到表头的逆向生成算法,而该文建立单链表是从表头到表尾正向生成的;并且为了对以后操作的说明,描述了如何按序号查找某一个数据元素;最后用C语言描述加图形示例的方法提出了对单链表进行插入和删除的算法研究,使关于静态单链表的教学内容生动、易懂。     

一种面向GIS的静态R-树数据组织方法

针对GIS空间数据提出了一种基于空间聚类的静态R-树生成方法.该方法用典型点法进行静态R-树数据组织,用空间对象的最小约束矩形代替空间对象本身进行空间聚类计算,形成若干聚类,并以R-树的构建规则进行适当调整,同时通过改进R-树的一些性能指标如覆盖区域、重叠面积和边界周长等提高其查询性能.通过将该算法与其他静态R-树算法如Low x算法、Hilbert R-树算法进行比较,论证了该算法的可行性.     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

基于分形技术的云彩特效研究

分析并总结了分形方法在云彩特效研究方面的最新动态,并通过对随机中点位移方法、自平方分形方法的分析比较,给出不同分形方法应用的优缺点及其适合的典型应用环境.给出基于随机中点位移法的层云的模拟和基于自平方法的团云的模拟的具体实现过程.结果表明,使用分形算法控制简单,可有效地实现云彩生成的复杂过程并产生逼真的仿真效果.     

基于分形的真实感景物模拟研究

分形方法可以模拟传统欧氏几何方法所不能描述的各种自然景物。运用分形几何学原理和方法,利用Java可以绘制出具有真实感的自然景物。在此给出了分形插值算法绘制云彩的实现过程。结果表明,此方法对自然景物的模拟非常逼真,可以在虚拟场景的自然景物生成中得到应用。     

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．     

基于扰动的社交网络保护方法研究

扰动技术是社交网络隐私保护的重要方法,本文提出了高斯随机扰动和贪心扰动两种扰动算法保护社交网络的权值,分别适用于动态和静态社交网络。高斯随机扰动可以简单有效地保护动态社交网络的权值隐私,贪心扰动算法将社交网络的边分类,可以在保护静态社交网络权值隐私的同时保证社交网络的最小生成树不变,提高社交网络数据的可用性。实验结果表明两种算法均能有效保护社交网络的权值安全,并且保持较高的数据可用性。     

控制流污点信息导向的符号执行技术研究

以快速生成能够覆盖可能存在缺陷程序点的测试用例为目标,结合基于生成的Fuzzing技术、静态程序控制流分析、静态污点分析等手段,提出一种导向式动态符号计算方法.通过Fuzzing生成能够到达包含缺陷程序点的函数的测试用例,作为种子输入驱动符号执行快速到达缺陷函数;在缺陷函数内利用静态控制流分析、静态污点分析计算出控制流污点可达程序切片,基于该切片进行朝向缺陷点的多路径动态符号执行.实验验证了方法能够有效减轻符号执行应用中广泛存在的路径爆炸问题,并且能生成触发目标缺陷的测试用例.     

TM影像解译中去除云层及其阴影方法研究

目的对TM（Thematic Mapper，专题制图仪）影像上的云层及其阴影进行处理以识别被覆盖的地物。方法在遥感图像处理软件ERDAS的支持下，综合运用该软件提供的多种图像处理方法，分别进行去除云层及其阴影试验。结果利用空间卷积运算、傅立叶变换、傅立叶图像编辑、傅立叶逆变换组合和缨帽变换的方法有效地去掉了试验区图像上的云层；利用去霾处理和主成分分析方法按一定顺序组合将有效地去除云层的阴影。结论该方法及其思想不仅可用于去除云层和阴影对遥感图像质量的影响，而且也可用于其他图像处理中，如影像的割补、分类后处理等。     

Convex decomposition of concave clouds for the ultra-short-term power prediction of distributed photovoltaic system

Concave clouds will cause miscalculation by the power prediction model based on cloud features for distributed photovoltaic (PV) plant.The algorithm for decomposing concave cloud into convex images is proposed .Adopting minimum polygonal approximation ( MPP) to demonstrate the contour of concave cloud , cloud features are described and the subdivision lines of convex decomposition for the concave clouds are determined by the centroid point scattering model and centroid angle func -tion, which realizes the convex decomposition of concave cloud .The result of MATLAB simulation indicates that the proposed algorithm can accurately detect cloud contour corners and recognize the concave points .The proposed decomposition algorithm has advantages of less time complexity and decomposition part numbers compared to traditional algorithms .So the established model can make the convex decomposition of complex concave clouds completely and quickly , which is available for the existing prediction algorithm for the ultra-short-term power output of distributed PV system based on the cloud features .     

GF-1遥感影像结合等高线消除云层干扰的连续水体重建法

为了解决遥感影像水体提取时易受到云干扰的问题,针对连续水体局部受云层干扰的影像图,采用高精度地形信息与高分一号卫星(GF-1)遥感影像两种数据相结合的方法重建水体。分别对高分一号卫星影像数据和高精度等高线地形数据进行预处理后,对缓冲区多次迭代提取未受云层覆盖的部分水体,通过对两种数据的地理配准、数学统计计算等图像运算确定水体还原水位值,从而还原云层影响下的水面面积。结果表明:该方法可以有效消除云层的影响,7幅受云层干扰影像提取水体还原后的水体面积平均相对误差在5%以内,与参考值相比,水体面积平均差值为0.0809km2。该方法较准确地还原了云层干扰下的水体面积,可广泛应用于受云层干扰影像的水体提取。     

基于高斯混合模型的遥感影像云检测技术

【目的】高分辨率遥感影像云检测技术一直是遥感影像处理亟待解决的难题,尤其是边缘薄云和散云的检测。针对高分辨率遥感影像的成像特点,利用形态学运算、多边形简化技术,实现含云影像的准确提取。【方法】首先对影像进行高斯低通滤波平滑,取得一致均匀的明暗效果; 然后将影像分为多云、少云、无云3种情况,对多云影像采用Otsu阈值分割,对少云影像采用高斯混合模型进行阈值分割; 最后对云区进行形态学处理得到最终云区。【结果】高分辨遥感影像云检测方法目视效果较好,可有效提高云检测精度,该方法准确率为98.60%,查全率在90%左右,错误率约为2.58%,可以较为准确地检测出厚云、薄云、散云,同时还可有效地减少对房屋、道路、裸地的误判。【结论】基于Otsu阈值分割和高斯混合模型的高分辨率遥感影像云检测技术算法复杂度适中,计算量小,运算速度快,检测精度高,适用性广。     

遥感影像中边界云的匹配研究

根据遥感历史数据,获取图像中相对稳定的边界及其特征,基于云理论,对相对稳定的各类边界建立边界云,作为标准边界特征表达并用于边缘检测。通过云生成算法对待检测边界建立边界云,建立云匹配算法,将待检测边界的边界云与标准边界云进行匹配,从而确定新的边界和边界类型,达到边缘检测的目的,实验验证了该方法的有效性。     

一次短历时特大暴雨系统的高分辨率卫星图像

利用水平分辨率为1.25km的FY2-C地球同步卫星的可见光云图,对2005年8月14日发生在北京北部山区一次百年一遇的短历时特大暴雨进行了云图分析,发现高分辨率的可见光云图可以在一个多小时前就识别出水平尺度只有几公里的初始对流,并可利用它在地面上的阴影判别其垂直发展的强度。暴雨发生前水平尺度发展到数十公里,其云顶上的暗影表明强烈的对流已突破对流层顶。     

基于中点偏移算法的云的模型设计

自然景观的模拟在许多方面得到了应用，云是自然界中的一项重要景观，对云进行模型设计显得十分重要。针对目前大多数的云的模型设计方法难以在普通PC机上快速实现真实感较强的云的模型设计的问题，提出了一种自然景观中云的模型设计方法。该方法以分形理论为基础，设计并实现了一种云的纹理生成算法，并采用纹理映射技术，绘制云的图像模型，得到了较为逼真的模拟结果。     

基于三波长激光雷达对强卷云后向散射系数波长关系研究

针对高层强卷云(532 nm波长上衰减的后向散射系数比大于20)在全球中出现的概率高达30%,影响地球-大气系统的辐射收支平衡问题. 提出了一种用衰减的后向散射系数颜色比估算后向散射系数颜色比的反演方法,并分析了其误差大小. 基于10个月在合肥西郊上空3波长(1 064,532和355 nm)激光雷达探测到的强卷云数据,得到强卷云的3个后向散射系数颜色比统计分布规律,以及后向散射系数波长指数. 计算结果表明:强卷云的后向散射系数波长指数不再是一个固定不变的常数,而是与波长有关的变量.      

重庆一次典型飞机人工增雨作业的效果分析

利用MICAPS资料、卫星反演产品和多普勒雷达产品,采用统计和物理检验相结合的方法,对2010年12月15日重庆主城一次飞机人工增雨作业过程进行了效果分析.分析表明,此次飞机人工增雨作业相对增雨率在20%以上,在云系发展开始和持续发展阶段增雨效果好;雷达回波、卫星反演产品均能反应人工增雨催化前后的物理变化,催化作业后1h内引起的物理变化最为明显.反射率因子图上的零度层亮带是把握人工增雨作业时机和部位的重要依据.     

云计算技术及其对网络的影响

云计算代表一种全新的计算模型,并从根本上改变IT服务的方方面面。云环境的主要优势在于降低数据中心的成本支出,并在需要资源时获得动态接入,而不需耗费人力、时间,不影响工作人员的效率和组织竞争力。但云计算仍然存在一些网络性能和安全的问题。所有运营云的企业、政府机构和服务提供商,还有支持云基础设施的设备提供商必须在其设计中考虑这些因素。可用云性能和安全测试工具检测云应有的性能,以实现其结果。