Метод оперативного диагностирования данных, представленных в системе остаточных классов
Рассмотрены два метода диагностирования данных, которые представлены в системе остаточных классов (СОК). Показано, что основным недостатком этих методов, является значительное время диагностирования данных в СОК. Предложенный метод позволяет уменьшить время диагностирования ошибок данных, представле...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2018 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144863 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Метод оперативного диагностирования данных, представленных в системе остаточных классов / В.А. Краснобаев, С.А. Кошман // Кибернетика и системный анализ. — 2018. — Т. 54, № 2. — С. 182–192. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-144863 |
|---|---|
| record_format |
dspace |
| spelling |
Краснобаев, В.А. Кошман, С.А. 2019-01-05T19:49:14Z 2019-01-05T19:49:14Z 2018 Метод оперативного диагностирования данных, представленных в системе остаточных классов / В.А. Краснобаев, С.А. Кошман // Кибернетика и системный анализ. — 2018. — Т. 54, № 2. — С. 182–192. — Бібліогр.: 10 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/144863 681.04 Рассмотрены два метода диагностирования данных, которые представлены в системе остаточных классов (СОК). Показано, что основным недостатком этих методов, является значительное время диагностирования данных в СОК. Предложенный метод позволяет уменьшить время диагностирования ошибок данных, представленных в СОК, что повышает его оперативность. Использование метода оперативного диагностирования данных увеличивает общую эффективность, что указывает на целесообразность его применения в вычислительных системах непозиционных кодовых структур в СОК. Розглянуто два методи діагностування даних, які представлені у системі залишкових класів (СЗК). Показано, що основним недоліком даних методів, є значний час діагностування даних у СЗК. Запропонований метод дозволяє зменшити час діагностики помилок даних, представлених у СЗК, що підвищує його оперативність. Використання методу оперативного діагностування даних збільшує загальну ефективність, що доводить доцільність його застосування в обчислювальних системах непозиційних кодових структур у СЗК. Two main methods for data diagnosis, which are presented in the residue number system (RNS) are considered in the paper. It is shown that the main problem of these methods is the considerable time of data diagnosis in RNS. The proposed method makes it possible to reduce the errors diagnosis time for the data presented in the RNS, which increases the efficiency of the diagnosis. The use of the proposed method of operational data diagnosis increases the overall effectiveness and expediency of its application in computer systems of non-position code structures in RNS. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу Метод оперативного диагностирования данных, представленных в системе остаточных классов Метод оперативного діагностування даних, що представлені у системі залишкових класів The method of operational data diagnosing represented in the residue number system Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Метод оперативного диагностирования данных, представленных в системе остаточных классов |
| spellingShingle |
Метод оперативного диагностирования данных, представленных в системе остаточных классов Краснобаев, В.А. Кошман, С.А. Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| title_short |
Метод оперативного диагностирования данных, представленных в системе остаточных классов |
| title_full |
Метод оперативного диагностирования данных, представленных в системе остаточных классов |
| title_fullStr |
Метод оперативного диагностирования данных, представленных в системе остаточных классов |
| title_full_unstemmed |
Метод оперативного диагностирования данных, представленных в системе остаточных классов |
| title_sort |
метод оперативного диагностирования данных, представленных в системе остаточных классов |
| author |
Краснобаев, В.А. Кошман, С.А. |
| author_facet |
Краснобаев, В.А. Кошман, С.А. |
| topic |
Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| topic_facet |
Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| publishDate |
2018 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Метод оперативного діагностування даних, що представлені у системі залишкових класів The method of operational data diagnosing represented in the residue number system |
| description |
Рассмотрены два метода диагностирования данных, которые представлены в системе остаточных классов (СОК). Показано, что основным недостатком этих методов, является значительное время диагностирования данных в СОК. Предложенный метод позволяет уменьшить время диагностирования ошибок данных, представленных в СОК, что повышает его оперативность. Использование метода оперативного диагностирования данных увеличивает общую эффективность, что указывает на целесообразность его применения в вычислительных системах непозиционных кодовых структур в СОК.
Розглянуто два методи діагностування даних, які представлені у системі залишкових класів (СЗК). Показано, що основним недоліком даних методів, є значний час діагностування даних у СЗК. Запропонований метод дозволяє зменшити час діагностики помилок даних, представлених у СЗК, що підвищує його оперативність. Використання методу оперативного діагностування даних збільшує загальну ефективність, що доводить доцільність його застосування в обчислювальних системах непозиційних кодових структур у СЗК.
Two main methods for data diagnosis, which are presented in the residue number system (RNS) are considered in the paper. It is shown that the main problem of these methods is the considerable time of data diagnosis in RNS. The proposed method makes it possible to reduce the errors diagnosis time for the data presented in the RNS, which increases the efficiency of the diagnosis. The use of the proposed method of operational data diagnosis increases the overall effectiveness and expediency of its application in computer systems of non-position code structures in RNS.
|
| issn |
1019-5262 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144863 |
| citation_txt |
Метод оперативного диагностирования данных, представленных в системе остаточных классов / В.А. Краснобаев, С.А. Кошман // Кибернетика и системный анализ. — 2018. — Т. 54, № 2. — С. 182–192. — Бібліогр.: 10 назв. — рос. |
| work_keys_str_mv |
AT krasnobaevva metodoperativnogodiagnostirovaniâdannyhpredstavlennyhvsistemeostatočnyhklassov AT košmansa metodoperativnogodiagnostirovaniâdannyhpredstavlennyhvsistemeostatočnyhklassov AT krasnobaevva metodoperativnogodíagnostuvannâdanihŝopredstavleníusistemízališkovihklasív AT košmansa metodoperativnogodíagnostuvannâdanihŝopredstavleníusistemízališkovihklasív AT krasnobaevva themethodofoperationaldatadiagnosingrepresentedintheresiduenumbersystem AT košmansa themethodofoperationaldatadiagnosingrepresentedintheresiduenumbersystem |
| first_indexed |
2025-11-26T00:12:33Z |
| last_indexed |
2025-11-26T00:12:33Z |
| _version_ |
1850596231785480192 |
| fulltext |
ÓÄÊ 681.04
Â.À. ÊÐÀÑÍÎÁÀÅÂ, Ñ.À. ÊÎØÌÀÍ
ÌÅÒÎÄ ÎÏÅÐÀÒÈÂÍÎÃÎ ÄÈÀÃÍÎÑÒÈÐÎÂÀÍÈß ÄÀÍÍÛÕ,
ÏÐÅÄÑÒÀÂËÅÍÍÛÕ Â ÑÈÑÒÅÌÅ ÎÑÒÀÒÎ×ÍÛÕ ÊËÀÑÑÎÂ
Àííîòàöèÿ. Ðàññìîòðåíû äâà ìåòîäà äèàãíîñòèðîâàíèÿ äàííûõ, êîòîðûå
ïðåäñòàâëåíû â ñèñòåìå îñòàòî÷íûõ êëàññîâ (ÑÎÊ). Ïîêàçàíî, ÷òî îñíîâ-
íûì íåäîñòàòêîì ýòèõ ìåòîäîâ, ÿâëÿåòñÿ çíà÷èòåëüíîå âðåìÿ äèàãíîñòèðî-
âàíèÿ äàííûõ â ÑÎÊ. Ïðåäëîæåííûé ìåòîä ïîçâîëÿåò óìåíüøèòü âðåìÿ
äèàãíîñòèðîâàíèÿ îøèáîê äàííûõ, ïðåäñòàâëåííûõ â ÑÎÊ, ÷òî ïîâûøàåò
åãî îïåðàòèâíîñòü. Èñïîëüçîâàíèå ìåòîäà îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ
äàííûõ óâåëè÷èâàåò îáùóþ ýôôåêòèâíîñòü, ÷òî óêàçûâàåò íà öåëåñîîáðàç-
íîñòü åãî ïðèìåíåíèÿ â âû÷èñëèòåëüíûõ ñèñòåìàõ íåïîçèöèîííûõ êîäîâûõ
ñòðóêòóð â ÑÎÊ.
Êëþ÷åâûå ñëîâà: cèñòåìà îñòàòî÷íûõ êëàññîâ, êîíòðîëü äàííûõ, îïåðàòèâ-
íîñòü äèàãíîñòèðîâàíèÿ äàííûõ, íåïîçèöèîííàÿ êîäîâàÿ ñòðóêòóðà, àëüòåð-
íàòèâíàÿ ñîâîêóïíîñòü ÷èñëà.
ÂÂÅÄÅÍÈÅ
 îáùåì ñëó÷àå ïîä äèàãíîñòèðîâàíèåì äàííûõ â ñèñòåìå îñòàòî÷íûõ êëàñ-
