【摘 要】
：
空间高能粒子辐射严重影响航天计算的可靠性,必须采取有效措施对其进行加固.相比使用抗辐射器件,使用软加固的商用器件具有性能高、成本低、开发速度快等优势.然而,目前的软
论文部分内容阅读
空间高能粒子辐射严重影响航天计算的可靠性,必须采取有效措施对其进行加固.相比使用抗辐射器件,使用软加固的商用器件具有性能高、成本低、开发速度快等优势.然而,目前的软加固研究主要适用于应用程序,对操作系统软加固方法的研究还较少.鉴于此,提出了一种面向星载操作系统的控制流错误检测方法.该方法结合星载操作系统自身特点,着眼于线程执行,将每个线程视为一个函数调用序列,通过在函数入口和出口处插入检测语句,监测各线程的执行,实现控制流错误检测.实验结果表明,该方法能将星载操作系统的控制流错误覆盖率提高约25％.
其他文献
随着社会信息化的发展,会计和信息技术的融合势不可挡,高职院校作为培养高级应用型人才的重要基地,应该不断适应社会和企业的需要,以信息化条件下会计人员的职业能力要求为起
随着经济全球化的深入发展,我国进入了经济社会发展的新阶段。政府职能的逐步转变,公共财政框架的逐步建立,使行政政法财务管理工作面临着许多矛盾和问题。要解决前进中的矛
目的：研究HPLC法测定咪达唑仑注射液的方法及条件。方法：色谱柱Diamonsil C18,流动相为磷酸盐缓冲液（pH7．3）-甲醇-乙腈（36：30：34），检测波长219nm。结果：咪达唑仑在4．14～82．80mg·L^-1范
目的:通过前瞻性答疑,使用药更接近安全、有效、经济.方法:收集典型病例,分析药物安全性与患者依从性的因果关系.结果:耐心详细讲解,前瞻性答疑,增加了患者对医生、药师的信
患者。男，31岁．肝穿诊为慢性乙肝（Chronic Hepatitis B），因总胆红素26．06μmol·L^-1，直接胆红素15．15μmol·L^-1，谷草／谷丙0．84（谷丙转氨酶34．46U·L^-1，谷草转氨酶23．86U
目的：考察用两种方法检测含防腐剂制剂中微生物数并进行比较。方法：采用薄膜过滤法，除去制剂中的防腐剂后，行微生物数量检测，其结果与平皿法比较。结果：平皿法和薄膜过滤法检测的微
目的:比较盐酸氨溴索,地塞米松对大鼠胎肺形态发育的影响.方法:选择健康妊娠的SD大鼠18只随机分成盐酸氨溴索治疗组,地塞米松治疗组,对照组.各组大鼠于妊娠第16,17,18天尾静
国家经济技术水平在不断提高,城市化进程也在不断推进,建筑行业在这两方面的影响向得到了长足的进步。在建筑项目的建设的过程中,尤其要重视的是电气工程及其中的强电施工,这
针对新一代视频编码标准高效率视频编码(HEVC)编码单元(CU)尺寸较大所导致的丢包后错误隐藏恢复效果不佳的问题,提出了对CU下的分割块进行块融合的错误隐藏方法。首先,分析了残差能量与块分割的相关性;然后,通过参考帧残差能量与所设阈值进行比较判决,对当前丢失CU分割块进行融合,得到丢失CU的块分割方式;其次,对矢量外推法进行权值优化,保证了算法在HEVC错误隐藏的适用性;最后,对融合块采用优化后的