【摘 要】
：
为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术（ANBD）码的循环控制错误检测算法
【机 构】
：
同济大学电子与信息工程学院,上海交通大学密西根学院
论文部分内容阅读
为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术（ANBD）码的循环控制错误检测算法。该算法通过ANBD码,将程序变量编码为含签名的码字。通过校验码字签名,检测循环控制错误。运用ANBD码中的时间标签,可检测内存未更新错误。另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误。该算法理论错误漏检概率为1/A,其中A为编码素数,选取97-1099
其他文献
对虚拟现实技术在色谱分析教学中的应用进行了分析,并进一步探讨了该技术在色谱分析教学中表现出的优点和不足,旨在使其在色谱分析教学中发挥更好的作用。
为了提高数字直放站回波抵消的收敛速度,首先研究了基于自适应滤波器的回波抵消技术,然后对其中的自适应滤波器的递推算法进行改进,形成了两个自适应滤波器并行计算、联合递推更新权值的技术方案。由于调节两个自适应滤波器权值的误差信号产生方式不同,方案可分为两种:方案一将回波抵消后的信号同时作为调节两个滤波器权值的误差信号(同时);方案二将天线接收信号与第一个滤波器输出信号的差值作为调节第一个滤波器权值的误差
基于人才队伍建设、软硬件设施建设和档案管理机制建设3个视角，探讨文档管理中应用计算机技术所必须经历的3个阶段。旨在为加快建设行政单位电子政务模式而献计献策。
高校国有资产是国有资产中的重要组成部分，实验室设备是国有资产管理中固定资产的体现，如何加强完善高校的国有资产实验室设备管理，充分发挥高校实验室教、学、研、讨等全方位互
随着《义务教育学科课程标准》（2011版）在2012年秋季的开始实行，意味着课程改革将开始新的征程。新课程改革的不断推进，学生的学习方式、教师的教学方式都发生了很大的变化。师生在课堂之外的学习空间越来越大，仅仅依靠教材、教参远不能满足师生的需要。中小学图书馆作为学校重要的组成部分，也应成为“教改”的阵地。这就意味着图书馆将在教学过程中承担起更大的责任，要为师生提供更为丰富、优质的资源，充分发挥自身
教育均衡是构建和谐社会的一个重要组成部分,是让每个孩子平等地接受优质教育的重要手段。要实现教育装备配备的均衡化,不仅仅是按照装备标准和配备目录,买齐仪器器材,让生均