Search academic texts

Information × Registration Number 2117U006597, Article popup.category Стаття, Опубліковано Title MATHEMATICAL MODEL OF BLOCKS DISCRETE TRONSFORM INFORMATION FOR SOFTWARE VERIFICATION PROGRAMMABLE LOGIC CONTROLLERS popup.author 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. popup.publication 14-07-2017 popup.source_user Національний університет «Полтавська політехніка імені Юрія Кондратюка» popup.source https://journals.nupp.edu.ua/sunz/article/view/376 popup.publisher Національний університет «Полтавська політехніка імені Юрія Кондратюка» Description Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових математичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмованими логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи математичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки роботи ПЛК, які розробляються із використанням технології FPGA. popup.nrat_date 2026-04-19 Close