An Upper Bound of Unreliability of Non-Branching Programs in an Arbitrary Complete Finite Basis for One-Type Constant Faults at the Outputs of Computational Operators
- Авторлар: Grabovskaya S.1, Alekhina M.2
-
Мекемелер:
- Penza State University
- Penza State Technological University
- Шығарылым: Том 39, № 9 (2018)
- Беттер: 1332-1342
- Бөлім: Part 2. Special issue “Actual Problems of Algebra and Analysis” Editors: A. M. Elizarov and E. K. Lipachev
- URL: https://journals.rcsi.science/1995-0802/article/view/203286
- DOI: https://doi.org/10.1134/S199508021809024X
- ID: 203286
Дәйексөз келтіру
Аннотация
The implementation of Boolean functions by non-branching programs with a conditional stop operator is considered in an arbitrary complete finite basis. We assume that conditional stop operators of the program are absolutely reliable while all computational operators are prone to the output one-type constant faults of either type 0 or type 1. An upper bound for unreliability of the programs was found in different bases. It was proved that in some cases any Boolean function can be implemented by the non-branching program of arbitrarily high preassigned reliability.
Авторлар туралы
S. Grabovskaya
Penza State University
Хат алмасуға жауапты Автор.
Email: swetazin@mail.ru
Ресей, ul. Krasnaya 40, Penza, 440026
M. Alekhina
Penza State Technological University
Email: swetazin@mail.ru
Ресей, proezd Baidukova/ul. Gagarina 1a/11, Penza, 440039