基于质因数分解的控制流错误检测方法

软件控制流错误检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一,其方法主要是将编译时计算的签名值同运行时生成的签名值进行比较.因此,体现基本块间依赖关系的签名值的表示方法决定软件控制流错误检测概率的高低.为了在低检测代码开销的情况下提高错误检测概率,结合图论理论提出一种汇编层的控制流检测方法.该方法运用整数可唯一分解为素数乘积的代数基本定理表示基本块间依赖关系的要素,以此作为生成签名值的依据,将其插入以基本块为单位的检测指令中.实验表明,此算法的性能评价指标优于CFCSS等具有代表性的软件控制流检测方法,具有很强的实用价值.     

仿丝绸产品的连续化碱减量工艺试验

涤纶纤维的碱减量加工,国外在六十年代中期就开始研究,自仿丝绸产品问世以来,这方面的文献报道才显著增加。但就加工生产方式而论,目前偏重于间歇式方法,有关连续碱减量的工艺报道较少,有推荐用轧-烘法、轧-蒸法、高温高压法以及单面印花法等。综合有关报道的情况,连续碱减量加工主要存在着安全性、重现性和减量均匀性等问题。 根据棉布印染加工织物的特点,结合我厂设备,以短涤和涤棉混纺两类织物,对连续碱减量的主要因素诸如烧碱浓度、处理时间、温度和促进剂等进行条件试验,并着重摸索织物在L型平板履带汽蒸机上进行碱处理失重均匀性的试验,反复验证了织物在履带汽蒸机上连续碱减量加工后的失重均匀性和质量重现性。为试制近似丝绸风格的产品,     

一种基于控制流检测的低功耗基本块划分方法

星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性,控制流检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一。为了在低功耗模式下保证错误检测概率,提出一种基于控制流检测的低功耗基本块划分方法,此基本块划分方法在编译后期完成,不影响编译调度效果。采用GCC、SDCC两款编译器,将三种具有代表性的控制流检测算法注入到典型的程序集中进行测试。实验证明,此种基本块划分方法在保证错误检测概率的条件下,降低了程序运行功耗。