Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3»
Предложен новый подход к организации систем функционального контроля с обеспечением свойства полной самопроверяемости их структур на основе метода логического дополнения по равновесному коду «1 из 3». Подход основан на выделении групп выходов контролируемых устройств (по три выхода в каждой группе),...
Gespeichert in:
| Veröffentlicht in: | Электронное моделирование |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/115848 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Электронное моделирование. — 2016. — Т. 38, № 6. — С. 25-43. — Бібліогр.: 28 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862695695860891648 |
|---|---|
| author | Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. |
| author_facet | Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. |
| citation_txt | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Электронное моделирование. — 2016. — Т. 38, № 6. — С. 25-43. — Бібліогр.: 28 назв. — рос. |
| collection | DSpace DC |
| container_title | Электронное моделирование |
| 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.
|
| first_indexed | 2025-12-07T16:25:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-115848 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-12-07T16:25:34Z |
| publishDate | 2016 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| 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 |
| spellingShingle | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» Сапожников, В.В. Сапожников, Вл.В. Ефанов, Д.В. Вычислительные процессы и системы |
| title | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_alt | Formation of Totally Selfchecking Structures of Concurrent Error Detection Systems with the Use of Constant-weight Code “1-out-of-3” |
| title_full | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_fullStr | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_full_unstemmed | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_short | Построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| title_sort | построение полностью самопроверяемых структур систем функционального контроля с использованием равновесного кода «1 из 3» |
| topic | Вычислительные процессы и системы |
| topic_facet | Вычислительные процессы и системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/115848 |
| 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 |