部分冗余删除的证明变换研究

部分冗余删除优化是一个同时包含有公共子表达式删除和表达式提升的复杂优化,但是对基于部分冗余删除优化的证明变换研究,还停留在对一些简单情况的处理和讨论上.本文在实验室前期优化对证明调整的研究基础上,总结简单优化行为对证明变换的调整过程,通过将部分冗余删除优化细分为简单的PRE、复杂的PRE、复制代码的PRE、前瞻的PRE,给出了不仅是简单的优化调整证明方法,而是包含有基于复杂的部分冗余删除优化的证明变换的方法.

基于冗余删除的软件定义机载网络控制器部署策略

软件定义网络为弥补机载网络对多任务支撑能力的不足提供了新思路。为降低网络的部署成本开销,利用灵活易部署的无人机构成逻辑集中的控制平面,对高动态拓扑变化的有人机编队实施管控。针对基于无人机的控制器部署问题,为优化可靠性和部署成本开销指标,提出一种基于冗余删除的无人机控制器部署策略。首先,为实现任务区域的全覆盖以保证连通性,依据无人机的通信范围进行初步部署;然后,为判定和删除初步部署中的冗余无人机,依据部署约束和优化指标,提出了基于连接关系的冗余判定算法和基于网络连通的冗余删除算法。实验结果表明,与基于全域覆盖的控制器部署策略相比,所提策略在满足可靠性要求基础上,部署无人机的数量减少了25%,降低了网络的部署成本开销,能够适用于高动态网络环境下的控制器部署场景。

一种广域网环境下的分布式冗余删除存储系统

分布式存储系统中存储了海量的数据,这些数据中存在着大量的冗余,将冗余数据删除技术应用到分布式存储系统当中,用来发现并去除数据中的冗余,可以有效地提高存储空间以及网络带宽利用率。文章设计并实现了广域网环境下的分布式冗余删除存储系统——Aegean Store。该系统在数据被上传之前将冗余数据去除,达到提高存储资源和网络资源利用率的目的,并且进一步地降低存储系统的成本,在保持分布式系统固有的容灾特性的同时,可提高存储系统的可扩展性和整体性能。

地埋成像系统中图像冗余删除算法设计与实现

地埋成像系统拍摄的图像由于极易受到车速和环境的影响,使成像系统拍摄的图片和真实图存在一定的差异,关于地埋成像系统拍摄图像的真实性和准确性的问题,长期受到重视并且亟待解决。为了提高地埋成像系统拍摄图像的清晰度和精准度,需要对采集的图像数据进行冗余去除。在分析现有的常用图像匹配技术之后,并从实际应用的角度出发,文中提出了一种去除线阵式相机行扫描带来的冗余行的相关策略和算法。在该算法的基础上,结合线阵式相机的特性以及拍摄图像的要求,提高了判断相邻行相似度的算法的精准性,实现了对原始图像的准确还原。通过实验,系统地分析了算法的适应性,实验结果验证了所提算法的有效性。

动态二进制翻译中的冗余LOAD删除优化技术

动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码。在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化。该优化技术可以使优化效果超过其自身的开销,达到优化的目的。

基于蕴涵树的冗余添加和删除技术

可替换线逻辑综合（如ＲＡＭＢＯ）是近年来兴起的一种方法，它采用测试向量自动生成（ＡＴＰＧ）方法来实现冗余添加和删除．但是，频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢．因此，如何减少ＡＴＰＧ过程的调用次数便成为提高这类算法的速度之关键．该文提出一种逻辑蕴涵树来存储节点间的逻辑蕴涵关系，并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选算法．在此基础上形成一个快速的可替换线逻辑变换算法ＩＢＡＷ．实验结果表明，在为目标线寻找可替换线时，ＩＢＡＷ的速度是ＲＡＭＢＯ的３．６倍．

垂距法与道格拉斯-普克法删除冗余顶点效率的比较