ñîâ (ÑÎÊ) áóäåì ïîíèìàòü ïðîöåññ îïðåäåëåíèÿ èñêàæåííûõ îñòàòêîâ â èçáû-
òî÷íîé íåïîçèöèîííîé êîäîâîé ñòðóêòóðå (ÍÊÑ) âèäà A a aÑÎÊ � ( | | | |1 2 �
� � �| | | | | | | | | | | | | | )a a a a ai i i n n k� � �1 1 , ãäå n è k — êîëè÷åñòâî ñîîòâåòñòâåííî
èíôîðìàöèîííûõ è êîíòðîëüíûõ îñíîâàíèé mi ( , )i n k� �1 â óïîðÿäî÷åííîé
( )m mi i� �1 ÑÎÊ. Äèàãíîñòèðîâàíèå ÍÊÑ ïðîâîäèòñÿ ïîñëå êîíòðîëÿ äàííûõ
äëÿ ïîñëåäóþùåé âîçìîæíîé êîððåêöèè îøèáîê.
Äëÿ îñóùåñòâëåíèÿ êîíòðîëÿ, äèàãíîñòèðîâàíèÿ è êîððåêöèè îøèáîê â ÍÊÑ
íåîáõîäèìî ââåñòè îïðåäåëåííóþ èíôîðìàöèîííóþ èçáûòî÷íîñòü. Ñòåïåíü R
èíôîðìàöèîííîé èçáûòî÷íîñòè, êîòîðàÿ îáóñëoâëèâàåò êîððåêòèðóþùèå ñïî-
ñîáíîñòè êîäà, îöåíèâàåòñÿ âåëè÷èíîé d
min
( )ÑÎÊ ìèíèìàëüíîãî êîäîâîãî ðàññòîÿ-
íèÿ (ÌÊÐ).  ÑÎÊ çíà÷åíèå ÌÊÐ îïðåäåëÿåòñÿ ñîîòíîøåíèåì d k
min
( )ÑÎÊ � �1 [1].
Ïðè îäíîì êîíòðîëüíîì îñíîâàíèè çíà÷åíèå ÌÊÐ d
min
(ÑÎÊ) � 2. Â ñîîòâåòñòâèè
ñ òåîðèåé êîäèðîâàíèÿ ïðè ÌÊÐ d
min
(ÑÎÊ) � 2 â êîäîâîé ñòðóêòóðå äîñòîâåðíî
îïðåäåëÿåòñÿ ôàêò èñêàæåíèÿ òîëüêî îäíîãî èç îñòàòêîâ (îäíîêðàòíàÿ îøèáêà)
êîäîâîãî ñëîâà â ÑÎÊ. Äëÿ èñïðàâëåíèÿ (êîððåêöèè), íàïðèìåð, îäíîêðàòíîé
îøèáêè íåîáõîäèìî îáåñïå÷èòü óñëîâèå, êîãäà d
min
(ÑÎÊ) � 3.
Êàê îòìå÷àåòñÿ â [2–5], â ñèëó âëèÿíèÿ ñâîéñòâ ÑÎÊ íà ïðîöåññ îáðàáîòêè äàí-
íûõ â íåêîòîðûõ ñëó÷àÿõ èìååòñÿ âîçìîæíîñòü ïðîâîäèòü êîððåêöèþ îäíîêðàòíûõ
(â îäíîì îñòàòêå ÍÊÑ) îøèáîê äàííûõ ïðè ââåäåíèè ìèíèìàëüíîé ( )k �1 èíôîðìà-
öèîííîé êîäîâîé èçáûòî÷íîñòè. Îäíèì èç ñëó÷àåâ êîððåêöèè, îáóñëîâëåííîé òà-
êèì ñâîéñòâîì ÑÎÊ, êàê íåçàâèñèìîñòü îñòàòêîâ ÍÊÑ, åñòü êîððåêöèÿ îøèáîê
òîëüêî êîíå÷íîãî ðåçóëüòàòà âû÷èñëåíèÿ [1, 2]. Òèïè÷íûì ïðèìåðîì ýòîãî ÿâëÿåòñÿ
âîçìîæíîñòü ðåàëèçàöèè ïðîöåäóðû êîððåêöèè îøèáîê äàííûõ ïðè íàëè÷èè îäíîãî
êîíòðîëüíîãî îñíîâàíèÿ áåç îñòàíîâà ïðîöåññà ïðîìåæóòî÷íûõ âû÷èñëåíèé (â äè-
íàìèêå âû÷èñëèòåëüíîãî ïðîöåññà (ÄÂÏ)). Äëÿ ðåàëèçàöèè òàêîé ïðîöåäóðû íåîá-
õîäèìî ïðîâåäåíèå äèàãíîñòèðîâàíèÿ ïðîìåæóòî÷íûõ ðåçóëüòàòîâ âû÷èñëåíèé ñ èñ-
ïîëüçîâàíèåì ïîíÿòèÿ àëüòåðíàòèâíîé ñîâîêóïíîñòè (ÀÑ) ÷èñëà â ÑÎÊ [1].
182 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
� Â.À. Êðàñíîáàåâ, Ñ.À. Êîøìàí, 2018
ÈÑÑËÅÄÎÂÀÍÈÅ ÌÅÒÎÄÎÂ ÄÈÀÃÍÎÑÒÈÐÎÂÀÍÈß ÄÀÍÍÛÕ Â ÑÎÊ
ÏÐÈ ÈÑÏÎËÜÇÎÂÀÍÈÈ ÀËÜÒÅÐÍÀÒÈÂÍÎÉ ÑÎÂÎÊÓÏÍÎÑÒÈ ×ÈÑÅË
Ïîä ïîíÿòèåì ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
íåïðàâèëüíîãî ÷èñëà
~
AÑÎÊ �
� � � �( | | | | | | | | | | | | | | | | | | )
~
a a a a a a ai i i n n k1 2 1 1� � � â ÑÎÊ áóäåì ïîíèìàòü ñîâî-
êóïíîñòü { }ml�
( , )� ��1 èç � îñíîâàíèé, ïî êîòîðûì ïðàâèëüíàÿ (íåèñêàæåí-
íàÿ) ÍÊÑ A a a a a a a ai i i n n kÑÎÊ � � � �( | | | | | | | | | | | | | | | | | | )1 2 1 1� � � ìîæåò òîëüêî
â îäíîì èç îñòàòêîâ îòëè÷àòüñÿ îò ñîâîêóïíîñòè âîçìîæíûõ íåïðàâèëüíûõ
÷èñåë. Îòìåòèì, ÷òî ïðåäïîëàãàåòñÿ âîçíèêíîâåíèå òîëüêî îäíîêðàòíîé îøèá-
êè (òîëüêî â îäíîì îñòàòêå ai , i n� �( ,1 1)).  ýòîì ñëó÷àå èñêàæåííàÿ ÍÊÑ
â ÑÎÊ ïðåäñòàâèòñÿ â âèäå
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � .
Åñëè â ïðîöåññå ðåøåíèÿ çàäà÷è â ÄÂÏ â êà÷åñòâå ïðîìåæóòî÷íûõ ðå-
çóëüòàòîâ âû÷èñëåíèé ïîëó÷èì ñîâîêóïíîñòü çíà÷åíèé ÷èñåë A j ( j n� �1 1, )
â ÑÎÊ, òî ïîä óñëîâíîé àëüòåðíàòèâíîé ñîâîêóïíîñòüþ (ÓÀÑ) W A W A(
~
) ( )
~
� �1
� � �W A W A j( ) (
~
)
~
2 � íåïðàâèëüíîãî ÷èñëà
~
( | | | | | | | | | | | |
~
A a a a a ai i iÑÎÊ � � �1 2 1 1� �
� | | | | )a an n�1 áóäåì ïîíèìàòü ñîâîêóïíîñòü îñíîâàíèé, ïî êîòîðûì âîçìîæíû
îøèáêè âû÷èñëåíèé, ñ ó÷åòîì õàðàêòåðà ÀÑ ïðåäøåñòâóþùèõ íåïðàâèëüíûõ ðå-
çóëüòàòîâ âû÷èñëåíèé â õîäå ðåøåíèÿ çàäà÷è. Èëè äðóãèìè ñëîâàìè, ïîä ÓÀÑ
ïîíèìàåòñÿ ñîâîêóïíîñòü îñíîâàíèé ÑÎÊ, îáùàÿ äëÿ êàæäîé ÀÑ
W A m m ml l l(
~
) , , ,� { }
1 2
�
�
. Ïîñëåäîâàòåëüíîå âû÷èñëåíèå ÓÀÑ ïîçâîëÿåò óìåíü-
øèòü êîëè÷åñòâî îñíîâàíèé, ïî êîòîðûì âîçìîæíû îøèáêè.  [1] óòâåðæäàåòñÿ,
÷òî ïðè äîñòàòî÷íîé äëèíå öåïè âû÷èñëåíèé ñóùåñòâóåò òàêîå çíà÷åíèå �, ïðè
êîòîðîì âûïîëíÿåòñÿ óñëîâèå W A mj i( )
~
� { }, ãäå mi — êîíêðåòíîå îñíîâàíèå
ÑÎÊ, ïî êîòîðîìó èìååò ìåñòî îøèáêà â îñòàòêå ai
~
íåïðàâèëüíîãî ÷èñëà
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � . Äàëåå ïðè íåîáõîäèìîñòè
ïðîâîäèòñÿ êîððåêöèÿ (èñïðàâëåíèå) îñòàòêà ai
~
÷èñëà
~
( | | | |A a aÑÎÊ � 1 2 �
� �| | | | | | | | | | | | )
~
a a a a ai i i n n� � �1 1 1 ïî ìîäóëþ mi èçâåñòíûìè â ÑÎÊ ìåòîäàìè.
Èñõîäÿ èç èçëîæåííîãî, ñóòü äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ ñîñòîèò â íàõîæ-
äåíèè ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
÷èñëà
~
( | | | | | | | | | | | |
~
A a a a a ai i iÑÎÊ � � �1 2 1 1� �
� �| | | | | | )a an n k� .
Òàêèì îáðàçîì, ïðè äèàãíîñòèðîâàíèè ïðîìåæóòî÷íûõ ðåçóëüòàòîâ âû÷èñ-
ëåíèé ñóùåñòâóåò íåîáõîäèìîñòü â èõ ÷àñòîì äèàãíîñòèðîâàíèè, ò.å. â ÷àñòîì
îïðåäåëåíèè ÀÑ ÷èñåë. Îñíîâíîå òðåáîâàíèå ê ïðîöåññó êîíòðîëÿ äàííûõ — âû-
ñîêîå áûñòðîäåéñòâèå ðåàëèçàöèè ïðîöåäóðû äèàãíîñòèðîâàíèÿ, â ñëó÷àå äèàãíîñ-
òèðîâàíèÿ â ÑÎÊ — ýòî âûñîêàÿ îïåðàòèâíîñòü äèàãíîñòèðîâàíèÿ, ò.å. âûñîêîå
áûñòðîäåéñòâèå îïðåäåëåíèÿ ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
÷èñåë â ÑÎÊ.
Ðàññìîòðèì äâà îñíîâíûõ ìåòîäà äèàãíîñòèðîâàíèÿ äàííûõ, ïðåäñòàâëåí-
íûõ â ÑÎÊ [1, 2].
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2 183
Ïåðâûé ìåòîä äèàãíîñòèðîâàíèÿ. Àëüòåðíàòèâíóþ ñîâîêóïíîñòü W A(
~
) �
= { }m m ml l l1 2
, , ,�
�
íåïðàâèëüíîãî ÷èñëà
~
( | | | | | | | | | | | |
~
A a a a a ai i iÑÎÊ � � �1 2 1 1� �
� | | | | )a an n�1 ìîæíî îïðåäåëèòü ïîñëåäîâàòåëüíîé ïðîâåðêîé êàæäîãî îñíîâà-
íèÿ mi (i n�1, ) ÑÎÊ ñëåäóþùèì îáðàçîì. Îïðåäåëÿåòñÿ ñîâîêóïíîñòü ÷èñåë, èìå-
þùèõ îäèíàêîâîå çíà÷åíèå îñòàòêîâ ïî âñåì îñíîâàíèÿì ÑÎÊ, ÷òî è ÷èñëî
~
A,
êðîìå îäíîãî îïðåäåëåííîãî îñíîâàíèÿ, è îòëè÷àþùèõñÿ ëèøü çíà÷åíèÿìè âîç-
ìîæíûõ îñòàòêîâ ïî ýòîìó îñíîâàíèþ. Ñðåäè ýòîé ñîâîêóïíîñòè ÷èñåë ëèáî ìî-
æåò íå ñóùåñòâîâàòü íè îäíîãî ïðàâèëüíîãî ÷èñëà, ëèáî ìîæåò áûòü òîëüêî îäíî
ïðàâèëüíîå ÷èñëî.  ïîñëåäíåì ñëó÷àå ïîëó÷åííîå ÷èñëî âõîäèò â ÀÑ ïðîâåðÿå-
ìîãî íåïðàâèëüíîãî ÷èñëà
~
A. Ðàññìàòðèâàåìûé ìåòîä ïðåäïîëàãàåò ïîñëåäîâà-
òåëüíîå ïðîâåäåíèå àíàëîãè÷íûõ ïðîâåðîê äëÿ êàæäîãî èíôîðìàöèîííîãî îñíî-
âàíèÿ ÑÎÊ (êîíòðîëüíîå îñíîâàíèå âñåãäà âõîäèò â ñîâîêóïíîñòü îñíîâàíèé
ÀÑ). Ðåçóëüòàò òàêèõ ïîñëåäîâàòåëüíûõ ïðîâåðîê ïîëíîñòüþ è äîñòîâåðíî îïðå-
äåëÿåò ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
. Íåäîñòàòîê ðàññìîòðåííîãî ìåòîäà — íèç-
êàÿ îïåðàòèâíîñòü îïðåäåëåíèÿ ÀÑ. Ýòî îáóñëîâëåíî çíà÷èòåëüíûì âðåìåíåì
ïîñëåäîâàòåëüíîãî ïðîâåäåíèÿ äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ.
Âòîðîé ìåòîä äèàãíîñòèðîâàíèÿ. Ñ ïîìîùüþ äàííîãî ìåòîäà òàêæå ìîæ-
íî îïðåäåëèòü ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
. Ïðè ýòîì ïðîöåäóðà äèàãíîñòèðî-
âàíèÿ ÍÊÑ ïðîâîäèòñÿ íà îäíîâðåìåííîì ïàðàëëåëüíîì âû÷èñëåíèè âñåõ âîç-
ìîæíûõ ïðîåêöèé
~
( | | | | | | | | | | | | | | )A a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � íåïðàâèëüíî-
ãî ÷èñëà
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � è ïîñëåäóþùåì èõ
ñðàâíåíèè ñî çíà÷åíèåì âåëè÷èíû M mi
i
n
�
�
�
1
èíôîðìàöèîííîãî ÷èñëîâîãî
èíòåðâàëà (ïðîìåæóòêà) 0 1 �M äëÿ çàäàííîé ÑÎÊ. Â [1] äîêàçàíî, ÷òî íåîá-
õîäèìûì è äîñòàòî÷íûì óñëîâèåì âõîæäåíèÿ îñíîâàíèé ÑÎÊ â ÀÑ W A(
~
) �
= { }m m ml l l1 2
, , ,�
�
÷èñëà
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� �
ÿâëÿåòñÿ ïðàâèëüíîñòü (
~
)A Mi ÑÎÊ � åãî ïðîåêöèè
~
( | | | |A a ai ÑÎÊ � 1 2 �
� �| | | | | | | | | | )a a a ai i n n� � �1 1 1 .
Ðàñïàðàëëåëèâàíèå ïðîöåäóðû âû÷èñëåíèÿ âñåõ âîçìîæíûõ ïðîåêöèé
~
Ai ÑÎÊ �
� � � �( | | | | | | | | | | | | | | )a a a a a ai i n n1 2 1 1 1� � íåïðàâèëüíîãî ÷èñëà
~
( | | | |A a aÑÎÊ � 1 2 �
� �| | | | | | | | | | | | )a a a a ai i i n n� � �1 1 1 ïîâûøàåò îïåðàòèâíîñòü îïðåäåëåíèÿ ÀÑ.
Ðàññìîòðèì ïðèìåð äèàãíîñòèðîâàíèÿ äàííûõ íà îñíîâå èñïîëüçîâàíèÿ âòî-
ðîãî ìåòîäà. Ïóñòü íåîáõîäèìî îïðåäåëèòü ÀÑ ÷èñëà
~
( | | | | | | | | )AÑÎÊ � 0 0 0 0 5 , çà-
äàííîãî â ÑÎÊ èíôîðìàöèîííûìè m1 3� , m2 4� , m3 5� , m4 7� è êîíòðîëüíûì
m mk � �5 11 îñíîâàíèÿìè, ïðè ýòîì M m mi
i
n
i
i
� � �
� �
� �
1 1
4
420 è M M mn0 1�
��
�
�420 11 4620. Îðòîãîíàëüíûå áàçèñû Bi ( , )i n� �1 1 ÑÎÊ ñëåäóþùèå:
B1 1 0 0 0 0 1540� �( | | | | | | | | ) , m1 1� ; B2 0 1 0 0 0 3465� �( | | | | | | | | ) , m2 3� ;
B3 0 0 1 0 0 3696� �( | | | | | | | | ) , m3 4� ; B4 0 0 0 1 0 2640� �( | | | | | | | | ) , m4 4� ;
B5 0 0 0 0 1 2520� �( | | | | | | | | ) , m5 6� .
184 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
Ïðåäâàðèòåëüíî ïðîâåäåì êîíòðîëü ÷èñëà AÑÎÊ � ( | | | | | | | | )0 0 0 0 5 .  ñîîò-
âåòñòâèè ñ ïðîöåäóðîé êîíòðîëÿ [1, 4] îïðåäåëèì çíà÷åíèå èñõîäíîãî ÷èñëà
â ïîçèöèîííîé äåñÿòè÷íîé ñèñòåìå ñ÷èñëåíèÿ (ÏÑÑ)
A a B M a B Mi i
i
n
i i
i
ÏÑÑ mod mod�
�
�
�
�
�
�
�
�
�
� �
�
�
� �
1
1
0
1
5
0)
�
�
�
�
�
�( )a B a B a B a B a B M1 1 2 2 3 3 4 4 5 5 0mod
�
�
�
�
�
�( )0 1540 0 3465 0 3696 0 2640 5 2520 4620mod
�
� � �( ) ( )5 2520 4620 12600 4620 3360 420mod mod .
Òàêèì îáðàçîì, â ïðîöåññå êîíòðîëÿ îïðåäåëåíî, ÷òî A MÏÑÑ � � �3360 420.
 ýòîì ñëó÷àå ïðè ïðåäïîëîæåíèè âîçíèêíîâåíèÿ òîëüêî îäíîêðàòíûõ îøèáîê äåëàåòñÿ
