Перегляд вихідного коду сторінки НДЛ математичного моделювання (НДЛ-84)

'''[[Кафедра програмного забезпечення|КАФЕДРА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ]]'''

__________________________________________________________________

'''НАУКОВО-ДОСЛІДНА ЛАБОРАТОРІЯ МАТЕМАТИЧНОГО МОДЕЛЮВАННЯ НДЛ-84'''

==== Напрями науково-дослідних робіт ====

* програмне та&nbsp;математичне забезпечення автоматизованих систем;
* автоматизація теплового проектування мікроелектронних систем;
* важкорозв&rsquo;язувані комбінаторні задачі високої розмірності.

==== Науково-технічні послуги ====

* програмні та&nbsp;алгоритмічні засоби для теплового проектування електронних систем;
* високоефективні програмні та&nbsp;алгоритмічні засоби для кластеризації та&nbsp;декомпозиції;
* програмні системи декомпозиції, кодування та&nbsp;апроксимування зображень.

==== Основні партнери ====
* Dinamica Generale S.p.A 
* ТзОВ &laquo;Елекс&raquo; (м. Львів).
* ТзОВ &laquo;КомАрх&raquo; (м. Львів).
* Львівський національний медичний університет імені Данила Галицького.

==== Співпраця із Dinamica Generale S.p.A ====
Італійська компанія Dinamica Generale S.p.A спеціалізується на інноваційних вбудованих системах у галузі сільського господарства. Перший фінансовий договір з компанією Dinamica Generale S.p.A був укладений 30 жовтня 2014 року терміном на чотири місяці. З тих пір виконано ще три фінансові договори, які охоплювали повністю 2016, 2017 і 2018 роки. На початку поточного року підписано новий договір, чинний до 31.12.2019. У проектах беруть участь викладачі, аспіранти та студенти кафедри програмного забезпечення. За час співпраці розроблено мікропрограмне забезпечення інноваційних приладів, що успішно представлялися на наймасштабнішій у Європі виставці новітніх рішень у сільському господарстві - Agritechnica (Гановер).
У межах співпраці з компанією Dinamica Generale S.p.A виконується розроблення алгоритмів і програмних засобів для автоматизації тестування мікроконтролерних вбудованих систем реального часу. Розроблені засоби враховують зміну в часі технічних характеристик апаратних складових, а отже, беруть до уваги вплив апаратного забезпечення на час відгуку критично важливих функції. Розроблене ПЗ дає змогу автоматизовано складати план тестування вбудованої системи і визначати доцільну періодичність технічного обслуговування на основі синтаксичного аналізу мікропрограмного коду та технічної документації електронних компонентів.

==== Контактні особи ====
* д-р техн. наук, проф. [[Яковина Віталій Степанович]] (тел.&nbsp;032 258-25-78,e-mail: vitaliy.s.yakovyna@lpnu.ua);
* д-р техн. наук, проф. [[Федасюк Дмитро Васильович]] (тел. 032 258-25-78, e-mail: dmytro.v.fedasyuk@lpnu.ua)