О сколь угодно надежной реализации булевых функций неветвящимися программами с оператором условной остановки в базисах с обобщенной конъюнкцией

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщённую конъюнкцию. Предполагается, что вычислительные операторы программы независимо друг от друга подвержены неисправностям произвольного типа, в свою оче...

Full description

Bibliographic Details
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