âûâîä î òîì, ÷òî ðàññìàòðèâàåìîå ÷èñëî
~
( | | | | | | | | )A3360 0 0 0 0 5� íåïðàâèëüíîå, ò.å. èñ-
êàæåí îäèí èç îñòàòêîâ ÷èñëà. Äàëåå îïðåäåëèì ÀÑ ÷èñëà
~
( | | | | | | | | )A3360 0 0 0 0 5� .
 ñîîòâåòñòâèè ñî âòîðûì ìåòîäîì äèàãíîñòèðîâàíèÿ äàííûõ îïðåäåëèì ÀÑ, ñîñòàâèâ
âîçìîæíûå ïðîåêöèè
~
A j ( , )j �15 ÷èñëà
~
A3360 � ( | | | | | | | | )0 0 0 0 5 :
~
( | | | | | | )A1 0 0 0 5� ,
~
( | | | | | | )A2 0 0 0 5� ,
~
( | | | | | | )A3 0 0 0 5� ,
~
( | | | | | | )A4 0 0 0 5� è
~
( | | | | | | )A5 0 0 0 0� .
Ôîðìóëà äëÿ âû÷èñëåíèÿ çíà÷åíèé
~
A jÏÑÑ ïðîåêöèé ÷èñëà â ÏÑÑ èìååò âèä [1]
~
;
,
A a B Mj
i
n
j n
i ij jÏÑÑ mod� �
�
�
�
�
��
�
�
� �
�
1
1 1
�
�
� �
( )a B a B a B Mj j n nj j1 1 2 2 � mod . (1)
 ñîîòâåòñòâèè ñ ôîðìóëîé (1) âû÷èñëèì âñå çíà÷åíèÿ A jÏÑÑ. Äàëåå ïðîâå-
