1. ВІДГУК
офіційного опонента Мусієнка Максима Павловича на дисертаційну
роботу Лукашенка Володимира Андрійовича «Удосконалений таблично-
алгоритмічний метод і моделі апаратурної реалізації прецизійних обчислювачів
спеціального призначення» представлену на здобуття наукового ступеня
кандидата технічних наук за спеціальністю 05.13.05 – Комп’ютерні системи та
компоненти
Актуальність теми
Питання створення та подальшого вдосконалення нових компонентів
мікропроцесорних систем керування в області спеціального призначення є на
сьогоднішній день актуальною задачею. Проблеми підвищення ефективності
роботи сучасних засобів обчислювальної техніки недостатньо освітлені та
обумовлені постійним збільшенням складності задач керування, що
виконуються різними комп’ютерними системами. Особливо ці проблеми
характерні для класу таблично-алгоритмічних обчислювачів, призначених для
розв’язання нетрадиційних задач керування спеціального призначення.
Тому тема дисертаційної роботи, що присвячена удосконаленню
таблично-алгоритмічного методу та моделей апаратурної реалізації
обчислювачів спеціального призначення, безперечно, є актуальною з наукової
та практичної точки зору.
Дисертаційна робота виконувалась відповідно до планів НДР Міністерства
освіти і науки України: «Моделі локальних підсистем керування лазерним
випромінюванням для рішення траєкторних задач на базі таблично-
алгоритмічних методів апаратурної реалізації в проблемно-орієнтованих
системах», номер державної реєстрації 0109U002739; «Базові компоненти
мікропроцесорних систем керування лазерними технологічними комплексами
на основі таблично-алгоритмічних методів, моделей та теорії неповної
подібності», номер державної реєстрації 0113U00345, в яких автор брав участь.
Враховуючи все вище сказане, тему дисертації Лукашенка Володимира
Андрійовича «Удосконалений таблично-алгоритмічний метод і моделі
апаратурної реалізації прецизійних обчислювачів спеціального призначення»
безперечно, є актуальною з наукової та практичної точки зору.
Наукова новизна результатів дисертаційної роботи
1. Вперше розроблено та досліджено три типи багатофункціональних
логічних моделей для: змінювання значення завадостійкого коду в кодові
послідовності значень двох тригонометричних, гіперболічної функцій та в
натуральний двійковий код на базі формалізованого багатофункціонального
таблично-логічного методу та таблиць відповідностей; формування значень
решітчастої тригонометричної функції за відповідним номером решітки та
навпаки на базі таблиць відповідностей і формалізованого табличного логіко-
оборотного методу; апаратурної реалізації однотипної структури при
формуванні чотирьох тригонометричних функцій на базі синтезування
математичної таблиці й таблично-логічного методу. Вони забезпечують
функціонування обчислювачів.
2. Вперше розроблено графоаналітичний метод визначення кількості
2. кортежів для резервування, що забезпечує надійність функціонування
числового блоку пам’яті при збереженні потрібної швидкості прецизійного
обчислювача.
3. Удосконалено формалізований багатофункціональний таблично-
логічний метод відтворення прецизійних значень множини трансцендентних
функцій від значення завадостійкого коду з використанням таблиць
відповідностей, математичного апарату при створенні логічних схем на базі
булевих функцій та принципу багаторазового застосування одних і тих же
таблиць малорозрядних кортежів корегуючих констант, що забезпечує
ущільнення інформації пам’яті.
4. Отримало подальший розвиток підхід до побудови розширеної
класифікації моделей та методів відтворення багатьох функцій, що забезпечує
зменшення часу проектування обчислювачів спеціального призначення.
Практичне значення отриманих результатів
За результатами досліджень:
- розширено науково-технічну базу проектування для впровадження
багатьох моделей відтворення прецизійних значень класу елементарних
функцій;
- розроблено структурні схеми обчислювачів з однотипними
компонентами, що забезпечує зменшення часу на проектування, а багатократне
використання однакових констант зменшує апаратурні затрати та
енергоспоживання;
- побудовано фізичну модель, що змінює значення завадостійкого коду в
натуральний двійковий код і навпаки. Процедура дослідження цієї моделі
підтвердила верифікацію запропонованих теоретичних основ перетворення
кодів за допомогою таблиць відповідностей та швидкісних логічних операцій.
Основні результати дисертаційного дослідження знайшли застосування
при проведенні держбюджетних робіт: «Моделі локальних підсистем керування
лазерним випромінюванням для рішення траєкторних задач на базі таблично-
алгоритмічних методів апаратурної реалізації в проблемно-орієнтованих
системах», № 0109U002739; «Базові компоненти мікропроцесорних систем
керування лазерними технологічними комплексами на основі таблично-
алгоритмічних методів, моделей та теорії неповної подібності»,
№ 0113U003345.
Практичну цінність роботи підтверджено актами впровадження основних
результатів у Черкаському державному технологічному університеті МОН
України від 11.02.16 та довідками впровадження основних результатів
дисертаційного дослідження у НПК «Фотоприлад» (м. Черкаси) від 22.12.2014,
НДІЦ «АРМАТОМ» від 04.02.2016 та Інституті енергетики Академії наук
Молдови від 16.12.2015.
Наукова й інженерно-технічна новизна результатів і досліджень
підтверджується публікаціями і патентами України.
Достовірність та обґрунтованість наукових результатів
Наукові результати одержані за допомогою коректного застосування
математичного апарату, базуються на положеннях теорії алгебри логіки,
3. надійності,аналізу та синтезу. Результати, висновки та рекомендації в роботі
достатньо аргументовані та обґрунтовані, їх справедливість підкріплено
впровадженням у навчальний процес ЧДТУ і підприємства України та
Молдови.
Застосовані припущення та обмеження досить правомірні та
загальноприйняті.
Повнота викладення здобувачем основних результатів дисертаційної
роботи в публікаціях
Результати дисертаційної роботи достатньо повно викладені в 26
друкованих роботах, з них: 7 статей у фахових наукових виданнях України, 3
статті опубліковано за кордоном, 10 патентів на винахід та корисну модель, 6
тез доповідей на міжнародних конференціях.
Основні результати дослідження зареєстровані в наукометричних базах:
Copernicus; РІНЦ; Google Scholar; Polish Scholarly Bibliography.
Відповідність роботи встановленим вимогам
За важливістю і актуальністю обраної теми, обсягом і рівнем виконаних
теоретичних розробок і експериментальних досліджень, новизною і
практичною цінністю отриманих результатів дисертація Лукашенка В.А.
відповідає вимогам до робіт, які висуваються на здобуття наукового ступеня
кандидата технічних наук.
Робота відповідає паспорту спеціальності 05.13.05 – комп’ютерні системи
та компоненти.
Основні положення дисертації повністю відображені в наукових
публікаціях автора та пройшли апробацію на наукових міжнародних
конференціях.
Зміст автореферату відповідає основним положенням дисертації.
Недоліки та зауваження
1. Робота б набула іншої якості, якби дисертант навів переваги від
застосування отриманих ним результатів у конкретних сферах використання
сучасних обчислювачів, що наведені ним на рис.1.1.
2. Представлена робота виходить за рамки назви дисертації, оскільки
окрім зазначених в назві роботі моделей та удосконаленого методу, в дисертації
вперше розроблений графоаналітичний метод визначення кількості кортежем,
що зазначено у другому пункті наукової новизни.
3. В роботі отримано багато технічних рішень, цифрових значень переваг
розроблених методів та моделей. Проте опис експериментальної частини
занадто малий (невеликий розділ 4.5), що унеможливлює констатацію
отриманих переваг при теоретичному дослідженні.
4. В роботі слід було б більше уваги приділити важливому досягненню –
зменшенню енергоспоживанню. В більшості випадків окрім декларування про
зменшення енергозбереження інших чисельних показників не наводиться. При
тому викликає здивування отримане значення зменшення цього показника у 69
разів, про що зазначене у висновках.
4. 5. Було б доцільно в ІІІ розділі більше приділити уваги порівнянню
запропонованих логічних моделей з існуючими таблично-адитивними або
табличними адитивно-мультиплексорними моделями, навести конкретні цифри
переваг.
6. Наявні деякі зауваження по структурі представлення матеріалу,
наприклад, програму розрахунків корегуючих констант (стор. 63) достатньо
було б навести тільки в додатках тощо.
7. В роботі зустрічаються деякі незрозумілості трактування матеріалу,
наприклад, на стор. 31 дисертації не зрозуміло запис «крок таблиці h=1o»; двічі
(на стор. 24 та стор. 26 І-го розділу) описується принцип таблично-
алгоритмічного методу, тощо.
8. Наявні деякі редакторські та стилістичні неточності та помилки в
оформленні дисертації, при оформлені списку використаних джерел,
неправильні відмінки слів тощо.
Проте вказані недоліки не є принциповими і не знижують загального
високого рівня дисертаційної роботи.
Висновок
Представлена до захисту дисертація Лукашенка В.А. на тему
«Удосконалений таблично-алгоритмічний метод і моделі апаратурної реалізації
прецизійних обчислювачів спеціального призначення» є завершеною науковою
працею, в якій отримані нові рішення актуальної науково-практичної задачі
підвищення ефективності прецизійних обчислювачів спеціального
призначення на основі розробки нових моделей та вдосконалення
таблично-алгоритмічного методу для відтворення значень базових функцій
з використанням математичних таблиць і таблиць відповідностей.
Робота Лукашенка Володимира Андрійовича відповідає вимогам щодо
кандидатських дисертацій згідно «Порядку присудження наукових ступенів та
присвоєння вченого звання старшого наукового співробітника», а її автор
заслуговує присудження наукового ступеня кандидата технічних наук за
спеціальністю 05.13.05 – Комп’ютерні системи та компоненти.
Офіційний опонент,
декан факультету комп’ютерних наук
Чорноморського державного університету
імені Петра Могили,
д.т.н., професор М. П. Мусієнко
Підпис Мусієнка М.П. засвідчую:
Секретар вченої ради,
к.т.н., доцент М. В. Донченко