在计算机地图制图和地理信息工程等领域,通常要对线要素和面要素边界几何数据中所包含的冗余顶点进行删除,以达到减少存储开销、提高处理效率和改善图形可视化效果等目的。为了满足人们选择一种快速删除线要素冗余顶点算法的需要,在简要介绍目前常用的两种线要素压缩算法——垂距法和道格拉斯-普克法的原理及特点的基础上,对利用这两种算法实施冗余顶点删除处理的效率进行实例测试与比较。

无人机倾斜摄影冗余数据删除算法

多镜头倾斜摄影测量技术同时从多个角度对地表成像,当无人机在临近测区边界飞行工作时,部分镜头拍摄的图像超出了测区范围,因此多镜头倾斜摄影测量技术通常存在大量冗余图像,冗余数据的存在导致后期的空三解算以及实景三维建模效率大大降低。针对这一问题,以5镜头倾斜相机为例,结合POS数据、相机参数、飞行参数等建立拍摄瞬间成像模型,快速解算每一张图像和测区范围之间的空间位置关系,从而删除冗余数据。实验证明,删除冗余数据,效率获得极大提升。

采用冗余数据删除技术进行备份系统优化的应用研究

采用哈希算法对数据块特征进行描述、相似性对比和压缩的冗余数据删除技术可应用于企业级数据备份领域。采用该技术对现有备份系统进行优化可有效降低业务系统资源使用压力,提高备份系统的工作效率,实现备份数据的高可用性。文章通过介绍高性能中央处理器、大容量高带宽内存和高稳定性高速率的企业级固态硬盘组成的虚拟磁带库数据压缩硬件平台以及应用场景和实现效果,对项目的有效性和适用性进行了分析和探讨。

基于多视图约束的结构光扫描系统冗余点去除算法

针对结构光多视扫描拼接后在扫描重叠区域内重复计算带来的数据冗余问题,提出一种重复区域内冗余点删除算法.首先根据多视图几何约束原理,将不同视下相机外参数绝对定向.然后计算当前视下三维点并将其反投影至上次扫描图像,若反投影像点在上次扫描中曾参与物点计算,且若2次物点距离大于给定阈值,则保留当前视下三维点,反之保留反投影残差较小者;否则,保留该点.理论分析和实验结果表明,对于重叠扫描区域,该算法能达到和单次扫描相同密度的点云,且去除了扫描过程中精度较低的点,同时保留了曲率较大处表面的细节信息.

基于GCC的公共子表达式删除优化机理的研究

GCC是基于Linux下的优化编译系统,通过对GCC优化代码进行细致地分析,抽取出各个优化遍。文章集中探讨公共子表达式删除优化遍,对该遍中的局部公共子表达式删除和全局公共子表达式删除的优化机理进行了深入地剖析。

分段约束的超字并行向量发掘路径优化算法

超字并行(SLP)是一种针对基本块的向量并行发掘方法,结合循环展开可以发掘更多的并行性,但同时也会产生过多的发掘路径。针对上述问题,提出了一种分段约束的SLP发掘路径优化算法;采用分段的冗余删除方法,来保证冗余删除后段的同构性。采用段间的SLP发掘,来约束发掘路径;最后进行pack调整来处理访存重叠的情况。实验结果表明,该方法有效增强了SLP向量化功能,对于测试程序,向量化的平均加速比接近2。

面向机会网络的自适应冗余副本删除机制

机会网络中的节点采用泛洪机制转发确认消息以删除冗余副本,此种方式开销较大。提出一种自适应分发确认消息的机制,综合考虑确认消息跳数、区域消息密度及确认消息历史转发情况3个参数,节点以分布式的方式控制确认消息的分发,以更加有针对性地删除网络中的冗余副本。仿真结果表明,该机制能够有效地转发确认消息,在提高路由性能的同时降低资源的消耗。

基于自动机的迷宫路径规划求解算法优化

