Інфопакет

Автоматно-мережеві методи аналізу дискретних систем

ВК.1.07.

Вибіркова дисципліна для ОП

Другий

2023/2024

4 Семестр

3

ПРН01. Знати і системно застосовувати методи аналізу та моделювання прикладної області, виявлення інформаційних потреб і збору вихідних даних для проектування програмного забезпечення. ПРН03. Знати і застосовувати базові концепції і методології моделювання інформаційних процесів. ПРН08. Проводити аналітичне дослідження параметрів функціонування програмних систем для їх валідації та верифікації, а також проводити аналіз обраних методів, засобів автоматизованого проектування та реалізації програмного забезпечення. ПРН13. Набувати нові наукові і професійні знання, вдосконалювати навички, прогнозувати розвиток програмних систем та інформаційних технологій.

Дистанційне навчання

Успішне опанування курсів: 1. Дискретна математика. 2. Формальні граматики та мови. 3. Математична логіка та теорія алгоритмів. Знати: а) Основи теорії автоматів, загальної та лінійної алгебри. б) Властивості відношень та операції над відношеннями. в) Об’єктно-орієнтоване програмування мовою Java. Вміти: 1) Виконувати аналіз проблеми, що виникає. 2. Будувати математичні (логічні) моделі відповідних предметних областей. 3. Створювати специфікації та виконувати верифікацію моделей, що виникли в результаті аналізу проблеми. 4. Виконувати перевірку виконання специфікацій на моделях. 5. Програмувати у процедурному, функціональ- ному та об’єктно- орієнтованому стилях.

Основними завданнями дисципліни є засвоєння основних алгебро логічних методів аналізу ПЗ, відповідно до кваліфікації фахівець з інформаційних технологій. Зокрема, розвивати: Здатність до абстрактного мислення, аналізу та синтезу. Здатність ефективно керувати фінансовими, людськими, технічними та іншими проектними ресурсами. Здатність розробляти і координувати процеси, фази та ітерації життєвого циклу програмних систем на основі застосування відповідних моделей, методів та технологій розробки програмного забезпечення (CR08). - - проведення теоретичних та прикладних досліджень на відповідному рівні. - Здатність аналізувати предметні області, формувати, аналізувати та моделювати вимоги до програмного забезпечення. - Здатність проектувати програмне забезпечення, включаючи проведення моделювання його архітектури, поведінки та процесів функціонування окремих систем і модулів. - Вміння планувати і проводити наукові дослідження, готувати результати наукових робіт з інженерії програмного забезпечення до оприлюднення).

1.Huynh D. T. The Complexity of the Equivalence Problem for Commutative Semigroups and Symmetric Vector Addition Systems. Proceedings of the 17-th Annual ACM Symposium on Theory of Computing. – 1985. –P. 405 – 412. 2. Jancar P. Decidability Questions for Bisimularity of Petri Nets and Some Related Problems. STACS'94. –LNCS. – 1994. – № 775. – P. 581–594. 3. Jensen K., Kristensen L.M. Colored Petri Nets: Мodelling and Validation of Concurrent Systems. Springer-Verlag: Berlin Heidelberg. – 2009. – 384 p. 4. Jones N. D., Landweber L. H., Lien Y. E. Complexity of Some Problems in Petri Nets Theoretical Comp. Sci. – 1974. – № 4. – P. 277 – 299. 5. Keller R. M. A Fundamental Theorem of Asynchronous Parallel Computation Parallel Processing. – LNCS. –1975. – № 24. – P. 102–112. 6. Kosaraju S. R. A Decidability of Reachability in Vector Addition Systems. 14-th Annual ACM Symposium on Theory of Computing, San Francisco. – 1982. P. 267–281.

Лекції, лабораторні заняття, самостійна робота, контрольні роботи, домашні завдання, захист лабораторних робіт, іспит.

Семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 1.2, РН 3.1, РН 4.1, РН 4.2 – 15 балів/9 балів. 2. Контрольна робота 2: РН1.2, РН 1.3, РН 3.1, РН 4.1, РН 4.2 – 15 балів/9 балів. 3. Самостійна робота 1: РН1.1, РН 1.2, РН 2.1, РН3.1, РН3.2, РН3.3, РН 4.1, РН 4.2, РН 4.3 – 10 балів/6 балів. 4. Самостійна робота 2: РН1.2, РН1.3, РН 2.1, РН3.1, РН3.2, РН3.3, РН 4.1, РН 4.2, РН 4.3 – 20 балів/12 балів Підсумкове оцінювання (у формі іспиту): Mаксимальна кількість балів які можуть бути отримані студентом: 40 балів; результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, PH2.1; форма проведення і види завдань: письмова;

Українська