Пошук академічних текстів

Інформація × Реєстраційний номер 2117U006597, Матеріали видань та локальних репозитаріїв Категорія Стаття, Опубліковано Назва роботи МОДЕЛІ МАТЕМАТИЧНИХ БЛОКІВ ДИСКРЕТНОГО ПЕРЕТВОРЕННЯ ІНФОРМАЦІЇ ДЛЯ ВЕРИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ПРОГРАМОВАНИХ ЛОГІЧНИХ КОНТРОЛЕРІВ Автор Odarushchenko O. B.Odarushchenko O. M.Butenko V. O.Moscalets V. V.Strjuk O. Yu.Odarushchenko O. B.Odarushchenko O. M.Butenko V. O.Moscalets V. V.Strjuk O. Yu. Дата публікації 14-07-2017 Постачальник інформації Національний університет «Полтавська політехніка імені Юрія Кондратюка» Першоджерело https://journals.nupp.edu.ua/sunz/article/view/376 Видання Національний університет «Полтавська політехніка імені Юрія Кондратюка» Опис Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових математичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмованими логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи математичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки роботи ПЛК, які розробляються із використанням технології FPGA. Додано в НРАТ 2026-04-19 Закрити