针对迷宫在求最优路径时存在冗余点多、内存开销大的问题,文中以自动机为基础,提出了一种针对复杂大规模迷宫中的Dijkstra优化算法。首先建立能够描述迷宫行走逻辑的自动机模型,结合其结构性质删除可行路径中的冗余点,在删除后的路径中筛选关键节点进行保存,最后在简化后的模型上用Dijkstra算法计算最短路径。仿真结果表明,与传统Dijkstra算法相比,在最终所得路径一致的情况下,此算法执行命令的次数更少、遍历节点个数更少,寻找随机大规模迷宫的最优路径用时更少。

基于改进关键帧选择的RGB-D SLAM算法

关键帧选择是提高视觉SLAM(simultaneous localization and mapping)算法精度及实时性的重要因素.关键帧常以图像的帧间相对运动距离为选择依据.该方法虽简单有效,但实时性、鲁棒性较差且容易产生大量冗余关键帧.针对上述问题,提出一种改进的关键帧选择算法.该算法整合了帧间相对运动距离、帧间特征点跟踪以及最小视觉变化来选择关键帧并删除冗余关键帧.基于该算法,结合具有较好方向和光照不变性的ORB(oriented FAST and rotated BRIEF)特征,实现了RGB-D SLAM算法.在RGB-D数据集上的实验表明,改进的关键帧选择算法能够更精准、及时地选择关键帧,并在减少RGB-D SLAM中冗余关键帧的同时提高算法的实时性、建图和定位精度.

云计算任务数据节能存储模型仿真

云计算因具有资源利用率高,节约成本的特点,其任务数据存储量较大,已经得以广泛应用。但云计算任务之间的差异性导致数据存储过程能量消耗过大,网络容量占用率偏高。为此,提出差异性云计算任务数据节能式存储算法。通过局部特征分析方法获取差异性云计算下任务数据节能式存储主要特征,采用一对一的分类方式转换为二分类数据,根据分类结果删除冗余数据。在此基础上,分析云计算任务数据的差异性特征,构建任务数据节能式存储模型,完成差异性云计算任务数据节能式存储算法的设计。仿真结果表明,所提算法不仅能够将响应时间控制在80ms之内,系统利用率平均可达89.056%,且研究算法应用下网络剩余能量更高,说明上述算法具有理想的节能效果。

基于势场化改进A*算法的履带式车辆路径规划算法

传统的路径规划算法为提高所得路径质量,往往采用曲线平滑化的方式,而忽略了履带式车辆跟踪连续曲线路径精度低的问题。针对这个问题,提出了基于势场化改进A*算法的履带式车辆路径规划算法。该算法将以人工势场指出局部环境下A*算法的子目标,再通过删除冗余节点策略,提高路径直线占比,引入了Reeds-Shepp曲线,约束路径的曲率使之适用于履带车辆的行驶。最后通过MATLAB软件进行仿真,并提出转角次数、直线路径占比两项评估路径质量的评价指标。仿真结果表明,该算法所得路径短,转弯次数显著下降,直线路径占比大,平均直线路径长,复杂环境下效果依然良好。

构建核电高可用云存储系统

文章设计实现了高可用云存储系统。该系统由三大部分组成,前端的冗余数据删除应用程序和后端的分布式文件系统以及用于保障文件系统高可用的VMwarevSphere5。Hadoop分布式文件系统(HDFS)是一个常见的分布式文件系统,而Hadoop数据库(HBase)是一个基于HDFS的分布式数据库。使用Hadoop分布式文件系统建立一个海量存储系统,使用HBase建立快速索引系统。Hadoop存储系统与冗余数据删除应用程序的结合,构建了一个可扩展的、并行的冗余数据删除云存储系统。通过vSphere5创建影子服务器来保障系统的高可用性与可靠性。实验结果表明,这种高可用的存储体系架构比一般的存储系统对故障的排除效率更高。此外,这种架构上的冗余数据删除存储系统比传统的存储系统更加高效。