光学计算机对称三值数据海明校验研究

摘要

针对三值光学计算机数据可靠性传输问题，研究对称三值数据海明校验方法。通过建立二值逻辑判断与三值逻辑计算的联系，从解析计算角度分析了对称三值数据的一位检测一位纠错海明编码及校验规则，对适用二值数据校验的海明树进行分支扩展；定义纠错因子，推导并证明了二值、对称三值通用的一位检测一位纠错海明表达式；与参考文献中的检测与纠错方法相比，研究的方法可以更节省时间资源，以基本的加法运算实现纠错，使纠错运算更容易由硬件运算器实现。通过计算实例，验证了分支扩展海明码树与纠错表达式的合理性。该方法可以在一定程度上保证光学计算机在对称三值表示形式下的数据可靠性传输。%Hamming specification for symmetric ternary data verification has been researched and aimed at reliability of data transmission of ternary optical computer. From the analytic calculation standpoint, connection between binary logic judgment and ternary logic operation has been established. And hamming coding and verifying specification for symmet-ric ternary data SEDSEC has been analyzed. By expanding branches of hamming tree for binary data verification and defining correction factor, SEDSEC hamming formula for both binary and symmetric ternary has been derived and proved. Comparing with the detecting and correcting method proposed in one of references, the researched approach in this article is more time-saving and advantageous to ALU hardwire implement because of its basis of elementary addi-tion operation. The logicality of branch-expanded hamming tree and correction formula has been verified by an example. The approach could ensure the reliability of data transmission for optical computer as the information is represented by symmetric ternary data to some extent.