Проаналізовано науково-технічну інформацію, що дозволяє систематизувати тенденції розвитку методів і засобів проектування обчислювальних пристроїв. Розроблено теоретичні основи математичного апарату, аналогічного булевому диференційному численню для дослідження цифрових пристроїв за \i K\i0-значного кодування сигналів і \i K\i0-значного диференційного опису цифрових елементів і пристроїв обчислювальної техніки. Визначено певні та непевні інтеграли та звичайні диференційні рівняння у \i K\i0-значно-числових просторах і досліджено їх властивості. З'ясовано \i K\i0-значні диференціальні рівняння із запізненням у \i K\i0-значно-числових просторах і розроблено методи їх рішення. Запропоновано теорію \i K\i0-значних диференційних рівнянь з частинними похідними, як основу при моделюванні цифрових пристроїв. Cтворено спеціалізовані нейронні мережі для розпізнавання процесів, що призводять до ризиків збоїв. Удосконалено систему моделювання на основі \i K\i0-значного диференційного числення, автоматизувавши виділення сигналів і перешкод, які призводять до ризиків збоїв, та забезпечивши потужностний аналіз перешкод, які можуть призводити до несанкціонованого спрацьовування елементів і пристроїв. За допомогою вдосконаленої системи моделювання на основі \i K\i0-значного диференційного числення проведено обчислювальні експерименти з моделювання різних цифрових пристроїв для верифікації теоретичних результатів, одержаних математичних моделей і розробленого комплексу програмних засобів.

• Леонов Сергій Юрійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"