Гладких Т. В. Верифікація динамічних параметрів електронних пристроїв на основі K-значного моделювання

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