Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3»
Предложен новый подход к организации систем функционального контроля с обеспечением свойства полной самопроверяемости их структур на основе метода логического дополнения по равновесному коду «1 из 3». Подход основан на выделении групп выходов контролируемых устройств (по три выхода в каждой группе),...
Saved in:
| Published in: | Электронное моделирование |
|---|---|
| Date: | 2016 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/115848 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Электронное моделирование. — 2016. — Т. 38, № 6. — С. 25-43. — Бібліогр.: 28 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-115848 |
|---|---|
| record_format |
dspace |
| spelling |
Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. 2017-04-14T11:08:27Z 2017-04-14T11:08:27Z 2016 Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Электронное моделирование. — 2016. — Т. 38, № 6. — С. 25-43. — Бібліогр.: 28 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/115848 681.518.5:004.052.32 Предложен новый подход к организации систем функционального контроля с обеспечением свойства полной самопроверяемости их структур на основе метода логического дополнения по равновесному коду «1 из 3». Подход основан на выделении групп выходов контролируемых устройств (по три выхода в каждой группе), удовлетворяющих требованию монотонной независимости, с последующим контролем их на основе равновесного кода «1 из 3» и объединением выходов отдельных тестеров на входах самопроверяемого компаратора. Приведены формулы для расчета контрольных функций дополнения, позволяющие формировать множества тестовых комбинаций не только для тестера кода «1 из 3», но и для всех сумматоров по модулю два в структуре блока логического дополнения. Сформулированы условия обеспечения полной самопроверяемости структуры. Запропоновано новий підхід до організації систем функціонального контролю із забезпеченням повної самоперевіряємості їх структур на основі методу логічного доповнення по рівноваговому коду «1 з 3». Підхід базовано на виділенні груп виходів контрольованих пристроїв (по три виходи в кожній групі), які задовольняють вимогу монотонної незалежност і, з їх наступним контролем на основі рівновагового коду «1 з 3» та об’єднання виходів окремих тестерів на входах самоперевіряємого компаратора. Наведено формули для розрахунку контрольних функцій доповнення, які дозволяють формувати множини тестових комбінацій не тільки для тестера коду «1 з 3», але й для всіх суматорів по модулю два в структурі блоку логічного доповнення. Сформульовано умови забезпечення повної самоперевіряємості структури. The new approach to concurrent error detection system organization with provision of property of totally self-checking structure based on Boolean complement method by constant-weight code “1-out-of-3” is offered in the paper. This approach is based on distinguishing the groups of outputs of tested device (three unidirectionally independent outputs in each) meeting the requirements of monotonous independence with their further test using “1-out-of-3” constant-weight code and unification of outputs of certain testers at the exits of self-checking comparator. Formulas of complement functions calculation are adduced; they allow providing the complex of test combinations for “1-out-of-3” code checker as well as for all XOR gates in Boolean complement block structure. Conditions providing totally self-checking of the structure are declared. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Вычислительные процессы и системы Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» Formation of Totally Selfchecking Structures of Concurrent Error Detection Systems with the Use of Constant-weight Code “1-out-of-3” Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| spellingShingle |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. Вычислительные процессы и системы |
| title_short |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_full |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_fullStr |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_full_unstemmed |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_sort |
построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| author |
Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. |
| author_facet |
Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. |
| topic |
Вычислительные процессы и системы |
| topic_facet |
Вычислительные процессы и системы |
| publishDate |
2016 |
| language |
Russian |
| container_title |
Электронное моделирование |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| title_alt |
Formation of Totally Selfchecking Structures of Concurrent Error Detection Systems with the Use of Constant-weight Code “1-out-of-3” |
| description |
Предложен новый подход к организации систем функционального контроля с обеспечением свойства полной самопроверяемости их структур на основе метода логического дополнения по равновесному коду «1 из 3». Подход основан на выделении групп выходов контролируемых устройств (по три выхода в каждой группе), удовлетворяющих требованию монотонной независимости, с последующим контролем их на основе равновесного кода «1 из 3» и объединением выходов отдельных тестеров на входах самопроверяемого компаратора. Приведены формулы для расчета контрольных функций дополнения, позволяющие формировать множества тестовых комбинаций не только для тестера кода «1 из 3», но и для всех сумматоров по модулю два в структуре блока логического дополнения. Сформулированы условия обеспечения полной самопроверяемости структуры.
Запропоновано новий підхід до організації систем функціонального контролю із забезпеченням повної самоперевіряємості їх структур на основі методу логічного доповнення по рівноваговому коду «1 з 3». Підхід базовано на виділенні груп виходів контрольованих пристроїв (по три виходи в кожній групі), які задовольняють вимогу монотонної незалежност і, з їх наступним контролем на основі рівновагового коду «1 з 3» та об’єднання виходів окремих тестерів на входах самоперевіряємого компаратора. Наведено формули для розрахунку контрольних функцій доповнення, які дозволяють формувати множини тестових комбінацій не тільки для тестера коду «1 з 3», але й для всіх суматорів по модулю два в структурі блоку логічного доповнення. Сформульовано умови забезпечення повної самоперевіряємості структури.
The new approach to concurrent error detection system organization with provision of property of totally self-checking structure based on Boolean complement method by constant-weight code “1-out-of-3” is offered in the paper. This approach is based on distinguishing the groups of outputs of tested device (three unidirectionally independent outputs in each) meeting the requirements of monotonous independence with their further test using “1-out-of-3” constant-weight code and unification of outputs of certain testers at the exits of self-checking comparator. Formulas of complement functions calculation are adduced; they allow providing the complex of test combinations for “1-out-of-3” code checker as well as for all XOR gates in Boolean complement block structure. Conditions providing totally self-checking of the structure are declared.
|
| issn |
0204-3572 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/115848 |
| citation_txt |
Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Электронное моделирование. — 2016. — Т. 38, № 6. — С. 25-43. — Бібліогр.: 28 назв. — рос. |
| work_keys_str_mv |
AT sapožnikovvv postroeniepolnostʹûsamoproverâemyhstruktursistemfunkcionalʹnogokontrolâsispolʹzovaniemravnovesnogokoda1iz3 AT sapožnikovvlv postroeniepolnostʹûsamoproverâemyhstruktursistemfunkcionalʹnogokontrolâsispolʹzovaniemravnovesnogokoda1iz3 AT efanovdv postroeniepolnostʹûsamoproverâemyhstruktursistemfunkcionalʹnogokontrolâsispolʹzovaniemravnovesnogokoda1iz3 AT sapožnikovvv formationoftotallyselfcheckingstructuresofconcurrenterrordetectionsystemswiththeuseofconstantweightcode1outof3 AT sapožnikovvlv formationoftotallyselfcheckingstructuresofconcurrenterrordetectionsystemswiththeuseofconstantweightcode1outof3 AT efanovdv formationoftotallyselfcheckingstructuresofconcurrenterrordetectionsystemswiththeuseofconstantweightcode1outof3 |
| first_indexed |
2025-12-07T16:25:34Z |
| last_indexed |
2025-12-07T16:25:34Z |
| _version_ |
1850867433791815680 |