【摘 要】
：
针对空间环境中DSP软错误检测的需求,研究一种DSP汇编程序基本块划分与优化方法,并对其进行了软件实现。该方法首先将汇编程序精简为只含指令和标号的＂伪汇编＂程序;再对＂伪汇编＂
【机 构】
：
中国空间技术研究院西安分院,西北工业大学计算机学院,中国航天科技集团公司科技委
【基金项目】
：
国家自然科学基金(项目编号:61371024);航空科学基金(项目编号:2013ZD53051);国防"973"项目;总装预研基金;航天支撑技术基金;中航产学研项目(项目编号:cxy2013XGD14)
论文部分内容阅读
针对空间环境中DSP软错误检测的需求,研究一种DSP汇编程序基本块划分与优化方法,并对其进行了软件实现。该方法首先将汇编程序精简为只含指令和标号的＂伪汇编＂程序;再对＂伪汇编＂代码进行基本块划分;然后经过3种优化得到优化后的基本块。最后根据优化前后的基本块信息,分别绘制优化前后的跳转流程图。利用该软件可以将程序划分为基本块的集合,并提取每个基本块的结构信息,可有效支撑基于完整性检查的程序流错误检测。软件代码精简、稳定性好、空间复杂度小,对DSP单粒子效应故障检测有着重要的应用价值。
其他文献
紫癜性肾炎是过敏性紫癜全身性小血管炎性反应的肾脏受累表现。30%~50%的过敏性紫癜患儿在起病后的 1~6 周内将发生紫癜性肾炎,其中 20%左右发展为肾炎综合征或肾病综合征,1%
近几年来,胶体阀控铅酸蓄电池已经发展成为一种可靠的、用途广泛的储能装置.该类电池制作胶体使用最广泛的凝胶剂-气相二氧化硅存在着许多缺点,比如:污染工作场所,特别是在胶
清朝广州＂一口通商＂的时期里,金、银、铜、铁、铅、白铅等金属也是众多对外出口的商品之一。白铅贸易更是经历了由最初出口数量较少到后来供不应求的过程。白铅贸易体系的建立
目的：探究TGF-β1对哮喘大鼠气道平滑肌细胞（ASMC）增殖的影响，进一步揭示哮喘的发病机制。方法建立大鼠慢性哮喘模型，原代分离培养大鼠ASMC，将细胞分为正常组、哮喘组、TGF-β1组和
随着新疆对外直接投资的步伐加快，对外直接投资能否促进新疆经济增长成为值得探讨的主题。利用1997年一2014年期间的新疆时间数列数据，使用协整模型和格兰杰因果关系模型对对外
聚落是人类社会化的一种初期社会关系形态,现多指村落和镇集。我国的传统聚落往往有数百年甚至上千年的历史积淀,不同地区也形成了带有浓厚地方特色的聚落形态,但随着社会的
《推拿》不仅描写了一群特殊的人群——盲人为小说的主人公,而且以其独特复杂的结构引人入胜,结构是《推拿》最大的难点。这部以人物为中心的小说里面不仅含有画轴结构、复调
本试验旨在探究生物硒锗培养物对产蛋高峰期的海兰褐壳蛋鸡生产性能及蛋品质的影响。试验选用240只健康无病、日龄、体况较一致、处于产蛋高峰期的海兰褐壳蛋鸡,随机分成对照
研究了样品脱脂与不脱脂处理对稻谷中直链淀粉含量测定结果的影响。结果表明,经脱脂处理,样品的直链淀粉含量测定结果显著高于未经脱脂处理的测定结果（p〈0.05,配对秩和检验）,
1987～1989年间,在上海地区根据室内饲育和田间观察的结果,大灰食蚜蝇一年发生5～7代,主要以蛹在土中越冬和越夏。世代历期长短随温度高低而异,当平均温度为24.23℃时(第4代),历