星载图像压缩核VLSI实现的软件验证

发布时间:2018-05-17 22:18

  本文选题:CCSDS-IDC + 小波变换 ; 参考:《中国科学院大学(中国科学院国家空间科学中心)》2017年硕士论文


【摘要】:随着嫦娥三号、暗物质粒子探测卫星以及世界首颗量子科学实验卫星“墨子号”的成功发射,我国的空间探测技术取得了巨大进步。与此同时,作为探测手段之一的星载成像技术也得到了飞速的发展,星载相机获取图像的分辨率越来越高,需实时处理的图像数据量越来越大。庞大的图像数据量给星载数据处理、存储和传输带来了巨大压力,因此研制实时高效的星载图像压缩系统成为解决这一矛盾的重要手段。2005年11月,空间数据系统咨询委员会(CCSDS)提出了一种适用于星载图像压缩的标准CCSDS122.0-B-1,其算法实现复杂度低且占用资源少,具备良好的压缩性能。基于该标准的星载图像压缩系统通常使用ASIC或者FPGA实现,这种硬件系统的特点是开发周期长、开发成本高。为了辅助硬件开发,减少时间资源成本的开销,本文使用C/C++语言开发了基于CCSDS-IDC算法的VLSI实现的软件验证系统,该系统不仅实现了CCSDSIDC压缩算法,而且提供了压缩参数和内部数据的查询功能;此外,通过深入分析基于该标准的现有系统和CCSDS-IDC算法,本文提出了一种优化的硬件实现方式,并实现了软件验证。实验结果表明,相对于已有的并行方法,当本文系统采用4组串并结合的扫描/扫描编码方式时,可在总扫描时间增多约16.1%~23%的情况下,将资源占用降低到原来的33.3%,从而有效节省了硬件资源。论文结构安排如下:第一章主要介绍了本文的研究背景、研究目标和意义以及研究内容等;第二章描述了CCSDS-IDC算法及相关原理;第三章给出了CCSDS-IDC软件验证系统及优化方式的设计与实现;第四章提供了验证系统的实验结果和优化实现方式的性能分析;第五章是对本论文的总结与展望。
[Abstract]:With the successful launch of Chang 'e-3, the dark matter particle detection satellite and Mozi, the world's first quantum science experimental satellite, great progress has been made in space exploration technology in China. At the same time, as one of the detection methods, the space-borne imaging technology has been developed rapidly. The resolution of the images obtained by space-borne cameras is getting higher and higher, and the amount of image data needed to be processed in real time is more and more large. The huge amount of image data brings great pressure to space-borne data processing, storage and transmission. Therefore, the development of a real-time and efficient space-borne image compression system has become an important means to solve this contradiction. CCSDS (Spatial data Systems Advisory Committee) has proposed a standard CCSDS122.0-B-1 for space-borne image compression, which has low complexity, less resources and good compression performance. The space-borne image compression system based on this standard is usually implemented by ASIC or FPGA. This hardware system is characterized by long development cycle and high development cost. In order to assist hardware development and reduce the cost of time resources, this paper uses C / C language to develop a VLSI software verification system based on CCSDS-IDC algorithm. This system not only realizes CCSDSIDC compression algorithm, but also implements CCSDSIDC compression algorithm. In addition, through the in-depth analysis of the existing system and CCSDS-IDC algorithm based on the standard, this paper proposes an optimized hardware implementation method, and realizes the software verification. The experimental results show that, compared with the existing parallel methods, when the system adopts the scanning / scanning coding method which combines four groups of strings, it can increase the total scanning time by about 16.1g / 23%. Reduce the use of resources to the original 33. 3, thereby effectively saving hardware resources. The structure of the thesis is as follows: the first chapter mainly introduces the research background, research objectives, significance and research content, the second chapter describes the CCSDS-IDC algorithm and related principles; The third chapter gives the design and implementation of the CCSDS-IDC software verification system and the optimization method; the fourth chapter provides the experimental results of the verification system and the performance analysis of the optimization implementation; the fifth chapter is the summary and prospect of this paper.
【学位授予单位】:中国科学院大学(中国科学院国家空间科学中心)
【学位级别】:硕士
【学位授予年份】:2017
【分类号】:V447;TP391.41

【相似文献】

相关期刊论文 前10条

1 毛从吉;郑睿鹏;李世欣;尹宝娟;;核安全级软件验证与确认独立性探讨[J];自动化仪表;2014年02期

2 熊正隆;;现有软件验证和确认有关标准的综述[J];核标准计量与质量;2011年03期

3 尹宝娟;黄伟杰;毛从吉;张宓;;从IEEE1012的版本演变探析核电仪控软件验证与确认[J];核电子学与探测技术;2013年10期

4 杨颖;金炜东;;CMD系统地面综合应用软件验证浅析[J];机车电传动;2011年02期

5 姜磊;张天宏;;基于全数字仿真的航空机载软件验证技术研究[J];航空制造技术;2014年16期

6 姜东波;防空导弹武器系统软件的验证方法[J];现代防御技术;1993年03期

7 陈绍宇;赵建军;;RTCA DO-178B标准与相关国军标的对照分析[J];航空电子技术;2009年01期

8 倪骏,徐向东;运用RTDX技术的TMS320C6201的软件验证方法[J];空军雷达学院学报;2002年04期

9 李鹏;徐利明;;ELEKTAiViewGT配合Auto Cal软件验证MLC精度[J];医疗装备;2008年07期

10 李铎;张良驹;冯俊婷;;安全软件验证与确认中的单元模块测试技术[J];原子能科学技术;2008年06期

相关会议论文 前1条

1 张艾森;谢亚莲;;软件验证与确认(Verification and Validation)简述[A];中国核科学技术进展报告(第二卷)——中国核学会2011年学术年会论文集第9册(核医学分卷、核技术工业应用分卷)[C];2011年

相关重要报纸文章 前1条

1 湖南 钱丽霞;使用三菱FX学习软件验证PLC程序[N];电子报;2012年

相关硕士学位论文 前7条

1 周文敬;星载图像压缩核VLSI实现的软件验证[D];中国科学院大学(中国科学院国家空间科学中心);2017年

2 樊瑞;民用飞机软件验证技术研究[D];南京航空航天大学;2010年

3 顾滨兵;基于模型检测的软件验证技术研究[D];吉林大学;2007年

4 王倩倩;JPEG2000压缩芯片软件验证系统测试平台的设计与实现[D];西安电子科技大学;2014年

5 林祥中;面向PACDSP CORE的多核调试控制器硬件设计与软件验证[D];电子科技大学;2013年

6 张文山;空空导弹飞行控制系统软件验证技术研究[D];上海交通大学;2012年

7 冯亮;视频显示系统OSD模块的硬件设计及软件验证[D];电子科技大学;2013年



本文编号:1903113

资料下载
论文发表

本文链接:https://www.wllwen.com/shoufeilunwen/xixikjs/1903113.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户c3332***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com