Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та безпечної і надійної перевірки комплексних логістичних систем з великою кількіс...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180497 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики / О.О. Летичевський, С.О. Горбатюк, В.О. Горбатюк // Проблеми програмування. — 2020. — № 4. — С. 88-97. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180497 |
|---|---|
| record_format |
dspace |
| spelling |
Летичевський, О.О. Горбатюк, С.О. Горбатюк, В.О. 2021-09-30T18:47:43Z 2021-09-30T18:47:43Z 2020 Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики / О.О. Летичевський, С.О. Горбатюк, В.О. Горбатюк // Проблеми програмування. — 2020. — № 4. — С. 88-97. — Бібліогр.: 9 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2020.04.088 https://nasplib.isofts.kiev.ua/handle/123456789/180497 004.05 Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та безпечної і надійної перевірки комплексних логістичних систем з великою кількістю внутрішніх агентів, які діють у мінливому та нестабільному середовищі. Ця робота має за мету показати як математичне моделювання, зокрема, алгебра поведінок, дає можливість передбачити поведінку та стабільність логістичних середовищ, перевірити їх властивості безпеки та надійність. Основними властивостями безпеки комплексних систем логістики різної складності та рівнів є стабільність функціонування, стійкість до зовнішніх загроз, виявлення та усунення вразливостей. При розробці програмних систем доцільно використовувати модельний підхід. Він передбачає створення моделей як інструментів на кожному етапі розробки програмного забезпечення для застосування методів верифікації, тестування та валідації. Алгебраїчні моделі логістичних систем можуть бути використані для аналізу поведінки всіх залучених агентів і доведення їх здатності виконувати свої цілі та здатності всієї системи постійно існувати та залишатися стабільною. Як приклади практичного використання розглянуто застосування на практиці алгебри поведінок на прикладі діючої закритої логістичної системи фермерського господарства. International and internal service logistics are advancing at a tremendous pace in our modern life, and future forecasts for this area are optimistic. For this reason, we face a task in the control, optimization and safety and security checking of complex logistical systems with many internal agents working in a changing environment. Our paper aims to show how mathematical modeling, especially behavior algebra, can provide an opportunity for predicting the behavior and stability of logistics environments and checking their safety and security properties. The main security properties of complex logistics systems of different capacities and levels are stability of operation, resistance to external threats and detection and elimination of vulnerabilities. During the development of software systems, it is advisable to use a model approach. It involves the creation of models as tools at every stage of software development for the application of verification, testing and validation methods. Algebraic models of logistics systems can be used to analyze the behavior of all agents involved and to prove their ability to fulfill their goals and the ability of the whole system to constantly exist and remain stable. As examples of practical use the application in practice of algebra of behaviors on an example of the operating closed logistic system of a farm is considered. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики Algebraic modeling in international and local service logistical systems Алгебраическое моделирование в системах международной и местной обслуживающей логистики Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| spellingShingle |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики Летичевський, О.О. Горбатюк, С.О. Горбатюк, В.О. Теоретичні та методологічні основи програмування |
| title_short |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| title_full |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| title_fullStr |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| title_full_unstemmed |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| title_sort |
алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики |
| author |
Летичевський, О.О. Горбатюк, С.О. Горбатюк, В.О. |
| author_facet |
Летичевський, О.О. Горбатюк, С.О. Горбатюк, В.О. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2020 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Algebraic modeling in international and local service logistical systems Алгебраическое моделирование в системах международной и местной обслуживающей логистики |
| description |
Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та безпечної і надійної перевірки комплексних логістичних систем з великою кількістю внутрішніх агентів, які діють у мінливому та нестабільному середовищі. Ця робота має за мету показати як математичне моделювання, зокрема, алгебра поведінок, дає можливість передбачити поведінку та стабільність логістичних середовищ, перевірити їх властивості безпеки та надійність. Основними властивостями безпеки комплексних систем логістики різної складності та рівнів є стабільність функціонування, стійкість до зовнішніх загроз, виявлення та усунення вразливостей. При розробці програмних систем доцільно використовувати модельний підхід. Він передбачає створення моделей як інструментів на кожному етапі розробки програмного забезпечення для застосування методів верифікації, тестування та валідації. Алгебраїчні моделі логістичних систем можуть бути використані для аналізу поведінки всіх залучених агентів і доведення їх здатності виконувати свої цілі та здатності всієї системи постійно існувати та залишатися стабільною. Як приклади практичного використання розглянуто застосування на практиці алгебри поведінок на прикладі діючої закритої логістичної системи фермерського господарства.
International and internal service logistics are advancing at a tremendous pace in our modern life, and future forecasts for this area are optimistic. For this reason, we face a task in the control, optimization and safety and security checking of complex logistical systems with many internal agents working in a changing environment. Our paper aims to show how mathematical modeling, especially behavior algebra, can provide an opportunity for predicting the behavior and stability of logistics environments and checking their safety and security properties. The main security properties of complex logistics systems of different capacities and levels are stability of operation, resistance to external threats and detection and elimination of vulnerabilities. During the development of software systems, it is advisable to use a model approach. It involves the creation of models as tools at every stage of software development for the application of verification, testing and validation methods. Algebraic models of logistics systems can be used to analyze the behavior of all agents involved and to prove their ability to fulfill their goals and the ability of the whole system to constantly exist and remain stable. As examples of practical use the application in practice of algebra of behaviors on an example of the operating closed logistic system of a farm is considered.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180497 |
| citation_txt |
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики / О.О. Летичевський, С.О. Горбатюк, В.О. Горбатюк // Проблеми програмування. — 2020. — № 4. — С. 88-97. — Бібліогр.: 9 назв. — укр. |
| work_keys_str_mv |
AT letičevsʹkiioo algebraíčnemodelûvannâvsistemahmížnarodnoítamíscevoíobslugovuûčoílogístiki AT gorbatûkso algebraíčnemodelûvannâvsistemahmížnarodnoítamíscevoíobslugovuûčoílogístiki AT gorbatûkvo algebraíčnemodelûvannâvsistemahmížnarodnoítamíscevoíobslugovuûčoílogístiki AT letičevsʹkiioo algebraicmodelingininternationalandlocalservicelogisticalsystems AT gorbatûkso algebraicmodelingininternationalandlocalservicelogisticalsystems AT gorbatûkvo algebraicmodelingininternationalandlocalservicelogisticalsystems AT letičevsʹkiioo algebraičeskoemodelirovanievsistemahmeždunarodnoiimestnoiobsluživaûŝeilogistiki AT gorbatûkso algebraičeskoemodelirovanievsistemahmeždunarodnoiimestnoiobsluživaûŝeilogistiki AT gorbatûkvo algebraičeskoemodelirovanievsistemahmeždunarodnoiimestnoiobsluživaûŝeilogistiki |
| first_indexed |
2025-12-07T19:49:50Z |
| last_indexed |
2025-12-07T19:49:50Z |
| _version_ |
1850880284971499520 |