Browsing by Author "Рицар, Б. Є."

Now showing 1 - 6 of 6

Алгоритм розділювальної функційної декомпозиції методом q-розбиття
(Видавництво Національного університету "Львівська політехніка", 2006) Рицар, Б. Є.; Швай, А. Ю.
Запропоновано алгоритм розділювальної декомпозиції булевих функцій, який грунтується на процедурі q-розбиття мінтермів. Порівняно з відомими алгоритмами відрізняється простотою комп’ютерної реалізації завдяки використанню декомпозиційних клонів. The separating decomposition algorithm of Boolean functions which is based on q-Partition minterms procedure has been proposed. Easy realisation in the shape of computer program because of using decompositional clone is its advantage.
Алгоритм та програма мінімізації логікових функцій у поліномному форматі
(Видавництво Львівської політехніки, 2019-10-31) Бєловолов, А.; Рицар, Б. Є.
Декомпозиційні властивості симетричних булевих функцій
(Видавництво Державного університету "Львівська політехніка", 2000) Рицар, Б. Є.
The properties of symmetry boolean functions have been considered by means of decomposition clounes. The conditions of existence of symmetry functions n variables have been shown.
Мінімізація системи логікових функцій методом паралельного розчеплення кон'юнктермів
(Видавництво Львівської політехніки, 2013) Рицар, Б. Є.
A new heuristic minimization method of logic functions of n variables has been suggested. It is based on the parallel splitting of conjuncterms and differs from the known methods for it is simpler in implementation due to less computational complexity. One disadvantage of the classical method of minimization by Quine-McCluskey method and its modifications is the formation at the stage of finding prime conjuncterms some set equal conjuncterms of different ranks, whose number increases rapidly with n increasing. Such negative phenomenon as tautology of conjuncterms mainly occurs in the methods that employ adjacency and absorption laws for the formation conjuncterms lower ranks with the pairs of adjacent conjuncterms. Accordingly, to obtain the reduced SOP of a given function, it is necessary to identify and reduce excessive conjuncterms and that requires certain procedural means and time-consuming. Heuristic minimization method, based on the parallel splitting conjuncterms of a given function is devoid of tautology problem. However, this method despite its other advantages, including the formalization of simple operations and procedures that enable them to automate your computer, requires a certain time for the procedure of stepwise (sequential) splitting. In addition, this paper considers only the case of minimization of one complete (fully defined) function, which limits the scope of its practical application. This work is devoted to the development of the mentioned minimization method of logic functions and is based on a new approach – parallel splitting of conjuncterms with just one matrix splitting of conjuncterms and performance in this matrix covering procedure as one function and of full and partial (incomplete specified) functions system. The theorem on the formation in a matrix of parallel splitting with not more than 2n-1 of conjuncterms 1-rank, no more than 2n-2 of conjuncterms 2-rank, ..., not more than two of conjuncterms (n-1)-rank has been proved. The time for obtaining the searched result is reduced and the way of procedure implementation is simplified due to the suggested approach. Advantages of the method are shown by the examples taken from publications of well-known authors which illustrate their methods of minimization of full and partial (incomplete specified) logic functions system. Запропоновано новий євристичний метод мінімізації логікових функцій від n змінних на основі паралельного розчеплення кон’юнктермів, що відрізняється від відомих методів простішою реалізацією за рахунок меншої обчислювальної складності. Переваги методу проілюстровано на прикладах мінімізації системи повних і неповних (недовизначених) функцій.
Про декомпозиційні клони булевих функцій
(Видавництво Державного університету «Львівська політехніка», 2000) Рицар, Б. Є.
Розглядається теоретико-множинний критерій декомпоновності булевих функцій n змінних, що ґрунтується на запропонованому понятті так званого декомпозиційного клона. Показано, як шляхом простих процедур розв’язується проблема доозначення часткових булевих функцій. Формулюється теорема про роздільну декомпозицію булевих функцій n змінних.
Спосіб побудови кон’юнктермового поля булової функції
(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Рицар, Б. Є.; Національний університет “Львівська політехніка“
Запропоновано простий щодо реалЬації спосіб побудови кон’юнктермового поля булової функції n змінних, який може бути використаний для пошуку простих кон’юнктермів у задачі мінімізації булових функцій.