TY JOUR TI Design Method of High-Speed Checkers for Two Constant-Weight Codes with Orthogonal Combinations Across All Bits Using the Symmetric Boolean Functions KW self-checking discrete device KW composition of two constant-weight codes KW symmetric Boolean function KW design of the composition of constant-weight codes KW checker efficiency index JO Transport automation research AU Efanov, D.V. AU Elina, E.I. AU NKUNGU, T.M. AU Leskovets, I.V. AU Gebel', E.S. PY 2025 IS 11 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"