Леонов С. Ю. Теорія автоматизованого проектування електронних пристроїв на основі К-значного моделювання

Об'єктом дослідження є процеси проектування сучасних обчислювальних пристроїв. Предметом дослідження є методи і моделі для дослідження обчислювальних пристроїв на основі K-значного диференційного числення. Метою роботи є розвиток теорії і методів моделювання обчислювальних пристроїв на основі K-значного кодування сигналів і K-значного диференційного числення, що забезпечує підвищення точності моделювання при необхідній швидкодії систем проектування електронних пристроїв з урахуванням перешкод. При дослідженні властивостей множин M і M m, а також метричних і топологічних просторів на множинах M і M m використовується теорія груп, кілець і решіток, теорія відносин, теорія метричних і топологічних просторів. При вирішенні завдань комплексного наскрізного проектування обчислювальних засобів використовується теорія моделювання та діагностики. При побудові моделей обчислювальних пристроїв з використанням K-значного алфавіту використовується теорія багатозначних алгебр. При розробці алгоритмів математичного моделювання в системі на основі K-значного диференційного числення використовується теорія K значних диференційних рівнянь. При вирішенні завдань автоматизації діагностики обчислювальних пристроїв використовується теорія нейронних мереж. При удосконаленні системи моделювання використовується потужностний аналіз сигналів і перешкод, теорія розпізнавання сигналів і теорія нейронних мереж адаптивної резонансної теорії. Наукова новизна досліджень полягає у вирішенні науково-прикладної проблеми підвищення ефективності автоматизованого проектування електронних пристроїв з урахуванням перешкод. Ступінь впровадження: НІПКІ "Молнія" (м. Харків), ПАТ Харківський тракторний завод ім. С. Орджонікідзе (м. Харків), ПАТ "Луганськтепловоз" (м. Луганськ), Окремі результати дисертаційної роботи впроваджено в навчальному процесі кафедри обчислювальної техніки та програмування НТУ "ХПІ".