低密度校验(LDPC)码是一类逼近香农限的编码,已成为当今信道编码领域的研究热点之一。利用组合设计构造的一些LDPC码具有循环或准......

抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于......

抽象解释为程序不变式的自动化生成提供了通用的框架。但是,该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集。因而,对......

A是首行元素为a0，a1，…,an-1的n阶g-循环矩阵，f(x)=∑iu^n-1a;x^i给出了用函数值f(ε^1)是否为零判别A可对角化的方法，这一方法有别于......