О сколь угодно надежной реализации булевых функций неветвящимися программами с оператором условной остановки в базисах с обобщенной конъюнкцией
Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщённую конъюнкцию. Предполагается, что вычислительные операторы программы независимо друг от друга подвержены неисправностям произвольного типа, в свою оче...
Published in: | Прикладная дискретная математика № 43. С. 70-77 |
---|---|
Main Author: | |
Other Authors: | |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650868 Перейти в каталог НБ ТГУ |
LEADER | 02729nab a2200337 c 4500 | ||
---|---|---|---|
001 | vtls000650868 | ||
003 | RU-ToGU | ||
005 | 20230319214412.0 | ||
007 | cr | | ||
008 | 190320|2019 ru s c rus d | ||
024 | 7 | |a 10.17223/20710410/43/5 |2 doi | |
035 | |a to000650868 | ||
039 | 9 | |a 201903221510 |c 201903201621 |d VLOAD |y 201903201606 |z Александр Эльверович Гилязов | |
040 | |a RU-ToGU |b rus |c RU-ToGU | ||
100 | 1 | |a Грабовская, Светлана Михайловна |9 425212 | |
245 | 1 | 0 | |a О сколь угодно надежной реализации булевых функций неветвящимися программами с оператором условной остановки в базисах с обобщенной конъюнкцией |c С. М. Грабовская, М. А. Алехина |
246 | 1 | 1 | |a On the arbitrarily reliable implementation of Boolean functions by non-branching programs with a conditional stop operator in bases with generalized conjunction |
504 | |a Библиогр.: 10 назв. | ||
520 | 3 | |a Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщённую конъюнкцию. Предполагается, что вычислительные операторы программы независимо друг от друга подвержены неисправностям произвольного типа, в свою очередь, операторы условной остановки также ненадёжны. Доказано, что произвольную булеву функцию можно реализовать сколь угодно надёжной неветвящейся программой. | |
653 | |a булевы функции | ||
653 | |a неветвящиеся программы | ||
653 | |a оператор условной остановки | ||
653 | |a надежность | ||
655 | 4 | |a статьи в журналах |9 879358 | |
700 | 1 | |a Алехина, Марина Анатольевна |9 354236 | |
773 | 0 | |t Прикладная дискретная математика |d 2019 |g № 43. С. 70-77 |x 2071-0410 |w 0210-48760 | |
852 | 4 | |a RU-ToGU | |
856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650868 | |
856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=449194 | ||
908 | |a статья | ||
999 | |c 449194 |d 449194 |