Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://reposit.nupp.edu.ua/handle/PoltNTU/2718
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Одарущенко, О.Б. | - |
dc.contributor.author | Одарущенко, О.М. | - |
dc.contributor.author | Бутенко, В.О. | - |
dc.contributor.author | Москалець, В.В. | - |
dc.contributor.author | Стрюк, О.Ю. | - |
dc.date.accessioned | 2017-10-30T11:21:51Z | - |
dc.date.available | 2017-10-30T11:21:51Z | - |
dc.date.issued | 2017 | - |
dc.identifier.uri | http://reposit.pntu.edu.ua/handle/PoltNTU/2718 | - |
dc.description | Одарущенко О.Б. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів / О.Б. Одарущенко // Системи управління, навігації та зв’язку. – Полтава: ПолтНТУ, 2017. – Вип. 4 (44). – С. 40-45. | uk_UA |
dc.description.abstract | Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити додаткові дослідження над коштовним обладнанням. Перевірка коректності роботи базових математичних алгоритмів, що використовуються під час побудови логіки додатків, які виконуються програмованими логічними контролерами (ПЛК), є необхідним завданням етапу їх розробки. У даній статті наведені результати експериментальних досліджень, щодо можливостей використання, у вигляді верифікаційного механізму, потужності одного із найбільш розповсюджених пакетів комп’ютерної математики – Matlab. Даний пакет, а також його компонент Simulink, використовується із метою верифікації роботи математичних алгоритмів розроблених за допомогою мови VHDL, що є базовими блоками при побудові логіки роботи ПЛК, які розробляються із використанням технології FPGA. | uk_UA |
dc.language.iso | uk | uk_UA |
dc.publisher | ПолтНТУ імені Юрія Кондратюка | uk_UA |
dc.subject | програмований логічний контролер | uk_UA |
dc.subject | модель | uk_UA |
dc.subject | тест-кейс | uk_UA |
dc.subject | Simulink | uk_UA |
dc.subject | Matlab | uk_UA |
dc.title | Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів | uk_UA |
dc.type | Наукові статті | uk_UA |
dc.identifier.udc | 621.31 | - |
Розташовується у зібраннях: | Кафедра вищої та прикладної математики |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
suntz_2017_4_12.pdf | основна стаття | 753.07 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.