äåì ( )n �1 -å ñðàâíåíèå ÷èñåë
~
A jÏÑÑ è ÷èñëà M M mn� �0 1/ , ãäå M mi
i
n
0
1
1
�
�
�
� .
Åñëè ñðåäè ïðîåêöèé
~
AiÏÑÑ åñòü ÷èñëà, íå íàõîäÿùèåñÿ âíóòðè èíôîðìàöèîí-
íîãî [ , )0 M ÷èñëîâîãî èíòåðâàëà (ò.å.
~
A Mk ÏÑÑ � ), ñîäåðæàùåãî k ïðàâèëüíûõ
÷èñåë, çíà÷èò, ýòè k îñòàòêîâ ÷èñëà
~
AÑÎÊ íå èñêàæåíû. Îøèáî÷íûìè ìîãóò ÿâ-
ëÿòüñÿ òîëüêî îñòàòêè, íàõîäÿùèåñÿ ñðåäè îñòàëüíûõ [( ) ]n k� �1 îñòàòêîâ ÷èñëà
~
AÑÎÊ . Íàáîð ðàññ÷èòàííûõ â [4] ÷àñòíûõ ðàáî÷èõ îñíîâàíèé è ÷àñòíûõ Bij îðòî-
ãîíàëüíûõ áàçèñîâ ÑÎÊ ïðåäñòàâëåíû ñîîòâåòñòâåííî â òàáë. 1 è 2.  ýòîì ñëó÷àå
èìååì, ÷òî
~
(A a B M a B a B ai i
i
1 1
1
4
1 1 11 2 21 3ÏÑÑ mod�
�
�
�
�
�
�
�
�
�
�
� B a B M31 4 41 1�
�)mod
�
�
�
�
� �( )0 385 0 616 0 1100 5 980 1540 280 420mod .
Äåëàåì âûâîä, ÷òî a1 — âîçìîæíî èñêàæeííûé îñòàòîê è
~
A a B Mi i
i
2 2
1
4
2ÏÑÑ mod�
�
�
�
�
�
�
�
�
�
�
�
�
�
�( )a B a B a B a B M1 12 2 22 3 32 4 42 2mod
�
�
�
�
� �( )0 385 0 231 0 330 5 210 1155 1050 420mod .
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2 185
Òàêèì îáðàçîì, ïîëó÷àåì, ÷òî a2 — äîñòîâåðíî íåèñêàæeííûé îñòàòîê è
~
(A a B M a B a B ai i
i
3 3
1
4
3 1 13 2 23 3ÏÑÑ mod�
�
�
�
�
�
�
�
�
�
�
� B33 �
�
�
�
�
�
� �a B M4 43 3 0 616 0 693 0 792 5 672 924 588) ( )mod mod 420.
Ïîëó÷àåì, ÷òî a3 — äîñòîâåðíî íåèñêàæeííûé îñòàòîê è
~
(A a B M a B a B ai i
i
4 4
1
4
4 1 14 2 24 3ÏÑÑ mod�
�
�
�
�
�
�
�
�
�
�
� B34 �
�
�
�
�
�
� �a B M4 44 4 0 220 0 165 0 369 5 540 660 60 4) ( )mod mod 20.
Òàêèì îáðàçîì, a4 — âîçìîæíî èñêàæeííûé îñòàòîê è
~
A a B Mi i
i
5 5
1
4
5ÏÑÑ mod�
�
�
�
�
�
�
�
� .
Ïîñêîëüêó M M5 420� � , îñòàòîê a5 ïî ìîäóëþ m mk � 5 âñåãäà áóäåò â ñî-
âîêóïíîñòè âîçìîæíî èñêàæeííûõ îñòàòêîâ ÷èñëà â ÑÎÊ.
Òàêèì îáðàçîì, äëÿ ÷èñëà
~
( | | | | | | | | )AÑÎÊ � 0 0 0 0 5 îïðåäåëåíû äîñòîâåðíî íå-
èñêàæeííûå îñòàòêè a2 0� è a3 0� . Îøèáî÷íûìè ìîãóò ÿâëÿòüñÿ îñòàòêè ïî
îñíîâàíèÿì m1, m4 è m5 , ò.å. îñòàòêè a1 0� , a4 0� è a5 5� .  ýòîì ñëó÷àå äëÿ
÷èñëà
~
( | | | | | | | | )AÑÎÊ � 0 0 0 0 5 ÀÑ áóäåò ðàâíà ñîâîêóïíîñòè îñíîâàíèé ÑÎÊ
W A m m m(
~
) , ,� { }1 4 5 .
Ïðèìåíåíèå âòîðîãî ìåòîäà äèàãíîñòèðîâàíèÿ äàííûõ ïîçâîëÿåò íåñêîëüêî
óñêîðèòü ïðîöåññ îïðåäåëåíèÿ ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
÷èñëà
~
AÑÎÊ �
� � � �( | | | | | | | | | | | | | | | | )
~
a a a a a a ai i i n n1 2 1 1 1� � çà ñ÷åò âîçìîæíîñòè ïàðàëëåëüíî âî
âðåìåíè îïðåäåëÿòü çíà÷åíèÿ ïðîåêöèé
~
A j íåïðàâèëüíîãî ÷èñëà
~
( | | | |A a aÑÎÊ � 1 2 �
� �| | | | | | | | | | | | )
~
a a a a ai i i n n� � �1 1 1 . Îäíàêî îòìåòèì, ÷òî äëÿ âòîðîãî ìåòîäà ïðî-
öåäóðà îïðåäåëåíèÿ ÀÑ ÷èñëà ñîäåðæèò òàêèå îñíîâíûå îïåðàöèè: ïåðåâîä ÷èñ-
ëà
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � èç ÑÎÊ â ÏÑÑ, ïåðåâîä
ïðîåêöèé
~
( | | | | | | | | | | | | | | )A a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � íåïðàâèëüíîãî ÷èñëà
~
AÑÎÊ èç ÑÎÊ â ÏÑÑ è ñðàâíåíèå èõ ÷èñåë ñ âåëè÷èíîé M .  ÑÎÊ ïåðå÷èñëåí-
186 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
Íîìåð
ïðîåêöèè
÷èñëà
â ÑÎÊ
Íîìåð îñíîâàíèÿ çàäàííîé ÑÎÊ
m1 m2 m3 m4
M j
1 4 5 7 11 1540
2 3 5 7 11 1155
3 3 4 7 11 924
4 3 4 5 11 660
5 3 4 5 7 420
Ò à á ë è ö à 1 . Íàáîð ÷àñòíûõ ðàáî÷èõ
îñíîâàíèé ÑÎÊ
Íîìåð
ïðîåêöèè
÷èñëà
â ÑÎÊ
Íîìåð îñíîâàíèÿ çàäàííîé ÑÎÊ
1 2 3 4
1 385 616 1100 980
2 385 231 330 210
3 616 693 792 672
4 220 165 396 540
5 280 105 336 120
Ò à á ë è ö à 2 . ×àñòíûå îðòîãîíàëüíûå
áàçèñû Bij ÑÎÊ
íûå îïåðàöèè îòíîñÿòñÿ ê íåïîçèöèîííûì, òðåáóþùèì çíà÷èòåëüíûõ âðåìåí-
íûõ è àïïàðàòíûõ çàòðàò íà ðåàëèçàöèþ. Òåõíè÷åñêàÿ ðåàëèçàöèÿ ïðîöåäóðû
êîíòðîëÿ ðàññìîòðåíà â [6–9].
Íåäîñòàòêè âòîðîãî è ïåðâîãî ìåòîäîâ äèàãíîñòèðîâàíèÿ äàííûõ àíàëîãè÷-
íû: çíà÷èòåëüíîå âðåìÿ îïðåäåëåíèÿ ÀÑ. Òàêèì îáðàçîì, íå ðåøåíà âàæíàÿ è àê-
òóàëüíàÿ çàäà÷à ïîâûøåíèÿ îïåðàòèâíîñòè äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ.
ÌÅÒÎÄ ÎÏÅÐÀÒÈÂÍÎÃÎ ÄÈÀÃÍÎÑÒÈÐÎÂÀÍÈß ÄÀÍÍÛÕ, ÏÐÅÄÑÒÀÂËÅÍÍÛÕ Â ÑÎÊ
Îòìåòèì, ÷òî äëÿ âñåõ ñóùåñòâóþùèõ ìåòîäîâ äèàãíîñòèðîâàíèÿ äàííûõ
â ÑÎÊ ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
íåïðàâèëüíîãî ÷èñëà
~
( | | | |A a aÑÎÊ � 1 2 �
� �| | | | | | | | | | | | )
~
a a a a ai i i n n� � �1 1 1 îïðåäåëÿåòñÿ âî âñåì èíòåðâàëå [ , ( ) )jM j M�1
÷èñëîâîé îñè 0 0 M , â êîòîðîì ñîäåðæèòñÿ èñõîäíîå ÷èñëî
~
( | | | |A a aÑÎÊ � 1 2 �
� �| | | | | | | | | | | | )
~
a a a a ai i i n n� � �1 1 1 .  ýòîì ñëó÷àå ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
áóäåò èäåíòè÷íîé êàæäîìó èç ÷èñåë
~
[ , ( ) )A jM j Ml � �1 , íàõîäÿùèõñÿ â ýòîì
èíòåðâàëå. Òàêèì îáðàçîì, ïðè îïðåäåëåíèè ÀÑ W A(
~
) ÷èñëà
~
A ó÷èòûâàåòñÿ
òîëüêî ìåñòîïîëîæåíèå èíòåðâàëà [ , ( ) )jM j M�1 íà ÷èñëîâîé îñè 0 M 0 ,
â êîòîðîì ëåæèò ÷èñëî
~
A, è íå ó÷èòûâàåòñÿ ìåñòîïîëîæåíèå ÷èñëà
~
A
âíóòðè èíòåðâàëà [ , ( ) )jM j M�1 . Ýòî ïðèâîäèò ê òîìó, ÷òî ÀÑ W A(
~
) �
� { }m m ml l l1 2
, , ,�
�
ìîæåò ñîäåðæàòü èçáûòî÷íîå êîëè÷åñòâî îñíîâàíèé. Ïîñ-
ëåäíåå îáóñëîâëèâàåò íåîáõîäèìîñòü ïðèâëå÷åíèÿ è èñïîëüçîâàíèÿ äîïîëíè-
òåëüíûõ âðåìåííûõ è àïïàðàòíûõ ðåñóðñîâ äëÿ ðåàëèçàöèè íåîáõîäèìûõ ýòà-
ïîâ îïðåäåëåíèÿ ÓÀÑ. Äàííîå îáñòîÿòåëüñòâî â ïåðâóþ î÷åðåäü îáóñëîâëèâà-
åò çíà÷èòåëüíîå âðåìÿ äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ. Òàêèì îáðàçîì, äëÿ
ïîâûøåíèÿ îïåðàòèâíîñòè äèàãíîñòèðîâàíèÿ äàííûõ, ïðåäñòàâëåííûõ â ÑÎÊ,
íåîáõîäèìî èçáàâèòüñÿ îò ÷àñòè ñîäåðæàùèõñÿ â ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
èçáûòî÷íûõ îñíîâàíèé.
Ñóòü ïðåäëàãàåìîãî ìåòîäà ïîâûøåíèÿ îïåðàòèâíîñòè äèàãíîñòèðîâàíèÿ
äàííûõ â ÑÎÊ çàêëþ÷àåòñÿ â òîì, ÷òî ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
îïðåäåëÿåòñÿ
íå âî âñåì èíòåðâàëå [ , ( ) )jM j M�1 , ñîäåðæàùåì íåïðàâèëüíîå ÷èñëî
~
AÑÎÊ ,
à òîëüêî â ìåíüøåì ïî âåëè÷èíå ÷èñëîâîì èíòåðâàëå �A A A M( ) ( )(
~ ~
)í í� � � ,
ãäå A nÑÎÊ
í( ) ( | | | | | | | | )� �0 0 0 1� � — íóëåâèçèðîâàííîå ÷èñëî â ÑÎÊ. Ïðîöåäóðà íó-
ëåâèçàöèè ÷èñåë â ÑÎÊ ñîñòîò â ïåðåõîäå îò èñõîäíîãî ÷èñëà
~
AÑÎÊ �
� � � �( | | | | | | | | | | | | | | | | )
~
a a a a a a ai i i n n1 2 1 1 1� � ê ÷èñëó A n
( ) ( | | | | | | | | )í � �0 0 0 1� �
ñ ïîìîùüþ òàêîé ïîñëåäîâàòåëüíîñòè ïðåîáðàçîâàíèé, ïðè êîòîðîé íå ïðîèñõî-
äèò âûõîä ïðîìåæóòî÷íîãî ÷èñëà çà ðàáî÷èé 0 1 �M äèàïàçîí. Ïðîöåäóðà íó-
ëåâèçàöèè ðåàëèçóåòñÿ ïîñðåäñòâîì ðàçëè÷íûõ ìåòîäîâ [1]. Ñóòü âñåõ ìåòîäîâ
íóëåâèçàöèè çàêëþ÷àåòñÿ â ïîñëåäîâàòåëüíîì âû÷èòàíèè èç èñõîäíîãî ÷èñëà
~
( | | | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n n kÑÎÊ � � � �1 2 1 1� � � íåêîòîðûõ ìèíèìàëüíûõ
÷èñåë ÊÍ( )i , íàçûâàåìûõ êîíñòàíòàìè íóëåâèçàöèè (ÊÍ), òàêèõ, ÷òî ÷èñëî
~
AÑÎÊ
ïðåîáðàçóåòñÿ â ÷èñëî âèäà A n
( ) ( | | | | | | | | )í � �0 0 0 1� � áåç âûõîäà çíà÷åíèÿ ÷èñëà
~
AÑÎÊ çà ÷èñëîâîé äèàïàçîí [ , )0 M . Ãåîìåòðè÷åñêè îïåðàöèÿ íóëåâèçàöèè ñîîò-
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2 187
âåòñòâóåò ñìåùåíèþ èñõîäíîãî ÷èñëà
~
( | | | | | | | | | | | |
~
A a a a a ai i iÑÎÊ � � �1 2 1 1� �
� | | | | )a an n�1 íà ëåâûé êðàé j M
÷èñëîâîãî èíòåðâàëà [ , ( ) )jM j M�1 åãî íàõîæ-
äåíèÿ. Òàêèì îáðàçîì, äëÿ óñòðàíåíèÿ èçáûòî÷íîñòè ÀÑ
W A m m ml l l(
~
) , , ,� { }
1 2
�
�
çà ñ÷åò ñîêðàùåíèÿ äëèíû èíòåðâàëà íàõîæäåíèÿ ÷èñ-
ëà
~
AÑÎÊ ïðåäëàãàåòñÿ îïðåäåëèòü çíà÷åíèÿ A n
( ) ( | | | | | | | | )í � �0 0 0 1� � è
�A A A( ) ( )(
~ ~
)í í� � .  ñîîòâåòñòâèè ñ ðàñïðåäåëåíèåì îøèáîê ïî èíòåðâàëàì ðà-
áî÷åãî äèàïàçîíà [ , )0 M [1] ïðåäâàðèòåëüíî äëÿ êàæäîãî èíòåðâàëà
[ , ( ) )jM j M�1 ñîñòàâëÿþòñÿ äâóâõîäîâûå òàáëèöû ñîîòâåòñòâèé W A(
~
) �
� �� �( , )( )
� n A1
í .  ýòîì ñëó÷àå ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
îïðåäåëÿåòñÿ íå
âî âñåì èíòåðâàëå [ , ( ) )jM j M�1 , ñîäåðæàùåì íåïðàâèëüíîå ÷èñëî
~
A, à òîëüêî
â ÷èñëîâîì èíòåðâàëå �A ( )í .
Ðàññìîòðèì ìåòîä îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ äàííûõ, ïðåäñòàâëåííûõ
â ÑÎÊ.
1. Ñîñòàâëÿåòñÿ äâóâõîäîâàÿ (äâóêîîðäèíàòíàÿ) òàáëèöà W A(
~
) �
� �� �( , )( )
� n A1
í ñîäåðæèìîãî çíà÷åíèé ÀÑ. Êàæäîé ïàðå çíà÷åíèé: � n�1 è
�A ( )í , ñîîòâåòñòâóåò îïðåäåëåííàÿ ñîâîêóïíîñòü îñíîâàíèé ÀÑ.
2. Ïîñðåäñòâîì ñîâîêóïíîñòè ÊÍ( )i èñõîäíîå íåïðàâèëüíîå ÷èñëî
~
( | | | | | | | | | | | | | | | | )
~
A a a a a a a ai i i n nÑÎÊ � � � �1 2 1 1 1� � ïðåîáðàçóåòñÿ (íóëåâèçèðóåò-
ñÿ) â ÷èñëî âèäà A n
( ) ( | | | | | | | | )í � �0 0 0 1� � . Ïîëó÷àåì çíà÷åíèå � n�1 ïåðâîé êîîð-
äèíàòû òàáëèöû W A An(
~
) ( , )( )� �� �� 1
í .
3. Îïðåäåëÿåòñÿ ðàçíîñòü �A A A( ) ( )~ ~í í� � .  ýòîì ñëó÷àå ïîëó÷àåì çíà÷å-
íèå �A ( )í âòîðîé êîîðäèíàòû òàáëèöû ñîîòâåòñòâèé W A An(
~
) ( , )( )� �� �� 1
í .
4. Ïî ïîëó÷åííûì çíà÷åíèÿì äâóõ êîîðäèíàò: �A ( )í è � n�1, èñïîëüçóÿ
äâóâõîäîâóþ òàáëèöó ñîîòâåòñòâèé W A An(
~
) ( , )( )� �� �� 1
í , îïðåäåëÿåì êîí-
êðåòíîå çíà÷åíèå ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
íåïðàâèëüíîãî ÷èñëà
~
AÑÎÊ �
� � � �( | | | | | | | | | | | | | | | | )
~
a a a a a a ai i i n n1 2 1 1 1� � â ÑÎÊ.
Ïðèâåäåì ïðèìåð äèàãíîñòèðîâàíèÿ ÍÊÑ
~
( | | | | )AÑÎÊ � 0 1 2 ïðåäëîæåííûì
â äàííîé ñòàòüå ìåòîäîì îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ äàííûõ ïðè èñïîëüçî-
âàíèè ðåçóëüòàòà îïåðàöèè îïðåäåëåíèÿ ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
èñõîäíîãî
÷èñëà. Ðàññìàòðèâàåìàÿ ÑÎÊ ïðåäñòàâëåíà îñíîâàíèÿìè m1 2� , m2 3� ,
m mn3 1 5� �� ; M �
�2 3 6; M 0 2 3 5 30�
� . Â òàáë. 3 ïðèâåäåíû êîäîâûå ñëîâà
â ÏÏÑ è ÑÎÊ.  òàáë. 4, 5 ïðåäñòàâëåíû çíà÷åíèÿ ÊÍ, èñïîëüçîâàíèå êîòî-
ðûõ ïîçâîëÿåò ïðèâåñòè èñõîäíîå ÷èñëî
~
( | | | | )AÑÎÊ � 0 1 2 ê ÷èñëó âèäà
~
( | | | | )( )A n
í � �0 0 1� .  òàáë. 6 ïðèâåäåí ïîëíûé ïåðå÷åíü çíà÷åíèé ÀÑ W A(
~
) ֏-
ñåë
~
A äëÿ äàííîé ÑÎÊ, çäåñü Zi (i �1 4, ) îáîçíà÷åíû íîìåðà âõîäîâ òàáëèöû çíà-
÷åíèé ÀÑ W A(
~
).
Àëüòåðíàòèâíàÿ ñîâîêóïíîñòü W A(
~
) ÷èñëà
~
( | | | | )AÑÎÊ � 0 1 2 îïðåäåëÿåòñÿ
ñëåäóþùèì îáðàçîì. Ðàçíîñòü �A A A( ) ( )(
~ ~
) ( | | | | )í í� � � 0 1 4 â äåñÿòè÷íîì êîäå
ðàâíà ÷åòûðåì (ñì. òàáë. 3), ãäå
~
( | | | | )( )A í � 0 0 3 . Ïî ïîëó÷åííûì çíà÷åíèÿì
188 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
�A ( )í � 4 è � n� �1 3 (ñì. òàáë. 6) îïðåäåëèì ÀÑ W A m m(
~
) ,� { }2 3 . Ïîñêîëüêó äëÿ
äàííîé ÑÎÊ ìàêñèìàëüíîå çíà÷åíèå ÀÑ W A m m m(
~
) , ,� { }1 2 3 , î÷åâèäíî ñëåäóþ-
ùåå íåðàâåíñòâî W A W A(
~
) (
~
)� .
Òàêèì îáðàçîì, êîëè÷åñòâî îñíîâàíèé â ÀÑ W A m m(
~
) ,� { }2 3 ïî ñðàâíåíèþ
ñ ìàêñèìàëüíî âîçìîæíûì óìåíüøàåòñÿ ïðèáëèçèòåëüíî íà 30%. Äàííîå îáñòîÿ-
òåëüñòâî ïîçâîëÿåò ñîêðàòèòü êîëè÷åñòâî ïðîâåðîê îñíîâàíèé ÑÎÊ äëÿ îïðåäå-
ëåíèÿ èñêàæåííîãî îñòàòêà â ÷èñëå
~
( | | | | )AÑÎÊ � 0 1 2 , ÷òî ñíèæàåò âðåìÿ äèàãíîñ-
òèðîâàíèÿ ÍÊÑ è ïîâûøàåò îïåðàòèâíîñòü äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ.
Òåõíè÷åñêàÿ ðåàëèçàöèÿ ïðîöåäóðû äèàãíîñòèðîâàíèÿ ïðåäñòàâëåíà â [10].
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2 189
×èñëî À
â ÏÑÑ
×èñëî À â ÑÎÊ ×èñëî À
â ÏÑÑ
×èñëî À â ÑÎÊ
m1 2� m2 3� m3 5� m1 2� m2 3� m3 5�
0 0 0 0 15 1 0 0
1 1 1 1 16 0 1 1
2 0 2 2 17 1 2 2
3 1 0 3 18 0 0 3
4 0 1 4 19 1 1 4
5 1 2 0 20 0 2 0
6 0 0 1 21 1 0 1
7 1 1 2 22 0 1 2
8 0 2 3 23 1 2 3
9 1 0 4 24 0 0 4
10 0 1 0 25 1 1 0
11 1 2 1 26 0 2 1
12 0 0 2 27 1 0 2
13 1 1 3 28 0 1 3
14 0 2 4 29 1 2 4
Ò à á ë è ö à 3 . Êîäîâûå ñëîâà â ÑÎÊ è ÏÑÑ
a1 KH
0 ( || || )0 0 0
1 ( || | | )1 1 1
Ò à á ë è ö à 4 . Êîíñòàíòû íóëåâèçàöèè
â ÑÎÊ ïî åå ïåðâîìó îñíîâàíèþ
a2 KH
0 ( || || )0 0 0
1 ( || | | )0 1 4
2 ( || | | )0 2 2
Ò à á ë è ö à 5 . Êîíñòàíòû íóëåâèçàöèè
â ÑÎÊ ïî åå âòîðîìó îñíîâàíèþ
×èñëîâîé èíòåðâàë
èçìåíåíèÿ âåëè÷èíû
�
~
A
Çíà÷åíèå îñòàòêà ÷èñëà ïî êîíòðîëüíîìó îñíîâàíèþ (�n� 1)
Âõîäû Z1 Âõîäû Z2
1 2 3 4
Âõîäû Z3
0 m3 m m2 3, m m1 3, m m2 3,
1 m3 m m2 3, m m1 3, m m2 3,
2 m3 m m2 3, m m m1 2 3, , m3
Âõîäû Z4
3 m3 m m m1 2 3, , m m2 3, m3
4 m m2 3, m m1 3, m m2 3, m3
5 m m2 3, m m1 3, m m2 3, m3
Ò à á ë è ö à 6 . Çíà÷åíèÿ ÀÑ W A(
~
)
Ïðèâåäeì êîíêðåòíûå îöåíêè ñëîæíîñòåé âðåìåííîé è îáóñëîâëåííîé êî-
ëè÷åñòâîì îáîðóäîâàíèÿ (ïàìÿòè) ðàññìîòðåííûõ ìåòîäîâ äèàãíîñòèðîâàíèÿ
äàííûõ â ÑÎÊ. Îïåðàòèâíîñòü äèàãíîñòèðîâàíèÿ äàííûõ ÿâëÿåòñÿ âàæíîé õàðàê-
òåðèñòèêîé äëÿ ïðåäëîæåííîãî â íàñòîÿùåé ñòàòüå ìåòîäà îïåðàòèâíîãî äèàãíîñòè-
ðîâàíèÿ äàííûõ. Â ñâÿçè ñ ýòèì îñíîâíîå âíèìàíèå óäåëèì îöåíêå âðåìåííîé
ñëîæíîñòè ïðîöåññà äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ.
 ÑÎÊ ñóùåñòâóåò âîçìîæíîñòü îöåíèâàòü âðåìåííóþ ñëîæíîñòü ìåòîäà
îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ äàííûõ. Ïî ñðàâíåíèþ ñ îïèñàííûìè ðàíåå
èçâåñòíûìè ìåòîäàìè ôîðìóëà äëÿ îöåíêè ïîâûøåíèÿ (â ïðîöåíòàõ) îïåðàòèâíîñ-
òè (ÎÏÎ) ñòÿãèâàíèÿ ÀÑ ÷èñåë â ÑÎÊ ê îäíîìó îøèáî÷íîìó îñíîâàíèþ èìååò âèä
ÎÏÎ �
�
�
1 1
1
100
/
%
M
n
.
Ïðèâåäeì ïðèìåðû êîíêðåòíîé îöåíêè âðåìåííîé ñëîæíîñòè äëÿ ðàçëè÷-
íûõ ÑÎÊ.
Äëÿ ÑÎÊ ñ èíôîðìàöèîííûìè îñíîâàíèÿìè m1 3� , m2 4� , m3 5� , m4 7� è
êîíòðîëüíûì m mn� � �1 5 11 , à òàêæå ñ âåëè÷èíîé M mi
i
� �
�
�
1
4
420 è n � 4 èìå-
åì, ÷òî ÎÏÎ �
�
1 1 420
5
100 20
– /
% %.
Äëÿ ÑÎÊ ñ èíôîðìàöèîííûìè îñíîâàíèÿìè m1 3� , m2 4� , m3 5� , m4 7� ,
m5 11� è êîíòðîëüíûì m mn� � �1 6 13, à òàêæå ñ âåëè÷èíîé M mi
i
� �
�
�
1
5
4620 è
n � 5 èìååì, ÷òî ÎÏÎ �
�
1 1 4620
6
100 15
– /
% %.
Ïðîâåäeì îöåíêó ñëîæíîñòè îáîðóäîâàíèÿ (âòîðîñòåïåííîé õàðàêòåðèñòè-
êè) äëÿ ðåàëèçàöèè ìåòîäîâ äèàãíîñòèðîâàíèÿ äàííûõ â ÑÎÊ. Äëÿ âñåõ ìåòîäîâ
äèàãíîñòèðîâàíèÿ íåîáõîäèìî èìåòü ïðèáëèçèòåëüíî îäèíàêîâûé îáúåì ïàìÿòè
äëÿ õðàíåíèÿ ÊÍ. Èçâåñòíûå ìåòîäû äèàãíîñòèðîâàíèÿ òðåáóþò çíà÷èòåëüíîãî
äîïîëíèòåëüíîãî êîëè÷åñòâà îáîðóäîâàíèÿ äëÿ ðåàëèçàöèè íåïîçèöèîííûõ îïå-
ðàöèé ïðåîáðàçîâàíèÿ ÷èñåë èç ÑÎÊ â ÏÑÑ è îáðàòíî. Êðîìå ýòîãî, òðåáóåòñÿ
äîïîëíèòåëüíîå êîëè÷åñòâî îáîðóäîâàíèÿ äëÿ ðåàëèçàöèè íåïîçèöèîííîé îïåðà-
öèè ñðàâíåíèÿ ÷èñåë â ÑÎÊ.
Äëÿ ïðåäëàãàåìîãî ìåòîäà îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ íåîáõîäèìî äî-
ïîëíèòåëüíîå îáîðóäîâàíèå äëÿ ðåàëèçàöèè îäíîé ïîçèöèîííîé îïåðàöèè âû÷è-
òàíèÿ âèäà
~ ~ ( )A A� í è òðåáóåòñÿ ÎÇÓ äëÿ îäíîêðàòíîé âûáîðêè çíà÷åíèÿ ÀÑ,
ðàçìåðíîñòüþ ( )m Mn� �
1 1 .
Îïðåäåëèì êîëè÷åñòâî ýëåìåíòîâ ïàìÿòè â óçëàõ ÎÇÓ (îáúåì ÎÇÓ) äëÿ ðàñ-
ñìàòðèâàåìûõ ÑÎÊ. Äëÿ ïåðâîé ÑÎÊ êîëè÷åñòâî ýëåìåíòîâ ïàìÿòè ðàâíî
( )m Mn� �
�
�1 1 10 420 4200 (ýëåìåíòîâ), äëÿ âòîðîé ÑÎÊ — ( )m Mn� �
�1 1
�
�12 4620 55440 (ýëåìåíòîâ). Äàííîå êîëè÷åñòâî ýëåìåíòîâ ïàìÿòè âïîëíå
ïðèåìëåìî ïðè ñóùåñòâóþùåé ýëåìåíòíîé áàçå (ÑÁÈÑ, ÏËÈÑ è äð.).
ÇÀÊËÞ×ÅÍÈÅ
 ñòàòüå ðàçðàáîòàí ìåòîä îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ îøèáîê äàííûõ,
ïðåäñòàâëåííûõ â ÑÎÊ. Ñóòü ïðåäëîæåííîãî ìåòîäà äèàãíîñòèðîâàíèÿ ñîñòî-
èò â ñîêðàùåíèè êîëè÷åñòâà îñíîâàíèé ÑÎÊ, ïî êîòîðûì âîçìîæíà îøèáêà.
Ýòî ïðèâåäåò ê ñîêðàùåíèþ êîëè÷åñòâà ýòàïîâ îïðåäåëåíèÿ ÓÀÑ, ÷òî ïîçâî-
ëèò óìåíüøèòü âðåìÿ ñòÿãèâàíèÿ ÀÑ W A m m ml l l(
~
) , , ,� { }
1 2
�
�
ê îäíîìó îøè-
190 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2 191
áî÷íîìó îñíîâàíèþ. Âðåìÿ äèàãíîñòèðîâàíÿ äàííûõ ïî ñðàâíåíèþ ñ èçâåñ-
òíûìè ìåòîäàìè óìåíüøàåòñÿ, âî-ïåðâûõ, çà ñ÷åò èñêëþ÷åíèÿ èç èçâåñòíûõ
ìåòîäîâ äèàãíîñòèðîâàíèÿ ïðîöåäóðû ïåðåâîäà ÷èñåë èç ÑÎÊ â ÏÑÑ è îïå-
ðàöèè ïîçèöèîííîãî ñðàâíåíèÿ ÷èñåë; âî-âòîðûõ, çà ñ÷åò ñîêðàùåíèÿ êîëè-
÷åñòâà îñíîâàíèé ÑÎÊ, ïî êîòîðûì âîçìîæíà îøèáêà; â-òðåòüèõ, çà ñ÷åò èñ-
ïîëüçîâàíèÿ òàáëè÷íîé âûáîðêè çíà÷åíèÿ ÀÑ ÷èñåë â ÑÎÊ çà îäèí òàêò.
Ïðåäëîæåííûé ìåòîä ïîçâîëÿåò óìåíüøèòü âðåìÿ äèàãíîñòèðîâàíèÿ îøèáîê
äàííûõ, ïðåäñòàâëåííûõ â ÑÎÊ, ÷òî ïîâûøàåò åãî îïåðàòèâíîñòü. Èñïîëüçî-
âàíèå ïðåäëîæåííîãî ìåòîäà îïåðàòèâíîãî äèàãíîñòèðîâàíèÿ äàííûõ ïîâû-
øàåò îáùóþ ýôôåêòèâíîñòü, ÷òî ïîäòâåðæäàåò öåëåñîîáðàçíîñòü åãî ïðèìå-
íåíèÿ â âû÷èñëèòåëüíûõ ñèñòåìàõ íåïîçèöèîííûõ êîäîâûõ ñòðóêòóð ÑÎÊ.
ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ
1. Àêóøñêèé È.ß., Þäèöêèé Ä.È. Ìàøèííàÿ àðèôìåòèêà â îñòàòî÷íûõ êëàññàõ. Ìîñêâà: Ñîâ.
ðàäèî, 1968. 440 ñ.
2. Òîðãàøîâ Â.À. Ñèñòåìà îñòàòî÷íûõ êëàññîâ è íàäåæíîñòü ÖÂÌ. Ìîñêâà: Ñîâ. ðàäèî, 1973.
118 ñ.
3. Ìîðîç Ñ.À., Êðàñíîáàåâ Â.À. Ìåòîäû êîíòðîëÿ, äèàãíîñòèêè è êîððåêöèè îøèáîê äàííûõ
â èíôîðìàöèîííî-òåëåêîììóíèêàöèîííîé ñèñòåìå, ôóíêöèîíèðóþùåé â êëàññå âû÷åòîâ.
²íôîðìàö³éíî-êåðóþ÷³ ñèñòåìè íà çàë³çíè÷íîìó òðàíñïîðò³. 2012. ¹ 2. Ñ. 60–78.
4. Êðàñíîáàåâ Â.À., Êîøìàí Ñ.À., Ìàâðèíà Ì.À. Ìåòîä èñïðàâëåíèÿ îäíîêðàòíûõ îøèáîê
äàííûõ, ïðåäñòàâëåííûõ êîäîì êëàññà âû÷åòîâ. Ýëåêòðîííîå ìîäåëèðîâàíèå. 2013. Ò. 35,
¹ 5. Ñ. 43–56.
5. Êðàñíîáàåâ Â.À., Êîøìàí Ñ.À., Ìàâðèíà Ì.À. Ìåòîä ïîâûøåíèÿ äîñòîâåðíîñòè êîíòðîëÿ
äàííûõ, ïðåäñòàâëåííûõ â ñèñòåìå îñòàòî÷íûõ êëàññîâ. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç.
2014. Ò. 50, ¹ 6. Ñ. 167–175.
6. Ïðèñòð³é äëÿ êîíòðîëþ äàíèõ êîìï’þòåðíèõ ïðèñòðî¿â òåëåêîìóí³êàö³éíî¿ ñèñòåìè, ùî
ôóíêö³îíóþòü ó êëàñ³ ëèøê³â ÄÏ íà êîðèñíó ìîäåëü: ïàò. 79673 Óêðà¿íà: ÌÏÊ G06F11/08.
¹ u 2012 13145; çàÿâë. 19.11.2012; Êðàñíîáàºâ Â.À., Ìàâð³íà Ì.Î., Êîøìàí Ñ.Î., Òèð-
òèøí³êîâ Î.²., Áóëüáà ª.Ì.; îïóáë. 25.04.2013, Áþë. ¹ 8. 7 ñ.
7. Ïðèñòð³é äëÿ êîíòðîëþ òà êîðåêö³¿ ïîìèëîê äàíèõ êîìï’þòåðíèõ ïðèñòðî¿â êîìó-
òàö³éíî-êîìóí³êàö³éíîãî âóçëà òåëåêîìóí³êàö³éíî¿ ìåðåæ³, ùî ôóíêö³îíóþòü ó êëàñ³
ëèøê³â: ïàò. 105436, Óêðà¿íà: ÌÏÊ G06F11/08 (2006.01); ¹ à 2013 00476; çàÿâë. 14.01.2013;
Êðàñíîáàºâ Â.À., Ìàâð³íà Ì.Î., Êîøìàí Ñ.Î., Òèðòèøí³êîâ Î.²., Ñëþñàðü ².².; îïóáë.
12.05.2014, Áþë. ¹ 9. 12 ñ.
8. Ïðèñòð³é äëÿ êîíòðîëþ äàíèõ êîìï’þòåðíèõ ïðèñòðî¿â òåëåêîìóí³êàö³éíî¿ ñèñòåìè, ùî
ôóíêö³îíóþòü ó êëàñ³ ëèøê³â: ïàò. ¹ 105455, Óêðà¿íà: ÌÏÊ G06F11/08 (2006.01); ¹ à 2013
07289; çàÿâë. 10.06.2013; Êðàñíîáàºâ Â.À., Ìàâð³íà Ì.Î,. Êîøìàí Ñ.Î., Òèðòèøí³êîâ Î.².,
Îðèùåíêî Ñ.À.; îïóáë. 12.05.2014, Áþë. ¹ 9. 10 ñ.
9. Ïðèñòð³é äëÿ êîíòðîëþ ïîìèëîê äàíèõ ó êîìï’þòåðíèõ ïðèñòðîÿõ êîìóòàö³éíî-êî-
ìóí³êàö³éíîãî âóçëà ³íôîðìàö³éíî-òåëåêîìóí³êàö³éíî¿ ñèñòåìè, ùî ôóíêö³îíóþòü ó êëàñ³
ëèøê³â: ïàò. ¹ 105742, Óêðà¿íà: ÌÏÊ G06F11/08 (2006.01); ¹ à 2013 08773; çàÿâë.
12.07.2013; Êðàñíîáàºâ Â.À., Ìàâð³íà Ì.Î., Êîøìàí Ñ.Î., Òèðòèøí³êîâ Î.²., Êóð÷à-
íîâ Â.Ì.; îïóáë. 10.06.2014, Áþë. ¹ 11. 8 ñ.
10. Ïðèñòð³é äëÿ êîíòðîëþ òà ä³àãíîñòèêè äàíèõ, ùî ïðåäñòàâëåí³ ó ñèñòåì³ çàëèøêîâèõ
êëàñ³â: ïàò. ¹ 112731, Óêðà¿íà: ÌÏÊ G06F11/08 (2006.01); ¹ à 2015 10904; çàÿâë.
09.11.2015; Âëàñåíêî À.Ì., Êðàñíîáàºâ Â.À., ßíêî À.Ñ., Êîøìàí Ñ.Î., Ðàññîìàõ³í Ñ.Ã.,
Ëàâðîâñüêà Ò.Â.; îïóáë. 10.10.2016, Áþë. ¹ 19. 12 ñ.
Íàä³éøëà äî ðåäàêö³¿ 03.04.2017
Â.À. Êðàñíîáàºâ, Ñ.Î. Êîøìàí
ÌÅÒÎÄ ÎÏÅÐÀÒÈÂÍÎÃΠIJÀÃÍÎÑÒÓÂÀÍÍß ÄÀÍÈÕ, ÙÎ ÏÐÅÄÑÒÀÂËÅͲ Ó ÑÈÑÒÅ̲
ÇÀËÈØÊÎÂÈÕ ÊËÀѲÂ
Àíîòàö³ÿ. Ðîçãëÿíóòî äâà ìåòîäè ä³àãíîñòóâàííÿ äàíèõ, ÿê³ ïðåäñòàâëåí³
ó ñèñòåì³ çàëèøêîâèõ êëàñ³â (ÑÇÊ). Ïîêàçàíî, ùî îñíîâíèì íåäîë³êîì äà-
íèõ ìåòîä³â, º çíà÷íèé ÷àñ ä³àãíîñòóâàííÿ äàíèõ ó ÑÇÊ. Çàïðîïîíîâàíèé
ìåòîä äîçâîëÿº çìåíøèòè ÷àñ ä³àãíîñòèêè ïîìèëîê äàíèõ, ïðåäñòàâëåíèõ ó
ÑÇÊ, ùî ï³äâèùóº éîãî îïåðàòèâí³ñòü. Âèêîðèñòàííÿ ìåòîäó îïåðàòèâíîãî
ä³àãíîñòóâàííÿ äàíèõ çá³ëüøóº çàãàëüíó åôåêòèâí³ñòü, ùî äîâîäèòü
äîö³ëüí³ñòü éîãî çàñòîñóâàííÿ â îá÷èñëþâàëüíèõ ñèñòåìàõ íåïîçèö³éíèõ êî-
äîâèõ ñòðóêòóð ó ÑÇÊ.
Êëþ÷åâûå ñëîâà: ñèñòåìà çàëèøêîâèõ êëàñ³â, êîíòðîëü äàíèõ, îïåðà-
òèâí³ñòü ä³àãíîñòóâàííÿ äàíèõ, íåïîçèö³éíèõ êîäîâà ñòðóêòóðà, àëüòåðíà-
òèâíà ñóêóïí³ñòü ÷èñëà.
V.A. Krasnobayev, S.A. Koshman
THE METHOD OF OPERATIONAL DATA DIAGNOSING REPRESENTED
IN THE RESIDUE NUMBER SYSTEM
Abstract. Two main methods for data diagnosis, which are presented in the
residue number system (RNS) are considered in the paper. It is shown that the
main problem of these methods is the considerable time of data diagnosis in
RNS. The proposed method makes it possible to reduce the errors diagnosis time
for the data presented in the RNS, which increases the efficiency of the
diagnosis. The use of the proposed method of operational data diagnosis
increases the overall effectiveness and expediency of its application in computer
systems of non-position code structures in RNS.
Keywords: residue number system, data control, speed of data diagnostics,
position-independent code structure, alternative aggregate of the number.
Êðàñíîáàåâ Âèêòîð Àíàòîëüåâè÷,
äîêòîð òåõí. íàóê, ïðîôåññîð êàôåäðû Õàðüêîâñêîãî íàöèîíàëüíîãî óíèâåðñèòåòà èì. Â.Í. Êàðàçèíà,
e-mail: krasnobaev_va@rambler.ru.
Êîøìàí Ñåðãåé Àëåêñàíäðîâè÷,
êàíäèäàò òåõí. íàóê, äîöåíò êàôåäðû Õàðüêîâñêîãî íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà
ñåëüñêîãî õîçÿéñòâà èìåíè Ïåòðà Âàñèëåíêî, e-mail: s_koshman@ukr.net.
192 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2018, òîì 54, ¹ 2
|