收藏本站
《哈尔滨工业大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

可重构星载计算机体系结构与容错技术研究

刘源  
【摘要】:随着微小型航天器技术的不断进步,现代小卫星在体积、重量、成本和功耗均不断降低的同时,功能却不断增强。可重构星载计算机不但能够在单片芯片上集成大量硬件电路和计算单元,而且能够根据任务需求灵活配置计算机内部电路结构与外部接口,从而拥有强大的计算能力与较高的集成度。本文结合某“十一五”预研项目和某国家高技术研究发展项目(863),对可重构星载计算机的相关技术进行了深入研究。研究内容主要集中在可重构星载计算机的体系结构设计和容错技术两个方面,具体工作如下: 针对传统可重构星载计算机在多任务并行处理方面存在的局限性,提出了一种面向多任务的可重构星载计算机体系结构。通过在实时操作系统中建立FPGA资源与任务进程的动态关联,实现了星上任务与可重构硬件资源的协同管理,使得可重构星载计算机具备根据任务需求自主调节硬件结构的能力。基于ML403开发板构建了原型系统,经过对比实验其结果显示可重构星载计算机对多任务的并行处理能力得到明显增强。此外由于加入了动态的FPGA资源管理与分配机制,计算机对FPGA的利用效率得到提高,对辐射损伤的应对能力也得到增强。 针对星箭一体化航天器在不同任务阶段对计算机性能和可靠性的不同需求,对可重构星载计算机分时复用方法进行了研究,分别设计了用于并行计算的高性能运载模式与具有动态修复功能的高可靠性在轨模式两种三处理器FPGA片内处理系统,并通过快速重构在同一片FPGA中对这两个系统分时实现。该方法具有定制程度较高的特点,能够有效缩短可重构星载计算机的开发周期,进而加快一体化航天器的研制进程。通过针对该方法建立的同步数据流与Markov状态转移模型,对计算机的性能与可靠性进行了理论分析,并经与普通三模冗余系统的比较,结果表明基于该方法设计的可重构星载计算机具有更高的长期可靠性。 针对可重构星载计算机的核心器件FPGA对空间辐射敏感的问题,对其故障屏蔽与修复技术进行了研究。研究首先提出了一种基于FPGA片内RAM的抗辐射有限状态机电路,通过将传统由可编程逻辑单元构成的电路,转化为受冗余校验编码保护的电路加以实现,从而使得FPGA中有限状态机电路对空间辐射的抵抗能力明显提高,进而提高了可重构星载计算机整体的可靠性。接下来提出了一种用于NPC问题求解,能够支持非CNF格式输入的改进型GSAT算法,并将其应用于FPGA的永久性故障电路修复,从而有效解决了FPGA的永久性辐射损伤将直接导致可重构星载计算机整体失效的问题。该算法所需的计算量较小,内存占用量也较少,能够适用于计算能力与硬件资源受限的星上环境。 针对传统数学仿真在可重构星载计算机设计中存在的局限性,基于Matlab/Simulink与Modelsim建立了一种跨学科数字化协同仿真系统,实现了可重构星载计算机硬件电路在控制系统中数字化的仿真验证。基于单轴气浮转台构建了可重构星载计算机在回路中的半物理仿真验证环境,针对某型号微小型航天器的实际需求,设计实现了可重构星载计算机工程样机,并对工程样机的计算能力、闭环控制效果与错误应对机制等方面进行了半物理的仿真验证。仿真结构显示所设计的可重构星载计算机工程样机不但具有很强的计算能力和理想的闭环控制效果,还具有较短的重构时间和有效的故障检测与修复机制,能够满足目标航天器的实际工程需求。
【学位授予单位】:哈尔滨工业大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:V446

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 李精华;;基于FPGA的DDS波形发生器设计[J];柳州师专学报;2011年03期
2 安亚君;;基于FPGA的多通道数字示波器设计[J];微计算机信息;2011年07期
3 李琳;;一种单片机流水灯的电路设计[J];无线互联科技;2011年05期
4 高迎彬;胡昌华;何华锋;梅冰;吕永佳;;基于FPGA的惯性平台嵌入式调平系统设计[J];电子测量技术;2011年06期
5 韦海萍;;基于FPGA的增强Lee滤波算法设计与实现[J];航天控制;2011年03期
6 张孝飞;赵孔新;张赛男;;基于FPGA的脉冲发生器波形模块设计[J];长春工业大学学报(自然科学版);2011年03期
7 刘兴中;唐德宇;郑自伟;刘雄;;一种舵机控制系统设计[J];微电机;2011年06期
8 雷贵;胡福云;;基于FPGA的多功能波形发生器设计研究[J];现代商贸工业;2011年11期
9 张严;洪远泉;;基于FPGA的任意波形发生器设计与研究[J];现代电子技术;2011年10期
10 张丹;韩金刚;汤天浩;;FPGA控制的不对称多电平逆变器的设计[J];电源学报;2011年04期
中国重要会议论文全文数据库 前10条
1 侯金华;;基于FPGA的SOC系统可靠性设计[A];2011中国电工技术学会学术年会论文集[C];2011年
2 张健;孙辉先;陈晓敏;安军社;;反熔丝FPGA的可靠性设计措施[A];第二十三届全国空间探测学术交流会论文摘要集[C];2010年
3 ;Design and Research of Video Fire Detection System Based on FPGA[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
4 董雪;费建军;白娇杨;;基于FPGA的智能火灾报警系统的设计与研究[A];天津市电视技术研究会2012年年会论文集[C];2012年
5 肖松;李跃华;张金林;;基于FPGA局部动态可重构的抗SEU容错系统研究[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年
6 王玮;钱伟康;应怀樵;;基于FPGA的PXI高速数据采集系统硬件设计[A];现代振动与噪声技术(第九卷)[C];2011年
7 钱伟康;梁利娟;王丽丽;;一种基于FPGA的CAN总线船舶监控系统[A];全国第三届信号和智能信息处理与应用学术交流会专刊[C];2009年
8 杨学友;叶振忠;刘常杰;李博文;;一种高速智能化视觉传感器设计[A];第三次全国会员代表大会暨学术会议论文集[C];2002年
9 鲁艳;雷维嘉;谢显中;;基于Avalon接口的交织编码技术的FPGA实现[A];2010年通信理论与信号处理学术年会论文集[C];2010年
10 许超;肖铁;施柏鑫;;基于FPGA的电子内窥镜视频处理系统[A];全国第二届信号处理与应用学术会议专刊[C];2008年
中国重要报纸全文数据库 前10条
1 本报记者 赵艳秋;FPGA:跨进40纳米时代[N];中国电子报;2008年
2 ;FPGA助学生学以致用[N];中国电子报;2009年
3 本报记者 赵艳秋 冯晓伟 冯健;FPGA:市场应用广 门槛需降低[N];中国电子报;2009年
4 本报记者 冯晓伟;FPGA格局难改 新兴企业胜算几何?[N];中国电子报;2009年
5 ;异步架构FPGA实现业界最高速度[N];中国电子报;2009年
6 ;突破功耗和成本限制设计中国需要的FPGA[N];中国电子报;2009年
7 ;FPGA平台渐成系统核心[N];中国电子报;2009年
8 ;通信仍是FPGA最大市场[N];中国电子报;2009年
9 本报记者 冯晓伟;优势劣势同样明显 FPGA力争市场主力地位[N];中国电子报;2009年
10 海英;赛灵思发布新型FPGA芯片方案[N];人民邮电;2009年
中国博士学位论文全文数据库 前10条
1 刘源;可重构星载计算机体系结构与容错技术研究[D];哈尔滨工业大学;2010年
2 张承畅;多FPGA系统的关键问题及应用研究[D];重庆大学;2011年
3 李鹏;基于元构件的FPGA硬件构件设计技术研究[D];解放军信息工程大学;2011年
4 余慧;时分交换的新型FPGA互连结构研究[D];复旦大学;2011年
5 谢丁;FPGA互连结构评估系统研究与实现[D];复旦大学;2011年
6 王忠明;SRAM型FPGA的单粒子效应评估技术研究[D];清华大学;2011年
7 廖永波;SOC软硬件协同方法及其在FPGA芯片测试中的应用研究[D];电子科技大学;2010年
8 唐玉兰;伪布尔可满足性算法及其在FPGA布线中的研究应用[D];江南大学;2010年
9 邬贵明;FPGA矩阵计算并行算法与结构[D];国防科学技术大学;2011年
10 王建庄;基于FPGA的高速图像处理算法研究及系统实现[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 周志娟;相移波束形成的FPGA实现[D];哈尔滨工程大学;2011年
2 许冲;激光脉冲定距算法研究与FPGA实现[D];哈尔滨工业大学;2011年
3 叶忠彬;基于FPGA的数字频率合成系统的设计与实现[D];电子科技大学;2011年
4 彭涵阳;无串扰超声测距系统的激励方法及基于FPGA的设计与实现[D];天津大学;2010年
5 杜国女;基于FPGA的音乐景观灯的设计与实现[D];兰州交通大学;2011年
6 隆志远;基于FPGA和光电耦合的旋转机械非接触双向信号传输系统[D];南京航空航天大学;2010年
7 袁臻;电动多叶光栅通讯部分的FPGA实现[D];上海交通大学;2009年
8 刘开健;基于FPGA的实时图像处理系统的设计与实现[D];昆明理工大学;2008年
9 刘钰力;基于FPGA的SHA256高效数字加密系统[D];兰州大学;2011年
10 王恕;基于FPGA的伺服电机速度测量算法研究与实现[D];上海交通大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026