孙宗奇
- 作品数:2 被引量:0H指数:0
- 供职机构:同济大学电子与信息工程学院更多>>
- 发文基金:国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种新型加减法运算错误检测算法
- 2016年
- 近年来,基于计算机的控制技术已被广泛应用到轨道交通信号系统中,为了保证设备或系统的安全性和可靠性,诸多学者将冗余编码应用到数据处理过程,通过对指令层面进行编码运算来检测有关传输过程中的错误。本文提出了一种新型加减法运算错误检测算法,使用右移计算代替除法运算,提高了性能,并达到安全完整性等级4(Safety Integrity Level 4,SIL4)要求。
- 孙宗奇
- 关键词:可信计算冗余编码安全性
- 基于delta码的乘除法运算错误检测改进算法
- 2017年
- 为确保安全苛求系统中程序执行的正确性,研究人员将差错控制理论用于对计算机指令进行编码,但由于编码大多涉及模运算,导致复杂度大量增加,应用于实时系统有困难。针对复杂度问题对delta码的乘除法运算算法进行改进。算法在乘法运算中引入冗余编码及差异化思想,从而确保安全性;在除法运算中引入逆元,将除法运算转化为低复杂度的乘法运算,避免了模运算带来的开销,降低了复杂度并提高了算法安全性,并对安全性进行理论论证。理论分析表明:所提算法漏检率可达2.3×10^(-10)。测试结果表明,所提算法的漏检率与理论值相符,且复杂度是未编码运算6.4~7.2倍,比原delta码降低了7%~19%,在漏检率与复杂度方面均满足安全苛求系统的应用要求。
- 孙宗奇臧海娟张春花潘勇
- 关键词:安全性