【摘 要】
：
空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存
【机 构】
：
中国科学技术大学软件学院,中国科学技术大学计算机科学与技术学院
论文部分内容阅读
空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型（SEFM）设计的嵌入式操作系统Mini Core中进行.加入两级容错机制后,内存数据准确性得到保证,Mini Core内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.
其他文献
USB移动存储设备体积小、容量大、便于携带等优点,被广泛应用于数据的传输和备份.但是USB移动存储设备的这些特点也给数据的保护带来了很大的挑战.因为盗窃数据者可以轻易的
针对目前城市快速发展,城市文化、历史断档和缺失的现状,尝试构建以＂北京城市记忆＂工程为代表的城市记忆资源平台,通过设计＂1＋1＋N＂的整体平台架构,引入分层数字资源库的构建思路,设
针对直推式支持向量机中标记速度与标注精度之间的矛盾,提出一种信息反馈的半监督支持向量机算法,该算法利用上轮标注数量、重置次数、未标注边界样本数量等信息,动态调整标
字段关联的构建方法是Web数据逼真生成中的困难问题.提出一种基于MIC的字段优先关联的Web数据逼真生成算法.该算法与现有的方法完全不同：首先,提取真实Web日志数据集中相应字
近年来,图像超分辨率重建一直是热门的研究领域,但是对于任意倍增比的超分辨率研究仍然鲜见相应的成果.在高倍增比的情形下,图像清晰度变得较低,肉眼已难以识别图像的内容.随着技术的进步,机器视觉已开始识别清晰度极低的图像,面向任意倍增比的超分辨率技术研究已显得日益重要.通过测试各种代表性的超分辨率算法,本文在进行图像超分辨率的任意倍增比分析之后,根据全尺度质量总和准则提出了一种倍增比自适应的超分辨率重建
随着视频卫星的不断发展,如何在卫星视频数据中准确和快速地进行目标检测逐渐成为一个研究热点.本文从两个方面改进了单阶段的目标检测网络.针对卫星图像中目标尺寸小、分辨率低的特点,利用反卷积操作丰富目标的上下文信息,同时将对应尺度的卷积特征组合成超参特征,丰富目标的细节特征;并提出图像特征多级网格化,将不同网格化的结果进行融合,提高模型的检测准确率.根据视频卫星对地凝视成像、场景移动缓慢的特点,设计出内
针对传统SLIC超像素算法在高分辨率遥感影像上分割质量差的问题,提出一种基于降维的改进SLIC与区域合并的方法对建筑物进行分割.首先,对传统SLIC的五维计算进行降维简化,采用
推荐系统中普遍存在的数据稀疏性问题使得协同过滤算法所要求的近邻搜索准确性降低,以及搜索到的最近邻用户过少,这对整个推荐系统的推荐质量和推荐的准确性产生重要影响,而
基于收益率门槛限制的视角，通过建立效用函数模型并结合动态博弈理论，对网格资源的拍卖问题进行了探讨．在对网格资源提供者与竞标网格资源使用者的动态博弈过程进行分析时发现，网
资源调度作为容器管理的关键技术之一,已有研究工作或满足公平性目标,将工作负载平均调度到所有物理节点上,关注吞吐率指标;或满足性能目标,将工作负载关联的多个容器载体调