11 research outputs found
Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ΅ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠ΅ΡΠ΅ΠΉ ΠΈΠ· ΡΠΈΡΡΠΎΠ²ΡΡ Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ
The problem of functional diagnosis of digital devices forming a network of state automata is considered. This task for the network components is supposed to be solved, and the corresponding diagnostic devices for them are provided. The possibility of their population transformation into the tools for the entire network diagnostics is shown. The result of the transformation with the restrictions on the number of components with errors is simplified in compare with the original population. A procedure is proposed allowing to find analytical expressions defining an auxiliary control and an error discriminator for the most probable case of error localization (all errors are concentrated in a certain component of the network). The first part of the article provides a solution of the functional diagnosis problem for the case when the parity functions of all components are scalar, and the class of detectable errors is given by unit multiplicity. Next, the result generalizes for the case of vector functions, where multiple errors can occur. The procedure minimizes the sought for functional diagnosis devices with respect to the order when preserving the initial detecting ability within any network component. The obtained results are illustrated by an example of construction of functional diagnosis equipment for ranging signal processing device in broadband short-range radio engineering navigation system.Π Π°ΡΡΠΌΠΎΡΡΠ΅Π½Π° Π·Π°Π΄Π°ΡΠ° ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠΈΡΡΠΎΠ²ΡΡ
ΡΡΡΡΠΎΠΉΡΡΠ², ΠΎΠ±ΡΠ°Π·ΡΡΡΠΈΡ
ΡΠ΅ΡΡ ΠΈΠ· Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ. ΠΡΠ΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅ΡΡΡ, ΡΡΠΎ ΡΡΠ° Π·Π°Π΄Π°ΡΠ° Π΄Π»Ρ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ² ΡΠ΅ΡΠΈ ΡΠ΅ΡΠ΅Π½Π° ΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΠ΅ ΡΡΠ΅Π΄ΡΡΠ²Π° Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π»Ρ Π½ΠΈΡ
ΠΏΠΎΡΡΡΠΎΠ΅Π½Ρ. ΠΠΎΠΊΠ°Π·Π°Π½Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ ΠΈΡ
ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΠΈ Π² ΡΡΠ΅Π΄ΡΡΠ²Π° Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π²ΡΠ΅ΠΉ ΡΠ΅ΡΠΈ, ΠΏΡΠΈΡΠ΅ΠΌ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ ΠΏΡΠΈ Π½Π°Π»ΠΈΡΠΈΠΈ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΠΉ Π½Π° ΡΠΈΡΠ»ΠΎ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ² Ρ ΠΎΡΠΈΠ±ΠΊΠ°ΠΌΠΈ ΡΠΏΡΠΎΡΠ°Π΅ΡΡΡ ΠΏΠΎ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ Ρ ΠΈΡΡ
ΠΎΠ΄Π½ΠΎΠΉ ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡΡ. ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π° ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ°, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠ°Ρ Π΄Π»Ρ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ Π²Π΅ΡΠΎΡΡΠ½ΠΎΠ³ΠΎ ΡΠ»ΡΡΠ°Ρ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠΈΠ±ΠΎΠΊ (Π²ΡΠ΅ ΠΎΡΠΈΠ±ΠΊΠΈ ΡΠΎΡΡΠ΅Π΄ΠΎΡΠΎΡΠ΅Π½Ρ Π² Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠΌ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ΅ ΡΠ΅ΡΠΈ) Π½Π°ΠΉΡΠΈ Π°Π½Π°Π»ΠΈΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ, Π·Π°Π΄Π°ΡΡΠΈΠ΅ Π²ΡΠΏΠΎΠΌΠΎΠ³Π°ΡΠ΅Π»ΡΠ½ΡΠΉ ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½ΡΠΉ Π°Π²ΡΠΎΠΌΠ°Ρ ΠΈ Π΄ΠΈΡΠΊΡΠΈΠΌΠΈΠ½Π°ΡΠΎΡ ΠΎΡΠΈΠ±ΠΎΠΊ. Π ΠΏΠ΅ΡΠ²ΠΎΠΉ ΡΠ°ΡΡΠΈ ΡΡΠ°ΡΡΠΈ ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°ΡΠΈ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π°Π½ΠΎ Π΄Π»Ρ ΡΠ»ΡΡΠ°Ρ, ΠΊΠΎΠ³Π΄Π° ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΡ Π²ΡΠ΅Ρ
ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ² ΡΠΊΠ°Π»ΡΡΠ½Ρ, Π° ΠΊΠ»Π°ΡΡ ΠΎΠ±Π½Π°ΡΡΠΆΠΈΠ²Π°Π΅ΠΌΡΡ
ΠΎΡΠΈΠ±ΠΎΠΊ Π·Π°Π΄Π°Π½ Π΅Π΄ΠΈΠ½ΠΈΡΠ½ΠΎΠΉ ΠΊΡΠ°ΡΠ½ΠΎΡΡΡΡ. ΠΠ°Π»Π΅Π΅ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΎΠ±ΠΎΠ±ΡΠ°Π΅ΡΡΡ Π΄Π»Ρ ΡΠ»ΡΡΠ°Ρ Π²Π΅ΠΊΡΠΎΡΠ½ΡΡ
ΡΡΠ½ΠΊΡΠΈΠΉ, ΠΏΡΠΈ ΠΊΠΎΡΠΎΡΠΎΠΌ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΠ²Π»Π΅Π½ΠΈΠ΅ ΠΌΠ½ΠΎΠ³ΠΎΠΊΡΠ°ΡΠ½ΡΡ
ΠΎΡΠΈΠ±ΠΎΠΊ. ΠΡΠΎΡΠ΅Π΄ΡΡΠ° ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·ΠΈΡΡΠ΅Ρ ΠΈΡΠΊΠΎΠΌΡΠ΅ ΡΡΡΡΠΎΠΉΡΡΠ²Π° ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΠΎ ΠΊΡΠΈΡΠ΅ΡΠΈΡ ΠΏΠΎΡΡΠ΄ΠΊΠ° ΠΏΡΠΈ ΡΠΎΡ
ΡΠ°Π½Π΅Π½ΠΈΠΈ ΠΈΡΡ
ΠΎΠ΄Π½ΠΎΠΉ ΠΎΠ±Π½Π°ΡΡΠΆΠΈΠ²Π°ΡΡΠ΅ΠΉ ΡΠΏΠΎΡΠΎΠ±Π½ΠΎΡΡΠΈ Π² ΡΠ°ΠΌΠΊΠ°Ρ
Π»ΡΠ±ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ° ΡΠ΅ΡΠΈ. ΠΠΎΠ»ΡΡΠ΅Π½Π½ΡΠ΅ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΡ ΠΈΠ»Π»ΡΡΡΡΠΈΡΡΡΡΡΡ ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΡΠ΅Π΄ΡΡΠ² ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π»Ρ ΡΡΡΡΠΎΠΉΡΡΠ²Π° ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ Π΄Π°Π»ΡΠ½ΠΎΠΌΠ΅ΡΠ½ΠΎΠ³ΠΎ ΡΠΈΠ³Π½Π°Π»Π° ΡΠΈΡΠΎΠΊΠΎΠΏΠΎΠ»ΠΎΡΠ½ΠΎΠΉ ΡΠ°Π΄ΠΈΠΎΡΠ΅Ρ
Π½ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠΈΡΡΠ΅ΠΌΡ Π±Π»ΠΈΠΆΠ½Π΅ΠΉ Π½Π°Π²ΠΈΠ³Π°ΡΠΈΠΈ
Π€ΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ΅ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠ·Π»ΠΎΠ² ΡΠ°Π΄ΠΈΠΎΡΠΈΡΡΠ΅ΠΌ ΡΠΎ ΡΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ Π½Π΅Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΡΡΡΠΌΠΈ
The problem of diagnosis of functional nodes that are part of radio systems with a static nonlinearity and allowing for the decomposition into components with scalar inputs and outputs. It is shown that in this case it is possible to construct means of functional diagnosis in the form of a Bank of observers, allowing to solve the task not only of detection but also the localization of errors to the maximum possible depth. Offered an appropriate synthesis algorithm means of diagnosis, which is illustrated by an example.Π Π°ΡΡΠΌΠΎΡΡΠ΅Π½Π° Π·Π°Π΄Π°ΡΠ° ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠ·Π»ΠΎΠ², Π²Ρ
ΠΎΠ΄ΡΡΠΈΡ
Π² ΡΠΎΡΡΠ°Π² ΡΠ°Π΄ΠΈΠΎΡΠ΅Ρ
Π½ΠΈΡΠ΅ΡΠΊΠΈΡ
ΡΠΈΡΡΠ΅ΠΌ, ΠΈΠΌΠ΅ΡΡΠΈΡ
ΡΡΠ°ΡΠΈΡΠ΅ΡΠΊΡΡ Π½Π΅Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΡΡΡ ΠΈ Π΄ΠΎΠΏΡΡΠΊΠ°ΡΡΠΈΡ
Π΄Π΅ΠΊΠΎΠΌΠΏΠΎΠ·ΠΈΡΠΈΡ Π½Π° ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΡ ΡΠΎ ΡΠΊΠ°Π»ΡΡΠ½ΡΠΌΠΈ Π²Ρ
ΠΎΠ΄Π°ΠΌΠΈ ΠΈ Π²ΡΡ
ΠΎΠ΄Π°ΠΌΠΈ. ΠΠΎΠΊΠ°Π·Π°Π½ΠΎ, ΡΡΠΎ Π² ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΡΡΠΎΠΈΡΡ ΡΡΠ΅Π΄ΡΡΠ²Π° ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π² Π²ΠΈΠ΄Π΅ Π±Π°Π½ΠΊΠ° Π½Π°Π±Π»ΡΠ΄Π°ΡΠ΅Π»Π΅ΠΉ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠ΅Π³ΠΎ ΡΠ΅ΡΠΈΡΡ Π·Π°Π΄Π°ΡΡ Π½Π΅ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΠ±Π½Π°ΡΡΠΆΠ΅Π½ΠΈΡ, Π½ΠΎ ΠΈ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠΈΠ±ΠΎΠΊ Ρ ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡΠ½ΠΎ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΉ Π³Π»ΡΠ±ΠΈΠ½ΠΎΠΉ. ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΡΠΈΠ½ΡΠ΅Π·Π° ΡΡΠ΅Π΄ΡΡΠ² Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΡΠ°Π±ΠΎΡΠ° ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΠΏΡΠΎΠΈΠ»Π»ΡΡΡΡΠΈΡΠΎΠ²Π°Π½Π° ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ
ΠΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΡ ΠΎΡΠΈΠ±ΠΎΠΊ Π² ΡΠ΅ΡΡΡ ΠΈΠ· ΡΠΈΡΡΠΎΠ²ΡΡ Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ
Introduction. In the paper a fault isolation problem in the devices combining digital unit by functional diagnostics methods is considered. Networks of state automates are accepted as mathematical models of the devices. Assumed, that functional diagnostics devices for each network component are preliminarily constructed in an optimal way and they consist of a control automata and of a fault discriminator of unit dimension.Aim. To develop functional diagnostics method based on theoretical analysis allowing to decide fault isolation problem in networks of state automation and to reduce computational complexity and hardware redundancy.Materials and methods. An analysis of mathematical description of a network of state automation and functional diagnostics devices for each network component was presented in terms of algebraic theory of functional diagnosis of dynamic systems. A possibility to transform the set of known functional diagnostics devices of the network was demonstrated. The possibility provided a localization of the network component with an error, if the component was unique.Results. A searching procedure of the analytical equations determining supervision automata and fault discriminator for the whole network was proposed. The case when initial functional diagnostics devices for each network component were defined by scalar functions was considered. The obtained result was generalized to the case, when mentioned devices were defined by vector functions. The application of the described method was demonstrated in the example of construction functional diagnostics devices for simplified fragment of the device for forming priorities of mutual aircraft navigation system.Conclusion. Estimation of results by an order criterion was obtained. It was established that with an increase in the number of network components, the reduction of intentioned redundancy by functional diagnostics devices compared with the original version increased significantly.ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅. ΠΠ»Ρ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ Π΄ΠΎΡΡΠΎΠ²Π΅ΡΠ½ΠΎΡΡΠΈ Π²ΡΡ
ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ ΡΠΈΡΡΠ΅ΠΌ ΡΠ°Π΄ΠΈΠΎΠ»ΠΎΠΊΠ°ΡΠΈΠΈ ΠΈ ΡΠ°Π΄ΠΈΠΎΠ½Π°Π²ΠΈΠ³Π°ΡΠΈΠΈ Π½Π΅ΡΠ΅Π΄ΠΊΠΎ ΡΡΠ΅Π±ΡΠ΅ΡΡΡ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΠ·Π»ΠΎΠ² Ρ ΠΎΡΠΈΠ±ΠΊΠ°ΠΌΠΈ Π² ΡΠ΅ΠΆΠΈΠΌΠ΅ ΡΠ΅Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π²ΡΠ΅ΠΌΠ΅Π½ΠΈ. ΠΠ΄ΠΈΠ½ ΠΈΠ· ΡΠ°ΠΌΡΡ
ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΡΡ
ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°ΡΠΈ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΡΠΎΡΡΠΎΠΈΡ Π²ΠΎ Π²Π²Π΅Π΄Π΅Π½ΠΈΠΈ Π² ΡΠΎΡΡΠ°Π² ΡΠΈΡΡΠ΅ΠΌ ΡΡΠ΅Π΄ΡΡΠ² ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ. ΠΠ΄Π½Π°ΠΊΠΎ Π΄Π»Ρ ΡΠΈΡΡΠ΅ΠΌ, ΠΈΠΌΠ΅ΡΡΠΈΡ
Π±ΠΎΠ»ΡΡΠΎΠ΅ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΡΡ
ΡΠ·Π»ΠΎΠ², Π½Π° ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ ΡΡΠΎΠ³ΠΎ ΡΠΏΠΎΡΠΎΠ±Π° Π½Π°ΠΊΠ»Π°Π΄ΡΠ²Π°ΡΡΡΡ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΡ: ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΡ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π·Π°Π΄Π°ΡΠΈ ΠΈ Π½Π΅ΠΎΠ±Ρ
ΠΎΠ΄ΠΈΠΌΠΎΡΡΡ ΡΠΎΠΊΡΠ°ΡΠ΅Π½ΠΈΡ Π²Π²Π΅Π΄Π΅Π½Π½ΠΎΠΉ Π°ΠΏΠΏΠ°ΡΠ°ΡΠ½ΠΎΠΉ ΠΈΠ·Π±ΡΡΠΎΡΠ½ΠΎΡΡΠΈ. ΠΡΡΠΈ ΡΠ΅Π΄ΡΠΊΡΠΈΠΈ ΡΡΠΈΡ
ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΠΉ ΠΏΡΠΈ ΡΠ΅ΡΠ΅Π½ΠΈΠΈ Π·Π°Π΄Π°ΡΠΈ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ Π² ΡΠΏΠΎΠΌΡΠ½ΡΡΡΡ
ΡΠΈΡΡΠ΅ΠΌΠ°Ρ
ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½Ρ Π² Π½Π°ΡΡΠΎΡΡΠ΅ΠΉ ΡΡΠ°ΡΡΠ΅.Π¦Π΅Π»Ρ ΡΠ°Π±ΠΎΡΡ. Π Π°Π·ΡΠ°Π±ΠΎΡΠΊΠ° ΠΌΠ΅ΡΠΎΠ΄Π° ΡΠΈΠ½ΡΠ΅Π·Π° ΡΡΠ΅Π΄ΡΡΠ² ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΡΠ΅ΡΠ°ΡΡΠ΅Π³ΠΎ Π·Π°Π΄Π°ΡΡ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΎΡΠΈΠ±ΠΎΠΊ ΡΠΈΡΡΠ΅ΠΌ ΡΠ°Π΄ΠΈΠΎΠ»ΠΎΠΊΠ°ΡΠΈΠΈ ΠΈ ΡΠ°Π΄ΠΈΠΎΠ½Π°Π²ΠΈΠ³Π°ΡΠΈΠΈ ΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠ΅Π³ΠΎ ΡΠ½ΠΈΠ·ΠΈΡΡ Π²ΡΡΠΈΡΠ»ΠΈΡΠ΅Π»ΡΠ½ΡΡ ΡΡΡΠ΄ΠΎΠ΅ΠΌΠΊΠΎΡΡΡ ΠΈ ΡΠΌΠ΅Π½ΡΡΠΈΡΡ Π°ΠΏΠΏΠ°ΡΠ°ΡΠ½ΡΠ΅ Π·Π°ΡΡΠ°ΡΡ.ΠΠ°ΡΠ΅ΡΠΈΠ°Π»Ρ ΠΈ ΠΌΠ΅ΡΠΎΠ΄Ρ. Π ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ ΡΠΈΡΡΠ΅ΠΌ ΠΏΡΠΈΠ½ΡΡΡ ΡΠ΅ΡΠΈ ΠΈΠ· ΡΠΈΡΡΠΎΠ²ΡΡ
Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ. ΠΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ Π°Π½Π°Π»ΠΈΠ· ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ ΡΠ΅ΡΠΈ ΠΈΠ· ΡΠΈΡΡΠΎΠ²ΡΡ
Π°Π²ΡΠΎΠΌΠ°ΡΠΎΠ² ΡΠΎΡΡΠΎΡΠ½ΠΈΠΉ, Π° ΡΠ°ΠΊΠΆΠ΅ ΡΡΠ΅Π΄ΡΡΠ² ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ° ΡΠ΅ΡΠΈ. ΠΠΎΠΊΠ°Π·Π°Π½Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΠΈ ΠΈΠ·Π²Π΅ΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ² ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΡΠ΅ΡΠΈ, ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΠ²Π°ΡΡΠ°Ρ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΡ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ° ΡΠ΅ΡΠΈ Ρ ΠΎΡΠΈΠ±ΠΊΠΎΠΉ ΠΏΡΠΈ ΡΡΠ»ΠΎΠ²ΠΈΠΈ Π΅Π³ΠΎ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ.Π Π΅Π·ΡΠ»ΡΡΠ°ΡΡ. ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π° ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ° ΠΏΠΎΠΈΡΠΊΠ° Π°Π½Π°Π»ΠΈΡΠΈΡΠ΅ΡΠΊΠΈΡ
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ, Π·Π°Π΄Π°ΡΡΠΈΡ
ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½ΡΠΉ Π°Π²ΡΠΎΠΌΠ°Ρ ΠΈ Π΄ΠΈΡΠΊΡΠΈΠΌΠΈΠ½Π°ΡΠΎΡ ΠΎΡΠΈΠ±ΠΎΠΊ Π΄Π»Ρ Π²ΡΠ΅ΠΉ ΡΠ΅ΡΠΈ. Π Π°ΡΡΠΌΠΎΡΡΠ΅Π½ ΡΠ»ΡΡΠ°ΠΉ, ΠΊΠΎΠ³Π΄Π° ΠΈΡΡ
ΠΎΠ΄Π½ΡΠ΅ ΡΡΠ΅Π΄ΡΡΠ²Π° ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ² Π·Π°Π΄Π°Π½Ρ ΡΠΊΠ°Π»ΡΡΠ½ΡΠΌΠΈ ΡΡΠ½ΠΊΡΠΈΡΠΌΠΈ. ΠΠΎΠ»ΡΡΠ΅Π½Π½ΡΠΉ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΎΠ±ΠΎΠ±ΡΠ΅Π½ Π½Π° ΡΠ»ΡΡΠ°ΠΉ Π²Π΅ΠΊΡΠΎΡΠ½ΠΎΠ³ΠΎ Π·Π°Π΄Π°Π½ΠΈΡ ΡΡΠ½ΠΊΡΠΈΠΉ ΡΠΏΠΎΠΌΡΠ½ΡΡΡΡ
ΡΡΠ΅Π΄ΡΡΠ².ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅. ΠΠ½Π°Π»ΠΈΠ· ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΡΡ
ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠΎΠ² ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΠΎΡΠ΅Π½ΠΊΠΈ ΠΏΠΎ ΠΊΡΠΈΡΠ΅ΡΠΈΡ ΠΏΠΎΡΡΠ΄ΠΊΠ° ΠΏΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΡΡΠΎ ΠΏΡΠΈ ΡΠ²Π΅Π»ΠΈΡΠ΅Π½ΠΈΠΈ ΡΠΈΡΠ»Π° ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ² ΡΠ΅ΡΠΈ Π²ΡΠΈΠ³ΡΡΡ ΠΏΠΎ ΠΈΠ·Π±ΡΡΠΎΡΠ½ΠΎΡΡΠΈ, Π²Π½ΠΎΡΠΈΠΌΠΎΠΉ ΡΡΠ΅Π΄ΡΡΠ²Π°ΠΌΠΈ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΏΠΎ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ Ρ ΠΈΡΡ
ΠΎΠ΄Π½ΡΠΌ Π²Π°ΡΠΈΠ°Π½ΡΠΎΠΌ, ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ ΡΠ°ΡΡΠ΅Ρ Π΄Π»Ρ ΡΠ΅ΡΠΈ, ΡΠΎΡΡΠΎΡΡΠ΅ΠΉ ΠΈΠ· ΡΠ΅ΠΌΠΈ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠΎΠ². ΠΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΡ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠΎΠ² ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΡ ΠΏΠΎΠΊΠ°Π·Π°Π½Π° Π½Π° ΠΏΡΠΈΠΌΠ΅ΡΠ΅ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°ΡΠΈ Π»ΠΎΠΊΠ°Π»ΠΈΠ·Π°ΡΠΈΠΈ Π΄Π»Ρ ΡΠΏΡΠΎΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΡΠ°Π³ΠΌΠ΅Π½ΡΠ° ΡΡΡΡΠΎΠΉΡΡΠ²Π° ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΡΠΈΠΎΡΠΈΡΠ΅ΡΠΎΠ² ΡΠΈΡΡΠ΅ΠΌΡ Π²Π·Π°ΠΈΠΌΠ½ΠΎΠΉ Π½Π°Π²ΠΈΠ³Π°ΡΠΈΠΈ Π»Π΅ΡΠ°ΡΠ΅Π»ΡΠ½ΡΡ
Π°ΠΏΠΏΠ°ΡΠ°ΡΠΎΠ²
Fault Isolation in Network of State Automates
Introduction. In the paper a fault isolation problem in the devices combining digital unit by functional diagnostics methods is considered. Networks of state automates are accepted as mathematical models of the devices. Assumed, that functional diagnostics devices for each network component are preliminarily constructed in an optimal way and they consist of a control automata and of a fault discriminator of unit dimension.Aim. To develop functional diagnostics method based on theoretical analysis allowing to decide fault isolation problem in networks of state automation and to reduce computational complexity and hardware redundancy.Materials and methods. An analysis of mathematical description of a network of state automation and functional diagnostics devices for each network component was presented in terms of algebraic theory of functional diagnosis of dynamic systems. A possibility to transform the set of known functional diagnostics devices of the network was demonstrated. The possibility provided a localization of the network component with an error, if the component was unique.Results. A searching procedure of the analytical equations determining supervision automata and fault discriminator for the whole network was proposed. The case when initial functional diagnostics devices for each network component were defined by scalar functions was considered. The obtained result was generalized to the case, when mentioned devices were defined by vector functions. The application of the described method was demonstrated in the example of construction functional diagnostics devices for simplified fragment of the device for forming priorities of mutual aircraft navigation system.Conclusion. Estimation of results by an order criterion was obtained. It was established that with an increase in the number of network components, the reduction of intentioned redundancy by functional diagnostics devices compared with the original version increased significantly
The Diagnosis of Functional Nodes of Radio Systems with Static Nonlinearities
The problem of diagnosis of functional nodes that are part of radio systems with a static nonlinearity and allowing for the decomposition into components with scalar inputs and outputs. It is shown that in this case it is possible to construct means of functional diagnosis in the form of a Bank of observers, allowing to solve the task not only of detection but also the localization of errors to the maximum possible depth. Offered an appropriate synthesis algorithm means of diagnosis, which is illustrated by an example
Functional Diagnosis of Digital State Automation Networks
The problem of functional diagnosis of digital devices forming a network of state automata is considered. This task for the network components is supposed to be solved, and the corresponding diagnostic devices for them are provided. The possibility of their population transformation into the tools for the entire network diagnostics is shown. The result of the transformation with the restrictions on the number of components with errors is simplified in compare with the original population. A procedure is proposed allowing to find analytical expressions defining an auxiliary control and an error discriminator for the most probable case of error localization (all errors are concentrated in a certain component of the network). The first part of the article provides a solution of the functional diagnosis problem for the case when the parity functions of all components are scalar, and the class of detectable errors is given by unit multiplicity. Next, the result generalizes for the case of vector functions, where multiple errors can occur. The procedure minimizes the sought for functional diagnosis devices with respect to the order when preserving the initial detecting ability within any network component. The obtained results are illustrated by an example of construction of functional diagnosis equipment for ranging signal processing device in broadband short-range radio engineering navigation system