电子硬件容易出现制造时引入的缺陷和现场发生的故障。由于数字逻辑电路的复杂性,它们很难测试。本报告概述了数字逻辑测试。它提供了对文献的访问,并统一了该领域发展起来的术语和概念。它讨论了数字逻辑故障的类型和原因。本报告介绍了逻辑和
TDRS 可测试性手册是一套两卷的书。第一卷包含此 TDRS 执行摘要、TDRS 简介以及有关如何改进设计可测试性方面的建议。第一卷第 1 节是第一卷的简介,并包含第一卷中每个部分的描述(第 1-8 页和第 1-9 页)。第一卷在主要部分之前包含首字母缩略词和缩写列表。它还在主要部分之后包含参考书目和词汇表。
摘要 — 近年来,尽管物理设备扩展速度放缓,但计算机架构大胆而激进的创新趋势日益明显,旨在继续提高计算性能。该领域的一个新前沿是人工智能 (AI) 硬件。虽然 AI 硬件的功能性仍然是主要关注点,但在主流采用之前,需要解决这些新架构的可测试性和可靠性问题。本综述论文涵盖了 AI 硬件可靠性和可测试性解决方案的最新研究和开发,包括用于加速器和神经形态设计的人工神经网络 (ANN) 和脉冲神经网络 (SNN) 的数字或模拟实现。本文还讨论了趋势、挑战和观点。
等效原理是爱因斯坦相对论的支柱之一,因此,它最初是在经典理论中表述的,经典理论中,点粒子的所有可观测量,特别是其位置、能量和质量,在粒子的任何状态下都是清晰的。其他原理也是如此,比如能量守恒定律,尽管如此,其在量子理论中的表达和有效性还是被广泛接受。然而,对于量子系统的等效原理的表述存在很大争议:这是因为量子系统可以存在于空间叠加中,而经典表述的等效原理并不直接涵盖这种情况。因此,有人提议将其扩展到量子系统 [ 1 – 3 ];也有人声称量子系统违反了该原理(例如,参见 Anastopoulos 和 Hu 的引言 [ 4 ] 以及本文的参考文献);有些人还声称这应该是引力状态降低的原因 [ 5 ]。这里讨论的重点是,等效原理意味着不同质量的粒子应该以相同的速率在相同的引力场中下落。然而,量子德布罗意波长是粒子质量的函数,因此不同质量的粒子在同一引力场中的干涉效果会有所不同。这似乎违反了等效原理的规定,即不同质量的粒子在同一场中的行为无法区分。正如我们将在下文中看到的,在我们提出的量子等效原理中,这并不是一个相关问题。我们相信,对于争议的其他方面也是如此,例如 Anastopoulos 和 Hu [ 4 ] 中提到的方面。在这里,我们想通过类似于能量守恒的方法将等效原理扩展到量子领域。也就是说,为了将该原理扩展到量子领域,我们将假设对于量子叠加的任何分支,该原理都成立。具体来说,我们假设,对于在位置 x 处尖锐的空间叠加态的每个分支,等效原理以其当前接受的形式之一成立:通过在 x 处的局部操作,均匀重力场 g 中静止的点粒子的运动状态与在 x 处经历加速度 − g 的点粒子的运动状态在经验上是无法区分的。