标签:纠错码
过去的一年致力于IEEE 802.3bj的前向纠错编码模块(FEC),发现可以把我的对偶综合工作扩展到FEC上,包括FEC的形式化验证和对偶综合。
这就导致了我需要学习纠错码,而相关的多项式环和有限域操作需要在计算代数系统上进行操作,这就导致了我需要学习计算代数系统。
常见的计算代数系统由Singular(www.singular.uni-kl.de)和GAP(www.gap-system.org)。
Singular被几个相关的工作使用,比如发表于FMCAD12的Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry。
不过Singular的用户支持很差,在他的用户论坛和邮件列表中问问题,很久都没有人回复。
而GAP则好得多,他的邮件列表非常活跃,并针对学习纠错吗给出了下列相关的学习资源
Dear Shen,Bernardo
其中我发现2尤其有用,不仅不仅给出了相关的代数背景知识,还有GAP在纠错码上的应用,所有章节都有GAP的例子
标签:纠错码
原文地址:http://blog.csdn.net/shengyushen/article/details/44245447