CAJ | 학술논문

针对三值光学计算机数据可靠性传输问题，研究对称三值数据海明校验方法。通过建立二值逻辑判断与三值逻辑计算的联系，从解析计算角度分析了对称三值数据的一位检测一位纠错海明编码及校验规则，对适用二值数据校验的海明树进行分支扩展；定义纠错因子，推导并证明了二值、对称三值通用的一位检测一位纠错海明表达式；与参考文献中的检测与纠错方法相比，研究的方法可以更节省时间资源，以基本的加法运算实现纠错，使纠错运算更容易由硬件运算器实现。通过计算实例，验证了分支扩展海明码树与纠错表达式的合理性。该方法可以在一定程度上保证光学计算机在对称三值表示形式下的数据可靠性传输。
침대삼치광학계산궤수거가고성전수문제，연구대칭삼치수거해명교험방법。통과건립이치라집판단여삼치라집계산적련계，종해석계산각도분석료대칭삼치수거적일위검측일위규착해명편마급교험규칙，대괄용이치수거교험적해명수진행분지확전；정의규착인자，추도병증명료이치、대칭삼치통용적일위검측일위규착해명표체식；여삼고문헌중적검측여규착방법상비，연구적방법가이경절성시간자원，이기본적가법운산실현규착，사규착운산경용역유경건운산기실현。통과계산실례，험증료분지확전해명마수여규착표체식적합이성。해방법가이재일정정도상보증광학계산궤재대칭삼치표시형식하적수거가고성전수。
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.