Browsing by Author "Соломко, М. Т."

Now showing 1 - 4 of 4

Комбінаторний метод мінімізації булевих функцій
(Видавництво Львівської політехніки, 2017-03-28) Різник, В. В.; Соломко, М. Т.; Riznyk, V. V.; Solomko, M. T.; Національний університет “Львівська політехніка”; Lviv Polytechnic National University
Розглянуто нову процедуру алгебри логіки – суперсклеювання змінних, яка здійснюється за наявності у структурі таблиці істинності повної бінарної комбінаторної системи з повторенням або неповної бінарної комбінаторної системи з повторенням. Ефективність алгебричної операції суперсклеювання змінних істотно спрощує алгоритм мінімізації булевих функцій, що уможливлює мінімізацію функцій з кількістю змінних до 10.
Оптимізація перенесення при додаванні двійкових чисел у теоретико-числовому базисі Радемахера
(Видавництво Львівської політехніки, 2016) Соломко, М. Т.; Круліковський, Б. Б.
Розглянуто математичні моделі обчислювальної схеми у вигляді орієнтованого ациклічного графу для побудови паралельних суматорів з паралельним способом перенесення. Продемонстровано зв’язок між обчислювальними кроками орієнтованого ациклічного графу та процесом перенесення одиниці у схемі багаторозрядного суматора, що дає змогу визначати оптимальну кількість перенесень у схемі багаторозрядного паралельного суматора з паралельним способом перенесення у теоретико–числовому базисі Радемахера. Процес додавання двійкових чисел у схемі суматора використовує алгоритм логарифмічного підсумовування. The mathematical model of computer circuit as directed acyclic graph for the construction of parallel adders with parallel transfer method. Demonstrated communication between computing steps directed acyclic graph and the process of transfer of units in the scheme multibit adder that can determine the optimal number of transfers in the scheme multibit parallel adder with parallel transfer method in theoretical and numerical basis Rademacher. The process of adding binary numbers in the adder circuit uses an algorithm logarithmic summation.
Паралельний суматор без перенесення на логічних елементах XAND
(Видавництво Львівської політехніки, 2015) Соломко, М. Т.; Круліковський, Б. Б.; Николайчук, Я. М.
Розглянуто обчислення сигналів суми в паралельних схемах суматорів без перенесення на логічних елементах XAND. Подана структура логічного елемента XAND, синтаксис його функції, схема паралельного суматора без перенесення на логічних елементах XAND. Продемонстрована таблиця істинності для перевірки логіки схеми суматора. In the article the calculation of the amount of signals in parallel schemes of adders without transfering by the logical elements XAND. The composition of logic element XAND is represented and the syntax of its function. The scheme of parallel adder without transfering by the logic elements XAND is represented. Demonstrated a truth table to check logic schemes of adder.
Синтез комбінаторних систем за допомогою багатовимірних в'язанок
(Видавництво Національного університету "Львівська політехніка", 2008) Різник, В. В.; Соломко, М. Т.
Розглянуто методи синтезу комбінаторних конфігурацій (ВІВ-схем) за допомогою багатовимірних числових конструкцій – ідеальних кільцевих в’язанок (ІКВ). Запропоновано алгоритми перетворення багатовимірних ІКВ в класичні комбінаторні конфігурації. Розкриваються нові можливості застосування ІКВ у сучасній комбінаториці. Methods for synthesis of combinatorial configurations (BIB-designs) by means of multidimensional numerical constructions – so-called Ideal Ring Bundles (IRB)s has been considered. There are proposed algorithms of transition the multi-dimensional IRBs into classic combinatorial configurations. The methods discovers new possibilities for apply of the IRBs into modern combinatorial theo