Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та безпечної і надійної перевірки комплексних логістичних систем з великою кількіс...
Gespeichert in:
| Datum: | 2020 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2020
|
| Schriftenreihe: | Проблеми програмування |
| Schlagworte: | |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/180497 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики / О.О. Летичевський, С.О. Горбатюк, В.О. Горбатюк // Проблеми програмування. — 2020. — № 4. — С. 88-97. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та безпечної і надійної перевірки комплексних логістичних систем з великою кількістю внутрішніх агентів, які діють у мінливому та нестабільному середовищі. Ця робота має за мету показати як математичне моделювання, зокрема, алгебра поведінок, дає можливість передбачити поведінку та стабільність логістичних середовищ, перевірити їх властивості безпеки та надійність. Основними властивостями безпеки комплексних систем логістики різної складності та рівнів є стабільність функціонування, стійкість до зовнішніх загроз, виявлення та усунення вразливостей. При розробці програмних систем доцільно використовувати модельний підхід. Він передбачає створення моделей як інструментів на кожному етапі розробки програмного забезпечення для застосування методів верифікації, тестування та валідації. Алгебраїчні моделі логістичних систем можуть бути використані для аналізу поведінки всіх залучених агентів і доведення їх здатності виконувати свої цілі та здатності всієї системи постійно існувати та залишатися стабільною. Як приклади практичного використання розглянуто застосування на практиці алгебри поведінок на прикладі діючої закритої логістичної системи фермерського господарства. |
|---|