|Publication number||USRE23601 E|
|Publication date||Dec 23, 1952|
|Filing date||Jan 11, 1950|
|Publication number||US RE23601 E, US RE23601E, US-E-RE23601, USRE23601 E, USRE23601E|
|Inventors||Richard W. Hamming|
|Export Citation||BiBTeX, EndNote, RefMan|
|Referenced by (33)|
|External Links: USPTO, USPTO Assignment, Espacenet|
Dec 23, 1952 R. w. HAMMING Erm. Re. 23,601
ERROR-DETECTING AND coRREcTxNG SYSTEM 3 Sheets-Sheet 1 Filed Jan. ll, 1950 '/NVENTORS R. W HAMM/N6 B. D. HOL BROOK MHA-4l ATTR/VEV Dec. 23, 1952 Filed Jan. 11, 1 950 FIG. 3
R. W. HAMMING ETAL ERROR-DETECTING AND URRECTING SYSTEM 3 Sheets-Sheet 2 Y g MM ATTORNEY R. w. HAMMING Erm. Re. 23,601
ERROR-DETECTING AND coRREcnNG svsrsu s sheets-sheet s Dec. 23, 1952 Filed aan. 11. 195o Renued Dec. 23, 1952 Re. 23,601 l 23.601 p canoa-neuvime AND coaasc'rmc Richard W. Hamming,
Morris County, and Bernard D. Holbrook, Madison, N. J., assignors to Bell Telephone Laboratories, Incorporated, New York, N. Y., a corporation of New York Original No. 2,552,629, dated May 15, 1951, Serial No. 138,016, January 1l, 1950. Application for reissue October 23, 1952, Serial No. 316,568
This invention relates to permutation code systems and in particular to apparatus for and a method o f detecting and correcting errors which impair the accuracy of the output infomation of such systems.
The invention may be exemplified in its practical application chiey in systems employing binary -permutation codes. That is, systems in which a code group consists of a numerical sequence of any number of Os or ls in any permutation arrangement. Any individual element of such a code, therefore, consists of a or 1. In the telegraphic art such code permutation groups are referred to as consisting of marking and spacing elements. These marking and spacing elements may be diierentitated from each other in practical arrangements by conditions of current and no current, positive current and negative current, or by any other suitably selected pairs of conditions. It is more or less customary for workers inthe telegraphic and related arts to use the expression "code combination rather than the expression code permutation in reference to a code group. It should, therefore, be understood that the word permutation is used herein as being more accurate but should not be taken to distinguish from the terminology of code combination as used by telegraphers and others when applicable.
The prior art offers systems and methods of checking the accuracy of received or recorded permutation codes. In one known type of system there are added to the standard live-unit permutation code groups two additional elements for the purpose of checking accuracy. In such systems the permutations usable for infomation may consist ofthose having, for example, exactly four marking elements per code group 0f seven elements transmitted; and in such arrangements the receipt of a permutation or code group having less or more than four marking elements indicates some kind of error. Moreover, the principle involved in thus checking the accuracy of encoded received information may be extended to codes consisting of a greater number of elements. There are in use systems employing so-called two-out-of-iive codes. Upon analysis, these are found to be five-element binary permutation code systems in which but ten of the possible permutations are used, these being ten STEM Chatham Township,
in which there are exactly two marking (or spacing) elements. Arrangements have been devised whereby a single error in the receipt or recordation of a code group ci such a system is detected in that such an error results in more or less than two marking or spacing conditions as the case may be. The principles of this type of checking and error indication may be extended to codes of greater than five units. Indeed, it may be shown upon analysis that error checking in the two-out-of-five systems and error checking in the four-out-of-seven systems involve similar principles.
Furthermore, in certain types of arrangements there have been usedso-called biquinary systems wherein analogous methods have been employed whereby recording or reception in such a system may be accomplished withthe indication ofa single error.
All of these arrangements involve the limiting feature that an error upon being introduced, although detected, is not automatically corrected. The maximum result which the method or apparatus can achieve is indication of the presence of the error. This indication is accomplished in various ways. for example, by printing in the case of printing telegraphy, an auditory alarm signal indicating that an error has occurred, by stopping the reception and sending back to the transmitting end of the system a, signal indicating the necessity of retransmitting some portion of the information over again or, in the case of certain types of systems, causing the operation to cease until the erroneous condition is detected and corrected by human intervention.
In accordance with the present invention, the
art may be advanced to a point where an actual error or errors of transmission or recording may be corrected automatically. Furthermore, in addition to correcting one or more such errors, code systems designed in accordance with the 'principles of the invention may simultaneously incorporate error correction if a first number of errors occurs and error detection if a second number of errors occurs. In its simplest aspect, the invention may consist of means for correcting a. single error; in a further advanced aspect it may provided means for correcting one error or detecting two errors; in a more advanced aspect it can provide means for correcting two errors,
etc. However. practical considerations such as those of cost and complexity may place a limit upon the extent to which error correction and detection is to be carried in any particular case. Thus, it will be seen from an. analysis of the description of the invention which follows hereafter that the complexity thereof, both in theory and practice, increases rapidly as one provides for the correction and/or detection of additional errors in a code wherein the information bearing elements consist of a definite number. However. under no set of circumstances is it possible for any system using the principles of this invention to correct code groups if every element comprising said code groups is transmitted erroneously. I
One advantage of the invention is that it may be employed to correct an error of transmission or recording in lieu of a prior type of system in which hitherto an error has merely been indicated. Thus, for example, consider the operation of a computer. In such a case the usual result of an error is to cause the computing to cease until the apparatus is attended to correct the error inducing condition. In the case of a computer left to run overnight without attendance, operation would cease until morning upon ythe occurrence of a single error. By employing apparatus involving the principles of the present invention, a single' error or a succession of single errors in sequentially transmitted code groups can be corrected without system shutdown for repairs. By employing the principles of the invention in a more extensive form a machine could be made to stop upon the occurrence of a double error.
Furthermore, there are numerous types of transmission systems such as binary permutation computers and pulse code modulation telephony systems wherein the automatic correction of an error is of great value; because, in general, in these systems it is either impractical to stop the operation or impossible to do so eiectively if the end and aim of the system is to be achieved. In the case of telephone transmission, the difficulties of stopping transmission at the reception of an erroneous code group are quite apparent. The present invention therefore lends itself to ladvantageous application in such arrangements.
Another distinctive feature of utility wherein the present invention advances the art is the capability of systems constructed in accordance with the principles of the invention to correct data which has been erroneously stored. Thus, for example, a givenl system may store information in the form of a record, for example, perforated tape. Certain errors in such tape may be corrected long after the original source of information has ceased to operate by lthe error correcting procedures disclosed herein.
As mentioned hereinbefore, systems in accordance with this invention take on increasing degrees of complexity as compared to ordinary binary permutation code systems or binary permutation code systems in which error detection only is provided. By way of exemplary embodiment, there is described hereinafter a system in accordance with the invention whereby use is made of electromagnetic relays for registering permutation codes and correcting errors. Broadly, however, the principles of the invention maybe applied to other types of systems involvingsuch devices as vacuum tubes, gaseous tubes, cathode-raytubes or mechanical arrangements.
As in the case of most advances in the art for providing greater accuracy. the present advance may be accomplished only by the addition and use of equipment over and above that necessary for transmission or recording without the use of the invention. In general, it will be seen from the first method of analysis presented hereinafter that one embodiment of the invention requires the addition of check elements to the permutation code information elements, these additional elements are generated at the sending or originating end, at which point means are provided for controlling the proper nature of these check elements to accompany any particular code group. At the receiving end there is provided additional register means to register not only the information elements of the code but also the check elements added for correction purposes, together with parity circuits or means for checking subgroups of the registered elements of the code groups together with a. relay tree for determining the location within a code group of an error which occurs, and finally means for reversing the erroneous electrical condition which comprises the error.
A detailed analysis of the self-detecting and correcting codes used in this invention is necessary for full understanding of the practical structural analogies disclosed. The binary representation of 0 or 1 is used throughout the specification to represent code group elements for mathematical convenience and also because this method is the natural form for representing the open and closed relays, absence or presence of pulses, perforated tapes, cards with holes or nonholes, and dot and dash methods that are used in many forms of code information systems.
The error-detecting and correcting codes disclosed may be constructed from code groups containing a total of n elements in a sequence; of this total, using one method of analysis, m particular elements are associated with the information, and n-m=k elements are used for error check elements. The error correction is accomplished by grouping with the necessary information elements the additional check elements -whose binary values 0 or 1 are generated in accordancewith certain rules. The function of the check elements is to detect, locate and correct errors appearing in any element, k as well as m, of a code group.
In any binary code using n element code groups, l
2" diiferent permutations are possible, and 2" significant meanings could be assigned to the different code groups. But in the self-correcting and other codes of this invention, 2'" different permutations are used to convey information throughout a given system. 2-2!" of the 2n possible diiferent permutations represent code groups with single element errors. This allocation of possible code groups to information and erroneous meanings produces a redundancy R defined as the ratio of the number of elements used to the minimum number necessary to convey the same information, that is, R=n/m. This serves to measure the eiciency of the code as far as the transmission of information is concerned.
A single error-detecting code is a code in which suilicient check elements are sent with each code group so that a single error in any code group can be detected; a. single error-correcting code sends enough additional check elements with each code group so that a single error in any code group can be detected, located and corrected.
Similar dciinitions apply to multiple error-detecting and correcting codes.
In the following subsections, methods of constructing special minimum redundancy binary codes in the following cases are shown:
Ia. Single error-detecting codes (known in the prior art).
Ib. Single error-correcting codes (not known in the prior art).
Ic. Single error-correcting plus double errordetecting codes (not known in the prior art) Section II of this speciication discusses a newly devised geometrical analysis of error-detecting and correcting codesfand Section III contains a detailed explanation of the structural analogies of special codes b and c of Section I and also extensions to those structures.
SECTION Ia.-SINGLE ERROR- DETECTING CODES A single error-detecting code having n binary elements in each code group may be constructed in the following manner. In the first n-l element positions, n-l elements of information appear. In the nth position either a or 1 element appears so that the entire n positions have an even number of ls. This is clearly a single errordetecting code since any single error'in transmission Would leave an odd number of ls in a code group.
The redundancy of these codes is:
R T1-1 +n-1 It might appear that to gain the apparent aclvantages of a low redundancy, n should become very large. However, by increasing n the probability of at least one error in a code group increases due to errors caused by the equipment transmitting the additional elements. The risk of a double error, which would pass undetected, also increases.
The type of detection check used above to de termine whether or not the code group has any single error will be used throughout the specifi,- cation and will be called a parity check. The above was an even parity check; it is obvious, however. that an odd number of ls could have been used to determine the value of the element of the nth position. In such a case the parity check for detecting the presence of an error would have been an odd parity check. Furthermore, a parity check need not always involve all the elements of a code group but may be a check over selected element positions only.
SECTION Ib.-SINGLE ERROR- CORRECTING CODES To construct a single error-correcting code, m of the n available element positions in each code group are assigned as information positions.
For a given number of information elements m, the minimum number o1' check elements to be assigned to each code group is fixed. Sufficient check elements must be included, however, so that any single error may be detected, located and corrected. If the code group was received correctly, the check elements should also be able to indicate correct reception of the code group. Since it is required that the Ic check elements show the position of a single error in an n element code group plus a correct code group, if such is received, the check elements must be able to describe m+lc+1=n|1 diiferent conditions. Therefore, with a binary representation code k elements can indicate 2Ic possible conditions, thus is a condition on k.
Using this inequality, Table I is calculated which gives the maximum m for a given n or. what is the same thing, the minimum n for a given m.
Table I Minin m mum lc To use Table I in constructing an error-correcting code the requirements of the information system which will use the code must be known. If, for example, sixteen different code group meanings are necessary for proper system operation, the condition is specified that 2"=16 in the binary code representation. The number of information elements or m, therefore, equals 4. The seventh row of Table I shows three check elements are necessary and as indicated in the table n must be 7.
Having determined the general requirements of a code group for a particular systemfthe binary value 0 or 1 involved in the necessary check elements must be determined so that code group correction is possible, or if no correction is necessary such a condition is described by the check elements. The first step in accomplishing this essential objective is to assign each check element a value determined by a parity check of selected information elements. In an arbitrary code group representation, throughout this specication, the check element positions in an also arbitrary choice appear to the left of the information element positions. The numerical assignment of the various elelnent positions in an element position sequence is as follows:
k1, k2, k3 kn-m, mi, m2, ma mm The positions for a n=7 code would be:
k1, k2, k3, mi, mz, m3, m4
The respective element positions from left to right are for convenience in certain cases also given a numerical notation or 1, 2, 3, 4, 5, 6, 7, etc., which is called a code group position sequence.
One method of constructing a complete parity check procedure for a single-error correcting code is embodied in the following two rules:
l. Each of the elements of n=m+lc positions of a code group must be in parity check subgroup with one or more of the check elements. In other Words each element must be in a parity arrangement with at least one check element. An element may also have a parity association with a plurality of check elements.
2. It is both necessary and sufllcient that no two different elements have exactly the same set of checks associated with them.
An example o! parity construction following these rules is shown in Table II.
Table II Check Code Group Position Element Position 1 2 3 4 5 1 Check Number .T I x This table is limited to three check element element positions can be checked. The particular positions to be assigned to check elements and information elements is not material. Upon examination of Table II it will be found that rules 1 and 2 for constructing correcting parity checks are satisfied. Each code group position is covered by at least one check element and also each code group position is covered by a diierent combination of check elements. For example, code group position 1 has the check set ki, code group position 2 has the check set k2, code group position 3 has the check set k3, code group position 4 has the check set (k1, k2), etc.
The necessity for rule 2 is based on the following reasoning. Suppose two different element positions had associated with themselves the same check element sets. Then an error in either one of the two positions would produce the same set of check element failures determined by a parity count, therefore a pattern of parity check failures would provide no meansfor determining which of the two element positions was in error. If code group parity checks are so constructed that each element position has a unique set or" checks associated with itself and with no other element position then the pattern of parity check failures will indicate exactly what element position is in error as a unique set of parity check failures will occur for an error in each of the different element positions.
As an illustration of the above theory, a seven- I position code is constructed. From Table I it n=7, then m=4 and k=3. From Table II, the first check in position k1 involves code group positions l, 4, 5, 7 and the second check in position k2 involves code group positions 2, 4, 6, '7 and the third check in position k3 involves code group positions 3, 5, 6, 7. This leaves positions 4, 5, 6, 7 as information positions. The result, after writing down all possible binary numbers using positions mi. ym2, ma, mi and calculating the values in the check positions k1, k2, ka by an even parity positions; therefore, from Table I only 11.='
method over the selected positions of Table II. is Table III.
Table III Code Group Position 1 2 3 4 5 7 Numerical Value'oi Element Position Code Group ki k2 h mi 'ml `m`x 'mi 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 D 1 l 0 (l 1 0 2 1 0 0 0 0 1 1 3 l 0 1 0 1 0 0 4 0 1 0 0 1 O 1 5 l 1 0 0 1 1 0 6 0 0 1 0 1 l l 7 1 1 0 1 0 0 0 8 0 0 1 1 0 0 1 9 1 0 1 1 0 l 0 10 0 1 0 l 0 l 1 1l 0 1 1 1 1 0 0 12 1 0 0 l l 0 1 13 0 0 0 l 1 1 0 14 1 l 1 1 1 1 1 15 Thus a seven-position single error-correcting code admits of sixteen code groups. There are, of course, 21-16=112 meaningless or single error code groups. In some applications it may be desirable to drop the first code group from the code to avoid the all zero combination as either a code group or a code group plus a single error since this might be confused with no message. This would still leave 15 useful code groups. The column in Table III, Numerical value of code group, represents arbitrary meanings assigned to the code groups of Table III.
Thus far, the code theory presented deals with error-correction code group construction. In order to understand the theory of error location and correction additional explanation follows: To
locate a particular element position whose value4 number of 1s, a i is written down. After this procedure is accomplished for all o! the checks associated with a code group, a sequence of 05 indicates that the code group was received free from any single error. A sequence with a 1 in it indicates an error. Because oi' the uniqueness by which the parity checks of Table II were constructed, any given reception parity check permutation of Os and ls having at least a single 1 in the sequence will indicate the element position of a single element error.
To illustrate this procedure, let it be assumed that the code. group representing decimal value 1, i. e., 1110001, is transmitted. Furthermore, let it be supposed that the transmitted code group was received with a single error in element position k1 so that the code group appears as 0110001.
volving the code group positions of check element Ici totals 1, an odd number, which indicates an error because check 1 was transmitted in accordance with even parity, so a 1 is written in the parity check sequence. Check 2 involving the code group positions of check element k2 totals 2, an even number, so no error exists in this check; therefore, is Written in the parity check sequence. Check 3 totals 2, an even number also, so no error exists. Another 0 is written in the parity check sequence, Ii the Os and ls are written from right to left as they were calculated, the reception parity check notation 001 results, which, because of the method by which the parity checks were determined, indicates an error in code group position 1 or what is the same thing. element position k1. To correct the located error, the opposite value need only be in serted in element position k1. By going through similar procedures errors in any code group element-can be located by the binary sequence resulting from the reception parity check and the 0 and 1 substitution procedures outlined above. For if the parity checks are constructed in accordance with the two rules given, a different and unique 0 and 1 reception parity check sequence will occur for element errors in diierent element positions. Table IV shows the reception parity check sequence values for correct and incorrect transmission of the code groups of Table III ii a 0 is written for a correctly received parity subgroup and a 1 is written for an incorrectly received parity subgroup.
Table IV Parity subgroup Error Position ks k2 SECTION IC.SINGLEERROR CORRECTING AND DOUBLE-ERROR DETECTING CODES To construct a single-error correcting plus double-error detecting code one more element position is added to the single-error correcting code groups constructed in Section Ib and shown in Table III. The binary value which appears in the additional position is determined by a parity check procedure involving all of the other elements of a code group similar to the method used in the error detection code of Section Ia. Table V is the result of adding an eighth column between the third and fourth columns of Table III whose element values, 0 or 1, are determined so as to form even parity with the other elements appearing in the appropriate code group.
Code group position 8 appears out of order numerically so that all the check element positions will be together at the left of the information positions. The values appearing in code group position columns 1, 2, 3 are determined by even parity checks over the selected information positions required by Table II. It should be recognized that it is not necessary for the parity check subgroups for yany k1, k2, Ica check to include code group position 8 for operation of this code.
le-'1l Table V Code Group Position l 2 3 l 8 I 4 5 6 7 Numerical Value of Code Element Position Group k1 k: ka kl 1m mz ma m4 0 0 0 0 0 0 0 0 0 l l l 0 0 0 0 1 l (l 1 1 1 0 0 1 U 2 1 (l 0 1 0 0 1 l 3 1 0 l l 0 l 0 0 4 0 1 0 1 0 1 0 1 5 1 l 0 0 0 1 1 0 6 0 0 1 0 0 l 1 1 7 1 l (l 1 l 0 0 0 8 0 0 l 1 l D 0 l 9 1 0 1 0 l 0 1 0 10 0 1 0 0 1 0 l 1 l1 0 1 1 0 1 1 0 0 12 1 0 0 0 1 1 0 l 13 0 0 0 l 1 1 l 0 14 l 1 1 1 l 1 1 1 15 The properties of this code are as follows: (1) If there are no errors in a code group all of the checks including the additional check will be satisfied. Again, writing a 0 for a correct parity check and a 1 for an incorrect parity check the proper reception parity check results would be represented as 0000. (2) If there is a single error the added check appearing in code group position 8 will fail, that is, the value in position la will not be in even parity with the values appearing in k1, k2, ka, m1, mz, ma and m4. This is true whether the error is in the information, the original check or the added check. The original checks give the position of the error, where now the 000 value of the original checks means the added check has failed. (3) Ii there are two errors in the received code group, in all such situations the added check is satisfied because even parity exists. Checks k1, Ica. k3 merely indicate some kind of error. There is no pattern which can be made of the error indication in this case so as to locate even one of the errors and then correct it. The usefulness'of the code group in this condition merely extends to double-error detection, and it is not possible to correct one of the double'errors and to detect the other. An explanation for this characteristic of the code will be described in detail in Section II.
Table VI shows the reception parity check values for correct and incorrect transmission of the code groups of Table VI if a 0 is Written for a correctly received parity subgroup and a 1 is written for an incorrectly received parity subgroup.
.Tabze VI Parity Subgroup Error Position kl kl ks k1 @Hui-wwwrun oorden-chico oca-Honoris @endormi-Card Twoerrors 0 i, 2 or all of lo, ka and ka will have a 1 value.
1l SECTION II-GEOMETRICAL THEORY In analyzing the characteristics and properties of error detecting and correcting codes it is often desirable to introduce a geometric model. The model described herein is a unit ri-dimensional cube with 2" vertices. Each vertex of the model is identified with a particular binary code group. Code groups having n elements are used; therefore, 2" different binary permutations are possible and each vertex can be represented by a different code group. A part or subset of the total 2" vertices are assigned code groups which represent information in a particular code. These are called information vertices. The remaining vertices are assigned code groups which represent errors in the same code. It should be remembered that error detection and correction codes have `a redundancy greater than 1, which means that all possible different and l code group element permutations do not have meanings assigned to them. Each vertex represented by a code group is also given an arbitraryalgebraic notation such as x, y or z for analytical convenience.
Into this cube of 2" vertices a distance is introduced, or as it is usually called, a metric, which is represented by the notation D(a:, y). Dhr, y) in the n dimensional model represents the shortest distance between vertex :r and vertex y. This distance is not necessarily a straight line but is the scalar total of the straight line unit length cube edges between adjacent vertices in completing the shortest path from vertex :r to vertex y. It is to be noted that in a particular binary code group assignment the information vertices are not necessarily adjacent to each other and that the shortest distance path followed between information vertices will pass over error code group vertices. Also each unit length cube edge over which a path is taken forms a right angle with other unit length cube edges at each vertex. In calculating the distance this angle is not important.
The assignment of binary code groups, error as well as information, to given vertices, is as follows: Code groups which have only one element value diiering when a. comparison is made to the values appearing in the respective element positions of any arbitrary code group are assigned to vertices only a unit distance from the vertex assigned to the arbitrary code group. Similar definitions apply for multiple distance vertex code groups. For example, in a model where 11:3, two elements of any code group in the group 001, 010, 100 and 111 differ'from the elements of the remaining code groups when a respective comparison of all three element positions is made. The above four code groups may be said to be two unit distances apart in a threedimensional system. In an n-dimensional system, code groups having different values appearing in g element positions after a comparison of respective element positions must be assigned vertices g unit distances apart. For example, if n equals 8, the following three code groups must be assigned vertices four unit distances apart from each other; 00000000, 00001111, 11001100.
In order that the geometrical explanation thus far may be more clearly understood it is adapted to the single-error correcting code groups of Table III. In Table III, rZ-elenient code groups are used; therefore, a rI-dimensional model is used for geometric study. Such a model has 2'IA vertices. Table III contains only 16 information code groups. Any permutation code group 12 A not appearing in Table III is an error.` In a "1J element code group 2" permutations of 0 and 1 are possible; therefore, 27--16 equals the number of single-error code groups possible, or 112.
The infomation code groups are assigned to vertices which have a distance determined by element value comparison of the code groups in Table III. Any given code group of Table III has element values which are different from the element values appearing in the respective element positions of any other code group of Table III in at least three element positions. For example, comparing the code groups representing numerical values 1 and 2, element value differences are noted in element positions k1, ma and m4; while the kn. k3, m1 and ma element positions have the same element values in the same element positions of the two code groups.
This difference of element values in three element positions means that the two code groups must be assigned to vertices 3 units of distance apart. Comparison of all the code groups of Table III shows that all the code lgroups differ from each other in element values appearing in 4 at least three element positions. Therefore, the sixteen code groups are assigned to vertices at least three unit distances apart. The 112 singleerror code groups are assigned to the remaining vertices in accordance with a comparison which shows how many unit distances a given error code group should be from the infomation vertices already assigned to the cube. It will be found that each vertex has a given code group and that the distance requirement is met in assigning the individual binary code groups to the different vertices. However, for certain specified values for m, Ic and n the geometrical cube will not be completely packed with single-error and information code groups for each vertex.
If all the information code group vertices are at a distance of at least two units from each other, then it follows that any single error will represent a vertex that is not associated with information, and hence is an erroneous code group. This in turn means that any single error is detectable. It is not correctable because it is not possible to ascertain from which information code'group theerror code group resulted as the single error code group is a unit distance from at least two information code groups. When the minimum distances between information vertices is at least three units then any single error will represent a position at a vertex nearer to the correct information vertex than to any other information vertex and this means that any single error will be correctable for in this case it is possible to ascertain by comparison which information code group was received erroneously. This type of information is summarized in the following table for-various distance assignments between information 'vert-lees.
Table VII Minimum Distance Between Meaning Code Groups l uniqueness. 2. single-error detection. 3. single-error correction. 4. slngle-error correction; doublc-crror detection. 5. double-error correction.
Conversely, it is evident that if we are to effect the detection and correction listed, then all the distances between information vertices must saoor equal or exceed the minimum distance listed. Thus the problem of finding suitable codes for a given system requirement is the same as that of finding subsets of vertices in the geometrical space which maintain at least the minimum distance condition. The special codes discussed in subsections Ia, Ib, and Ic were merely descriptions of one method of selecting a particular subset of points for minimum distances of at least 2, 3 and 4, respectively. For example, any given code group in Table III is at least three units of distance away from any other code group listed. There are many permutation schemes in the mathematical art for accomplishing this result. The reception parity check method disclosed was also just one method of comparing the received code group with all possible transmitted code groups so as to locate and correct errors depending upon the code design.
It should perhaps be noted that at a given minimum distance some of the correctability may be exchanged for more detectability. For example, a code with a minimum distance of 5 may be used for:
(a) Double-error correction (with, of course, double-error detection), or
(b) Single-error correction plus triple-error detection. or
(c) Quadruple-error detection.
Another feature of proper distance information codes should be observed. In the particular codes constructed ln subsections Ia, Ib and Ic any interchanges of columns representing the same element position of all the code groups of the code do not change the code in any essential way. Neither does interchanging the Us and 1's in any position, a process usually called complementing. This idea is made more precise in the following definition. Two codes are said to be equivalent to each other if by a nite number of the following operations one can be transformed into the other:
l. The interchange of any two positions in the code groups; and
2. The complementing of the values found in all element positions in the code groups.
Thus a study of a class of codes can be reduced to the analysis of typical members of each equivaient class. All discussions in this specification directed to a particular code are applicable in whole to any code in the same equivalence class. In terms of the geometric model, equivalence transformation amounts to rotation and reflections oi.' the unit cube.
A further feature of the codes discussed in subsections' Ia, Ib and Ic is that they represent codes which have the minimum redundancy possible to accomplish the assigned detection and correction requirements.
SECTION III-STRUCTURAL ANALOGIES OF SELF-CORRECTING CODES In order that the hereinbefore described selfcorrecting codes may be clearly understood and readily incorporated into digital information systems, structural analogies embodying relay circuits will now be fully described with reference to the accompanying drawings in which:
Fig. 1 is a single-error correcting relaycircuit employing seven-element code groups;
Fig. 2 is a basic parity check relay circuit that can be adapted with slight modifications to particular single-error correcting or multiple-error detecting and correcting code systems having ahygivenlength of code groups;
Fig. 3 embodies an alternate receiving parity circuit arrangement for the single-error correcting relay circuit of Fig. 1; and
Fig. 4 is a single-error correcting plus doubleerror detecting relay circuit employing eight-element code groups.
The drawings of the circuits of this invention will be easier to follow if the schematicdiagrams do not associate relay contacts with the relay structure which makes or breaks the contacts. The method of relay representation used herein follows in part the drawing analysis described by Claude E. Shannon in A symbolic analysis oi' relay and switching circuits published in the Translations of the American Institute of Electrical Engineers, volume 57, page 713. The schematic symbols employed in accordance with the method of analysis used herein are briefly explained as follows: Each rectangle represents a relay winding and structure, excepting the contacts actuated by that structure. A set of make contacts is shown by two short crossed lines through the joining point of which passes a solid line representing the connecting leads to the set of make contacts. A set of lbreak contacts is shown by a short line, through the midis a make set on relay Q2, one drawn is a break set on the same relay. Other circuit elements are shown in the usual form.
Fig. 1 is constructed from component relay circuits which perform electrical functions analogous to the mathematical steps disclosed in conjunction With the n=7, 111:4, and lc=3 single-error correcting code of Section Ib. Where certain component circuits or portions of a circuit in Fig. 1 are assigned a particular function, they are enclosed within a dotted line rectangle for cl-ariiication. Throughout the structural descriptions a 1 value in a particular element position will be represented electrically by a current impulse in the channel of the input and output circuits of an error correcting system which transmit and receive that element. A 0 element value in the same code group position will be represented by the absence oi current in the same channel circuits. In general, the circuit functions are as follows: Relay circuits within input arrangement INP pick up non-error correcting information code impulses from a digital information source not shown. The relay contacts within M transmit the information impulses to the receiving register relays coils Within RR.. Simultaneously with the transmission of the information impulses for a given code group over certain or all of the channels cmi. cm2, cm3, and c1114, check element impulses are sent over certain or all of check channels ckl, ck2, and ck. These check element impulses are deter-mined by the relay sending parity circuits within Kl, K2, and K3. The register relay coils within RR are thus energized in accordance with the information impulses originally sent by the information source and the additional check impulses determined by KI, K2 and K3. The relay contacts and relay coils within EI form -a receiving parity check circuit for indicating an error in any of the code impulses registered or the erroneous absence of an impulse which should have been registered by the register relay coils within RR. EL is a relay tree which locates the -channel position of an error indicated by the circuit components within EI. An error having been indicated by the circuit within EI and located by the circuit within EL, components within ER correct the erroneous channel by sending to the output circuit within OUT an impulse if one is required or removing an impulse if one was erroneously transmitted.
A detailed explanation of the circuit of Fig. 1 is as follows: INP is a switching arrangement operated by a source of digital information not drawn. The code impulses transmitted from the information source are assumed to be in accordance with a non-error correcting code whose code groups contain 4 information elements, therefore, 24:16 possible code groups can be received from the information source. These 16 code groups are identical with the code groups of Table III except they do not include the three additional check elements of the Table III code groups. A part or all ofthe switches I, 2, 3 and 4 of INP are closed simultaneously, electrically or mechanically, by the information source depending upon the I values in the m1, mz, ma and 1m element positions, respectively, of a given code group to be converted into an error correcting code group by this invention. The particular relay coils MI, M2, M3 and M4 of INP in series with the set of switches closed by the information source are energized by battery 5. The energized relay coils MI, M2, M3 and M4 operate the relay contacts within rectangles M, KI, K2 and K3'. Individual -make contacts ml, m2, m3 and m4 within M, when closed by relay coils MI, M2, M3 and M4, provide a ground return path for receiving register relay coils MRI, MR2, MR3 and MRL The relay contact arrangements within KI, K2 and K3 provide in certain cases a ground return path for receiving register relay coils KRI, KR2 and KR3. Battery 6 energizes certain or all of the register relay coils depending upon which of line channels cmI, cm2, cm3, emII, ckl, ck2 and ck3 are grounded. There is a receiving register relay and line channel for each of the element positions necessary to transform the code impulses received from the information source to error correcting code impulses. Check element impulses in accordance with the values appearing in positions k1, k2, and k3 of Table III are registered by relay coils KRI, KRZ and KR3, respectively. These registered impulse values are determined by the parity circuit arrangement of the relay contacts within KI, K2 and K3. From subsection Ib the check element value of element position Ici was determined by an even parity of the values found in k1, mi, m2 and m4 element positions. The check element value of position k2 was determined by an even parity of element positions k2, m1, ma, m4, and the check element value of position k3 was determined by an even parity of element positions ka, m2, ma and m4. Therefore, the rule for designing the parity circuits of KI, K2 and K3 is simply that if an odd number of relays in the groups (MI, M2, M4), (MI, M3 and M4), or (M2, M3 and M4) is enersized by the information source, then the contact connections within KI. K2 and K3 will respectively ground relay coils KRI, KRZ and KRS. The relay coils within RR then form a receiving register for single-error correcting code groups. The impulses which form these code groups are sent over channels cmI, cm2. cm3, cm, ckI, ck! and ck3, which may be long transmission lines which are subject to transient pick-up or grounding; or the channels may operate several stages of an information system not shown and then connect to the register relay coils within RR.
The circuit arrangement within EI shows contact networks operated by the receiving register relay coils within RR, which under certain make and break conditions, ground check relay colis CI, C2 and C3. Each check relay is operated if the corresponding parity subgroup of the register relay coils receives an even number of signals. In particular, relay coil CI is energized if an even number of register relay coils KRI, MRI, MR2 and MR4 is energized, relay coil C2 is energized if an even number of register relay coils KR2,
MRI, MR3 and MRI is energized; and relay coil C3 is energized if an even number of relay coils KR3, MR2, MR3 and MR4 is energized. `If a transmission error occurs and a particular relay coil within RR was not energized or was erroneously energized, I, 2 or all of CI, C2 and C3 would not be energized thereby indicating an even parity group was received in odd parity and that, therefore, an error occurred in the transmission of a code group over the channels. The particular relays or combinations thereof of CI, C2 and C3 that are not energized identify an error in a particular transmission channel because of the unique method of generating the transmitted.
check elements by the circuits within KI, K2 and K3 following the scheme of Table II. Thus, in general, the circuit within EI is an error indicating arrangement if-an error occurs. If an error does not occur C I, C2 and C3 will be grounded and energized by battery 1. The circuit arrangement within EL includes a network of contacts actuated by relay coils CI, C2 and C3. Depending upon the particular contacts that are made or broken by CI C2 and C3, one of the error locating relay coils EI, E2, E3, El, E5, E6 and E'I, will be grounded and energized by battery 8 if a single transmission error occurs. The contacts actuated by CI, C2 and C3 are connected into a relay tree; since there are three check relays operating relay transfer contacts there are eight contact outputs to the tree. If one or more of the check relays has not operated, the appropriate error locating relay coil is grounded through the tree, thus making or breaking the relay contacts Within ER that are actuated by the energized error locating relay coil.
The error locating relay contacts and the register relay contacts within ER are used for grounding and thereby energizing a combination of the output relay coils within OUT in accordance with the particular receiving register relay coils within RR that are energized with correction for any single error in transmission. Battery B supplies the energizing current for the output relay coils.
If no error has been detected by check relay CI,
C2 and C3, a check ground is received from the contact arrangement with EL, that' is make cI, make c2 and make c3 are closed thereby grounding the check lead shown on the drawing. In this case, because none of the error locating relays is energized and all the break contacts e4, e5, es and e1 are closed, the indications of the register relays MRI, MR2, MR3 and MRI are repeated forward by energizing the appropriate output relays within OUT. This ground return path, which indicates no error, plus the seven ground return paths to the error locating relays make up the eight output connections to the relay tree within EL. If, however, one of the error relays has operated, no check ground can be furnished by the contacts within EL, and the check lead will be grounded through an error relay make contact within ER of the operated error relay. This lead will also be disconnected from the make contact of the correspondingregister relay by the break contact of the error relay that was operated. Thus, any of the register relays, whose corresponding error relays are unoperated, will transmit ground forward if the register relays are operated; the register relay whose corresponding error relay has been operated will, however, transmit ground forward only if the register relay is unoperated, thus reversing the indication of the register relay. Contacts oml, cm2, cm3 and omlI are actuated by the output relays and may be usedl to operate a tape machine, register or an information system in accordance with the corrected code. It is obvious, however, that other contact arrangements may be actuated by relays OMI, CM2, OM3 and OM4 so as to operate required output devices.
The correct and incorrect transmission of a particular code group throughout the circuit of Fig. 1 is now described. If the numeral 12, 1100 in the binary representation, is received from the information source by the switch arrangement within INP, switches I and 2 will be closed and MI and M2 will be energized by current flow from battery 5. Make contacts ml and m2 within M will be closed by MI and M2 thereby grounding MRI and MR2. MRI and MR2 will, therefore, be energized by battery 6. KRI will not be grounded by the contact arrangement within K I for there is no` combination of closed contacts therein which provides a path to ground. KLRZ will be energized by battery 6 through the ground path provided by K2 using make mi, break m3 and break m4. KRS will be energized by battery E through the ground return path provided by K3 using break m3, make m2 and break m4. Thus, the information code impulses from the information source are received by the register relay coils within RR in an error correcting code group of 0111100 by grounding register relay coils KRZ, KRII, MRI and MR2. As the code group received by the register relay coils was correct, error indicating relays CI, C2 and C3 within EI are grounded and, therefore, energized by battery 'l through (mrI make, krI break, mr! make, mrd break); (mrI make, kr2 make, mr! break, mrd break) and (mr2 make, Icr3 make, mr break, mr! break), respectively. When all of relay coils CI, C2 and C3 are grounded, ci make, c2 make and c3 make within EL are closed thereby grounding the check lead. The make contacts mrl and m12 within ER, having been closed by register relay coils MRI and MR2, provide a ground return path for the output relay coils OMI and OMZ through the closed error break contacts e4 and e5 and the grounded check lead. In this instance because the register relay coils were energized correctly, the particular set of output relay coils OMI, CM2, OM3 and OMI which is to be energized is determined by the corresponding energized register relay coils.
However, as an example of error correction, if erroneous transmission by channel cm2 were caused by a fault to ground on this conductor,
or if make contact m3 within M due to faulty contact operation were to remain closed :from a previous contact operation, receiving register relay MR3 would be energized and numeral 12 would be received as 0111110 with an incorrect element value in element position ma. Check relay CI would be grounded and thereby energized by battery I through mrl make, IcrI break, mr2 make and mr! break. There is, however, no ground path formed by any combination of closed contacts within EI for relays C2 and C3. Thisy failure of relay coils C2 and C3 to be energized indicates an error in a particular channel. The indicated error is located as to element position by the contact arrangement with EL. Make contact cI is closed by CI thereby energizing error relay E6 through make cI, break c2 and break c3. This locates the error detected by the CI energized, C2 unenergized, and C3 unenergized combination as being in element position ma. The check lead is not grounded by contacts within EL. However, a make contact e6 within ER grounds the check lead so that ground to make mrI and make mrZ completes a' closed circuit to OMI and OM2, respectively. The break contact e6 within ER. actuated by E6 blocks ground to make mr3 thereby correcting the error transmitted over channel cm3. OMI and OM! are grounded through (mrl make, el break. e6 make) and (mr2 make, e5 break, e6 make), respectively. As OMI is not grounded by any contact combination the output code group is corrected and is received as 1100.
By the use of additional contacts on error relay E6 a device may be arranged so as to give an indication that a specic error was received at some point inga particular channel in the sending, transmission and receiving equipment associated therewith thereby assisting the repair man in his search for the defective apparatus.
In a practical application of this circuit an information system will be subject to limited errors due to transmission line defaults or defective operation of ,particular stages inserted in any information line channel of cmI, cm2, cm3, cmd, ckI, ck2, and ck3. In such a case any particular single error will be corrected for.
Any circuit fault Within M, KI, K2 and K3, which erroneously energizes or fails to energize any particular one oi the seven register relay coils within RR for a given code group, will also be corrected for by the circuit arrangement Within EI, EL and ER before the code group reaches the output relay coils within OUT. This is the type of error which is corrected by the circuit of Fig. l. System errors in the information source and the operation of the circuits within INP will, of course, not be corrected since the check elements have not yet been added.
In a given system more or less than 4 information elements per code group may be required. In such a case modifications of Fig. l will, of course, be necessary. Table I indicates the number of check elements that must be added to different length code groups so that they may be converted into error correcting code groups. In general, the circuit changes required in Fig. l are as follows: INP must be modified so that there isa switch and coil path for each information element used in the ynon-error correcting c ode groups received from the information source. M must be modied so that there is: a
make contact for each information element channel. There must also be included additions).V information register relays for each added cham-,
sagem 19 nel. A table such as 'Iable II must be constructed following the two rules given in subsection Ib yior the creation' of parity checks for the length o! code group required. For each additional check element a parity check circuit such as KI, K2 and K3 is necessary. To each oi the parity check circuits there must be assigned the information elements which the check element is to be in parity with as determined by the table drawn up. A given parity check circuit must be designed following the general arrangement of KI so that when an odd number o! the relay coils within INP are energized by the informtion source with which the check element is to be in parity, a receiving register relay coil will be grounded. If an even number is energized, the receiving register relay coil is not to be grounded. Fig. 2 shows a general parity arrangement which with slight modifications can be adapted to particular circuit requirements. A group of N relays are arranged from left to right and numbered consecutively from l to N. Two relay contact levels, marked odd and even on the iigure, are shown. Since is an even number, the arrangement Ior grounding the odd level at point A requires only a make contact on the first relay, that for grounding the even level at point A requires a break on the same relay. If relay 2 is unoperated. the parity at point B will be the same as at point A regardless of the condition of relay I, and conversely, if relay 2 is operated, the parity must be reversed in going from A to B. Accordingly, break contacts on relay 2 extend the odd and even levels unchanged from A to B while make contacts interchange the condition between these points. Since the number of -relays operated must be either odd or even, it would suiiice if only two relays were concerned to suppress one or the other of the levels at point B thus saving a transfer on relay 2; this gives the common circuit tor controlling a light from two locations by use of two three-way switches. The basic circuit can be extended to 3, 4 or any greater number oi relays by adding circuitsI on each relay identical with that shown between A and B. If this is terminated at point C, with suppression of one output level, it gives the circuits employed in KI, K2 and K3 of Fig. 1 for the 4-element binary code; if extended topoint D, the
circuit is that used at the receiving end in EI of Fig. l. In any event the circuit will be recognized as that used for controlling a light from a multiplicity of locations, employing two threeway switches in connection with the required number of four-way switches. The receiving parity arrangement within EI of Fig. 1 must be changed so that there is a check relay coil for each check element required. Each coil isto be connected to an even parity arrangement of the circuit shown in Fig. -2 in accordance with the proper subgroups.
'Ihe three parity circuits within EI of Fig. 1 interconnected to one anther so as to present an economical use of relay contacts. For any particular code group requirements certain modiiications oi the basic circuit of Fig. 2 will be desirable in order that a minimum of relay contaots will be employed in the receiving parity circuits. To modify the contact arrangement within EL a relay tree should be constructed with at least one more output lead than the errorcorrecting code group has elements. There must be an error relay coil for each element position, and each of these coils is grounded by a particular relay tree output lead if an error occurs in the code group position it checks. The one remaining output lead is used to provide check ground in the case that all elements are received without error by the register relay coils. The circuits within ER and OUT need only be modified by increasing or decreasing the number oi output relay coils and providing connections to ground by the corresponding error and register relay contacts.
The receiving `circuit within EI and EL described in conjunction with Fig. l ls slow in operation since it is necessary to energize the check` relay coils CI, C2 and C3 so as to ground the check lead when no error has occurred. In some applications the delay in grounding the check lead before the appropriate output relay coils are energized is undesirable. A faster circuit is easily provided for by rearranging the circuit so that the check lead is grounded by contacts actuated by the register relays themselves. The parity check operation, however, must be carried out in detail to permit location of an error if one occurs. This arrangement will result in faster operation in the absence of error, with slowing down of circuit operation when an error must be located and corrected. Fig. 3 shows contact and coil arrangements in which IE replaces the arrangement within EI of Fig. l and LE replaces the arrangement with EL of Fig. 1. 'Ihese circuit substitutions are the only ones necessary to speed up operation of the circuit of Fig. l. The improved arrangement for obtaining check ground when no error is detected, and for operating check relays in presence of a single error, is provided by the contacts within IE. The requirement for check ground is, of course, that the ycheck combinations of register relays (MRI, MR2,
MRI, KRI), (MRI, MRS, MRA, KR2), and (MR2, MRI, MRI, KR!) must all represent operation of even numbers of relays. Itis noted that the combination (MI, MR2, MRA, KRI) will be even if the combination (MRI, MR2, MRI, MRI) and the combination (MRS, KRI) are both even,- or both cdd, and not otherwise. Combination (MRI, MRS, MRA, KR2) will be even if the combinations (MRI, MR2, mi, MRI) and (MR2, KR!) are both even, or both odd, and not otherwise. Combination (MR2, MR3, MRI, KR3) will be even if the combinations (MRI, MR2, MRS, MRI) and (MRI, KRS) are both even, or both odd, and not otherwise. The characteristics of these basic combinations provide a method of economy in the relay contacts necessary to ground the check lead of Fig. 3 when all the basic parity subgroups are received in even parity. This is done in the circuit within IE by proceeding initially trom ground Il through a parity checking circuit using contacts 4operated by relay coils MRI. MR2, MRS and MRA, obtaining both odd and even indications at the right-hand end of this portion of the circuit. The odd output of this network is then-followed by paths in series which are closed only if (MRI, KRI), (MR2, KRZ) and (MRI, KRS) are odd; similar even combinations are interposed between the even output of the iirst network and the check lead. Relay coils CI, C2 and C3 are operated whenever their respective corresponding check groups are determined to be odd: thus their indications are the reverse of those of the check relay coils CI, C2 and C3 o! Fig. 1. CI and C2 of Fig. 3 are operated through the basic parity network in series with combinations (MRS, KRI) and (MR2, KR2) as required. C3 is fed off the basic parity network at a convenient point thus 'parity check circuit functions.
aageoi 21 meeting some saving of contacts. A ground applied elsewhere to the check lead cannot back up m operate any or check relays, since the circuit is in this respect disjunctive. The circuit. within LE shows the rearrangement oi' EL of Fig. 1 to opers ber ot the relay combination (MRI. MRI. MRC. te the error relays as a result or the change in KR!) Ais energized. C4 should be energiaed if function of the check relays. Again it is a relay an even numberA ci the relay combination (MRL tree. except that in this case no output is pro- MR2, MRI. MR4, KRI, KRI. KRI, KRD il vided for the case in which all check relays. are energized. 4.'lhe detailed .parity contact larrange-- unoperated, since the paritycircuit arrangement lo .ment for check-relay coils CI .and C3 is the" within IE provides this ground directly through'l same .as i'or the relayl coils ('12` and C3 or Rig. l. the check lead. The circuits within ER. and OUT The parity. circuit for C! is shared by relaycoii Ci ci Fig. 1 would be used for locating an error and so'as to provide forv an economy vci reiayncone reversing the combination of the corresponding. tacts. CI iconnectsto .an even parity level oi' a register as prevlouslydescribed. l5 parity circuit linvolving relayy contacts .actuatedf Fig. 4 is a single error-correcting. plus. double error-detecting relay circuit arrangement em-A ploying eight-element code groups. The circuit arrangement in general is that yof Flg.l,with
modifications to provide i'orv the addeddetection '.20
feature. The circuit componenten! Fig.- 4 accomplish electrically the functions and have the properties of the code described in subsection Ic in conjunction with Table V. .The operational the components within INP is the same..as..that1 oi Fig. 1. The registerrelay coil circuit :within RR includes an additional check relay coil: KRI. 2
This relay coil is .energized :in accordance with detecting code system. The value .of the checkelement in element position ka .of Table .V was determined so as to iorm .even parity. with the l 'values in element positions k1, ks. k.1, kami, mz. 1m and .nu ror a. given'code group. Analysis oi Table V shows that theivalue in check clement Y position ki .also forms even parity -with element values in element positions mi, mz and m: for
each of the code groups in TableV. This code `property permits an economy in the use of 4con tacts in the sending parity check circuit-within K4. v The requirement that KR be grounded, if an vodd number of register relays MRI, MR2', MRS,
MRA, KRI, KR! and KR! should be energized by l -aparticular code group, is satisfied by grounding KR! when an odd number ofrelays Mi, Mi and MI is energized. Thus the relay coils within RR convert non-error-ccrrecting information codegroups which operate any combinations oi' switches I, 2,- l and l into the single error-correcting plus double error-detection code groups The check relay coils Ci, C2, C3 and Cl andthe relay'contacts within DEI perform receiving I! aA particular code group was received by the register'relay coils within RR without error, all oi' relay coils CI, C2, CI and C4 would' be grounded by their 22 (MRI, MR2, MRLKRI) is energized. C! should be energized i! an even number ot the relay combination (MRI, MRL MRA, Km) is lenergized. CI should be energized if an cven numby1MRi,'MR2. MRland KRI. as this point .dc mestiza-condition for grounding relay coil Cl.- Both odd. and .even levels of this parity circuitare extended to relay coil Cl by contactszactus! The contactarrangements within DEL pme` vide for location oi'- any single error registered by theregister relay .coilsand indicated. by-.the j checkrelayzcoils. Ii' .a double-error occurs, re-i `lay coilRO is .grounded andmake contacts .fof-- .error has occurred.- Error'relay coils El.' ELEI,v
El. E5, El, lill and E8 are .connected tothey-out put oi a relay tree formed from contacts actuatedby check relay coils CI, C2, C3 and C4. The make-l f e and break relay contact assignments should be:
soarranged-that lwith an error havingv been in1 I dicated by a particular unenergized combination -of-one, two. or all of check relay coils Ci. Ulf
and C3, that. theappropriazte error relay-coilwillI be grounded and thereby energizedjby battery I.
It no error-is registered by the register relay coils, Cl, 2,03 and Ctwill be grounded energized thereby closing make contacts c the proper output relay cous within our win be grounded and thereby energized by battery Ir If a double error occurs in a given code SNMP..
- the proper output relay coils for correction with#l l in OUT will-'not be energized; however, contacts z ro will beclosed operating the detection alarm not shown. l'Ihis operation is determined by,
mak'e contact-c4 in series' with parallel breakv contacts cl, c1 and c3. 'It C4 is energizedjan'd one, two, or .all of CI. C2 'and G3 are not ener- Relay circuits employing selicorrecting means-g.A
and: l c2' c3 and c4 within DEL and grounding the checkcniunction with the code of Table V. y
,respective parity check circuits and they would be energized -by current supplied by battery 1.-
vbe determinedby the particular combination of i! .an even; number orf hther relayrcombiaationi'lowmultipie error-:detenidamente were chosen tor the speciilcation'because they; more clearly show the operation oterronco'rrect-j' l. ingcodes and `multiple errordetecting and cor--fl 15 651. recting'eodes than other typeo! circuits. -It ii| v A apparent, however, that the structural i'unctions necessary to accomplish self-correctioncan be accomplished without invention by-the of vacuum. gas and-beam guide tube circuitsfor otherI electrical and electronicfdevices; In a'y. mechanical system, mechanical larrangements' can -also'be-devised following the-'principles of the electrical-circuits disclosed hereinr. Ingeri-v eral. .any system-would Aemploy:- errorecn'eetionf- Ii an error occurred in the reception of a4 code group one. two, three or all -of relaycoiis Ci.' C2, C3 and CI would not -beenergized. --The elenient position in which this lerror occurred would energized relays. I! a double error occurred, C4 would be energized and one.- two. three or all of relay coils Ci. C! and CI would not beenersized. The detailed design of the receiving -parity check circuits -tor-'check relay coils Ci.- G l..
CI; and. C4 .is yas' 4follows: Gi -shoulclfbe` energized saco:
in which the minimum distance between the information code groups is that listed in Table VII. The code groups used can Abe of any length providcd the minimum distance requirement between information code groups is adhered to. A-ny permutation scheme known in the mathematical art can inc used for element value assignment so as to maintain the proper distance for the length of code groups chosen. This specification disclosed a parity check method in subsection Ib and Ic for converting non-errorcorrecting code groups into error-correcting `code groups by forming new code groups which have the proper minimum distance, This method is advantageous when the code groups to be converted have less than the minimum distance. In certain instances it might be desirableto transmit or employ properly distanced code groups initially without the addition. ofcheok elements. In such a case transmitting parity check methods can be dispensed with and proper distance code groups can be transmitted. Having transmitted proper distance code groups. whether check elements are added or not,.i! the system errors are limited to that permitted by Table VII for the distance chosen, any comparb. son method at a subsequent system point which compares the code groups received with those. which constitute the infomation code groups c f the code. will locate and detect the error-po sitions. `Error correction afterlocation is simply a reversal of values. This is the basic principle upon which this invention operates and so far as it is known this principle has never been recognized or employed structurally in the prior art. The comparison method chosen in this speciilcation was the reception parity check, be
cause it was analogous to the sending or transmittlng parity check used for adding check elements. The binary codes used were structurally represented by relay circuits in which the -two possible values o! each code group element were characterized by on-off signalling conditions. It should be understood, however, that self-correcting codes are applicable to. the duallsignaling conditions attainable by dot and dash. perforated tape, cards with holes and ncn-holes. plus and minus pulse methods or any other scheme for distinguishing one 'from the other of two signaling conditions. For illustrative` purposesthe,
circuits described also assume parallel transmis-- sion of code elements over multiwirc leads from the sending to receiving stages; lt is understood. however, that the same code methods disclosed will. by the use of distributorsl as in start-stop telegraphy. permit the fundamental arrange-;l ments described to be used for sequential transmission or the code elements of each code group.
nor is it necessary to use register relays or their equivalent in the operation of an error-correctlng system. It is possible to transmit the code groups through delay lines or delay networks; while the parity of code element subgroups isd being checked by suitable circuits, the time delay being ot suilicient duration that a code group does not appear at the output of the delay arrangement -until a possible error ls located by the parity procedure. At the output ofthe dee-- lay arrangement any erroneous, values indicated by the receiving parity checks could be reversedas to signaling condition. -Thus the hereinbeforc l described arrangements are only illustrative of,
the application of the principles of this lnvenltion and numerous other arrangements may be by those skilled in tnssrgwithoutdcf,
correcting code groups has element values diftering from the element values of each ofthe otherof said single error-correcting code groups in three or more element positions in a respec- 'lilwitll-mgcometrical spacing c! tbrcei tive element position comparison of each of said single error-correcting code groups, and means for changing the value in any one of the element positions of each `of said single error-correcting code groups so that the said element value difference created by said encoding means is maintained if nomore than a single element error .occurs in each of said single error-correcting code groups.
'2. In an information system employing equal ylength permutation code groups 1n which element values are characterized by one or the other of two possible signaling conditions, the improvement which comprises means for encod-l ing information into single error-correcting plus double error-detecting code groups in which eaclr of said single error-correcting plus double errordetecting code groups has element values ditiering from the'elcment values or each of the` other of said single error-correcting plus double error-detecting1code groups ln. four or more element positions in a respective element position comparison of each or said single enormen-eet ing 'plus double error-detecting code groups, means ,for changing the value in one of the element positions of each ot said single. error-correcting plus doubleerrobdetecting code groupsl so that the said element value-.difference created-by the said encoding means is maintained it no more than a single element error ,occurs in each of said single error-correcting plus double error-detecting code groups, and means for detecting two or less possible clement4 value errors in each yof said single error-correct-- ing pluadouble error-detecting code groups.
, 3. A digital information system comprisingl means for encoding information into permutation code groups constructed from elements havlng element values characterized electrically by oneor the other of two possible signaling con- -ditionay means for adding elements having element values also characterized electrically v by one or the other of two possible signaling conditions to each of said permutation code groups so that an error-correcting code is formed whereby each new code. group has a minimum geomet-l rical distance oi at least three units from each. ot the other oi' said new code groups forming thc said error-correcting code. means for receiving said error-correcting code group, means for de Ktecting in each of said error-correcting code group received by said receiving means one erro- ;l neous element value -Bignaling condition, means tor locating as to element position the element value erroneously received by said receiving.
- mea ns, means for reversing the signaling condition erroneously received by said receiving meanai and output information means.
4.- A digital information system comprisingv means for transmitting permutation code groups y Asalici units and having element values characterized electrically by one or the other of two possible signaling conditions, reception means for receiving said transmitted code groups, and means for reversing a signaling condition erroneously received by said reception means before further transmission of the said code groups to an output stage.
5. A digital information system comprising means for encoding information into a multiple error-detecting plus single error-correcting permutation code constructed from code groups having a geometrical distance of at least four units between each of said code groups forming said multiple error-detecting plus single error-correcting code, and means for detecting one or more errors in each of said multiple error-detecting plus single error-correcting code groups, and means for correcting a, single error in each of said multiple error-detecting plus single errorcorrecting permutation code groups if only a single error occurs.
6. An information system comprising means subject to erroneous operation and employing information encoded into a permutation code constructed from code groups having aminimum geometrical distance of at least three units and having code group element values characterized by one or the other of .two possible signaling conditions, means for comparing each permutation code group received from said first means with each and every correct permutation code group that canbe received from said first means, and means for correcting one error in each of said permutation code groups received from said first means with only one error.
7. An information system comprising means subject to erroneous operation and employing -information encoded into a permutation code constructed from code groups having a minimum geometrical distance of at least four units and having code group element values characterized by one or the other of two possible signaling conditions, means for comparing each permutation code group received from said first means with each and every correct permutation code group that can be received from said first means, means for correcting one error in each of said permutation code groups received from said rst means with only one error, and means for detecting one or more errors in each of said permutation code groups received from said first means with one or more errors.
8. A digital information system comprising means for encoding information into permutation code groups which permit any single error in each of said code groups to be automatically located, means employing said permutation code groups, means for detecting one or more errorsl in each of said code groups employed in said second means, means for locating as to element position a single error in each of said code groups employed ln said second means, means for correcting a single error in each of said code groups employed in said second means.
9. A digital information system using equal length codes comprising means for encoding information into a code having a redundancy greater than one and having code group element values characterized by one or the other of two signaling conditions, means employing said code. means for detecting one or more errors in each code group of said code employed in said second means, means for locating as to element position one or more errors in each of said code groups 26 employed in said second means, and "means for correcting one or more errors in each of said code groups employed in said second means.
10. An information system comprising means for encoding information into a single error-correcting code having a maximum of 2m diiferent useful n element length information code groups and having a code redundancy of greater than or equal to n/m, means employing said ,single errorcorreoting code, means for detecting a. single error in each of said single error-correcting code groups employed in said second means, means for locating as to element position a single error in each of said single error-correcting code groups employed in said second means. and means for changing the values in the erroneous element value positions located by said fourth means.
11. A digital information system comprising means employing 2' different n=m+lc element length triple unit geometrical distance permutation code groups having element values characterized by one or the other of two possible signaling conditions, each of said n-element length permutation code symbols having m information elements and k check elements where Zkn-i-i, means for detecting the presence of permutation code groups in said first means not having the same permutation as any one of the said 2'" triple unit geometrical distance permutation code groups due to a single error, and means for correcting the said permutation code groups detected by said second means.
12. A digital information system comprising means employing permutation code groups having a plurality of selected element value partly subgroups for each of said code groups with eacl'l element in each of said code groups being in at least one of said parity subgroups and with no two different elements in each of said code groups being in the same set of parity subgroups, means for detecting one or more parity check subgroup failures in each of said code groups, means for identifying the said detected one or more parity check subgroup failures with a particular element position, and means for reversing the element value in the said identified element position.
13. A digital information system comprising means employing permutation code groups having a plurality of selected element parity subgroups i'or each of said code groups with each element of each of said code groups being in at least one of said parity subgroups and with no two different elements in each of said code groups being in the same set of parity subgroups, and means for detecting one or more parity check subgroup failures in each of said code groups.
14. A digital information system employing permutation code groups n-elements in length having k parity subgroups for each of said code groups where Zkn-l-l and each of said 1c parity subgroups involving a diii'erent combination of code group elements. and means for detecting parity check failure in each of said 7: parity subgroups.
15. An information system comprising a source of information, means for encoding the information from said source into digital code groups having element values characterized by one or the other of two possible signaling conditions, means for adding to each of said code groups elements having element values so determined as to form even or odd parity with the element values in unique code group parity check subgroups, means for detecting a change in parity in any of said parity check subgroups, means for correcting any change in parity in said parity check subgroups detected by said detecting means.
16. An information system comprising means employing digital permutation code groups having code group element values so determined as to form even or odd parity in accordance with unique error-correcting code group parity check subgroups, means for detecting a change in parity in any of said parity check subgroups, and means for correcting any change in parity in said error-correcting code group parity check subgroups detected by said detecting means` 17. An information system comprising a source of information, means for encoding said information into digital permutation code signaling conditions, a set of information relays operated in accordance with said digital permutation codesignaling conditions, a set of sending parity check relay contact circuits having relay contacts actuated by said set of information relays, a set of information element register relays operated by said set of information relays, a set of check element register rel-ays connected to said set of sending parity check relay contact circuits, a set of receiving parity check relay contact circuits having relay contacts actuated by said information element and said check element register relays, a set of check relays connected to said set of receiving parity check relay contact circuits, a relay contact tree circuit having relay contacts actuated by said set of check relays, a set of error relays connected to the output leads of said relay contact tree circuit, and a set of output relays connected to error reversal relay contact circuits having relay contacts actuated by said sets of error, and information element register and check element register relays.
, 18. An information system comprising a source of information, means for encoding said information into digital permutation code signaling conditions, a set of information relays operated in accordance with said digital permutation code signaling conditions, a set of sending parity check relay contact circuits having relay contacts actuated by said set of information relays, a set of information element register relays operated by said set of information relays, a set of check element register relays connected to said set of sending parity check relay contact circuits, a set of receiving parity check relay contact circuits having relay contacts actuated by said information element and said check element register relays, a set of check relays connected to said set* of receiving parity check relay contact circuits, a relay contact tree circuit having relay contacts actuated by said set of check relays, a set of error relays connected to a plurality of the output vleads of said relay contact tree circuit, an error-detecting alarm connected to one of the output leads of said relay contact tree circuit,and a set of output relays connected to error reversal relay contact circuits having relay contacts actuated by said sets of error, information element register and check element register relays.
19. The method of detecting, locating, and correcting errors in the encoded information of a digital system which comprises, rst, encoding information into' permutation code groups wherein all code group elements are in parity arrangement with a unique set of code subgroups, second, transmitting lthe encoded code groups, third, checking each of said code subgroups as received for a change in parity, fourth, identifying said subgroup parity changes with a particular element position, and fifth, reversing the signaling condition of an element identified by said fourth step.
20. 'The method of detecting, locating, and correcting errors in information encoded into a permutation ccde which comprises, first, encoding said information into code groups in which each of said code groups has element values differing from the element values of each of the other of said code groups in a plurality of three or more element positions in a respective element position comparison of each of code groups, and second. changing the value in any one of the element positions of each of said code groups so that said element value difference created in said first step is maintained.
RICHARD W. HAMMING. BERNARD D. HOLBROOK.
REFERENCES CITED The following references are of record in the file of this patent or the original patent:
UNITED STATES PATENTS Herbst Aug. 29, 1950
|Citing Patent||Filing date||Publication date||Applicant||Title|
|US2854653 *||Oct 21, 1955||Sep 30, 1958||Underwood Corp||Error detection system|
|US2926215 *||Aug 24, 1955||Feb 23, 1960||Bell Telephone Labor Inc||Error correcting system|
|US2955756 *||Dec 9, 1955||Oct 11, 1960||Ibm||Serial word checking circuit|
|US2969912 *||Feb 26, 1957||Jan 31, 1961||Ibm||Error detecting and correcting circuits|
|US2970764 *||Jun 4, 1954||Feb 7, 1961||Ibm||Checking circuit|
|US2977047 *||Dec 13, 1957||Mar 28, 1961||Honeywell Regulator Co||Error detecting and correcting apparatus|
|US2998483 *||Feb 17, 1958||Aug 29, 1961||Hazeltine Research Inc||Self-correcting pulse-code communication receiving system|
|US3013719 *||Feb 20, 1957||Dec 19, 1961||Intelligent Machines Res Corp||Serial number checking and filling apparatus|
|US3016517 *||May 15, 1959||Jan 9, 1962||Bell Telephone Labor Inc||Redundant logic circuitry|
|US3017091 *||Mar 26, 1957||Jan 16, 1962||Bell Telephone Labor Inc||Digital error correcting systems|
|US3037697 *||Jun 17, 1959||Jun 5, 1962||Honeywell Regulator Co||Information handling apparatus|
|US3046523 *||Jun 23, 1958||Jul 24, 1962||Ibm||Counter checking circuit|
|US3078443 *||Jan 22, 1959||Feb 19, 1963||Alan C Rose||Compound error correction system|
|US3102253 *||Jul 2, 1958||Aug 27, 1963||Commercial Controls Corp||Coded-information translating system|
|US3119094 *||Dec 26, 1958||Jan 21, 1964||Honeywell Regulator Co||Check number generating circuits for information handling apparatus|
|US3128449 *||Jun 14, 1960||Apr 7, 1964||Bell Telephone Labor Inc||Error detecting and correcting system|
|US3140465 *||May 31, 1961||Jul 7, 1964||Rca Corp||Parity checker for asynchronous data processing system|
|US3144635 *||Dec 14, 1961||Aug 11, 1964||Ibm||Error correcting system for binary erasure channel transmission|
|US3146456 *||Feb 19, 1958||Aug 25, 1964||Westinghouse Electric Corp||Supervisory remote control apparatus|
|US3155819 *||May 15, 1961||Nov 3, 1964||Bell Telephone Labor Inc||Error correcting system|
|US3160855 *||Sep 18, 1961||Dec 8, 1964||Control Deta Corp||Doubles decision detector for reading machines|
|US3218612 *||Nov 9, 1961||Nov 16, 1965||Ibm||Data transfer system|
|US3231725 *||Apr 3, 1961||Jan 25, 1966||Ibm||Data processing system with common bus means|
|US3248692 *||Mar 24, 1961||Apr 26, 1966||Sperry Rand Corp||Combined comparator and parity checker|
|US3252143 *||Oct 12, 1959||May 17, 1966||Svenska Dataregister Ab||Data handling system|
|US3273121 *||Dec 28, 1962||Sep 13, 1966||Bell Telephone Labor Inc||Flagging of selected groups of code signals|
|US3328759 *||May 13, 1963||Jun 27, 1967||Ibm||Simplified partial double error correction using single error correcting code|
|US3353155 *||Dec 30, 1963||Nov 14, 1967||Ibm||Error control of digital information signals with inherent information redundancy|
|US3474412 *||Oct 20, 1965||Oct 21, 1969||Int Standard Electric Corp||Error detection and correction equipment|
|US7325183 *||Jul 21, 2004||Jan 29, 2008||Hewlett-Packard Development Company, L.P.||Error correction code generation method and apparatus|
|US8769373||Oct 5, 2010||Jul 1, 2014||Cleon L. Rogers, JR.||Method of identifying and protecting the integrity of a set of source data|
|US20060020873 *||Jul 21, 2004||Jan 26, 2006||Vinay Deolalikar||Error correction code generation method and apparatus|
|WO1983001523A1 *||Oct 1, 1982||Apr 28, 1983||Burroughs Corp||Error-correcting memory with low storage overhead and fast correction mechanism|