Skip to main content
QUICK REVIEW

[论文解读] Compressed Encoding for Rank Modulation

Eyal En Gad, Anxiao|arXiv (Cornell University)|Aug 13, 2011
Coding theory and cryptography参考文献 3被引用 9
一句话总结

本文提出了一种用于闪存中秩调制的新型‘最小上推’编码方法,通过减少状态转换期间的单元级增加,显著降低重写成本。该方法在最坏情况成本约束下实现了最优码率——相比先前方案最高提升54%,并对n=4和n=5的情况通过支配集理论与群论划分方法证明了构造的最优性。

ABSTRACT

Rank modulation has been recently proposed as a scheme for storing information in flash memories. While rank modulation has advantages in improving write speed and endurance, the current encoding approach is based on the "push to the top" operation that is not efficient in the general case. We propose a new encoding procedure where a cell level is raised to be higher than the minimal necessary subset - instead of all - of the other cell levels. This new procedure leads to a significantly more compressed (lower charge levels) encoding. We derive an upper bound for a family of codes that utilize the proposed encoding procedure, and consider code constructions that achieve that bound for several special cases.

研究动机与目标

  • 为解决秩调制中‘上推至顶’操作的低效性,该操作不必要地增加了单元电平,限制了存储器耐久性。
  • 设计一种压缩编码方案,以最小化状态转换期间的最大单元电平增量。
  • 在最坏情况重写成本约束下构建最优全赋值码,提升存储效率。
  • 推导在新编码模型下码容量的理论上限,并为小规模n构造达到该上限的码。
  • 通过置换状态的群论划分方法,将构造推广至更高成本约束(r ≥ 2)

提出的方法

  • 提出一种‘最小上推’操作,仅将单元电平提升至其他单元中最小必要子集之上,而非全部其他单元。
  • 将重写成本定义为初始置换中各元素最大秩增量,对应于最小单元电平增量。
  • 使用带虚拟层级的离散模型,形式化成本并分析对称群S_n中的状态转换。
  • 应用支配集理论,确保在成本约束下可到达所有状态,从而支持码的构造。
  • 通过基于特定置换(g1=(4,5),g2=(1,2,4,3,5))的陪集划分S_n,为n=4和n=5构造最优码。
  • 对于r ≥ 2,通过依据前n−5个元素将置换划分为块,并对最后五个元素应用n=5的构造方法,实现构造的推广。

实验结果

研究问题

  • RQ1相较于标准的‘上推至顶’操作,是否存在更高效的编码方法,可降低秩调制中最大单元电平增量?
  • RQ2在最坏情况重写成本约束下,全赋值码的存储容量理论上限是什么?
  • RQ3在新编码模型下,能否为小规模n(如n=4、n=5)实现最优码构造?
  • RQ4如何在保持最优性的同时,将码构造推广至更高成本约束(r ≥ 2)?
  • RQ5转换图中的支配集与高效重写码设计之间存在何种关系?

主要发现

  • 所提出的最小上推编码通过避免不必要的单元电平增加,降低了重写成本,从而提升了存储器耐久性。
  • 推导出在最坏情况成本为1时,全赋值码码率的上界为R ≤ 1 − (1/n)log₂(8/3)比特/单元。
  • 对于n=4,该上界可被达到,且构造1生成的码在容量上比以往的秩调制码高出54%。
  • 对于n=5,构造2通过基于陪集的S₅划分(划分为12组,每组10个状态),实现了该上界,码率为0.717比特/单元。
  • 通过将S_n划分为大小为120的块,并对最后五个元素应用n=5的构造方法,该构造可推广至r ≥ 2,码率为R = (1/n)log₂(n!/10)比特/单元。
  • 理论分析证实,每个构造的支配集可完全覆盖所有必需的前缀,确保在成本约束下可达性。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。