首页--航空、航天论文--航天(宇宙航行)论文--航天仪表、航天器设备、航天器制导与控制论文--计算装置论文

空间载荷的软件可靠性建模分析与多级冗余防护方法研究

摘要第5-7页
ABSTRACT第7-8页
符号对照表第12-13页
缩略语对照表第13-16页
第一章 绪论第16-24页
    1.1 研究背景第16-19页
    1.2 国内外研究现状第19-21页
    1.3 论文主要工作及论文结构第21-24页
        1.3.1 论文的主要研究内容和创新点第21-22页
        1.3.2 论文的结构安排第22-24页
第二章 可靠性理论与模型第24-36页
    2.1 TMS320C55xx系列DSP介绍第24-26页
        2.1.1 CPU内核第24-25页
        2.1.2 C55xx存储空间第25-26页
    2.2 基于单粒子翻转的概率分析及可靠性模型第26-31页
        2.2.1 泊松分布与二项分布第26-28页
        2.2.2 基于单粒子翻转的模块可靠性模型第28-31页
    2.3 冗余防护第31-34页
        2.3.1 三模冗余防护原理第32-33页
        2.3.2 冗余防护性能评估第33-34页
    2.4 本章小结第34-36页
第三章 基于多级冗余结构的软件可靠性建模求解第36-60页
    3.1 模块多级划分规则第36-37页
    3.2 多级结构冗余分配问题第37-41页
        3.2.1 多级冗余结构的描述及冗余代价第38-39页
        3.2.2 多级结构可靠性建模第39-41页
    3.3 改进模因演算法(OMA)第41-49页
        3.3.1 解的初始化第42页
        3.3.2 解的评估和筛选第42-44页
        3.3.3 基于动态切分策略的交叉算子第44-46页
        3.3.4 变异算子第46-47页
        3.3.5 基于变步长的局部搜索算子第47-49页
    3.4 算法实验结果对比第49-58页
        3.4.1 FFT实例验证第50-51页
        3.4.2 实验结果及分析第51-58页
    3.5 本章小结第58-60页
第四章 冗余表决方法的性能分析与设计第60-80页
    4.1 离散量表决方法第60-63页
        4.1.1 整体表决方法(Word Voter)第60-62页
        4.1.2 逐位表决方法(Bit Voter)第62-63页
    4.2 表决性能分析及验证第63-69页
        4.2.1 表决性能分析第63-65页
        4.2.2 实验验证第65-69页
    4.3 改进的s*k表决器第69-78页
        4.3.1 s*k表决器原理第69-71页
        4.3.2 实验验证第71-78页
    4.4 本章小结第78-80页
第五章 总结与展望第80-82页
    5.1 研究工作总结第80-81页
    5.2 研究展望第81-82页
参考文献第82-86页
致谢第86-88页
作者简介第88-89页

论文共89页,点击 下载论文
上一篇:基于三维渲染技术的飞机辐射计算
下一篇:智能引信系统设计