健全性测试
健全性测试或合理性检验是一种快速评估某说法或计算结果是否可能正确的基本测试。合理性检验的目的是排除某些明显错误的结果，而不是捕捉每一个可能的错误。可以使用经验法则或粗略计算以执行测试。 例如，在算术中，当乘以9时，使用9的除数规则来验证结果的数字总和是否可被9整除是一个合理性检验——它不会捕获每个乘法误差，但它是一个快速而简单的发现许多可能错误的方法。 在计算机科学中，健全性测试是计算机程序、系统、计算或其他分析的功能的非常简短的贯穿，…
标签：#错误检测与校正
共 27 篇文章
坦納圖
坦納圖表示的是 LDPC 的校验矩阵。坦納圖包含两类顶点： n个码字比特顶点（称为比特顶点），分别与校验矩阵的各列对应； m个校验方程顶点（称为校验节点），分别与校验矩阵的各列对应。校验矩阵的每行表示一个校验方程，每列代表一个码字比特。如果一个码字比特包含在相应的校验方程中，那么就用一条连线将所涉及的比特节点和校验节点连起来，所以坦納圖中的连线数与校验矩阵中的1的个数相同。比特节点用圆形节点表示，校验节点用方形节点表示。 坦納圖中的循环…
纵向冗余校验
纵向冗余校验（Longitudinal redundancy check，縮寫LRC），是通信中常用的一种校验形式。 纵向冗余校验（LRC）是一种从纵向通道上的特定比特串产生校验比特的错误检测方法。在行列格式中（例如，在磁带中），LRC经常是与VRC一起使用，这样就会为每个字符校验码。 实现 Set LRC = 0 For each character c in the string do Set LRC = LRC XOR c end…
校验码系统
校验码系统是产生校验码并校验包括校验码在内的字符串的一套规则。它可以防止在抄录和键入字符串时产生的错误。 查错类型 单一字符替代错误，如1234被错录为4234 单一字符对换错误，如12345被错录为12354或12543 位移错误，如_123被错录为123_ 双替代错误，如1234567被错录为7234587 类型 ISO 2108 ISO 2984 ISO 6166 ISO 7064校验码系统 纯系统 混合系统 计算方法 ISO 7…
信息鉴定
信息鉴定（Message authentication），又稱数据原发鉴别，是信息安全中指一项信息在传输过程中未受更改（数据完整性）且接收方能验证信息来源的性质。信息鉴定不需要不可否认（Non-repudiation）性质。 信息鉴定通常通过使用訊息鑑別碼、认证加密或數位簽章方式完成。 部分密码学家将“未经保密的信息身份验证”系统——即允许预定的收件人验证来源信息，但不介意隐藏信息的纯文本内容——与认证加密系统区分开来。还有一部分密码学…
低密度同位元檢查累積碼
低密度同位元檢查累積碼由低密度奇偶檢查碼low-density parity-check (LDPC)和一個累加器組成。 其運作方式為Bit Node以二位元模組的方式相加到Check Nodes,根據tanner graph。 然後，Check nodes的值以modulo-two被累加。 利用這種方式，通道解碼端的解碼器可以避免有一個check node沒有被連結到任何bit node的狀況。 經過累加後，累加的位元會被存在一個緩衝…
多数逻辑解码
多数逻辑解码是基于最大出现概率的符号就是所传输消息这样一种假设对重复码进行解码的方法。它根据接收到的特定码字集中的符号概率作判断。 理论 如果有一个分别由0,1组成的二进制字母表，我们用(n,1)重复码将输入数据位映射成一组n个重复数据位的码字串，通常我们选择奇数n=2t + 1倍。 这样，重复码可以更正高达[n/2]个错误。如果超出这些错误，那么解码就会出错。所以重复码的错误概率用下式表示 P_e = \sum_{t=\frac{n+…