【摘 要】
：
简介: 本文介绍一种检测数字装置和计算机程序的错误的方法,该方法是计算机函数f(x)的值,在这儿x≤G,而G为有限交换解。对该方法的电路执行的情况来说,“错误”就是在结构上
论文部分内容阅读
简介: 本文介绍一种检测数字装置和计算机程序的错误的方法,该方法是计算机函数f(x)的值,在这儿x≤G,而G为有限交换解。对该方法的电路执行的情况来说,“错误”就是在结构上突然失效;对程序执行的情况而言,“错误”就是程序在正文中的错误。
Summary: This article describes a method for detecting errors in digital devices and computer programs, which is the value of the computer function f (x), where x ≤ G and G is the finite exchange solution. For the circuit implementation of the method, “error” is a sudden failure in the structure; the case of program execution, the “error” is the program in the body of the error.
其他文献
激光同步轨道实验的最终目的是使各大洲的原子钟同步到毫微秒量级的精度.最初,地面激光测距站发送由主时基钟发出的信号,然后对这些信号进行探测编码,再由安装在SirioⅡ号地
1.前言 近来,在各工业领域内,电气液压伺服机构在应用,正在兴起。电气液压伺服机构把电子设备用作信号处埋部分,把油压用作操作分部,以便与有效地发挥各自的特长。
1. Intr
拉洋片李玉川拉洋片是旧时跑江湖耍玩艺儿的一种，它是将绘制的图片放在特制的木箱里，通过凸透镜来观看、欣赏风光景色、人物故事，使人开阔视野，一饱眼福。洋片图片是采取西洋画法
汤姆逊-CSF公司的四套舰-空型“海响尾蛇”武器系统将在今年交付法国海军:它们当中的第一套武器系统将首先装备“Duguay-Trouin”号护航舰(F67型)。去年以来,“海响尾蛇”武
Background: Double-balloon enteroscopy (DBE) is a novel procedure for the diagnosis of small-bowel pathology. The aim of this retrospective study was to compare
政府和商业方面的人士都证实了军方对研制粒子束武器感兴趣。然而,《航空周刊和空间技术》5月2日那期上有篇文章说苏联即将部署粒子束武器,这却被认为是“耸人听闻”。本刊
随着经济的发展和受教育程度的提高,越来越多的女性进入到职场施展才华,她们已成为企业生产经营的重要力量,对企业的健康发展起着重要的作用。然而,面对市场竞争的激烈和自身
美国三大移动通信运营商AT&T、T-mobile和Verizon无线于去年11月合资成立的移动支付公司Isis 4月8日宣布,将于2012年在盐湖城进行试点,为犹他州交通管理局提供一种可替代信用
霍姆斯(Frederiek S.Holmes)告诉美国航空与航天学会会议,确定美国空军波音KC-135飞机机载激光实验室摧毁空对空导弹能力的试验将在系统仪器试验之后进行.而仪器试验则定于
为装备未来的空空、地空和舰空导弹,汤姆逊-CSF公司正在发展一种新系列的全部实现固体化的主动电磁导引头。
To equip the future of air, ground and ship-to-air missile