Relay-contact scheme
relay-contact network, relay-contact circuit
A mathematical model of electrical devices consisting of contacts and intermediate relays that function at discrete moments of time. The relay-contact circuit is one of the first classes of control systems (cf. Control system) considered from the mathematical point of view, as well as one of the first versions of the concept of a finite automaton (cf. Automaton, finite). Relay-contact circuits were first described in 1938–1944 (see [1]–[3]).
Mathematically, a relay-contact circuit is a finite graph in which all edges and some distinguished vertices are ascribed symbols of alphabets
![]() |
![]() |
in the following way. Each distinguished vertex of the graph (these vertices are called poles) is assigned a symbol from the alphabet such that to different poles are assigned different symbols. The set of edges of the graph is divided into three non-intersecting subsets
. The edges from each of these subsets are ascribed symbols from
,
and
in the following way: Each edge from
is assigned a symbol from
, all edges from
being assigned different symbols and all symbols from
being assigned to edges from
. With each edge of the set
(
, respectively) is assigned a symbol from
(
, respectively) such that each symbol may be assigned to several edges and some symbols may not be assigned to any edge. If the set
is empty, then the set
is also empty. In this case (if only
is non-empty) the relay-contact circuit is a contact scheme. Two relay-contact circuits are called isomorphic if their graphs are isomorphic and if corresponding edges and poles are assigned identical symbols.
The pole is called the input pole and the poles
are called output poles. The pole
may also sometimes be an output pole. The edges to which are assigned symbols from
are known as contacts of basic relays (or basic contacts); the set of all edges marked by the symbols
is called the
-th intermediate relay,
; edges marked by symbols from
are called contacts of intermediate relays; edges marked by symbols from
are called windings. A sequence of contacts and windings between several vertices of a relay-contact circuit corresponding to a simple chain of the graph is called a chain.
A relay-contact circuit functions at discrete moments of time and the functioning is considered in terms of conductivities that at each moment are (in the model under consideration) Boolean functions. The conductivity of the contacts
,
, at any moment
is equal to the value of the corresponding variable (
or
). The conductivity of a contact
,
, of an intermediate relay at the moment 1 is equal to zero, the conductivity of the contact
at the moment 1 being equal to one; the conductivity of a winding is always equal to one. Every winding at a moment
can be in various states. The state of the winding at a moment
(in the two-valued model in question, 1 and 0 are "excited" and "non-excited" ) can be defined in various ways. For example, a winding
is in state 1 at the moment
if and only if either: a) there is a chain
between the poles
and
that passes through
and that has conductivity 1 at the moment
; or b) condition a) is fulfilled but there is no chain consisting only of contacts having conductivity 1 at the moment
, and joining two vertices of the chain
situated on different sides of
.
The conductivity of an intermediate contact
at a moment
depends on the state of the winding
at the moment
; more precisely, the conductivity of
coincides with it and the conductivity of
is opposite to it. The conductivity of a chain of a relay-contact circuit between two poles at a moment
is equal to the conjunction of the conductivities at the moment
formed by its contacts and windings. Thus, the state of the windings at a moment
is, generally speaking, dependent on the sequence of sets of values of the variables
at the preceding moments of time. If at successive moments of time the variables
are supplied with sequences of choices of values between a pair of poles
and
,
, and in a particular case also between
and
, a finite-state sequential function is defined. Isomorphic relay-contact circuits realize the same finite-state sequential function. If the relay-contact circuit is such that by supplying the variables
with the same set of values
, starting from a specific moment
, the windings of the intermediate relays do not change their state (and this for each set of values of the variables
), then the state of the windings is said to be "steady" , and the relay-contact circuit realizes Boolean functions. If stabilization of the windings from a moment
starts immediately for all choices of values of the variables
, then the relay-contact circuit is called a one-cycle; if stabilization starts at a moment
, then the relay-contact scheme is called a
-cycle.
The complexity of a relay-contact circuit is defined as the sum of the weights (or of the complexity indices) of all basic contacts, intermediate contacts and windings of the circuit. An asymptotic expression for the complexity of the simplest relay-contact circuit realizing the most complexly-realizable Boolean function of variables possible takes the form
, where
is a constant depending on the chosen manner of functioning, the topology of the circuit and the complexity of the relay contacts and windings.
References
[1] | C. Shannon, "A symbolic analysis of relay and switching circuits" AIEE Trans. , 57 (1938) pp. 713–723 |
[2] | M.A. Gavrilov, "Relaisschalttechnik" , Deutsch. Verlag Wissenschaft. (1953) (Translated from Russian) |
[3] | V.I. Shestakov, "On a logical calculus applicable to the theory of relay-contact circuits" Uchen. Zap. Moskov. Gosudarstv. Univ. Mat. , 73 : 5 (1944) pp. 45–48 (In Russian) |
[4] | O.B. Lupanov, "Complexity of relay-contact circuits realization by functions of the algebra of logic" Probl. Kibernetiki , 11 (1964) pp. 25–47 (In Russian) |
Relay-contact scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Relay-contact_scheme&oldid=48504